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:
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)