2
Espaces m´etriques
Th´eor`eme 1. Soient (E, dE)et (F, dF)deux espaces m´etriques. Soit Dun sous ensemble dense
de Eet f:D→F. Si
•Fest complet,
•fest uniform´ement continue sur D,
alors il existe un unique prolongement continu ˜
fde f`a Etout entier et ce prolongement est
uniform´ement continu.
Th´eor`eme 2. (Th´eor`eme de Picard) Soient (E, d)un espace m´etrique complet. Soit f:E→E
une application strictement contractante, c´est `a dire qu´il existe une constante k∈]0,1[ telle que :
∀x, y ∈E, d(f(x), f(y)) ≤k d(x, y).
Alors fa un unique point fixe, c´est `a dire qu´il existe un unique a∈Etel que a=f(a).
De plus toute suite r´ecurrente, (an)n∈Nv´erifiant ∀n∈N, an+1 =f(an), converge vers aet
d(an, a)≤knd(a0, a).
D´efinition 1. Un espace m´etrique (E, d)est compact si de tout recouvrement de Epar des ouverts
on peut extraire un recouvrement fini. Autrement dit si S ⊂ O est tel que E=∪O∈S Oalors il
existe n∈Net O1,O2,...Ondes ouverts de Stels que E=O1∪O2... ∪On.
L´espace est dit s´equentiellement compact si de toutes suites on peut extraire une suite qui converge
dans E.
L´espace est pr´ecompact si pour tout ε > 0il existe n∈Net x1, x2, ...xn,npoints de Etel que
E=B(x1;ε)∪B(x2;ε)... ∪B(xn;ε)
Th´eor`eme 3. Soit (E, d)un espace m´etrique. Alors les propositions suivantes sont ´equivalentes.
•(E, d)est compact.
• • (E, d)est s´equentiellement compact.
• • • (E, d)est pr´ecompact et complet.
D´efinition 2. Soit (E, d)un espace m´etrique, on dit qu’il est s´eparable si et seulement si il existe
un sous ensemble dense d´enombrable.
Proposition 1. Un espace m´etrique compact (E, d)est s´eparable.
D´efinition 3. Soit X⊂Eune partie d´un espace m´etrique (E, d). On dit que Xest relativement
compact si sa fermeture Xest compacte pour la distance induite d.
Proposition 2. Soit (E, dE)et (F, dF)deux espaces m´etriques et f:E7→ Fune fonction
continue. Alors si Eest compact f(E)est un compact de F.
Proposition 3. Soit (E, d)un espace m´etrique compact. Soit f:E→Rune fonction r´eelle
continue. Alors il existe a, b ∈Etel que ∀x∈Eon a f(a)≤f(x)≤f(b).
Proposition 4. Soit (E, d)un espace m´etrique. Si Eest compact alors il est born´e : il existe
M > 0tel que ∀x, y ∈E,d(x, y)≤M.
Proposition 5. Soit (E, dE)et (F, dF)deux espaces m´etriques. Soit f∈C(E;F)une fonction
continue, alors si Eest compact, fest uniform´ement continue.