LM360 Math´ematiques 2008
TD de topologie et calcul diff´erentiel– Feuille 4:
Espaces complets, Th´eor`eme du point fixe
Groupe de TD 5
La compl´etude est une notion d’espace topologique m´etrique et qui ne d´epend
pas seulement de la topologie des espaces concern´es. En particulier, la compl´etude
n’est pas une notion pr´eserv´ee par hom´eomorphisme (contrairement `a la compacit´e
ou la connexit´e), voir l’exercice 2.
Exercice 1. On consid`ere un espace discret muni de la distance dtelle que d(x, y) =
1 si x6=y. Quelles sont ses suites de Cauchy ? Est-il complet ?
Exercice 2. Donner un exemple d’espaces m´etriques Xet Yhom´eomorphes tels
que Xsoit complet et Yne le soit pas.
Exercice 3. Soit Xet Ydeux espaces m´etriques et fune application X→Y.
a) Montrer que si fest uniform´ement continue, alors elle conserve les suites de
Cauchy. Qu’en est-il de la r´eciproque ?
b) Supposons funiform´ement continue, bijective et de r´eciproque continue. Mon-
trer que si Yest complet, Xl’est aussi.
Exercice 4 (Distances usuelles sur C0([0,1],R) ).Soit El’espace des fonctions
continues de [0,1] dans R. Pour tout fet gdans E, on pose
d(f, g) = Z1
0
|f(t)−g(t)|dt.
On note d0la distance de la convergence uniforme sur E.
a) Rappeler pourquoi (ou montrer que) (E, d0) est complet.
b) Montrer que dest une distance.
c) Montrer que l’application identique de (E, d0) dans (E, d) est continue et que
par contre l’application identique de (E, d) dans (E, d0) n’est pas continue.
d) Montrer que (E, d) n’est pas complet.
Exercice 5 (Espaces `p).Pour tout r´eel p≥1, on note `pl’ensemble des suites
u= (un)n∈N`a valeurs dans Ctelles que la s´erie
∞
X
n=0
|un|psoit convergente. On note
Np(u) =
∞
X
n=0
|un|p1/p et dp(u, v) = Np(u−v).
a) Montrer que dpest une distance.
b) Montrer que (`p, dp) est complet. Qu’en est-il de `∞={(un)n∈N/ un→
n→∞ 0}
(avec les notations ´evidentes) ?
1