Formal Definition
Formally, an ultrametric space is a set of points with an associated distance function (also called a metric)
(where is the set of real numbers), such that for all, one has:
- iff
- (symmetry)
- (strong triangle or ultrametric inequality).
The last property can be made stronger using the Krull sharpening to:
- with equality if
For simplicity, let us use the norms instead of the distances in the proof; we want to prove that if, then the equality occurs if . Without loss of generality, let's assume that . This implies that . But we can also compute . Now, the value of cannot be, for if that is the case, we have contrary to the initial assumption. Thus, and . Using the initial inequality, we have and therefore .
Read more about this topic: Ultrametric Space
Famous quotes containing the words formal and/or definition:
“Then the justice,
In fair round belly with good capon lined,
With eyes severe and beard of formal cut,
Full of wise saws and modern instances;
And so he plays his part.”
—William Shakespeare (1564–1616)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)