Nous donnons ici la définition axiomatique des fonctions que l'on appelle 'distances', puis nous fournissons quelques exemples. C'est la donnée conjointe d'un ensemble et d'une distance sur cet ensemble qui définit un espace métrique.
Définitions
- d(x,y)≥0 pour tout couple d'éléments (x,y) de E.
- La relation d(x,y)=0 est équivalente à x=y.
- d(x,y)=d(y,x) pour tout couple d'éléments de E.
- d(x,z)≤d(x,y)+d(y,z) ∀ (x,y,z) ∈ E×E×E (inégalité dite du triangle)
Deux distances distinctes d1 et d2 sur un même ensemble E définissent donc deux espaces métriques (E,d1) et (E,d2).
Propriété des distances
L'inégalité du triangle se généralise immédiatement par récurrence à n'importe quel polygone :
d(A,E)≤d(A,B)+d(B,C)+d(C,D)+d(D,E)
|d(x,z)-d(y,z)|≤d(x,y)
Exemples de distances
Exemple 1 (distance euclidienne sur $\mathbb{R}$)
L'application (x,y) → d1(x,y)=|x-y| est une distance sur $\mathbb{R}$
Exemple 2 (distance euclidienne sur $\mathbb{R}$2)
Soient M(x,y) et M'(x',y') deux points de $\mathbb{R}$2
$d_{2}(M,M')=\sqrt{(x-x')^{2}+(y-y')^{2}}$ est une distance sur $\mathbb{R}$2
Exemple 3 (distance euclidienne sur $\mathbb{R}$3)
Soient M(x,y,z) et M'(x',y',z') deux points de $\mathbb{R}$3 $d_{3}(M,M')=\sqrt{(x-x')^{2}+(y-y')^{2}+(z-z')^{2}}$ est une distance sur $\mathbb{R}$3
Exemple 4 (distance euclidienne sur $\mathbb{R}$n)
Soient M(x1,x2, ..., xn) et M'(x'1,x'2, ..., x'n) deux points de $\mathbb{R}$n
$d_{4}(M,M')=\sqrt{\sum_{i=1}^{n}(x_{i}-x'_{i}})^{2}$ est une distance sur $\mathbb{R}$n c'est la généralisation des deux précédentes.
Exemple 5 (distance du sup sur $\mathbb{R}$n)
Soient M(x1,x2, ..., xn) et M'(x'1,x'2, ..., x'n) deux points de $\mathbb{R}$n $d_{5}(M,M')=\sup_{1\leq i\leq n} |x_{i}-x'_{i}|$ est une distance sur $\mathbb{R}$n
Exemple 6 (autre distance euclidienne sur $\mathbb{R}$n)
Soient M(x1,x2, ..., xn) et M'(x'1,x'2, ..., x'n) deux points de $\mathbb{R}$n $d_{6}(M,M')=\sum_{i=1}^{n} |x_{i}-x'_{i}|$ est une distance sur $\mathbb{R}$n
Exemple 7
Soit K un ensemble quelconque et E l'ensemble des fonctions définies sur K, à valeurs réelles et bornées. E est donc en particulier un sous-espace vectoriel de $\mathbb{R}$K. $d_{7}(f_{1},f_{2})=\sup _{k\in K}|f_{1}(k)-f_2(k)|$ est une distance sur E. l'exemple 5 en est un cas particulier quand K={1,2, ...,n}
Exemple 8 (Espace discret)
Soit E un ensemble quelconque. Posons d8(x,y)=1 si x≠y et d8(x,x)=0 ∀x∈ E. Alors d8 est une distance sur E. E muni de cette distance est dit espace métrique discret.
Une première extension, la distance d'un point à un sous-ensemble
La définition suivante résulte du fait qu'une distance prend ses valeurs dans $\mathbb{R}$+, que cet ensemble est borné inférieurement par 0 et donc que tout sous-ensemble de $\mathbb{R}$+ possède une borne inférieure.
Nous voyons tout de suite que si x ∈ F alors d(x,F)=0. Cependant la réciproque est fausse en effet si nous prenons le premier exemple, si x=0 et si F=]0,1[ nous avons bien d(x,F)=0 et x ∉ F. Le même contre-exemple peut servir à montrer que la distance de x à F peut ne pas être réalisée (ou atteinte) en un point y de F. En somme il est possible qu'il n'existe aucun point y de F tel que d(x,y)=d(x,F). Cependant il est également possible que la distance soit atteinte en un point et un seul comme ici où F est un cercle comportant sa circonférence et où x=M est un point externe à ce cercle.
Ou bien en deux ou même une infinité de points comme ici où x est le point M, centre d'un cercle et où F est l'extérieur de ce cercle au sens large incluant la circonférence:
Une seconde extension, la distance de deux sous ensembles
Exactement comme dans le cas précédent, la définition suivante résulte du fait qu'une distance prend ses valeurs dans $\mathbb{R}$+, que cet ensemble est borné inférieurement par 0 et donc que tout sous-ensemble de $\mathbb{R}$+ possède une borne inférieure.
Si $F\bigcap K\neq ∅$ alors $d(F,K)=0$. la réciproque est fausse comme le montre l'exemple suivant où F={(x,y)| y>1/x et x >0} et K={(x,y) | y<-1/x et x>0}. La distance des deux ensembles est nulle mais ils n'ont aucun point commun.
Il est possible cependant que la distance de F à K soit réalisée en un couple de points précisément, comme nous le voyons dans l'exemple suivant :
Mais il est possible également que la distance de F à K soit réalisée en une infinité de couples. Ici F est un disque et K l'extérieur d'un disque concentrique :