1

Le corps R des nombres rels

1.1

Construction de R laide des suites de Cauchy de

nombres rationnels

On explique brivement dans ce paragraphe comment construire le corps R des nombres

rels partir du corps Q des nombres rationnels.
Lensemble N des entiers naturels peut tre construit partir de la notion de cardinal dans
le cadre de la thorie des ensembles. Aprs avoir tudi la thorie des groupes, on construit
lanneau Z des entiers relatifs par symtrisation puis le corps Q des nombres rationnels est
construit comme le corps des fractions de Z.
Le corps Q tant totalement ordonn, on peut dfinir sur cet ensemble les notions de valeur
absolue, de minorant, de majorant, de borne infrieure et de borne suprieure.
On note Q+ [resp. Q+, ] le sous-ensemble de Q form des nombres rationnels positifs ou nuls
[resp. strictement positif].
Dire que M Q est la borne suprieure dune partie non vide X de Q signifie que M est le
plus petit des majorants de X, ce qui se traduit par :

x X, x M,
a Q tel que a < M, x X | a < x M
et on note M = sup (X) . Il nest pas difficile de montrer lunicit dune telle borne suprieure
quand elle existe.

|nN
de
Exercice 1.1 Montrer que 0 est la borne suprieure du sous-ensemble X =
n
Q.
Solution 1.1
Exercice 1.2 Montrer que le sous-ensemble X = {r Q | x2 < 2} de Q na pas de borne
suprieure dans Q.
Solution 1.2
Le but de ce chapitre est de donner les principales ides qui conduisent la dmonstration
du thorme suivant.
Thorme 1.1 Il existe un corps totalement ordonn R qui contient Q dans lequel toute partie
majore non vide admet une borne suprieure.
3

Le corps R des nombres rels

Un tel corps est unique isomorphisme prs.

On rappelle que, si X est un ensemble non vide, alors une suite dlments de X est une
application dfinie sur N (ou une partie de N) valeurs dans X. On note usuellement u =
(un )nN ou u = (un )nn0 une telle suite.
Lensemble QN des suites de nombres rationnels est un anneau commutatif unitaire pour les
oprations classiques daddition et de multiplication.
Dfinition 1.1 On dit quune suite (rn )nN de nombres rationnels est convergente sil existe
un nombre rationnel r tel que :
Q+, , n0 N | n n0 , |rn r| < .
En cas de convergence il y a unicit de la limite et on crira lim un = ` ou un
n+

`.

n+

Dfinition 1.2 On dit quune suite (rn )nN de nombres rationnels est de Cauchy si :
Q+, , n0 N | n n0 , m n0 , |rn rm | < .
En utilisant lingalit triangulaire dans Q, on vrifie facilement quune suite convergente
est de Cauchy et quune suite de Cauchy est borne.
On vrifie aussi facilement, partir de la dfinition, que sil existe une suite (n )nN de
nombres rationnels convergente vers 0 telle que |rm rn | < n pour tous m > n, alors la suite
(rn )nN est de Cauchy.
Exercice 1.3 Montrer que si (rn )nN est une suite de nombres rationnels telle que |rn+1 rn |
n pour tout n N, o est un rationnel strictement compris entre 0 et 1, alors cette suite est
de Cauchy.
Solution 1.3 Il suffit dcrire pour m > n :
m1
m1
X
X

|rm rn | =
(rk+1 rk )
|rk+1 rk |

k=n

k=n

m1
X

<
1
k=n
k

0.

n+

Exercice 1.4 Montrer que la suite (rn )nN de nombres rationnels dfinie par r0 = 2 et rn+1 =
1
est de Cauchy, mais non convergente dans Q.
1+
rn
Solution 1.4 On vrifie par rcurrence que cette suite est bien dfinie et valeurs dans Q.
On vrifie galement par rcurrence que rn > 1 pour tout n N.
Il en rsulte que rn rn+1 = rn + 1 > 2 pour tout n N et :

1
|rn rn1 |
1
1
=
|rn+1 rn | =
< |rn rn1 |

rn rn1
rn rn1
2
1
1
pour n 1 et par rcurrence |rn+1 rn | < n |r1 r0 | = n+1 , ce qui implique que (rn )nN est
2
2
de Cauchy.

Construction de R laide des suites de Cauchy de nombres rationnels

Exercice 1.5 Montrer que la suite (rn )nN de nombres rationnels dfinie par rn =
de Cauchy, mais non convergente dans Q.

5
n 1
P
est
k=0 k!

Solution 1.5 On vrifie facilement que cette suite est bien dfinie et valeurs dans Q.
Pour m > n > 2, on a :

m
X
1
1
1
1
|rm rn | =
=
1+
+ +
k!
(n
+
1)!
n
+
2
(n + 2) (m 1) m
k=n+1

1
1
1
1
1+

+
+ +
(n + 1)!
n + 2 (n + 2)2
(n + 2)mn1
n+2
1
1
1

1 =
2
(n + 1)! 1 n+2
n
(n + 1) n!
ce qui implique que (rn )nN est de Cauchy.
Supposons quelle soit convergente vers un rationnel r =
positifs premiers entre eux. Pour tout n > q, le nombre

p
o p, q sont deux entiers strictement
q

pn = n! (r rn ) = n! lim (rm rn )
m+

est un entier strictement positif avec :

0 < n! (rm rn )

n+2
1
2
2
(n + 1)

pour m > n 2, ce qui implique 0 < pn < 1 dans N qui est impossible.
La suite (rn )nN est donc non convergente dans Q.
Exercice 1.6 Montrer que, pour tout entier a 2, la suite (rn )nN de nombres rationnels
n
P
1
dfinie par rn =
est de Cauchy, mais non convergente dans Q.
k2
k=0 a
Solution 1.6
En notant C lensemble des suites de Cauchy de nombres rationnel, on vrifie facilement
que cest un sous-anneau de QN . Le fait que C est stable pour la multiplication se montre en
utilisant fait quune suite de Cauchy est borne.
Le sous-ensemble Z de C form des suites qui tendent vers 0 est un idal de C (l encore on
utilise le fait quune suite de Cauchy est borne).
C
est un corps
On vrifie alors que Z est un idal maximal de C et lanneau quotient R =
Z
commutatif. Lapplication i qui associe un nombre rationnel r la classe de la suite constante
C
C
gal r dans
ralise une injection de Q dans , ce qui permet didentifier Q i (Q) .
Z
Z
On peut alors munir R dune relation dordre total compatible avec la structure de corps.
On vrifie ensuite que dans R toute partie non vide majore dans R admet une borne
suprieure et que toute suite de Cauchy dans R est convergente.
On consultera le livre de Doukhan et Sifre (Cours dAnalyse chez Dunod) ou celui de Boualem
et Brouzet (La plante R chez Dunod) pour plus de dtails.
Les suites relles seront tudies en dtails au chapitre 3, mais nous en utiliserons quand
mme quelques proprits de bases connues du Lyce.

1.2

Le corps R des nombres rels

La proprit de la borne suprieure

On peut dfinir sur R les notions de minorant, majorant, borne infrieure et suprieure. Les
dfinitions tant analogues celles donnes sur Q.
Dans les dfinitions qui suivent X est une partie non vide de R.
Dfinition 1.3 On dit quun rel m est un minorant de X si :
x X, m x
On dit quun rel M est un majorant de X si :
x X, x M
On dit quun rel M est une borne infrieure de X si M est un minorant de X et si :
> 0, x X | m x m +
(ce qui peut se traduire en disant que m est le plus grand des minorants de X).
On dit quun rel M est une borne suprieure de X si M est un majorant de X et si :
> 0, x X | M < x M
(ce qui peut se traduire en disant que M est le plus petit des majorants de X).
Thorme 1.2 Si X admet une borne infrieure [resp. suprieure] cette dernire est unique.
Dmonstration. Supposons que X admette deux bornes suprieures M et M 0 avec M 0 < M.
Prenant = M M 0 , on peut alors trouver x X tel que M 0 = M < x M, ce qui
contredit lingalit x M 0 . Lensemble X admet donc au plus une borne suprieure.
On procde de mme pour la borne infrieure.
En cas dexistence, on peut donc noter m = inf (X) la borne infrieure de X et M = sup (X)
sa borne suprieure.
La borne infrieure ou suprieure de X quand elle existe nest pas ncessairement un lment
de X. Si inf (X) [resp. sup (X)] existe et est dans X, on dit alors que inf (X) [resp. sup (X)] est
le plus petit [resp. plus grand] lment de X. Si inf (X) X [resp. sup (X) X] on dit aussi
que cest le minimum [resp. maximum] de X et on le note min (X) [resp. max (X)].
Exemple 1.1 Si X = [0, 1[ , alors 0 est le plus petit lment (et donc la borne infrieure) et 1
est la borne suprieure de X, mais cette borne suprieure nest pas dans X, il ny a donc pas de
plus grand lment.
Exemple 1.2 X = [0, +[ na ni plus grand lment ni borne suprieure.
Dans le cas o X est une partie finie de R, ses lments peuvent tre rangs dans lordre
croissant et lexistence des bornes infrieure et suprieure est assure sans rfrence au thorme
prcdent, ces bornes tant des lments X. Dans ce cas de figure, on dit que inf (X) [resp.
sup (X)] est le plus petit [resp. plus grand] lment de X, on le note aussi min (X) [resp.
max (X)].
On rappelle que la valeur absolue dun rel x est dfinie par :

x si x 0
|x| = max {x, x} =
x si x < 0

La proprit de la borne suprieure

et la majoration |x| est quivalente x x ou encore x [, ] . Plus

gnralement, les quivalences suivantes sont bien utiles :
|x x0 | x x0 x x [x0 , x0 + ]
ou encore :
|x x0 | < < x x0 < x x ]x0 , x0 + [
Exercice 1.7 Montrer que pour rels a et b, on a :

max (a, b) = a + b + |b a|
2
2
a
+
b
|b

a|

min (a, b) =

2
2
On peut retenir ces galits en remarquant que min (a, b) est la borne infrieure de lintervalle
a+b
dextrmits a, b, max (a, b) la borne suprieure et
le milieu de cet intervalle.
2
Solution 1.7 Laisse au lecteur.
Une partie de R qui admet un minorant [resp. majorant] est dite minore [resp. majore].
On dit quune partie de R est borne si elle est minore et majore. Une partie X de R
borne admet donc une borne infrieure et une borne suprieure et on a inf (X) sup (X) .
Les bornes infrieures et suprieures dun ensemble peuvent aussi sexprimer comme limites
de suites de points de cet ensemble. Cette caractrisation est souvent utilise.
Thorme 1.3 Si X admet une borne infrieure [resp. suprieure], il existe alors une suite
(xn )nN de points de X qui converge vers m = inf (X) [resp. M = sup (X)].
Dmonstration. Supposons que X admette une borne suprieure M. Pour tout entier
1
< xn M. De cet encadrement
naturel n, on peut trouver un lement xn de X tel que M
n+1
on dduit alors que M = lim xn .
n+

Si un ensemble X na pas de borne suprieure, on peut alors trouver pour tout entier n 1
un lment xn de X tel que xn > n. La suite (xn )n1 diverge alors vers +. Il est alors naturel
de noter dans ce cas l que sup (X) = +.
De manire analogue, on notera inf (X) = si X nest pas minor.
La construction de R esquisse au paragraphe prcdent permet de montrer le thorme
suivant que nous admettons.
Thorme 1.4 Toute partie non vide minore [resp. majore] dans R admet une borne infrieure [resp. suprieure].
Exercice 1.8 Soient A, B sont deux parties non vide et bornes de R. Montrer que :

sup (A B) = max (sup (A) , sup (B))

inf (A B) = min (inf (A) , inf (B))

A B inf (B) inf (A) et sup (A) sup (B)

Le corps R des nombres rels

Solution 1.8 Supposons que sup (A) sup (B) . Si x A B, on a soit x A et x

sup (A) sup (B) , soit x B et x sup (B) , il en rsulte que sup (A B) sup (B) . Pour
> 0 donn, on peut trouver x B A B tel que sup (B) < x sup (B) . On a donc
sup (A B) = sup (B) .
On montre de manire analogue que inf (A B) = min (inf (A) , inf (B)) .
Supposons que A B. Pour tout x A, on a x B et inf (B) x sup (B) , ce qui entrane,
par dfinition des bornes infrieure et suprieure, inf (B) inf (A) et sup (A) sup (B) .
Exercice 1.9 Si A, B sont deux parties non vide de R, on dfinit lensemble :
A + B = {x + y | x A et y B}
Montrer que si A et B sont majors, il en est alors de mme de A + B et :
sup (A + B) = sup (A) + sup (B)
Solution 1.9 Notons M = sup (A) et M 0 = sup (B) . Pour tout z = x + y avec (x, y) A B,
on a :
z = x + y M + M0
Lensemble A + B est donc non vide major et en consquence admet une borne suprieure

M 00 M + M 0 . Pour tout rel > 0, on peut trouver x A et y B tels que M < x M

2

et M 0 < y M 0 , ce qui nous donne z = x + y A + B tel que :

2
M + M0 < z M + M0
Le rel M + M 0 est donc la borne suprieure de A + B.
Exercice 1.10 Dterminer, si elles existent les bornes infrieure et suprieure des ensembles
suivants :

A = 2n | n N
B = [0, 1[ Q

1
n

C = (1) + | n N
n
Solution 1.10 On a 20 A et 2n 1 pour tout n N. Il en rsulte que 1 est la plus grand
lment (et donc la borne suprieure) de A. Tous les lments de A tant strictement positifs,
0 est un minorant de X. Comme pour tout rel
> 0 on peut trouver un entier naturel n tel

1
que 0 < 2n < (cest quivalent n > log2
), on dduit que 0 est la borne infrieure de

X.
Lensemble B tant contenu dans [0, 1] est born. Comme 0 B et minore B, on a 0 = min (B) .
Lensemble B est major par 1 et pour tout rel > 0 on peut trouver un entier n 1 tel que
1
1
1 < 1 < 1 avec 1 B, il en rsulte que 1 = sup (B) et B na pas de plus grand
n
n
lment car 1
/ B.
En sparant les entiers pairs des entiers impairs, on a C = C1 C2 avec :

1
1

C1 = 1 +
| p N , C2 = 1 +
|pN
2p
2p + 1

La proprit de la borne suprieure

et comme pour lensemble A, on vrifie que inf (C1 ) = 1

/ C1 , sup (C1 ) =
1
/ C2 , sup (C2 ) = 0 C1 , soit :
sup (C) = max (sup (C1 ) , sup (C2 )) =

3
C1 , inf (C2 ) =
2

3
C
2

inf (C) = min (inf (C1 ) , inf (C2 )) = 1

/C
Exercice 1.11 Soit X une partie non vide et majore de R. Montrer que si M = sup (X)
/ X,
il existe alors pour tout rel > 0 une infinit dlments de X dans lintervalle ]M , M [ .
Solution 1.11 On se donne > 0. Par dfinition de la borne suprieure M il existe x0 X
tel que M < x0 < M (on a x0 < M du fait que M
/ X). Toujours par dfinition de
M, on peut trouver x1 X tel que x0 < x1 < M. Et par rcurrence on construit ne suite
strictement croissante (xn )nN dans lintervalle ]M , M [ . En effet, x0 et x1 ont t trouvs
et supposant trouvs x0 < x1 < < xn dans ]M , M [ X, on peut trouver xn+1 dans X tel
que xn < xn+1 < M.
Une consquence importante du thorme de la borne suprieure est la proprit dArchimde
qui suit.
Thorme 1.5 Lensemble R des nombres rels est archimdien, cest--dire que :
a R+, , b R+ , n N ; na > b.
Dmonstration. Si na b pour tout n N , alors A = {na, n N } est une partie de R
non vide et majore (par b), elle admet donc une borne suprieure . On a alors (n + 1) a
pour tout n N, ce qui entrane na a pour tout n N et a est un majorant de A
strictement infrieur , ce qui est impossible. Il existe donc un entier n N tel que na > b.
De ce thorme on dduit le rsultat important suivant sur lexistence de la partie entire
dun rel.
Thorme 1.6 Pour tout rel x il existe un unique entier relatif n tel que :
n x < n + 1.

(1.1)

Dmonstration. Pour x entier relatif, il suffit de prendre n = x. On suppose donc x non

entier.
Supposons dabord que x est strictement positif.
En prenant a = 1 dans le thorme prcdent, on dduit que :
x > 0, m N r {0} | m > x
et en consquence, lensemble des entiers m > 0 vrifiant m > x est non vide. Il admet donc
un plus petit lment p qui vrifie :
p > x, p 1 x.
Il suffit alors de poser n = p 1.
Pour x < 0 en raisonnant avec x on aboutit lexistence dun entier p vrifiant :
p x < p + 1.

10

Le corps R des nombres rels

On a alors (p + 1) < x < p (x nest pas entier) et n = (p + 1) convient.

Si pour x rel il existe deux entiers n et p vrifiant (1.1), on a alors :

n x < n + 1,
p 1 < x p,
donc n p < 1, soit n p 0 et n p > 1, soit n p 0. Et ncessairement n = p. Do
lunicit de n vrifiant (1.1) .
Dfinition 1.4 Avec les notations du thorme prcdent, lentier n est appel la partie entire
de x. On le note [x] ou E (x) .
Lexistence de cette fonction partie entire nous suffit pour montrer que Q est dense dans
R, cest--dire que tout rel est limite dune suite de nombres rationnels. Ltude dtaille des
suites numriques est faite au paragraphe suivant.
Exercice 1.12 On se donne un entier b 2 et pour tout entier naturel non nul n, on dfinit
lensemble :

k
n
Qn =
| k N, 0 k b .
bn
Montrer que pour tout rel x [0, 1] et tout entier naturel non nul n, il existe rn Qn tel que :
rn x < rn +

1
.
bn

En dduire que Q est dense dans R.

Solution 1.12 Pour x [0, 1] et n 1, on a :
[bn x] bn x < [bn x] + 1
et :

[bn x]
1
x < rn + n .
n
b
b
n
n
Comme 0 x 1, on a 0 [b x] < b et rn Qn .
1
1
De 0 x rn < n et lim n = 0, on dduit que lim rn = x, (rn )n1 tant une suite de
n+ b
n+
b
nombres rationnels. Pour b = 10, (rn )n1 est une suite dapproximations dcimales par dfaut
de x.
Tout rel x pouvant scrire sous la forme x = p + y avec p = E [x] entier et y [0, 1] , on en
dduit que Q est dense dans R.
Pour b = 10, on a en fait montrer que lensemble D des nombres dcimaux est Q est dense dans
R.
rn =

La densit de Q dans R peut aussi se montrer directement comme consquence du fait que
R est archimdien.
Thorme 1.7 Entre deux nombres rels distincts il existe un nombre rationnel.

La proprit de la borne suprieure

11

Dmonstration. Soient x, y deux rels distincts. On peut supposer que y > x. Comme R
est archimdien il existe un entier naturel n 1 tel que n (y x) > 1 et un entier naturel
1
k
m 1 tel que m > |x| . Il en rsulte que lensemble E des entiers relatifs k tels que x est
n
n
m
k
m
non vide puisque m E (on a < |x| x) et major par m (on a x |x| <
et
n
n
n
donc k m puisque n > 0). Cet ensemble E admet donc un plus grand lment p et on a :
p
p+1
x<
n
n
(p est tout simplement la partie entire de nx).
Enfin avec n (y x) > 1, on dduit que :
y>

1
1
p
+x +
n
n n

et :
x<

p+1
< y.
n

Corollaire 1.1 Tout rel est limite dune suite de nombres rationnels.
Dmonstration. Pour x R et n N on peut trouver un rationnel rn tel que x < rn <
1
x+
. De cet encadrement on dduit que x = lim rn .
n+
n+1
Dans la dmonstration prcdente les rationnels rn sont tels que x < rn pour tout n. On
peut aussi trouver une suite de rationnels (sn )nN qui converge vers x et telle que sn < x en
1
utilisant lexiste dun rationnel sn tel que x
< sn < x.
n+1
Ces rsultats peuvent tre utiliss pour dterminer toutes les fonctions monotones f : R R
telles que :
(x, y) R2 , f (x + y) = f (x) + f (y)
(1.2)
Cette quation (1.2) est lquation fonctionnelle de Cauchy.
Exercice 1.13 On dsigne par f une fonction monotone vrifiant lquation (1.2) .
1. Montrer que :
a R, r Q,

f (ra) = rf (a) .

2. Montrer quil existe un rel tel que f (x) = x pour tout rel x.
3. Montrer que lidentit est lunique fonction non identiquement nulle f : R R telle que
f (x + y) = f (x) + f (y) et f (xy) = f (x) f (y) pour tous rels x, y.
Solution 1.13
1. En prenant (x, y) = (0, 0) dans (1.2) , on obtient f (0) = 2f (0) , ce qui quivaut f (0) =
0.
En prenant (x, y) = (x, x) dans (1.2) , on obtient f (x)+f (x) = 0. On a donc f (x) =
f (x) pour tout x R, cest--dire que la fonction f est impaire.
De (1.2) on dduit par rcurrence que pour tout a R on a :
n N, f (na) = nf (a) .

12

Le corps R des nombres rels

En effet, le rsultat est vrai pour n = 0 et le supposant vrai pour n 0, on a :
f ((n + 1) a) = f (na) + f (a) = nf (a) + f (a) = (n + 1) f (a) ,
il est donc vrai pour tout n N.
a
a
En crivant, pour tout n N \ {0} , que f (a) = f n
= nf
, on dduit que
n
n
a 1
f
= f (a) pour tout a R et tout n N \ {0} . Il en rsulte que pour tout rationnel
n
n
p
positif r = , avec p N et q N \ {0} , on a :
q


a
p
a
f (ra) = f p
= pf
= f (a) = rf (a) .
q
q
q
Enfin avec limparit de f, on dduit que ce dernier rsultat est encore vrai pour les
rationnels ngatifs. On a donc f (ra) = rf (a) pour tout a R et tout r Q.
Pour a = 1, en notant = f (1) , on obtient f (r) = r pour tout r Q.
2. On suppose que f est croissante. On a = f (1) f (0) = 0.
En notant, pour x R, par (rn )nN et (sn )nN des suites de rationnels qui convergent vers
x avec rn < x < sn , on a pour tout n N :
rn = f (rn ) f (x) f (sn ) = sn
et faisant tendre n vers linfini, on en dduit que f (x) = x.
On procde de manire analogue pour f dcroissante.
3. Avec f (1) = (f (1))2 , on dduit que f (1) = 0 ou f (1) = 1. Si f (1) = 0, alors pour tout
x R on a f (x) = f (x) f (1) = 0 et f est identiquement nulle.
Si on suppose que f nest pas identiquement nulle, on a alors f (1) = 1.
Avec f (x2 ) = (f (x))2 0, on dduit que f (x) 0 pour tout x 0 et pour x y dans
R, on a f (x) f (y) = f (x y) 0, ce qui signifie que f est croissante. On dduit alors
de la question prcdente que f (x) = x pour tout x R ( = f (1) = 1).

Exercice 1.14 Montrer que E = {r3 | r Q} est dense dans R.

Solution 1.14 Soient x <
y des rels. En utilisant la densit de Q dans R, on peut trouver un

nombre rationnel r tel que 3 x < r < 3 y et on a alors x < r3 < y. Do la densit de E dans
R.