Title:The topological classification of spaces of metrics with the uniform convergence topology

Abstract:For a metrizable space $X$, we denote by $C(X^2)$ the space of continuous bounded real-valued functions on $X^2$ endowed with the uniform convergence topology. Let $PM(X)$, $M(X)$ and $AM(X)$ be the spaces of continuous bounded pseudometrics, continuous bounded metrics and bounded admissible metrics on $X$ with the subspace topology of $C(X^2)$, respectively. In this paper, the topologies of $PM(X)$, $M(X)$ and $AM(X)$ shall be classified as follows: (i) If $X$ is finite, then $PM(X)$ and $M(X) (= AM(X))$ are homeomorphic to $\{0\}$ when $X$ is a singleton, and then $PM(X)$ is homeomorphic to $[0,1]^{n(n - 1)/2 - 1} \times [0,1)$ and $M(X) (= AM(X))$ is homeomorphic to $[0,1]^{n(n - 1)/2 - 1} \times (0,1)$ when $X$ is not a singleton with the cardinality $n$; (ii) If $X$ is infinite and compact, then they are homeomorphic to the separable Hilbert space $\ell_2$; (iii) If $X$ is separable locally compact but not compact, then they are homeomorphic to the Hilbert space $\ell_2(2^{\aleph_0})$ of density $2^{\aleph_0}$; (iv) If $X$ is not generalized compact, then $PM(X)$ is homeomorphic to the Hilbert space $\ell_2(2^\kappa)$ of density $2^\kappa$, where $\kappa$ is the density of $X$.