Équivalence de distances
Différentes notions d'équivalence de distances sont utilisées en topologie, une branche des mathématiques concernant l'étude des déformations spatiales par des transformations continues (sans arrachages ni recollement des structures).
Étant donné un espace topologique métrisable (X, T), on peut trouver diverses distances qui définissent la même topologie T. Par exemple, la topologie usuelle de ℝ peut être définie par la distance Modèle:Nobr mais aussi par d / (1 + d), ou tout multiple de d par un réel strictement positif. Il faut donc préciser les « équivalences » entre de telles distances.
Définitions
Deux distances dModèle:Ind et dModèle:Ind sur un même ensemble X sont dites :
- topologiquement équivalentes si les topologies associées sont identiques (mêmes ouverts), c'est-à-dire si l'application identité, de (X, dModèle:Ind) dans (X, dModèle:Ind), est un homéomorphisme, ou encore (d'après la caractérisation séquentielle de la continuité) si elles ont mêmes suites convergentes ;
- uniformément équivalentes si l'application identité de X est uniformément continue de (X, dModèle:Ind) dans (X, dModèle:Ind) et aussi de (X, dModèle:Ind) dans (X, dModèle:Ind) ;
- bornologiquement équivalentes si elles sont uniformément équivalentes et si les deux distances définissent les mêmes parties bornées ;
- Lipschitz-équivalentes s'il existe des constantes a et b strictement positives telles que adModèle:Ind ≤ dModèle:Ind ≤ bdModèle:Ind.
Toutes ces relations entre distances sont des relations d'équivalences.
Exemples
L'exemple suivant[1] permet de mettre en évidence la non-équivalence des différentes notions d'équivalences décrites ci-dessus : on peut munir ℝ des quatre distances :
Modèle:Retrait Modèle:Retrait Modèle:Retrait Modèle:Retrait
On vérifie alors que les distances dModèle:Ind et dModèle:Ind sont topologiquement équivalentes mais ne sont pas uniformément équivalentes (bien qu'elles aient mêmes suites de Cauchy), que les distances dModèle:Ind et dModèle:Ind sont uniformément équivalentes[2] mais ne sont pas bornologiquement équivalentes[3], puis que les distances dModèle:Ind et dModèle:Ind sont bornologiquement équivalentes[2] mais ne sont pas Lipschitz-équivalentes[3].
Notes et références
- ↑ Y. Sonntag, Topologie et analyse fonctionnelle.
- ↑ 2,0 et 2,1 Ceci reste vrai pour les distances associées de même à n'importe quel espace métrique (E, dModèle:Ind).
- ↑ 3,0 et 3,1 Cela est seulement dû au choix d'une distance dModèle:Ind non bornée.