The range of ultrametrics, compactness, and separability

Abstract

We describe the order type of range sets of compact ultrametrics and show that an ultrametrizable infinite topological space $(X,\tau )$ is compact iff the range sets are order isomorphic for any two ultrametrics compatible with the topology $\tau$. It is also shown that an ultrametrizable topology is separable iff every compatible with this topology ultrametric has at most countable range set.

arXiv comment17 pages