The range of ultrametrics, compactness, and separability

From MaRDI portal
Publication:2052580



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


The authors study interconnections between ultrametrizable topologies and some related properties of distance sets of ultrametrics which are compatible with these topologies. They prove that the so-called distance sets are order isomorphic for all infinite totally bounded ultrametric spaces. For instance, it is shown in Theorem \(4.7\) that an ultrametrizable infinite topological space \((X,\tau)\) is compact if and only if any two ultrametrics, compatible with \(\tau\), have the same order isomorphic distance sets. It is also shown in Theorem \(4.12\) that an ultrametrizable topological space \((X,\tau)\) is separable if and only if every ultrametric, compatible with \(\tau\), has at most countable range set.



Cites work









This page was built for publication: The range of ultrametrics, compactness, and separability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2052580)