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:
“That anger can be expressed through words and non-destructive activities; that promises are intended to be kept; that cleanliness and good eating habits are aspects of self-esteem; that compassion is an attribute to be prized—all these lessons are ones children can learn far more readily through the living example of their parents than they ever can through formal instruction.”
—Fred Rogers (20th century)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)