Distance ultramétrique

En mathématiques, et plus précisément en topologie, une distance ultramétrique est une distance d sur un ensemble E vérifiant l'inégalité ultratriangulaire : Modèle:Centrer Un espace métrique dont la distance vérifie cette propriété est dit ultramétrique.

Définition et exemples

Soit E un ensemble ; on appelle distance ultramétrique (sur E) une application $d:\mathrm{E}\times \mathrm{E}\to {ℝ}^{+}$ vérifiant les propriétés suivantes :

Nom	Propriété
symétrie	$\mathrm{\forall }x,y\in \mathrm{E},d(x,y)=d(y,x)$
séparation	$\mathrm{\forall }x,y\in \mathrm{E},d(x,y)=0\iff x=y$
inégalité ultratriangulaire	$\mathrm{\forall }x,y,z\in \mathrm{E},d(x,z)\le \max (d(x,y),d(y,z))$

Compte tenu de la symétrie, l'inégalité ultratriangulaire signifie que dans un triangle, la longueur de chaque côté est inférieure ou égale à la plus grande des longueurs des deux autres côtés (donc à la somme de ces deux longueurs, ce qu'exprime l'inégalité triangulaire). Cela implique en particulier que tout triangle est isocèle et la base est le plus petit des côtés.

Distance triviale

Tout ensemble peut être muni de la distance dite triviale ou discrète définie par:

$d(x,y)=\{\begin{array}{cc}0& \text{si }x=y\\ 1& \text{si }x\ne y\end{array}$

L'inégalité

$d(x,z)\le \max (d(x,y),d(y,z))$

est vraie, que x soit égal à z ou non. Il s'agit donc d'une distance ultramétrique.

Distance p-adique sur l'ensemble ℚ

Pour un nombre premier p, on peut définir la valuation p-adique $v_p(r)$ de tout nombre rationnel r non nul.

On prouve facilement que cette application vérifie

$v_p(r+r^{\prime })\ge \inf (v_p(r),v_p(r^{\prime }))$ et $v_p(-r)=v_p(r).$

On définit alors la distance p-adique sur ℚ par :

$d(x,y)=\{\begin{array}{cc}0& \text{si }x=y\\ p^{-v_p(x-y)}& \text{si }x\ne y\end{array}$

La propriété précédente de $v_p$ conduit facilement à l'inégalité ultramétrique. Les deux autres vérifications sont aisées.

Il s'agit donc bien d'une distance ultramétrique sur ℚ.

Autres exemples

• Soient X un ensemble quelconque et E = XModèle:Exp l'ensemble des suites à valeurs dans X. On munit E d'une structure d'espace ultramétrique complet en posantModèle:RetraitPour X = {0, 1}, on obtient l'espace de Cantor et pour X = ℕ, l'espace de Baire.
• Modèle:Référence souhaitée

Propriétés

Voici quelques propriétés d'un espace ultramétrique, qui semblent aller contre l'intuition.

• Il n'existe pas de boules sécantes, en ce sens que si deux boules ouvertes (ou deux boules fermées) ont un point commun, alors l'une contient l'autre :

  $B(a,r)\cap B(a^{\prime },r^{\prime })\ne \varnothing \text{ et }r\le r^{\prime }\Rightarrow B(a,r)\subset B(a^{\prime },r^{\prime })$.

• Tout point d'une boule en est un centre :

  $\mathrm{\forall }x\in B(a,r)B(x,r)=B(a,r)$.

• Dans un espace métrique, toute boule ouverte est ouverte, toute boule fermée est fermée. Dans un espace ultramétrique, on a de plus :

  Toute boule fermée de rayon non nul est ouverte. Toute boule ouverte est fermée.

  Par conséquent, tout espace topologique ultramétrisable est de dimension nulle donc totalement discontinu, c'est-à-dire que ses composantes connexes sont les singletons.

• Étant donné trois points, les deux plus proches sont à la même distance du troisième, autrement dit : Modèle:Citation, ce qui s'écrit aussi :

  $d(x,y)\ne d(y,z)\Rightarrow d(x,z)=\max (d(x,y),d(y,z))$.

• Pour qu'une suite $(x_n)$ soit de Cauchy, il suffit que $d(x_n,x_{n+1})\to 0.$

Application

Soit X un ensemble muni d'une distance ultramétrique d, et soit r un nombre positif. L'ensemble des boules de rayon r définies sur X constitue une partition de X. En faisant croître r à partir de 0, on forme une chaîne de finesse entre ces partitions, de la plus fine (partition discrète pour Modèle:Nobr) à la moins fine (partition universelle pour r maximal). C'est une des bases de la classification automatique par regroupement hiérarchique.

Voir aussi

• Norme ultramétrique
• Valeur absolue ultramétrique