Académique Documents
Professionnel Documents
Culture Documents
La construction des
nombres rels
I. Histoire des nombres rels
1.De l'antiquit au milieu du XIX
ime
sicle
2.Le XIX
ime
sicle
3.Le corps
II. Les coupures de Dedekind
1.Dfinition d'une coupure de Dedekind
2.Dmonstration du Thorme de Dedekind
a D est muni d'une relation d'ordre totale
! D est muni d'une structure de corps
c D est un corps complet
III. Construction par les suites de Cauchy
1. L'ide de "antor et #ra$
2. La construction des nom!res rels
a) L'ensemble des suites rationnelles de Cauchy
b) K est un corps
c) K est muni d'une relation d'ordre totale
d) K est un corps complet
IV. quivalence entre les deux constructions
1
2
I. Histoire des nombres rels
1.De l'antiquit au milieu du XIX
ime
sicle
Durant cette priode, on distingue deux domaines majeurs dans les
mathmatiques : la gomtrie et l'arithmtique.
our les grecs durant l'antiquit, un nombre est pour eux un nombre entier. !ls
d"inissent par la suite les nombres commensurables, autrement dit les nombres
rationnels # on parlera alors de grandeur ).
$r%ce au &hor'me de ythagore, ils dcou(rirent les
premiers nombres irrationnels et notamment le cl'bre .2
qu'ils appellerons les nombres incommensurables. )n
retrou(e ces grandes dcou(ertes sur les nombres dans les
li(res d'*uclide et notamment dans le +
i'me
li(re o, l'on peut
lire une tentati(e de la classi"ication des nombre irrationnels
et la dmonstration de l'irrationalit de .2 .
Ceci met en (idence le "ait que les nombres rationnels ne
su""isent pas pour reprsenter toutes les grandeurs
possibles.
-pr's la dcou(erte du . et l'apparition du syst'me de numrotation dcimal,
notamment gr%ce / l'cole indienne au 0
i'me
si'cle, un nou(eau probl'me
appara1t.
-lors que les nombres dcimaux poss'dent un d(eloppement dcimal limit et
que les rationnels poss'dent un d(eloppement dcimal in"ini et priodique. )n
se pose alors la question de la nature des nombres dont le d(eloppement
dcimal est non priodique et in"ini : par exemple le cl'bre nombre
H=3,14159265... .
0ers le +0!!
'me
si'cle, les tra(aux sur les suites et les sries se d(eloppent et les
mathmaticiens comme 2ercator, 3ernoulli et Leibni4 se retrou(ent "ace / des
sries qui ne con(ergent pas (ers des limites rationnelles.
ar exemple, la srie de 2ercator :
k=1
+
(1)
k1
k
con(erge (ers le nombre ln#5)
qui est irrationnel.
)n distinguera par la suite les nombres algbriques : c'est / dire les nombres qui
sont racine d'un polyn6me dont les coe""icients sont des rationnels # comme par
exemple .2 ) et les nombres transcendants dcou(ert en 7899 par Liou(ille :
c'est / dire les nombres qui ne sont pas racine d'un polyn6me dont les coe""icients
sont des rationnels # comme par exemple
H
).
Les nombres algbriques et les nombres transcendant "orment l'ensemble des
nombres rels.
3
Tablette babylonienne
2.Le XIX
ime
sicle
- partir du +!+
i'me
si'cle la distinction entre les nombres et les grandeurs dispara1t.
)n parlera de l'arithmtisation de l'analyse.
)n doit en particulier cette a(ance mathmatique /
3ernard 3ol4ano. *n 787:, dans la pr"ace de son
article intitul ; Dmonstration purement analytique du
&hor'me : entre deux (aleurs quelconques qui
donnent deux rsultats de signes opposs se trou(e
au moins une racine relle de l'quation < # autrement
dit le &hor'me des (aleurs intermdiaires ), ce
mathmaticien allemand critique les dmonstrations
prcdentes de ce &hor'me qui utilisaient des
(idences gomtriques. !l "era une dmonstration
purement analytique qui repose sur la d"inition de
continuit et sur le &hor'me de la borne suprieure.
Lorsqu'il tudie les suites de Cauchy ils dmontre
qu'elles con(ergent (ers une ; unique grandeur constante <. !l suppose donc
l'existence des rels. !l tentera de construire l'ensemble des nombres rels et d'y
inclure les nombres in"iniment grands et les nombres in"iniment petits. )n peut
donc dire que 3ol4ano est le premier / a(oir pris conscience de l'importance des
nombres rels pour rendre l'analyse rigoureuse.
=arl >eierstrass est un mathmaticien allemand et
pro"esseur / l'?ni(ersit de 3erlin.
*n 7@A9, dans son cours intitul ; !ntroduction / la thorie
des "onctions analytiques <, >eierstrass prsente pour la
premi're "ois une construction de lBensemble des nombres
rels. Ces notes de cours "urent runies et publies 7D ans
plus tard par EurFit4 en 78:8. *n restant dans le domaine
de l'arithmtique, il construit les nombres rels comme des
agrgat in"ini de rationnels.
Celon >eierstrass, un nombre entier # positi" ) est un
agrgat d'unit et un nombre rationnel est un agrgat de
di""rentes units : une unit principale # qui reprsente la
partie enti're ) et des ; partie exactes < de la "orme
1
n
# o, n est un entier ).
renons l'exemple du nombre
11
3
: ce nombre est constitu de G units
principales et de l'agrgat (
1
3
,
1
3
)=(
1
3
,
1
6
,
1
6
)=(
1
6
,
1
6
,
1
6
,
1
6
) .
?n nombre rationnel a donc une in"init d'critures possibles et >eierstrass
4
Karl Weierstrass (1815 - 1897)
Bernard Bolzano (1781-1848)
d"inira une relation d'qui(alence. ar la suite, il tudiera les agrgats composs
d'une in"init d'lments qui ne sont pas "orcement des nombres rationnels # par
exemple e=(1,
1
2!
,
1
3!
,
1
4!
,
1
5!
, ...) ).
>eierstrass ne cherche pas / construire l'ensemble des nombres rels mais ils
s'intresse beaucoup aux limites des suites de rationnels qui (ont l'amener /
montrer l'existence des irrationnels.
armi les auditeurs de >eierstrass se trou(ait deux grands mathmaticiens :
Cantor et DedeHind qui, quelques annes plus tard, donnerons deux constructions
rigoureuses de l'ensemble des nombre rels.
La premi're construction que nous allons tudier, dans la
partie !!, est celle de Iichard DedeHind, un mathmaticien
allemand de la "in +!+i'me si'cle. Dans son ou(rage
; Continuit et nombres irrationnels < paru en 78:5, il
construit l'ensemble des rels / partir de ce qu'on appelle
; les coupures de DedeHind <. !l a longtemps hsit a
publier ses recherches : notons qu'il a(ait "ait cette
dcou(erte quelques annes aupara(ant en 7@D8 et qu'il
a(ait expos ses recherches / l'oral / plusieurs reprises.
2ais la sortie des ou(rages de Cantor et de Eeine, qui
prsentent, selon lui, une construction plus complique que
la sienne, l'incit'rent / publier ses
recherches.
Juelques anne plus tard, Kules &annery, mathmaticien "ranLais
et maitre de con"rence / l'*MC, publia en 788A ; !ntroduction / la
thorie des "onctions / une (ariable <. !l y d(eloppe de nombreux
rsultats dj/ dcou(ert dans un but purement pdagogique.
)n y retrou(e galement une construction des nombre rels asse4
proche de celle de DedeHind #cependant il a""irme ne jamais a(oir
(u son ou(rage).
*n"in, la deuxi'me construction que nous allons dtailler
dans la partie !!! est celle de Charles 2ray et de $eorg
Cantor / l'aide des suites de Cauchy.
Charles 2ray, pro"esseur / l'?ni(ersit de Dijon, est le
premier / publier cette construction en 78A@ apr's a(oir "ait
de nombreux tra(aux sur la notion de limite.
Cantor, mathmaticien allemand d'origine danoise, publiera
en 78:5 dans un article intitul ; *xtension d'un thor'me de
la thorie des sries trigonomtriques <, puis dans une
(ersion plus compl'te en 788G dans un autre article intitul
; Nondements d'une thorie gnrale des multiplicits <, ses tra(aux sur les
irrationnels.
5
Ri!ard "edekind (18#1-191$)
%&les Tannery (1848-191')
(!arles )*ray (19#5-1911)
&out deux son "ace / un cercle (icieux : en e""et, dans leurs
constructions, ils d"inissent les limites des suites de Cauchy
rationnelles sans pour autant montrer l'existence des nombre
irrationnels.
our palli / ce probl'me, 2ray utilise la notion de ; limite
"icti(e < et quand / Cantor, il d"inira cette limite comme
; grandeur numrique <.
Motons que le terme nombre rels appara1t pour la premi're "ois
dans l'article de Cantor en 788G.
3.Le corps
Mous allons, a(ant de dtailler les deux constructions de l'ensemble des rels,
nous intresser / l'ensemble des rationnels qui est un corps commutati"
totalement ordonn archimdien # c'est / dire qu'il (ri"ie la proprit
d'-rchim'de ).
roprit d!"rchim#de pour $
%oit
(a , b)
2
tel que a>0 .
&lors' il e(iste un entier n tel que na>b
D%inition anneau commutati% $
)n ensem!le & non *ide munit de deu( lois + et . est un anneau s'il *rifie les
proprits sui*antes ,
-&'+ est un .roupe commutatif
la loi + est associati*e' commutati*e' elle admet un in*erse et un lment
neutre
la loi . est associati*e
la loi . admet un lment neutre , e
la loi . est distri!uti*e par rapport / la loi +
la loi . est commutati*e
D%inition d!un corps $
)n anneau commutatif & est un corps s'il est non rduit / 0 et si
+,0, y,tel -&e +y=y+=e
6
.eor/ (antor (1845-1918)
D%inition d!un ensemble totalement ordonn $
)n ensem!le 1 est ordonn s'il *rifie une relation d'ordre R c'est / dire ,
%oient (' $ et 2 appartenant / 1.
(R ( -rfle(i*e
%i (R $ et $R ( alors (3$ -antis$mtrique
%i (R $ et $R 2 alors (R 2 -transiti*e
La relation d'ordre R est note plus .nralement <
%i de plus tous les lments de 1 munit de cette relation d'ordre sont
compara!les - c'est / dire pour tous (' $ appartenant / 1' (R $ ou $R ( alors 1
est un ensem!le totalement ordonn.
poss'de deux d"auts majeurs :
!l existe des parties non (ides de majore qui n'ont pas de borne
suprieure
!l existe des suites rationnelles qui sont des suites de Cauchy mais qui ne
con(ergent pas dans
*n "ait n'est pas complet.
D%inition de ma&orant et de la borne suprieure$
%oit 4 un corps totalement ordonn. %oit & une partie de 4 et # un lment de 4.
# est un ma5orant de & si +,, +<) . 6n dit alors que & est ma5ore.
%i # est le plus petit des ma5orant alors # sera la !orne suprieure de &. 6n note
alors #3sup-&.
D%inition de la conver'ence d!une suite $
%oit 4 un corps totalement ordonn et soit une suite (&
n
)
n
d'lments de 4.
(&
n
)
n
est con*er.ente s'il e(iste l appartenant / 4 tel que ,
eK
+
0, 0tel -&e n, 0<n alors&
n
l<e
l est alors unique et est appel la limite de la suite (&
n
)
n
.
7emarque , Toute suite qui admet une limite finie est !orne.
D%inition d!une suite de Cauchy $
%oit 4 un corps totalement ordonn et soit une suite (&
n
)
n
d'lments de 4.
)ne suite (&
n
)
n
est de "auch$ si elle *rifie la proprit sui*ante ,
eK
+
0, 0tel -&e n , 1, 0<1n alors&
n
&
1
<e
7emarques ,
)ne suite de "auch$ est !orne.
)ne suite con*er.ent *ers 0 est une suite de "auch$
7
II. Les coupures de Dedekind
1. Dfinition d'une coupure de Dedekind
DedeHind s'appuie sur le premier d"aut du corps :
!l existe des parties non (ides de majore qui n'ont pas de borne
suprieure dans
renons l'ensemble
,=+tel -&e +
2
<2
- est non (ide
- est major
- n'admet pas de borne suprieure.
Dmonstration du troisime point ,
Cupposons par l'absurde que - poss'de une borne suprieure 2.
)
2
2
car
.2
n'est pas un rationnel # comme nous l'a(ons (u prcdemment ). Donc soit
2OP5, soit 2OQ5.
Cupposons 2OQ5, et considrons la suite (&
n
)
n
d"inie par &
n
=( )+
1
n
)
2
.
Cette suite a pour limite 2O, et donc / partir d'un certain rang, &
n
2 , donc
)+
1
n
, . C'est absurde car 2 est pas le plus grand des majorant de -.
Coit
B=+tel -&e +
2
>2
le complmentaire de - dans
(hor#me de Dedekind $
L'ensemble D des coupures de DedeHind peut Rtre muni d'une structure de corps
totalement ordonn complet.
!ci complet signi"ie que toute partie majore non (ide de D a une borne
suprieure # ou que toute partie minore non (ide de D a une borne in"rieure ).
2. Dmonstration du Thorme de Dedekind
a) D est muni d'une relation d'ordre totale
D%inissons une relation d!ordre totale $
Coit - et 3 deux coupures D. *t < la relation d'ordre tel que ,<B
signi"ie que ,B # - et 3 sont des sous ensembles de )
2ontrons que D est totalement ordonn.
S Ci ,B , ,, B D , c'est termin.
S Cupposons ,B et montrons que B, .
Mous sa(ons que
,B
.
Coit
a,B
et bB
Donc
ab ar aB
et donc B"
a
=+tel -&e +>a
)r "
a
,ar a, et - est une coupure.
Donc B, .
b) D est muni d'une structure de corps
D%inissons une addition $ ,+B=a+b , a,et bB
2ontrons que -T3 est une coupure
- et 3 tant des coupures, elles sont non (ides et ,, B donc
,+B et comme
B,
, ,+B
.
Cupposons par l'absurde que -T3 poss'de un plus petit lment : aTb o,
a,et bB . - tant une coupure, elle ne poss'de pas de plus petit
lment. Donc a ne minore pas - et il existe a 2 , tel que a'Qa. De mRme
9
il existe b2 B tel que b'Qb.
Donc a 2 +b2 ,+B et a'Tb'QaTb. Ce qui est absurde car on a
suppos que aTb tait le plus petit lment.
2ontrons que tout lment de -T3 est suprieur / tout lment de
( ,+B)
Coient
a,, bB , a2 ,
et b2 B
=+tel -&e +a .
our que ( s( "
a
))
1in(( s ( "
a
))
.
: 2ontrons que tout lment de "
0
est inclus dans "
a
+"
a2
.
Coit y un lment de "
0
# donc yP. ), montrons qu'il existe ( + , + 2 )"
a
"
a2
tel que yUxTx'. Cela re(ient / montrer que y+"
a2
=( s ( "
a
))
.
Cupposons par l'absurde que +"
a
, y+( s ( "
a
))
. Donc
y+s ( "
a
) et donc +y"
a
.
Coit +"
a
# rappelons que "
a
), on peut dire que
n, +ny"
a
. )r
lim
n-+
+ny=
car est archimdien.
Cela implique que ( "
a
)
1in(( s ( "
a
))
) ,
son oppos, en est une.
-ppelons S- et S3 les coupures opposes / - et 3, et d"inissons la
nou(elle multiplication -.3 par :
,. B=,B si - et 3 sont des coupures positi(es
,3B=(,)(B) si - et 3 ne sont pas des coupures positi(es
,3B=( ,(B)) si - est positi(e et 3 ne l'est pas
,3B=((,)B) si 3 est positi(e et - ne l'est pas
our simpli"ier les dmonstrations sui(antes, nous allons tra(ailler a(ec des
coupures positi(es
2ontrons que -+3 est une coupure
- et 3 tant des coupures, elles sont non (ides et ,, B donc
,B et ,B car -+3 est une coupure positi(e.
Cupposons par l'absurde que -x3 poss'de un plus petit lment : axb o,
a,et bB . - tant une coupure, elle ne poss'de pas de plus petit
lment. Donc a ne minore pas - et il existe a 2 , tel que a'Qa. De mRme
il existe b2 B tel que b'Qb.
Donc a 2 b2 ,B et a'Tb'QaTb. Ce qui est absurde car on a
suppos que aTb tait le plus petit lment.
2ontrons que tout lment de -x3 est suprieur / tout lment de
( ,B)
Coient
a,, bB , a2 ,
et b2 B
1a+(( "
a
)
) son in(erse.
( "
a
)
1
est une coupure : elle est non (ide, di""rente de , elle ne poss'de
pas de plus petit lment : ( "
a
)
1
=
1
+
, +tel -&e 0+a
Dans le cas o, "
a
n'est pas une coupure positi(e alors son oppos "
a
est
une coupure positi(e. Donc ( "
a
)
1
=(("
a
)
1
)
2ontrons par double inclusion que "
a
( "
a
)
1
="
1
dans le cas o, "
a
est
une coupure positi(e pour simpli"ier la dmonstration.
: Coient +"
a
et
1
y
( "
a
)
1
. 2ontrons que +
1
y
=
+
y
>1 .
+"
a
don +>a et y( "
a
)
(1a+ ( "
a
)
)
+
0don0ya Donc
+>y . D'o, le rsultat.
: 2ontrons que tout lment de "
1
est inclus dans "
a
( "
a
)
1
.
Coit b"
1
donb>1 . 2ontrons qu'il existe ( + ,
1
y
)"
a
( "
a
)
1
tel que
b=
+
y
.
b>1=b2 tel -&e b>b2 >1 et donc
b2
b
1 .
b2 a
1
b 2 a
b
=b
o,
+=b2 a"
a
et
0
b 2 a
b
a
donc
1
y
=
1
b2 a
b
( "
a
)
1
.
12
c) D est un corps complet
Coit * une partie de D non (ide, minor. osons
I=
,
i
4
,
i o, les ,
i
sont
des coupures.
2ontrons que I est une coupure :
I est non (ide car les ,
i
sont des coupures donc non (ides.
I en e""et, montrons que
I
:
* est un ensemble minor donc il existe une coupure B D tel que pour toutes
coupures
,
i
4
,
,
i
B
. Donc B
,
i
,
i
4 , et donc
B
,
i
4
,
i
=I
.
I ne poss'de pas de plus petit lment.
Cupposons par l'absurde que I poss'de un plus petit lment x.
-lors il existe une coupure ,
1
4 tel que +,
1
. Comme ,
1
est une
coupure, ,
1
ne poss'de pas de plus petit lment, donc il existe y,
1
tel
que y+ . Donc yI et y+ ce qui est absurde car on a suppos que x
tait le plus petit lment.
*n"in montrons que tout lment de I est suprieur / tout lment de
I
. Coit
+Iet yI
. Donc il existe ,
1
4 tel que +,
1
.
y
,4
,
donc en particulier, y,
1
. Donc xPy.
our "inir, montrons que I est la borne in"rieure de *.
I=
,
i
4
,
i # o, les ,
i
sont des coupures ) minore * : ,
i
4 , ,
i
I
2ontrons que I est le plus grand des minorants.
Coit 3 une coupure telle que BI , montrons que il existe une coupure ,
1
,
,
1
4 telle que B,
1
Coit +I B , donc il existe ,
1
4 tel que +,
1
B . )r cela implique que
yB , y>+ . )r z tel -&e z>+,
1
, donc B,
1
.
Ce qui ach'(e la dmonstration du &hor'me de DedeHind.
13
7emarque , Motons
1
l'application telle que :
1: -
D
1(r )=+tel -&e +>r
et
1
est clairement injecti(e.
De plus 1 est un morphisme de corps :
1(r
1
+r
2
)=+tel -&e +>r
1
+r
2
1( r
1
r
2
)=+tel -&e +>r
1
r
2
=+tel -&e +a .
C'est ce second type de coupure qui (a d"inir les nombres irrationnels.
L'ensemble de toutes les coupures "orme donc le "utur ensemble des rels R .
)n peut reprsenter "acilement l'ensemble des nombres rels / partir de la
d"inition de DedeHind par une droite dont l'origine est . et dont le sens est
dtermin par la relation d'ordre que nous a(ons d"inie au dbut de cette partie.
14
III. Construction par les suites de Cauchy
1. L'ide de "antor et #ra$
Cantor et 2ray (ont essayer de rsoudre le second probl'me du corps :
!l existe des suites rationnelles qui sont des suites de Cauchy mais qui ne
con(ergent pas
renons l'exemple sui(ant : &
n
=
k=0
n
1
k !
(&
n
)
n
est clairement une suite de nombres rationnels.
"'est .alement une suite de "auch$ ,
2ontrons que
e
+
0, 0tel -&e n , 1, 0<1n alors&
n
&
1
<e
Coit e>0,
&
n
&
1
=
k=1+1
n
1
k !
=
1
( 1+1)!
(1+
1
1+2
+
1
( 1+3)(1+2)
+...+
1
n(n1)... (1+2)
)
<
1
(1+1)!
(1+
1
1+2
+
1
(1+2)
2
+...+
1
(1+2)
n11
)
<
1
(1+1)!
(
1
1
1
1+2
)
=
1+2
(1+1)
2
1!
-
1-+
0
Donc
)tel -&e 1>) =
1+2
(1+1)
2
1!
e
#ontrons que cette suite ne con*er.e pas dans ,
Cupposons que la suite (&
n
)
n
con(erge dans (ers
l =
5
-
, 5 , -0, tel -&e 5-=1
Coit 5
n
=n!(l &
n
) 5o&r n , on a alors que 5
n
>0 5o&r n- .
15
5
n
=
kn+1
n!
k !
=
1
n+1
+
1
( n+1)(n+2)
+...
<
1
n+1
+
1
(n+1)
2
+...=
1
n+1
(1+
1
n+1
+...)
<
1
n+1
(
1
1
1
n+1
)
=
1
n
-insi la suite 5
n
tend (ers . ce qui est absurde.
7emarque , La suite (&
n
)
n
admet pour limite le cl'bre nombre de Meper e.
Cette dmonstration nous montre donc que e est un nombre irrationnel.
2. La construction des nom!res rels
a) L'ensemble des suites rationnelles de Cauchy
Comme R n'existe pas encore, l'ide de Cantor est de tra(ailler uniquement
a(ec des suites rationnelles de Cauchy. Les limites de ces suites de(iendrons
alors les "uturs nombres rels.
Motons C l'ensemble des suites rationnelles de Cauchy.
C est un sous anneau de l!anneau commutati%
tel que le
produit de deux suites (&
n
)
n
et (6
n
)
n
u.( U (&
n
6
n
)
n
.
La multiplication sur
, T)
(0)
n
appartient / C
(&
n
)
n
=& , (6
n
)
n
=6 C, montrons que (&
n
6
n
)
n
C
Coit e>0 .
u est une suite de Cauchy donc 0
1
tel -&e 0
1
<1n=&
n
&
1
<
e
2
( est une suite de Cauchy donc 0
2
tel -&e 0
2
<1n=6
n
6
1
<
e
2
Coit 0=1a+( 0
1
, 0
2
) donc n , 1tel -&e 0<1n
(&
n
6
n
)(&
1
6
1
)=( &
n
&
1
)(6
n
6
1
)<&
n
&
1
+6
n
6
1
<e
(1)
n
appartient / C
(&
n
)
n
, ( 6
n
)
n
C , montrons que (&
n
6
n
)
n
C
(&
n
)
n
et (6
n
)
n
sont des suites de Cauchy donc elles sont bornes.
Coit 2 un majorant de ces suites. Coit e>0 .
u est une suite de Cauchy donc
0
1
tel -&e 0
1
<1n=&
n
&
1
<
e
2M
( est une suite de Cauchy donc
0
2
tel -&e 0
2
<1n=6
n
6
1
<
e
2M
Coit 0=1a+( 0
1
, 0
2
) donc n , 1tel -&e 0<1n
(&
n
6
n
)(&
1
6
1
)=(&
n
&
1
) 6
n
(6
n
6
1
) &
1
<&
n
&
1
6
n
+6
n
6
1
&
1
<
e
2M
)+
e
2M
)=e
Cependant, plusieurs suites de C admettent la mRme limite. our remdier / ce
probl'me, d"inissons alors une relation d'qui(alence R sur C tel :
(&
n
)
n
R (6
n
)
n
si et seulement si &
n
6
n
-0
)n appelle I le sous ensemble de C des suites rationnelles de Cauchy qui
tendent (ers .. I est un idal.
D%inition d!idal $ ?n sous ensemble W d'un anneau - est un idal si
W est un sous groupe de #-,T)
+, y7 , +y7 (et y+7)
17
)ontrons que I est un idal de C $
Mous a(ons (u prcdemment qu'une suite qui tend (ers . est une suite de
Cauchy donc ,
2ontrons que I est un sous groupe de #C,T)
(0)
n
appartient / I .
(&
n
)
n
=& ,(6
n
)
n
=6 I , montrons que (&
n
6
n
)
n
I
Coit e>0 .
u est une suite qui tend (ers . donc 0
1
tel -&e 0
1
<n=&
n
<
e
2
( est une suite qui tend (ers . donc 0
2
tel -&e 0
2
<n=6
n
<
e
2
Coit 0=1a+( 0
1
, 0
2
) donc n tel -&e 0<n
&
n
6
n
<&
n
+6
n
<e
Donc (&
n
6
n
)
n
tend (ers ..
2ontrons que
(&
n
)
n
C
( 6
n
)
n
I ,
(&
n
6
n
)
n
I
Coit uU (&
n
)
n
C donc u est borne. Coit 2 un majorant de u.
Coit (U
(6
n
)
n
un reprsentant de &
n
et
6
n,0
=1(6
n,0
, 6
n,0
, 6
n,0
, ...)
6
n,1
=1(6
n,0
, 6
n,1
, 6
n,1
, ...)
6
n , k
=1(6
n,0
, 6
n,1
, 6
n,2
, ... , 6
n , k
, ...)
tel que e>0, K
e
tel -&e kK
e
= &
n
6
n , k
e d'apr's la remarque 9.
-(ec e=
(
1
n
) ,
kK
(
1
n
)
= &
n
6
n ,k
(
1
n
)
)n pose
r
n
=6
n , K
(
1
n
)
et
r
n
=1(r
n
, r
n
, ... , r
n
, ...)=6
n, K
(
1
n
)
-lors n , &
n
r
n
(
1
n
)
22
( &
n
)
n
est une suite de Cauchy donc
0
e
tel -&e n>10
e
= &
n
&
1
<
e
3
.
2aintenant, si n>11a+( 0
e
,
3
e
) # rappelons que r
n
=1(r
n
, r
n
, ...) )
alors
r
n
r
1
< r
n
&
n
+ &
n
&
1
+ &
1
r
1
<
(
1
n
)+
e
3
+
(
1
1
)
# rappelons que r
n
=1(r
n
, r
n
, ...) )
Donc
r
n
r
1
<
1
n
+
e
3
+
1
1
<
e
3
+
e
3
+
e
3
=e
# car
n>1
3
e
)
Donc (r
n
)
n
est une suite de Cauchy de donc (r
n
)
n
C.
)n d"init alors &=1( r
0,
r
1,
r
2,
... , r
n
, r
n+1
...) .
D'apr's la remarque 9, ( r
n
)
n
con(erge (ers
& car
r
n
=1(r
0,
r
1,
... , r
n
, r
n
, ...)=1(r
n
, r
n
,... , r
n
, r
n
, ...) et (r
n
)
n
est une suite de
Cauchy.
De plus n , &
n
r
n
(
1
n
) donc
&
n
r
n
-
n-+
0
.
Donc ( &
n
)
n
con(erge (ers
& , toute suite de Cauchy de K con(erge.
23
IV. quivalence entre les deux constructions
D et K sont des corps totalement ordonns.
Dans la partie !!, nous a(ons montr que l'ensemble des coupures de DedeHind
tait complet en montrant que D poss'de la proprit de la borne in"rieure.
Dans la partie !!!, nous a(ons montr que toutes les suites de Cauchy d'lments
de K con(ergeaient dans K , et que ce corps tait archimdien a"in de montrer la
compltude.
Ces deux d"initions sont qui(alentes.
Coit = un corps totalement ordonn.
2ontrons l'qui(alence entre les trois points sui(ant :
7. = poss'de la proprit de la borne suprieure
5. = est archimdien et toute suite de Cauchy d'lments de = est
con(ergente.
G. = est archimdien et (ri"ie le &hor'me des suites adjacentes
.appelons le (hor#me de suites ad&acentes $
Coient (&
n
)
n
et (6
n
)
n
telles que (&
n
)
n
est croissante, (6
n
)
n
est
dcroissante et &
n
6
n
-0 . -lors ces deux suites con(ergent (ers la mRme
limite l et &
n
<l <6
n
.
1=2 : Cupposons que = poss'de la proprit de la borne suprieure.
Coit
(a , b)K
2
tel que a>0 et b>0 , montrons qu'il existe un entier n
tel que na>b .
Coit ,=katel -&e ket ka<b une partie de =. - est major par b et - est
non (ide donc - poss'de une borne suprieure 2.
)a) donc 2Sa n'est pas un majorant de -.
Donc il existe ka,tel -&e )aka , il s'en suit que )(k+1) a donc
(k+1) a, .
-insi (k+1) a>b et = est archimdien.
Coit (&
n
)
n
une suite de Cauchy de =. ?ne suite de Cauchy est borne donc
)K tel -&e n&
n
<) .
Coit ,
n
=&
1
tel -&e 1n un partie de =. ,
n
est major par 2 et ,
n
est
non (ide donc ,
n
poss'de une borne suprieure b
n
.
Comme ,
1
,
2
,
3
... , la suite (b
n
)
n
est dcroissante. De plus elle est
minore par S2.
)r une suite dcroissante et minore con(erge donc il existe K tel que
24
e>0 , 0
1
tel -&e n0
1
=b
n
e et donc
eb
0
1
+e
.
De plus (&
n
)
n
est une suite de Cauchy donc :
e>00
2
tel -&e n , 1, 0
2
<n1=&
1
&
n
e
2
et donc
1>n0
2
, &
1
&
n
+
e
2
. Coit
0=1a+( 0
1,
0
2
)
&
n
+
e
2
est donc un majorant de
,
0
=&
1
tel -&e 10
et un majorant de
b
0
.
&
n
+
e
2
b
0
donc
e
e
2
b
0
e
2
<&
n
<b
0
+e
.
Ce qui implique : n0 =&
n
e
Donc toute suite de Cauchy de = con(erge.
2=3 : Cupposons que toute suite de Cauchy d'lments de = est con(ergente.
Coient (&
n
)
n
et (6
n
)
n
deux suites de Cauchy telles que (&
n
)
n
est
croissante, (6
n
)
n
est dcroissante et &
n
6
n
-0 .
2ontrons que (&
n
)
n
et (6
n
)
n
ont la mRme limite l et &
n
<l <6
n
.
8
n
=6
n
&
n
est une suite de Cauchy comme nous l'a(ons dmontr dans la
partie !!!.
8
n+1
8
n
=(6
n+1
6
n
)(&
n+1
&
n
) or 6
n+1
6
n
0et &
n+1
&
n
>0 donc
8
n+1
8
n
0 et (8
n
)
n
est dcroissante.
De plus, par hypoth'se, (8
n
)
n
tend (ers . donc n , 8
n
>0 . Donc
n , 6
n
>&
n
.
)n sait galement que (&
n
)
n
et (6
n
)
n
con(ergent. Coit o la limite de
(&
n
)
n
et la limite de (6
n
)
n
.
Donc
lim
n-+
&
n
6
n
=o=0
, d'o, o= . Coit l =o= , et on a ainsi
&
n
<l <6
n
.
Donc = (ri"ie le &hor'me des suites adjacentes.
3=1 : Cupposons que = est archimdien et (ri"ie le &hor'me des suites
adjacentes.
Coit * un ensemble non (ide major par 2.
Coit x un lment de *. Ci x est un majorant de * alors x est la borne suprieure
de *.
Cupposons que x n'est pas un majorant de *. 2ontrons que * poss'de une borne
25
suprieure par la mthode de dichotomie.
Coient (a
n
)
n
et (b
n
)
n
d"inies par rcurrence de la "aLon sui(ante :
a
0
=+ et b
0
=) , si
a
n
+b
n
2
est un majorant on pose a
n+1
=a
n
et
b
n+1
=
a
n
+b
n
2
, sinon on pose a
n+1
=
a
n
+b
n
2
et b
n+1
=b
n
.
La suite (a
n
)
n
ainsi construite est donc une suite croissante telle que
n , a
n
ne majore pas * et la suite (b
n
)
n
est une suite dcroissante telle
que n , b
n
majore *.
De plus
n,b
n
a
n
=
1
2
n
()+)
# dmonstration par rcurrence )
Donc
lim
n-+
b
n
a
n
= lim
n-+
1
2
n
( )+)=0
. Les suites (a
n
)
n
et (b
n
)
n
sont
donc adjacentes et elles con(ergent (ers la mRme limite l.
2ontrons que l est la borne suprieure de *.
n ,b
n
majore * donc y4 , yb
n
. )r l est la limite de (b
n
)
n
donc
y4 , yl et l est un majorant de *.
Coit 2' un majorant de *, comme n , a
n
ne majore pas *, a
n
) 2 . )r l est
la limite de (a
n
)
n
donc l ) 2 . Donc l est le plus petit des majorant, c'est
donc la borne suprieure de *.
26
Bibliographie
Les constructions des nombres rels dans le mouvement d'aritmtisation de l'anal!se " #ac$ueline
%&'()*+,
La -abuleuse istoire des nombres " ,liane +&./0.,1
La 2lan3te 1 " 4assan %&.*L,M et 1obert %1&.5,6
Webographie
>iHipdia
FFF.chronomath.com
FFF.math.uni(Stoulouse."rXZga(rilo(XenseignementXL7X?*8pro(isoire.pd"
FFF.math.uni(Stoulouse."rXZbartheXL7math5X5.7.SolyL7Schapitre9.pd"
FFFS"ourier.uj"Sgrenoble."rXZrombaldiX...X-nalyseChap7.pd"
http:XXdraHHar.math.uqam.caXZchristoX-nalyse[7XCollin[-nalyse[!.pd"
http:XXabdellah.bechata."ree."rXtelechargementXp[adiqueXpd"Xconstruction[I.
pd"
http:XXFFF.math.jussieu."rXZblanchetXenseignementX5..:S
8[C7Xch7[nbrs[reels.pd"
http:XXmoduloserge."ree."rXE+7S.@X&!*XCI[-DC[.@XLes\5.coupures
\5.de\5.DedeHind.pd"
27