Proposition 1.7. Soit (E, d) un espace métrique et F⊂E.
(1) Si le sous-espace métrique (F, d) est complet, alors Fest un fermé de
E.
(2) Si Eest complet et si Fest fermé dans E, alors Fest complet.
Démonstration. (1) : Soit (xn)une suite d’éléments de Fqui converge dans
E.(xn)est donc une suite de Cauchy dans E, donc aussi dans F. Celui-ci
étant par hypothèse complet, on en déduit que (xn)converge vers un élément
de F. Ainsi Fest un fermé de E.
(2) : Soit (xn)une suite de Cauchy dans (F, d). Elle est de Cauchy dans
(E, d) qui est complet, donc elle converge dans E. Mais Fest, par hypothèse,
un fermé de E, la limite de (xn)est dans F. Ainsi, (F, d) est complet.
Proposition 1.8. Soient d1et d2deux distances équivalentes sur E. Alors,
(E, d1)est complet si et seulement si (E, d2)est complet.
Proposition 1.9. Soient (Ei,di),1≤i≤n, des espaces métriques. L’es-
pace métrique produit E1×E2×···×Enest complet si et seulement si, pour
tout i, l’espace (Ei,di)est complet.
Exemple 1.10.
L’espace Rn, muni de l’une des trois distances classiques, est complet.
Proposition 1.11. Soit (E, d) un espace métrique complet et soit (Fn)une
suite de fermés non vides de Evérifiant :
(1) pour tout n∈N,Fn+1 ⊂Fn
(2) lim
n→+∞diam(Fn) = 0
Alors l’intersection des Fn,n∈N, est réduite à un point.
Démonstration. Les Fnn’étant pas vides, on peut construire une suite (xn)
telle que, pour tout n∈N,xn∈Fn. L’hypothèse (i)montre que Fm⊂Fn
pour tout m≥n, si bien que pour tout m≥n,xnet xmsont dans Fn. par
suite, pour tout m≥n, on a
d(xn, xm)≤diam(Fn)
Le second membre de cette inégalité tend vers 0quand ntend vers l’infini et
donc la suite (xn)est de Cauchy. Soit ℓsa limite et soit n∈Nfixé. la suite
(xm)m≥nest une suite de Fnqui converge vers ℓ. Comme Fnest un fermé de
E, la limite ℓappartient à Fnet par suite ℓappartient à l’intersection des
Fn,n∈N.
Réciproquement, soit xdans l’intersection des Fn. Puisque xet ℓsont dans
Fnpour tout n, on a
0≤d(x, ℓ)≤diam(Fn)
Le second membre tend vers 0quand ntend vers l’infini, donc x=ℓ.
3