Ouvrir le menu principal
Page d'aide sur l'homonymie Pour les articles homonymes, voir Métrique.

En mathématiques, un espace métrique est ensemble muni d'une distance. Toute distance induit une topologie sur un ensemble mais la réciproque est fausse : un espace topologique n'est pas toujours métrisable.

En géométrie différentielle, le mot « métrique » fait référence à une distance compatible avec l'opération externe dans un espace vectoriel. On parle de tenseur métrique (ou « riemannien » ou métrique « pseudo-riemannienne »). L'utilisation du mot « métrique » pour désigner une distance est un anglicisme récent et impropre[réf. souhaitée]

DéfinitionsModifier

Une distance sur un ensemble X est une fonction de X×X dans l'ensemble des nombres réels positifs.

 

qui satisfait les conditions suivantes pour tous x, y, z dans X :

  1.   si et seulement si   (identité des indiscernables) ;
  2.   (symétrie) ;
  3.   (inégalité triangulaire).

De ces trois propriétés, il découle que d est à valeurs positives : pour tous x et y dans X, d(x, y) ≥ 0. Une distance d sur X est dite intrinsèque (en) si deux points quelconques x et y dans X peuvent être joints par un arc rectifiable de longueur arbitrairement proche de d(x, y).

Une distance d sur un groupe commutatif   est dite invariante par translation si

  quels que soient x,y et a dans X.

Sur un groupe non commutatif on a les notions d'invariance à gauche et d'invariance à droite.

Si l'inégalité triangulaire est renforcée par

 

la distance est dite ultramétrique.

RemarquesModifier

Ces conditions expriment les notions intuitives du concept de distance. Par exemple, que la distance entre des points distincts est strictement positive et que la distance de x à y est la même que la distance de y à x. L'inégalité triangulaire signifie que la distance parcourue directement entre x et z, n'est pas plus grande que la distance à parcourir en partant d'abord de x vers y puis de y vers z. Euclide dans ses travaux démontra que la plus courte distance entre deux points est une droite, ce qui était l'inégalité triangulaire pour sa géométrie.


ExemplesModifier

  • La distance discrète : si x = y alors   et sinon,  .
  • La distance euclidienne est invariante par translation.
  • Plus généralement, toute distance induite par une norme (voir ci-dessous) est invariante par translation.
  • (Voir Espace localement convexe) : si   est une suite de semi-normes sur un espace vectoriel E alors
 
est un écart sur E définissant la même topologie. (On peut remplacer   par n'importe quelle suite sommable   de réels strictement positifs.)

Équivalences de distancesModifier

Pour un ensemble donné X, deux distances   et   sont dites topologiquement équivalentes (respectivement : uniformément équivalentes) si l'application identité

 

est un homéomorphisme (respectivement : un automorphisme d'espace uniforme).

Lien entre normes et distancesModifier

Étant donné un espace vectoriel normé   on peut définir une distance sur X par

 .

La distance d est dite « induite par » la norme  .

Inversement, si une distance d sur un espace vectoriel X satisfait les propriétés :

  •   (invariance par translation) ;
  •   (homogénéité),

alors, on peut définir une norme sur X par

 .

De manière similaire, la donnée d'une semi-norme sur un espace vectoriel réel équivaut à celle d'un écart homogène invariant par translation.

Systèmes axiomatiques alternatifsModifier

Certains auteurs utilisent la droite réelle achevée et permettent à la fonction distance d d'atteindre la valeur  . Une telle métrique est appelée une métrique étendue.[réf. nécessaire] Chaque « métrique étendue » d peut être remplacée par une distance d1 ou d2 en posant

 

et les deux concepts d'espace métrique sont par conséquent équivalents du point de vue topologique (i.e. pour ce qui est des notions de continuité et de convergence).

  • En affaiblissant la propriété 1 on obtient les espaces pseudométriques.
  • En enlevant la propriété 2 à la place, on obtient les espaces quasimétriques. Souvent, en même temps qu'on enlève la propriété 2 de symétrie, on affaiblit la propriété 1 en remplaçant, dans l'équivalence,   par :   et  .
  • En enlevant la propriété 3, on obtient les espaces semimétriques. Toutes les combinaisons ci-dessus sont possibles et sont identifiées par les noms correspondants (tel que quasi-pseudo-ultramétrique).

Parmi les catégories correspondant aux diverses variantes de distance, celle des espaces pseudométriques étendus, avec comme morphismes les applications 1-lipschitziennes, est celle qui se comporte le mieux : on peut y construire des produits et des coproduits arbitraires et former des objets quotients. Si on enlève étendu, on peut seulement prendre des produits et des coproduits finis. Si on enlève pseudo, on ne peut plus prendre des quotients.[réf. nécessaire] Les espaces d'approche sont une généralisation des espaces métriques qui maintiennent ces bonnes propriétés de catégorie.[réf. nécessaire]

La condition que la distance prenne ses valeurs dans [0, +∞[ peut être aussi assouplie en considérant des « distances à valeurs dans un ensemble ordonné filtrant ». La reformulation des axiomes dans ce cas conduit à la construction des espaces uniformes : des espaces topologiques avec une structure abstraite permettant de comparer les topologies locales de points différents.

Concepts reliésModifier

En géométrie différentielle, on considère les tenseurs métriques, qui peuvent être pensés comme des fonctions distance euclidienne « infinitésimales », et sont définis comme des produits scalaires sur l'espace tangent avec une condition de dérivabilité appropriée. Ils ne sont pas des distances au sens défini dans cet article, mais ils en induisent par intégration. Une variété avec un tenseur métrique est appelé une variété riemannienne. Si on enlève l'exigence que le produit scalaire soit défini positif, on obtient un tenseur métrique pseudo-riemannien, qui s'intègre en une pseudométrique. Ceux-ci sont utilisés dans l'étude géométrique de la théorie de la relativité, où le tenseur est aussi appelé la « distance invariante »[réf. nécessaire].

Notes et référencesModifier

NotesModifier

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Metric (mathematics) » (voir la liste des auteurs).