Chapitre 2 : Espaces métriques.
Soit E un ensemble non vide.
Dans tout ce chapitre, le couple (E, d) désigne un espace métrique dont la distance est,
notée d, a
(l) Généralités.
Rappel 1.1 : (Topologie d’un espace métrique).
Soit ty = (A: C E et Vx € A,3e > 0 tel que B(x, €) ¢ A}.
- tq définit une topologie sur E dite topologie induite parla distance d.
= Soit x € E. La famille (B(x, £))es0 forme un systéme fondamental de voisinages
dex.
= Tout élément x € E, admet un systéme fondamental dénombrable de voisinay
x; par exemple G (3) oe
Propriété 2.1:
Lapplication d: E x E > R*, (x,y) "> d(x,y) est continue sur E x E.
ges de
Preuve : voir exposé du cours.
Définition 3.1:
Solent A et B deux parties non vides de E.
‘On note par d(A , B) et dite distance entre A et B le nombre réel positif défini par :
(A, B) = infld(x,y):x € Aet y € B).
jer poura€E, d(A,a) “ d(A,{a}).
aePreuve : voir I'exposé du cours oe
p ee
Proposition 7.1: Si
Soient (x) new une suite d’éléments de £ et x € EB. hone
te une :
rest une valeur d’adhérence de (nen si et seulement si lens fee] 72" “
(oon) en etait deta suite (x) nen qui converge vers e » | 8 By
oF mY
ma Ave J
Preuve : voir l'exposé du cours. *
leE,aeAety EF.
d/adhérence de f suivant
et seulement sip il
y dans (F, d’).
Solent (F, a’) un espace métrique, A une partie non vide d
Soit f:A — F une application de A dans F, alors y est une valeur ;
‘V(a) (on dit aussi y valeur d’adhérence de f quand x —» a avec x € Alsi Le
existe une suite (x;,) new dans A telle que limx, = a dans E et limf(%m) =
\
Preuve : voir l'exposé du cours.
Proposition 8.2 :
Soient (F,d") un espace métrique, f:E —+ F une application de E dans F et a € E.
F est continue en a si,/étseulement si] pour toute suite (x,)nen dans E telle que
lima, = a, on a limf (xq) = f(a) dans (Fd).
Preuve : voir 'exposé du cours.
Définition 9.1:
Soient (F, d’) un espace métrique et f: (E,d) — (F,d") une application de E dans F.
f est dite uniformément continue sur E si
(ve > 0) (n > 0)¥(x,y) € E*: d(x, y) <= a'(F).FOD)
Théoréme 10.1
Soient (F, d’) un espace métrique et f:(E,d) > (F,d") une applicatio
Si E est compact alors f sera uniformément continue sur E,
Preuve : voir l’exposé du cours.qhéoréme 1.2:
Llespace métrique E est compact si, et seulement si, toute suite (%,)nen dans & admet au
moins une valeur d’adhérence.
emme 2.2:
on suppose que toute suite (x,)nen dans & admet a
(Uieiune famille d'ouverts recouvrant E, alors
(Aa > 0)(vx € £)(3i € 1D:
u moins une valeur d’adhérence. Soit
(xa) Uy.
preuve : voir I’exposé du cours.
Définition 3.2:
soit A une partie de E. On dit que A est relative
Corollaire 4.2:
Une partie A de E est relati
‘au moins une valeur d’adhérence di
ent compact si A est compact
toute suite (xn)nen dans A
ivement compact si, et seulement si,
s E
admet
Preuve : voir I’exposé du cours.
(ill) Espaces métriques complets.
Définition1.
Une suite (xp)nen 4’éléments de E est dite de Cauchy si:
(ve > 0)(3np € N)(vGm,n) € N2):m > net n > Ng = AX Xn) < E
Propriété 2.3 :
Une suite (%,)nen d’élém
ents de E. La suite (p)nen est de Cauchy si, et seulement si, la F
limite de la suite réelle (5(S,))nenconverge vers 0 0 Sy = {%m! ee base ok GOK Free by
m>n}.
Preuve : Exercice.
Définition3.3
Une partie A de £ est dite borné si le diametre 5(A) est fini.Propriété 6.
Soient (F, d’) un es
ace métrique, f: E —> F une application uniformé
E dans F. si
F
nt continue de
én)men est une suite de Cauchy dans E, C£Gn))nen est aussi
I de Cauchy dans
Preuve : voir exposé du cours,
ition 7.3 {espace métrique complet).
(i) Vespace métrique E est dit complet si toute suite d’éléments de Cauchy dans E
converge.
UN) Une partie A de E est dite compléte A est complet entant que sous-espace
métrique de E,
Proposition 8.3:
Solent (F, d") un espace métrique, f:E — F une application bijective iniformément
Sentinue de E dans F.SiE est complet, iten est de méme sur F et inversement,
urs,
Preuve : voir I'exposé du co
Proposition 9.3 :
SIE est complet et 4 est une partie fermée de E, alors A est complet.
*voir l'exposé du cours,
Proposition 10.3 ;
Toute partie complete de E est fermé,
Preuve :
Preuve
voir exposé du cours,
Théoreme 11.3:
Les deux propriétés suivantes sont équivalentes,
() Eest complet.
décroissante di
Frs1) telle que lim 6(F,) = 0, ona: Nnen F, = {a} ova € E.
Preuve : voir exposé du cours,> er, “|
agorbme 11.3 {théoréme deaire. Bern bok moni cbse & GB y,
si E est complet et (V,
4
Jnen Une suite de parties ouvertes et denses dansE, alors new Ya est
aussi dense dans B.
lor
Preuve : voir l'exposé du cours,
Proposition 12.3 :
f Une application f: E — E est dite contractante s'il existe K €]0,1[ tel que :
V(x,y) € E:d(f(@),fO)) $ kd@y).
‘Théoréme 13.3 : (théoréme de point fixe)
Si E est complet, toute application contractante admet un point fixe et un seul.
Preuve : voir exposé du cours. syyproainab— Succ e Stow
Définitions3.3 : (espace précompact) < “yi ppm t\e.m
On dit que £ est précompactpour toute > 0, il existe un recouvrement fin de & par des
boules (B,):
0, il existe une partie finie
F = (24, ..%q) de Vespace £ telle que :
vx €E d(x,F)Vous aimerez peut-être aussi