Vous êtes sur la page 1sur 27

Mouginot Camille M1 EFM

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

-insi le couple #-,3) "orme une partition de . )n l'appelle une coupure de


DedeHind de , qui reprsente, dans notre cas, le nombre rel
.2
.
7emarque , )n pourrait galement d"inir la coupure par :
,2 =+tel -&e +
2
2
et
B2 =+tel -&e +
2
2
2ais par con(ention nous allons choisir le couple #-,3), tel que 3 ne poss'de pas
de plus petit lment.
Les deux parties tant complmentaires, une seule su""it pour retrou(er l'autre.
Mous allons donc choisir 3 pour d"inir une coupure d'un rationnel q.
B=+tel -&e +>-
L'ensemble des coupures rationnelles est en bijection a(ec .
8
D%inition d!une coupure $
?ne coupure de est une partie - de tel que :
- est non (ide et , # partie propre de )
- ne poss'de pas de plus petit lment
&out lment de - est suprieur / tout lment de
,

(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

. )n a alors aPa' et bPb' donc


aTbPa'Tb'.
)ontrons que *D+,- est une 'roupe commutati% $
L'addition est commutati(e et associati(e #c'est l'addition des rationnels).
Con lment neutre est "
0
=+tel -&e +>0 .
Coit "
a
=+tel -&e +>a , on a alors :
"
0
+"
a
=++y , +"
0
et y"
a
="
a
)n cherche l'oppos "
a
="
a2
d'une coupure "
a
, tel que
"
a
+"
a2
="
0
"
a
=+tel -&e +>a et appelons
s ( "
a
)=a , a"
a
=+tel -&e +a le symtrique de "
a
.
Donc ( s( "
a
))

=+tel -&e +a .
our que ( s( "
a
))

soit une coupure on enl'(e sa borne in"rieure a.


)n pose "
a2
=( s ( "
a
))

1in(( s ( "
a
))

) et montrons par double inclusion que


"
a
+"
a2
="
0
.
: 2ontrons que ( + , +2 )"
a
"
a2
, +++2 >0
Cupposons par l'absurde qu'il existe x et x' tel que +++2 <0 .
-lors +<+ 2 . Donc + 2 s( "
a2
)=( "
a
)

. -bsurde car d'apr's la d"inition


d'une coupure, tout lment de "
a
est suprieur / tout lment de ( "
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
)

= ce qui est absurde d'apr's la proprit d'une


coupure.
10
D%inissons une multiplication $
?n probl'me se pose pour d"inir la multiplication, en e""et si nous nous
arrRtons / la d"inition sui(ante : ,B=ab , a,et bB , dans le
cas o, au moins une des coupures - ou 3 poss'de des rationnels ngati"s,
-x3 ne sera plus une coupure V
*xemple : renons
,="
2
=+tel -&e +>2
et
B="
2
=+tel -&e +>2
. -lors
,B=
et -+3 n'est pas une
coupure V
-ppelons une coupure positi(e une coupure dont tous les lments sont
positi"s : a, a>0, "
a
=+tel -&e +>a est une coupure
positi(e.
Ci n'est pas une coupure positi(e, alors "
a2
=( s ( "
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

. )n a alors aPa' et bPb' donc


axbPa'xb'.
)ontrons que *D+,+x- est un anneau $
La multiplication est commutati(e et associati(e #c'est la multiplication des
rationnels).
11
La multiplication est distributi(e par rapport / l'addition
L'lment neutre de la multiplication est "
1
=+tel -&e +>1
Coit "
a
=+tel -&e +>a , on a alors :
"
1
"
a
=+y , +"
1
et y"
a
="
a
)ontrons que *D+,+x- est un corps $
our cela, montrons que les coupures di""rentes de "
0
=+tel -&e +>0
poss'dent un in(erse.
Coit "
a
une coupure positi(e di""rente de "
0
et
( "
a
)
1
=
1
+
, +>0, +( "
a
)

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

. 3 tant une coupure, Bet B

, ce qui implique que


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

. )r par d"inition d'une coupure, tout


lment de ,
1
est suprieur / tout lment de ,
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

=+tel -&e +>r


1
++tel -&e +>r
2
=1( r
1
)+1(r
2
)

1( r
1
r
2
)=+tel -&e +>r
1
r
2

=+tel -&e +>r


1
+tel -&e +>r
2
=1( r
1
)1(r
2
)

1(1)=+tel -&e +>1


1(0)=+tel -&e +>0
Donc

est un sous corps de D.


!l existe un second type de coupure tel que le complmentaire d'une coupure
"
a
n'admet pas de plus grand lment.
C'est / dire tel que ( "
a
)

=+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%

l!ensemble des suites


rationnelles.
2ontrons que

est un anneau commutati"

car il contient la suite nulle (&


n
)
n
tel que n , &
n
=0 .
#

, T) est un groupe commutati"


Coit (&
n
)
n
U u et (6
n
)
n
U ( deux suites de

. )n d"init l'addition par u


T ( U (&
n
+6
n
)
n
. L'addition sur

dcoule de l'addition sur . !l est clair


que la loi T est commutati(e : (&
n
+6
n
)
n
=(6
n
+&
n
)
n
et que la loi T est
associati(e. Con lment neutre est la suite nulle (0)
n
et l'oppos d'une suite
(&
n
)
n
est la suite (&
n
)
n
)n peut galement d"inir une multiplication sur

tel que le
produit de deux suites (&
n
)
n
et (6
n
)
n
u.( U (&
n
6
n
)
n
.
La multiplication sur

dcoule galement de la multiplication sur . La loi .


est associati(e, commutati(e, distributi(e par rapport / la loi T.
Con lment neutre est la suite (1)
n
16
2ontrons que C est un sous anneau de

# C, T) est un sous groupe de #


, 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

I . Coit e>0 , ( est une suite qui tend (ers . donc


0tel -&e 0<n=6
n
<
e
)
Donc n tel -&e 0<n , &
n
6
n
<)
e
)
=e . Donc (&
n
6
n
)
n
tend (ers ..
Coient a et b appartenant / C, alors d'apr's la d"inition de la relation
d'qui(alence ci dessus, a R b si et seulement si ab I .
Motons alors K = CXI = { classes d'qui(alence pour R }.
K est alors un anneau quotient.
)n identi"iera un lment de K a(ec la limite de ses reprsentants. ar exemple,
si
&=lasse de & , &- limite de u comme nous le (errons par la suite.
L'anneau quotient CXI sera notre "utur ensemble des nombres rels.
Mous de(ons donc montrer que CXI est un corps totalement ordonn complet.
Coit 1: C - CXI un morphisme d'anneau surjecti".
& -1(&)
18
b) K est un corps
2ontrons que CXI est un corps.
our cela montrons que tout lment de K non nul est in(ersible.
Coit uU (&
n
)
n
C tel que 1(&) K soit non nul.
Donc u ne tend pas (ers . autrement dit
j>0 tel -&e 0
1
, n0
1
=&
n
>j #Y)
u est une suite rationnelle de Cauchy donc :
e>00
e
tel -&e 0
e
<1n=&
n
&
1
<
e
2
)n utilise #Y) a(ec 0
1
=0
e
,
n
0
0
e
tel -&e&
n
0
>e
, et
n tel -&e 0
e
<n
0
n=&
n
&
n
0
<
e
2
.
Donc n
0
n ,&
n
=&
n
0
&
n
+&
n
0
&
n
0
&
n
&
n
0
>e
e
2
>
e
2
ie n
0
n ,&
n
>
e
2
Coit la suite m telle que ses n
0
premiers termes sont gaux / 7 est les autres
sont nuls.
Donc tous les termes de la suite (U (6
n
)
n
, tel que ( U u T m, sont non nuls. De
plus (6
n
)
n
C # car (&
n
)
n
est une suite de Cauchy ).
Mous pou(ons donc introduire une nou(elle suite F U
(
1
6
n
)
n
qui est bien
d"inie.
F U
(
1
6
n
)
n

C et F ne tend pas (ers . # ie 1(8)0 ) .


ar l'absurde, supposons que F tend (ers .. Donc
e>00
e
tel -&e 0
e
n=
1
6
n
<e
donc
n>)=1a+( 0
e
, n
0
) =
1
&
n
<e
d'o, &
n
>
1
e
impossible car (&
n
)
n
une suite de Cauchy est borne.
Donc la suite ( est in(ersible dans C et son in(erse est la suite F.
1 est un morphisme donc 1(638)=1(6). 1(8) et 1(638)=1(1) .
19
Mous pou(ons donc conclure que 1(8) est un in(erse de 1(&)=1( 6) # car
les suites u et ( ont la mRme limite ).
c) K est muni d'une relation d'ordre totale
D%inissons une relation d!ordre totale
Ieprenons notre morphisme d'anneau 1: C - CXI .
Coit 1(&) K un lment non nul tel que u est une suite de Cauchy qui ne
tend pas (ers ..
Coit l'ensemble des lments strictement positi"s de K c'est / dire que
1(&) si les termes de la suite u sont des rationnels strictement positi"s /
partir d'un certain rang. )n notera alors 1(&)>0 .
.emarque $ Cette d"inition ne dpend pas du choix de u.
Donc notre relation d'ordre sur K est d"inie par : 1(&)<1( 6) si et
seulement si 1(&)1( 6)90
)ontrons que cette relation d!ordre est totale
Cupposons que 1(&)1( 6)90 et montrons que
1(6)1( &)90 .
Ci 1(&)1( 6)90 , alors (1(&)1( 6))90 et donc
1(6)1( &)90 .
d) K est un corps complet
our montrer que K est un corps complet, montrons que CXI est archimdien et
que toute suite de Cauchy de CXI con(erge.
)ontrons que C/I 0 K est archimdien
Coient 1(&) et 1(6) K deux lments strictement positi"s.
Coient (&
n
)
n
et (6
n
)
n
C deux reprsentants respecti" et 1(&) et
1(6) .
Donc a, a>0et n
0
tel -&e nn
o
on ait &
n
a .
De plus, (6
n
)
n
est une suite de Cauchy donc elle est borne. Coit ) un
majorant de (6
n
)
n
.
20
Comme est archimdien, il existe 5 tel que 5a>)
Donc nn
0,
5&
n
5a>)>6
n
et / partir d'un certain rang
n
0,
5&
n
6
n
>0 .
D'apr's la d"inition de l'ordre sur K cela implique que 51(&)>1(6) .
Motons
&=1( &) les lments de K .
!l nous reste donc / montrer que toute suite de Cauchy ( &
n
)
n
d'lments
de K est con(ergente.
.emarques $
7. ( &
n
)
n
est une suite d'lments de K qui con(erge (ers
& K
:
e>0, e
K 0tel -&e n0 = &
n
&< e
c'est / dire e< &
n
&< e .
5. Coit
: -
K une injection tel que (r )=r o, la suite
constante r, (r )
n
, est un reprsentant de
r . )n dira que () est
l'ensemble des rationnels de K .
G. K est archimdien donc est dense dans K . C'est / dire que
pour tous
& , 6 tels que
& 6 , r tel -&e &r 6
9. &out lment de K est limite d'une suite de rationnels.
Dmonstration de la troisime remarque ,
Ci
& est ngati" et si
6 est positi", on prend rU..
Cupposons que
& et
6 sont positi"s, alors
6 &>0
Comme K est archimdien, il existe ->0 , - tel que -( 6&)>1 .
Donc 6 &>
1
-
= & 6
1
-
. osons 5 le plus petit entier tel que
5
-
> &
et r =
5
-
. Cupposons r 6 : r ( 6 &)+ &>
1
-
+ &
Donc &
51
-
. C'est absurde car on a supposer que p tait le plus petit entier
tel que
5
-
> & . Donc r 6 et on a
&r 6 .
Dmonstration de la quatrime remarque ,
&out lment de K est limite d'une suite de rationnels.
Coit
&=1( &) K et &=(&
n
)
n
C un reprsentant.
21
2ontrons que
& est la limite de u.
)n d"init ( &
n
)
n
K

par :
&
0
=1(&
0,
&
0,
&
0
...)
&
1
=1( &
0,
&
1,
&
1
...)=1(&
1,
&
1,
&
1
...)
&
2
=1(&
0,
&
1,
&
2,
&
2
...)=1( &
2,
&
2,
&
2,
&
2
...)
.
.
.
&
n
=1( &
0,
&
1,
&
2,
... , &
n
...)=1(&
n
, &
n
, &
n
, ... , &
n
...)
&=1(&)=1( &
0,
&
1,
&
2,
... , &
n
, &
n+1
...)
n, 1(&
n
)= &
n
donc par injecti(it, &
n
et &
n
s'identi"ient.
& &
n
=1(0,0 , 0, ... , &
n+1
&
n
, &
n+2
&
n
... )
&=(&
n
)
n
est une suite de Cauchy donc :
e>00 tel -&e n0 , k , =&
n+k
&
n
<e
Ci n0 , & &
n
=1(0,0 , 0, ... ,e&
n+1
&
n
e ,e&
n+2
&
n
e...)
Donc n0 , &&
n
< e
Donc ( &
n
)
n
con(erge (ers
& . 2ais comme &
n
s'identi"ie / &
n
, on peut
dire que (&
n
)
n
con(erge (ers
& .
2ontrons maintenant que toute suite de Cauchy ( &
n
)
n
d'lments de K
est con(ergente.
Coit ( &
n
)
n
une suite de Cauchy dont les termes appartiennent / K .
&
n
est la limite d'une suite de rationnels.
n , 6
n , k

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