Vous êtes sur la page 1sur 4

Compltude de


Dans un premier temps nous nous limitons .

Rappel : Soit . On dit que X est le supremum de X et on note sup( ) X = si est le
plus petit des majorants de X (un majorant de X est un nombre a qui vrifie , x X x a ).
De la mme faon, on dit que est l'infimum de X et on note inf( ) X = si est le plus
grand des minorants de X (un minorant de X est un nombre a qui vrifie , x X a x ). Il
existe des sous-ensembles de qui n'ont pas de supremum (resp. d'infimum) par exemple
(resp. ). On utilise souvent la caractrisation suivante du sup :

[0, [ + ] , 0 ] sup( ) X =
ssi 0, , x X x > ce qui est vident car on peut s'approcher aussi prs que l'on
veut de par des lments de X (penser petit). Pour l'inf on a, inf( ) X = ssi
0, , x X x > + .

On admettra le thorme suivant,

Thorme : Si est major c'est--dire s'il existe X a tel que , x X x a (resp.
minor) alors X possde un supremum (resp. un infimum).

Remarque : On verra plus tard que c'est cette proprit qui permettra de montrer que est
complet. En passant, on remarquera que ce thorme n'est pas vrifi dans l'ensemble des
nombres rationnels. En effet l'ensemble

{ }
2
| X x x 2 = est major mais n'a pas de
supremum dans . Tandis que dans nous avons sup( ) 2 X = . C'est ce qui fait que
n'est pas complet.


Dfinition : On dit que est born si X est major et minor. X

De la dfinition suit immdiatement que X est born ssi il existe , a b avec a tels que b <
[ , ] X a b .

Dfinition :On dit qu'une suite de est croissante (resp. dcroissante) si
(resp.
( )
n
a


1
,
n n
n a a
+

1
,
n n
n a a
+
). On dit que la suite ( )
n
a

est monotone si elle est


croissante ou dcroissante.

Dfinition : Soit { }
0 1 2
, , ,... T n n n = un sous-ensemble infini de avec . On dit
que la suite
( )
est une sous-suite de la suite

0 1
... n n < <
n
i
i
a

( )
n
a

.

Proposition : Toute suite de admet une sous-suite monotone. ( )
n
a



Preuve : On dit que est un pic de la suite si
m
a ,
m
n m a a
n
. Considrons l'ensemble P
des pics de la suite . Si P est infini alors la sous-suite ( )
n
a

( )
n
n P
a

est monotone car


dcroissante. Si P est fini ou vide alors soit
1
max( ) 1 m P = + (si P = on choisit
1
m
quelconque). n'est pas un pic, donc il existe tel que
1
m
a
2
m m
1
1 2
m m
a a . A son tour
n'est pas un pic, donc il existe tel que
2
m
a
3
m m
2
2 3
m m
a a etc. Nous voyons que l'on dfinit
ainsi une sous-suite croissante.

Dfinition : On dit que la suite ( )
n
a

converge vers a et on note si lim


n
n
a

= a
0, ,
n
N n N a a > . On dit dans ce cas que a est la limite de la suite ( )
n
a

.

Thorme : Toute suite ( )
n
a

croissante (resp. dcroissante) et majore (resp. minore)


converge.

Preuve : Ce thorme est assez intuitif. En effet on se doute que { }
0 1 2
sup , , ,... a a a a = est la
limite de cette suite. Remarquons tout d'abord que { }
0 1 2
sup , , ,... a a a a = existe car ( est
majore (cf. premier thorme). Soit
)
n
a

0 > . Il existe un tel que


N
a
N
a a a . Mais dans
ce cas vu que la suite est croissante on a ,
n
n N a a a . C'est--dire
n
a a .
Dans le cas o la suite est dcroissante en procdant de la mme faon on montre que
{ }
0 1 2
inf , , ,... a a a a = est la limite de cette suite.

Voici le Thorme retenir :

Thorme (de Bolzano-Weierstrass) : Toute suite borne de nombres rels possde une
sous-suite convergente.

Preuve : Soit ( une telle suite. Par une proposition prcdente on sait qu'il existe une
sous-suite monotone que nous noterons
)
n
a

( )
n
b

. ( )
n
b

est donc une suite monotone et borne


et par le thorme prcdant, converge. ( )
n
b


Exemple : la suite tant borne possde une sous-suite convergente ce qui n'est
nullement trivial.
sin( ) n

Dfinition : Une suite de Cauchy, est une suite ( )
n
a

qui vrifie :
0, , ( , )
n m
N n m N a a > .

La diffrence entre deux termes d'une suite de Cauchy peut tre rendue arbitrairement petite
pourvu que les indices de ces termes soient assez grands. La proposition suivante est donc
assez intuitive :

Proposition : Toute suite convergente est une suite de Cauchy.

Preuve : Soit 0 > , nous devons montrer qu'il existe
tel que ( , )
n m
N n m N a a . Mais ( )
n
a

tend vers a donc il existe tel N


que / 2
n
n N a a . Pour nous avons donc , n m N
/ 2 / 2
n m n m
a a a a a a + + = .

Remarque : Nous avons utilis l'ingalit triangulaire x y x z z y + .

Proposition : Toute suite de Cauchy est borne.

Preuve : Si ( )
n
a

est une suite de Cauchy alors en particulier pour 1 = nous savons qu'il
existe tel que N ,
n m
n m N a a 1. Donc si l'on fixe m nous obtenons,
, 1
n
n N a a +
m
(utiliser l'ingalit x y x y qui dcoule de l'ingalit
triangulaire). Sachant que l'ensemble
{ }
,
j
a j N < est born car fini, il existe tel que 0 M >
{ } 0,1,..., 1 ,
j
j N a M et donc 0, 1
n m
n a a M + + .

Voici prsent le thorme fondamental de ces quelques lignes.

Thorme : Toute suite de Cauchy de nombres rels est convergente. On dit alors que
l'espace mtrique muni de la distance est complet.

Preuve : Soit ( une suite de Cauchy. On a vu que )
n
a

( )
n
a

est borne donc par le thorme


de Bolzano-Weierstrass, il existe une sous suite
( ) n
i
i
a

convergente. Notons a la limite de la


sous-suite . Il ne reste qu' montrer que la suite
( ) n
i
i
a

( )
n
a

est convergente de limite a.


Soit 0 > , il existe N tel que / 2
n
i
i N a a . Pour ce mme il existe
tel que
0 M
, / 2
p q
p q M a a M . Soit C N = + . Choisissons i . Nous avons donc, C
/ 2
n
i
a a et pour , n C / 2
n n
i
a a . Donc par l'ingalit triangulaire, pour tout
, n C / 2 / 2
n n n n
i i
a a a a a a + + = . Ce qui veut justement dire que (
converge vers a.
)
n
a


Remarque : Ce thorme est trs utile car il permet de dire si une suite de rels est
convergente sans trouver sa limite.

Nous passons prsent au cas plus gnral de avec . Sans rentrer dans les dtails
nous allons juste reformuler les propositions, thormes et dfinitions qui prcdent en
quelques points pour les appliquer .
n
1 n
n


1. Dans nous utilisons la mtrique euclidienne donne par la distance d avec,
n

( )
2
1
, , ( , )
n
n
i i
i
x y d x y x y
=
=

o
1 1
( ,.., ) et ( ,.., )
n n
x x x y y y = = ,
i i
x y , . On
vrifie que d satisfait bien aux axiomes d'une distance c'est--dire pour tout
, ,
n
x y z , , ( , ) 0 d x y ( , ) ( , ) d x y d y x = , ( , ) 0 0 d x x x = = , et l'ingalit
triangulaire . Pour ( , ) ( , ) ( , ) d x z d x y d y z + 1 n = on retrouve bien ( , ) d x y x y = .
2. Une boule ouverte de centre en et de rayon r est dfinie comme tant
l'ensemble
n

n
x
{ }
( , ) | ( , )
n
B x r y d x y r = < . On dit que est born s'il existe
tel que
n
X
0 r > (0, ) X B r .
3. On dit que la suite de converge vers et on note si ( )
k
v

n
a lim
k
k
v

= a
0, , ( , )
k
N k N d v a > . On dit dans ce cas que a est la limite de la suite
. On vrifie que ( converge vers ( )
k
v

)
k
v

1
( ,.., )
n
a a a = avec
ssi
1
( ,..., ), pour 1
k k k
k n j
v v v v j = n lim
k

j j
k
v a

= . C'est--dire que la convergence


se fait composante par composante.
4. On a de nouveau le thorme de Bolzano-Weierstrass : si ( )
k
v

est une suite de


borne alors elle possde une sous-suite convergente. En effet pour 1 la suite
est dans et est borne par consquent elle possde une sous-suite
convergente c'est--dire, il existe T infini tel que
n

j n
( )
1
k
v


( )
1
k
k T
v

converge. En rptant
le mme argument avec
( )
2
k
k T
v

on voit qu'il existe T T infini tel que


( )
2
k
k T
v


converge etc. Ainsi on voit par rcurrence qu'il existe une sous-suite de qui
converge.
( )
k
v

5. Une suite de Cauchy, est une suite ( )


k
v

qui vrifie :
0, , ( , ( , ) )
p q
N p q N d v v > . Toute suite convergente est de Cauchy .
Toute suite de Cauchy est borne. Les preuves de ces affirmations son exactement
semblables celles dj faites pour . Il suffit de remplacer la distance par d.
6. Toute suite de Cauchy est convergente. En effet si la suite ( )
k
v

est de Cauchy alors


les suites relles
( ) ( ) ( )
1 2
, ,...,
k k k
n
v v v

sont toutes de Cauchy dans , par suite elles
convergent. Donc ( converge.

)
k
v