ultrametric
Any metric on a set must satisfy the triangle inequality:
An ultrametric must additionally satisfy a stronger version of the triangle inequality:
Here is an example of an ultrametric on a space with 5 points, labelled :
In the table above, an entry in the for element and the for element indicates that , where is the ultrametric. By symmetry of the ultrametric (), the above table yields all values of for all .
The ultrametric condition is equivalent to the ultrametric three point condition:
Ultrametrics can be used to model bifurcating hierarchical systems. The distance between nodes in a weight-balanced binary tree is an ultrametric. Similarly, an ultrametric can be modelled by a weight-balanced binary tree, although the choice of tree is not necessarily unique. Tree models of ultrametrics are sometimes called ultrametric trees.
The metrics induced by non-Archimedean valuations are ultrametrics.
Title | ultrametric |
---|---|
Canonical name | Ultrametric |
Date of creation | 2013-03-22 13:28:28 |
Last modified on | 2013-03-22 13:28:28 |
Owner | Koro (127) |
Last modified by | Koro (127) |
Numerical id | 21 |
Author | Koro (127) |
Entry type | Definition |
Classification | msc 54E35 |
Related topic | MetricSpace |
Related topic | Valuation |
Related topic | UltrametricSpace |