Un espace métrique dont la distance satisfait l'inégalité forte d(x,z) ≤ max{d(x,y), d(y,z)} pour tous les points, produisant une géométrie hiérarchique non archimédienne.

Principe

L'inégalité ultramétrique impose des boules emboîtées et une structure arborescente : deux boules sont soit disjointes soit l'une contient l'autre, ce qui encode directement le regroupement hiérarchique dans la métrique.

Démonstration

La norme p-adique sur les nombres rationnels définit une ultramétrique : les distances reflètent la divisibilité par un premier et les boules ouvertes forment des voisinages algébriques emboîtés.

Mauvaise application

Appliquer l'intuition euclidienne (déformations lisses, petites perturbations modifiant les distances continûment) à des espaces ultramétriques où la topologie est totalement disconnexe et les perturbations obéissent à une loi non archimédienne.

Conséquence

Les topologies sont totalement disjointes, tout point d'une boule en est le centre, et le regroupement hiérarchique ainsi que les représentations en arbre sont canoniques et intrinsèques à la métrique.

Inversion

Dans une métrique classique (euclidienne), l'inégalité triangulaire est plus faible et permet une variation continue et des boules qui se chevauchent sans s'imbriquer, produisant une topologie fondamentalement différente.

Limite

S'applique seulement aux distances satisfaisant l'inégalité forte ; beaucoup de métriques sur le même ensemble ne sont pas ultramétriques et les métriques de variétés usuelles sont exclues.

Tension sémantique

Ultramétrique versus métrique d'arbre : les ultramétriques sont précisément celles réalisables par plongement isométrique dans des arbres réels enracinés avec fonction hauteur, tandis que certaines dissimilarités issues d'arbres peuvent ne pas satisfaire strictement l'ultramétricité.

Synthèse

Un espace ultramétrique est un espace métrique dont la loi de distance non archimédienne impose des boules emboîtées et une topologie arborescente, entraînant un comportement géométrique et topologique très différent des métriques ordinaires.