- ( Triangle inequality )
for all the last, the triangular inequality, in its tightened form
Fulfills. A room provided with an ultrametric is called an ultrametric room .
The discrete metric ( for , otherwise ) on a non-empty set is an ultrametric .
If there is an arbitrary non-empty set, then the set of all sequences in can be made into a metric space by setting the distance between two different sequences to the value , where is the smallest index for which is different from , and the distance of a sequence to puts himself on . This metric space is then complete and ultrametric. The resulting induced topology consistent with the countable product topology of the discrete topology on the same. Important examples for spaces constructed in this way are the Baire space ( countably infinite) and the Cantor space ( finite with at least two elements).
Every triangle of points in an ultrametric space is equilateral or isosceles with a shorter base. As proof: are , , the distances of the three vertices ( and so on), then either ( same side) or one side is shorter than another, without limitation, we assume that . Then one can deduce from the tightened triangle inequality that must be (it is , so , and ), so then is isosceles with a shorter base .
Every sphere with a strictly positive radius is both closed and open (but not necessarily an open and closed sphere). (Schikhof, 1984)
Every point in a sphere (open or closed) is the center of this sphere, and the diameter is less than or equal to its radius. ( Marc Krasner , 1944)
Two spheres are either foreign to the element ( disjoint ) or one is completely contained in the other.
A sequence in , in the intervals of contiguous elements from 0 converge, is a Cauchy sequence, because for each there is then a with for all , and thus is considered due to the intensified triangular inequality for all : .
In an Abelian topological group , the topology of which is generated by a translation-invariant ultrametric (e.g. an ultrametric body like ), an infinite series is a Cauchy sequence if and only if the summands form a zero sequence . If the group is complete , then the series converges in this case.
An ultrametric room is totally incoherent .