On comeager sets of metrics whose ranges are disconnected

TL;DR

This paper investigates the structure of metrics on strongly zero-dimensional spaces, showing that metrics with totally disconnected ranges form a dense G_delta set, impacting the understanding of universal metrics.

Contribution

It proves that metrics with totally disconnected ranges are dense in the space of all metrics on strongly zero-dimensional spaces, revealing new topological properties.

Findings

Metrics with totally disconnected ranges form a dense G_delta subset.

Some sets of universal metrics are meager in the space of all metrics.

The results apply specifically to strongly zero-dimensional metrizable spaces.

Abstract

For a metrizable space $X$, we denote by $\mathrm{Met}(X)$ the space of all metric that generate the same topology of $X$. The space $\mathrm{Met}(X)$ is equipped with the supremum distance. In this paper, for every strongly zero-dimensional metrizable space $X$, we prove that the set of all metrics whose ranges are closed totally disconnected subsets of the line is a dense $G_{\delta}$ subspace in $\mathrm{Met}(X)$. As its application, we show that some sets of universal metrics are meager in spaces of metrics.