Académique Documents
Professionnel Documents
Culture Documents
A. DAOUI
28 septembre 2015
Dé…nition
On appelle distance sur un ensemble X une application d : X
X ! [0; +∞[ véri…ant pour x, y, z 2 X :
(i)d (x, y ) = 0 , x = y
(ii)d (x, y ) = d (y, x )
(iii)d (x, z ) d (x, y ) + d (y, z )
Dé…nition
On appelle espace métrique la donnée d’un couple (X , d ) formé d’un
ensemble X et d’une distance d sur X .
La distance d est aussi appelée métrique sur X .
Bf (x, r ) = fy 2 X , d (x, y ) rg
Exercice :
- Monter que d2 est une distance
- Déterminer les formes géométriques des boules unité relatives aux
trois distances dans le plan.
2) Espace C 0 ([a, b] , R) :
Soient a < b dux nombres réels, et notons C 0 ([a, b] , R) l’espace des
fonctions réelles continues sur [a, b].
Si f , g 2 C 0 ([a, b] , R), la fonction f g est continue sur le
segment compact [a, b], donc elle est bornée sur [a, b]. Posons :
d (f , g ) = Sup jf (x ) g (x )j
a x b
3) Distance triviale :
On peut munir un ensemble X quelconque de la distance triviale
donnée par :
8x, y 2 X
0 si x = y
d (x, y ) =
1 si x 6= y
8x 2 E , N (x ) = 0 () x = 0
8x 2 E , N (x ) = 0 () x = 0
8x 2 E ,8λ 2 |, N (λx ) = jλj N (x )
8x 2 E , N (x ) = 0 () x = 0
8x 2 E ,8λ 2 |, N (λx ) = jλj N (x )
8x, y 2 E ,
N (x + y ) N (x ) + N (y )
Dans ce cas, on dit que (E , N ) est un
espace normé.
On véri…e alors facilement que l’application
(x, y ) 7! N (x y ) est une distance sur E
Proposition
Soit (X , d ) un espace métrique. Alors pour tout x 2 X et r > 0, la
boule ouverte B (x, r ) est un ouvert
Proposition
Soit (X , d ) un espace métrique
(O1) Les parties ? et X sont des ouverts de (X , d )
(O2) Toute réunion d’ouverts de (X , d ) est ouverte
(O3) Toute intersection …nie d’ouverts de (X , d ) est un ouvert
Dé…nition
On appelle fermé de (X , d ) toute partie de X dont le complémentaire
est une partie ouverte de X .
Proposition
Soit (X , d ) un espace métrique
(F 1) Les parties ? et X sont des fermés de (X , d )
(F 2) Toute intersection de fermés de (X , d ) est fermée
(F 3) Toute réunion …nie de fermés de (X , d ) est un fermé
On a déjà vu que
1 Les ouverts de (X , d ) sont les réunions de boules ouvertes. On
dit que les boules ouvertes forment une base ou un système
fondamental pour la topologie de (X , d )
2 Chaque voisinage de x 2 X contient une boule de la forme
B (x, e). On dit que ces boules forment une base de voisinages
de x.
3 On voit aisément que l’ensemble B (x, n1 ), n 2 N forme un
système fondamental ou une base dénombrable de voisinages de
x.
Dé…nition
Soit (X , d ) un espace métrique, (xn )n 2N une suite de points de X et
l 2 X . On dit que la suite (xn )n 2N converge vers l quand n ! +∞
si la suite de nombres réels (d (xn , l ))n 2N converge vers 0 pour la
distance usuelle de R ; i.e.
Dé…nition
Proposition
Dé…nition
Dé…nition
Soit (X , d ) un espace métrique, (xn )n 2N une suite de points de X et
l 2 X . On dit que l est une valeur d’adhérence de (xn )n 2N ssi :
Proposition
l est une valeur d’adhérence de (xn )n 2N ssi il existe une sous-suite
(x ϕ(n ) ) de (xn )n 2N qui converge vers l
Proposition
Toute suite convergente dans un espace métrique (X , d ) possède une
limite unique.
Proposition
Soit (X , d ) et (X 0 , d 0 ) deux espaces métriques et soit f 2 F (X , X 0 ).
Alors f est continue en a 2 X ssi pour toute suite (xn )n 2N de points
de A convergeant vers a, la suite image (f (xn ))n 2N converge vers
f (a )
A. DAOUI () ESPACES METRIQUES 28 septembre 2015 33 / 66
Théorème
(Continuité de la composée)
Soit (X , d ), (X 0 , d 0 ) et (X 00 , d 00 ) trois espaces métriques. SI la
fonction f 2 F (X , X 0 ) est continue en a et la fonction
g 2 F (X 0 , X 00 ) est continue en f (a), alors la fonction composée
g f est continue au point a.
Dé…nition
On dira que f : (X , d ) ! (X 0 , d 0 ) est continue si f est continue en
tout point x de X .
Théorème
Remarque
Contrairement à la continuité globale, ici re ne dépend que de e.
Théorème
f : (X , d ) ! (X 0 , d 0 ) est uniformément continue ssi pour tout
couple (an )n 2N , (bn )n 2N de suites de X , on a :
Dé…nition
On dit que f : (X , d ) ! (X 0 , d 0 ) est lipschitzienne de rapport
k > 0 sur X si :
d 0 (f (x ), f (y )) k.d (x, y ), 8x, y 2 X
Remarque
Une isométrie est toujours injective. Si de plus elle est surjective alors
elle est bilipschitzienne de rapport 1 dans les deux sens.
Dé…nition
Deux distances d et δ sur un ensemble X sont dites
topologiquement équivalentes si elles possèdent les mêmes
ouverts ; c’est-à-dire, si elles dé…nissent la même topologie sur X .
Elles sont dites métriquement équivalentes s’il existe deux
constantes strictement positives α et β telles que :
α.d (x, y ) δ(x, y ) β.d (x, y ), 8(x, y ) 2 E E
Remarque
La réciproque est fausse.
Sur Rn , les p
distances d2 et d∞ sont équivalentes ; en e¤et
d∞ d2 n.d∞
On montrera que sur un espace vectoriel de dimension …nie,
toutes les normes sont équivalentes
Sur R+ , les distances d (x, y ) = jx y j et δ(x, y ) = x 2 y 2
sont topologiquement équivalentes mais ne sont pas
métriquement équivalentes.
Proposition
Soient X1 , ..., Xk des espaces métriques, et soit X = X1 ... Xk . Il
existe une distance d sur X véri…ant la propriété suivante : une suite
converge dans X ssi elle converge coordonnée par coordonnée. Une
telle distance est appelée distance produit.
Dé…nition
Une suite (xn )n 2N dans un espace métrique (X , d ) est dite de
Cauchy si :
Proposition
Toute suite de Cauchy qui admet une valeur d’adhérence est
convergente.
Dé…nition
Soit (X , d ) un espace métrique
1 On dit que X est complet si toute suite de Cauchy dans X est
convergente.
2 Une partie Y de X est dite complète si Y constitue un espace
complet pour la distance induite.
3 Lorsque X est un espace normé complet, on dit que X est un
espace de Banach.
Exemple
R est un espace complet ; c’est le plus petit espace complet
contenant Q
Théorème
Soit X un ensemble et (X 0 , d 0 ) un espace métrique complet. Alors
l’espace Fb (X , X 0 ) des applications bornées de X dans X 0 ,muni de la
distance d∞ de la convergence uniforme, est complet.
Proposition
Dans un espace métrique complet (X , d ), les sous-espaces complets
sont les fermés.
Proposition
Un produit …ni ou dénombrable d’espaces complets est complet.
Théorème
Soit (X , d ) et (X 0 , d 0 ) deux espaces métriques avec (X 0 , d 0 ) complet
et soit Y un sous-espace dense de X . Si une application f : Y ! X 0
est uniformément continue, alors f admet un unique prolongement
par continuité e f : X ! X0
Théorème
Soit (X , d ) un espace métrique complet et f : X ! X une
application contractante (k-lipschitzienne de rapport k < 1), alors
f admet un unique point …xe x 2 X ; f (x ) = x. De plus, pour tout
point x0 2 X , la suite récurrente dé…nie par xn +1 = f (xn ) converge
vers le point …xe x.
Théorème
e , de )
Si (X , d ) un espace métrique, il existe un espace métrique (X
compet dont (X , d ) est un sous-espace dense. Cet espace est unique
à une isométrie près. On l’appelle le complété de (X , d ).
Proposition
Soit (X , d ) un espace métrique. Alors
1 Toute partie compacte de X (pour la topologie induite) est
fermée.
2 Si X est compact, alors toute partie fermée de X est compacte.
Exercice
Soit (X , d ) un espace métrique. On suppose que toute suite
décroissante de fermés non vides de X a une intersection non vide.
Montrer que X est compact.
Théorème
Soit K un espace métrique compact et Y un espace métrique. Si
f : K ! Y est continue, alors f (K ) est un compact de Y .
Corollaire
Soit K un espace métrique compact et Y un espace métrique. Si
f : K ! Y est une bijection continue, alors f 1 est continue (f est
un homéomorphisme).
Lemme
(Lemme de Lebesgue) Si X est un espace métrique où toute suite
admet une valeur d’adhérence, alors pour tout recouvrement ouvert
(Oα )α2I de X , il existe r > 0 tel que :
8x 2 X , 8ρ 2]0, r ], 9α 2 I /B (x, ρ) Oα
Lemme
Si X est un espace métrique où toute suite admet une valeur
d’adhérence, alors pour tout r > 0, il existe une partie …nie J de X
telle que X = [ B (x, r ).
x 2J
Théorème
Un espace métrique (X , d ) est compact si, et seulement si, toute
suite de X admet une valeur d’adhérence.
Proposition
Dans un espace métrique, toute partie compacte est fermée bornée.
Remarque
La réciproque est fausse ; par exemple, l’intervalle ]0, 1[ muni de la
distance usuelle est un espace métrique fermé (dans lui même) et
borné, mais il n’est pas compact car ce n’est pas un fermé de R.
Théorème
Toute application continue d’un espace métrique compact X vers un
espace métrique Y est uniformément continue.
Rn
Théorème
Les compacts de Rn sont les fermés bornés.
Corollaire
Soit X un espace métrique compact. Si f : X ! R est une
application continue, alors f est bornée et ses bornes sont atteintes ;
autrement dit, il existe a et b dans X tels que : minf (x ) = f (a) et
x 2X
maxf (x ) = f (b).
x 2X