www.Les-Mathematiques.net
Proposition 6 Si Xest un espace métrique, la famille de parties de Xdont
les éléments sont les réunions arbitraires de boules ouvertes est une topologie
sur X. Cette topologie est appelée la topologie associée à la métrique.
Une partie Xd’un espace métrique Eest dite bornée si étant donné un point
edans Ela distance de xàepour xdans Xest majorée par une certaine
constante a. Cela équivaut aussi au fait que la distance entre deux points quel-
conques de Xest bornée. C’est à dire que :
- si pour un point x,y7→ d(x, y)est bornée, alors pour tout point x,y7→
d(x, y)est bornée.
- si pour tout point x y 7→ d(x, y)est bornée, alors (x, y)7→ d(x, y)est aussi
bornée.
aLa notion est indépendante du point echoisi, grâce à l’inégalité triangulaire.
Démonstration : La vérification est fastidieuse et ne présente pas de difficulté.ut
La notion de borné dépend de la métrique et pas de la topologie! C’est à dire
que même si deux métriques sont topologiquement équivalentes (voir définition 9) elles
n’ont pas nécessairement les mêmes parties bornées. En fait pour toute métrique d, on
peut construire une métrique équivalente d0par d0(x, y) = ln(1 + d(x,y)
1+d(x,y)), telle que
toute partie soit bornée.
Propriétés :
•Dans un espace métrique, une partie est fermée si et seulement si elle contient la
limite de toute suite convergente à valeurs dans cette partie.
•Une boule ouverte est ouverte, et donc un espace métrique est séparé
•Une boule fermée est fermée
•Une sphère est fermée
•Dans un espace métrique, une suite (xn)n∈Ntend vers xsi et seulement si d(xn, x)
tend vers 0.
Exercice 7 •La topologie usuelle sur Rou Cest la topologie associée à la distance
d(x, y) = |x−y|.
•La fonction qui à xet yassocie 0si x=yet 1sinon est une métrique. Cette métrique
est associée à la topologie discrète, pour laquelle toute partie est à la fois un ouvert et
un fermé.
•Si fest injective de Xdans R, alors la fonction qui à xet yassocie |f(x)−f(y)|
est une distance sur X.
•La topologie usuelle sur R=R∪ {−∞,∞} est définie par la distance d(x, y) =
|f(x)−f(y)|, avec f(x) = x
1+|x|,f(+∞) = 1 et f(−∞) = −1.
3