In mathematics, an ultrametric space is a metric space in which the triangle inequality is strengthened to . Sometimes the associated metric is also called a non-Archimedean metric or super-metric. Although some of the theorems for ultrametric spaces may seem strange at a first glance, they appear naturally in many applications. Formal definition An ultrametric on a set is a real-valued function (where denote the real numbers), such that for all : ; (symmetry); ; if then ; } (strong triangle inequality or ultrametric inequality). An ultrametric space is a pair consisting of a set together with an ultrametric on , which is called the space's associated distance function (also called a metric). If satisfies all of the conditions except possibly condition 4 then is called an ultrapseudometric on . An ultrapseudometric space is a pair consisting of a set and an ultrapseudometric on . In the case when is an Abelian group (written additively) and is generated by a length function (so that ), the last property can be made stronger using the Krull sharpening to: with equality if . We want to prove that if , then the equality occurs if . Without loss of generality, let us 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 . Properties From the above definition, one can conclude several typical properties of ultrametrics. For example, for all , at least one of the three equalities or or holds. That is, every triple of points in the space forms an isosceles triangle, so the whole space is an isosceles set. Defining the (open) ball of radius centred at as , we have the following properties: Every point inside a ball is its center, i.e. if then . Intersecting balls are contained in each other, i.e. if is non-empty then either or . All balls of strictly positive radius are both open and closed sets in the induced topology. That is, open balls are also closed, and closed balls (replace with ) are also open. The set of all open balls with radius and center in a closed ball of radius forms a partition of the latter, and the mutual distance of two distinct open balls