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 :
Un espace métrique dont la distance vérifie cette propriété est dit ultramétriqueCette notion a été introduite par , qui signale : ..
Définition et exemples
Soit E un ensemble ; on appelle distance ultramétrique (sur E) une application vérifiant les propriétés suivantes :
Nom Propriété symétrie séparation inégalité ultratriangulaireModèles dyadiques, Terence Tao, 27 Juillet 2007 : https://terrytao.wordpress.com/2007/07/27/dyadic-models/
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:
L'inégalité
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 de tout nombre rationnel r non nul.
On prouve facilement que cette application vérifie et
On définit alors la distance p-adique sur ℚ par :
La propriété précédente de appliquée à et 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 ℚJean-Luc Verley, Espaces métriques, dans Dictionnaire des mathématiques ; algèbre, analyse, géométrie, éd. Albin Michel, ..
Autres exemples Soient X un ensemble quelconque et E = X l'ensemble des suites à valeurs dans X. On munit E d'une structure d'espace ultramétrique complet en posantPour X = {0, 1}, on obtient l'espace de Cantor et pour X = ℕ, l'espace de Baire. En génétique, la distance entre génotypes le long des branches d'un arbre phylogénétique peut être mesurée par une distance ultramétrique, sous l'hypothèse d'un taux de mutation constant dans le temps , par exemple avec l'algorithme UPMGA.
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 : . Tout point d'une boule en est un centre : . 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 : , ce qui s'écrit aussi : . Pour qu'une suite soit de Cauchy, il suffit que
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 ) à la moins fine (partition universelle pour r maximal). C'est une des bases de la classification automatique par regroupement hiérarchiqueI. C. Lerman, Les bases de la classification automatique, Gauthier-Villars, 1970..
Voir aussi Norme ultramétrique Valeur absolue ultramétrique
Notes et références
Catégorie:Espace métrique * Ultramétrique