English

Isometries between spaces of metrics

Functional Analysis 2025-01-22 v2 General Topology

Abstract

Given a metrizable space ZZ, denote by PM(Z){\rm PM}(Z) the space of continuous bounded pseudometrics on ZZ, and denote by AM(Z){\rm AM}(Z) the one of continuous bounded admissible metrics on ZZ, the both of which are equipped with the sup-norm \|\cdot\|. Let Pc(Z){\rm Pc}(Z) be the subspace of AM(Z){\rm AM}(Z) satisfying the following: \begin{itemize} \item for every dPc(Z)d \in {\rm Pc}(Z), there exists a compact subset KZK \subset Z such that if d(x,y)=dd(x,y) = \|d\|, then x,yKx, y \in K. \end{itemize} Moreover, set Pp(Z)={dAM(Z) there only exists {z,w}Z such that d(z,w)=d},{\rm Pp}(Z) = \{d \in {\rm AM}(Z) \mid \text{ there only exists } \{z,w\} \subset Z \text{ such that } d(z,w) = \|d\|\}, and let M(Z){\rm M}(Z) be Pc(Z){\rm Pc}(Z) or Pp(Z){\rm Pp}(Z). In this paper, we shall prove the Banach-Stone type theorem on spaces of metrics, that is, for metrizable spaces XX and YY, the following are equivalent: \begin{enumerate} \item XX and YY are homeomorphic; \item there exists a surjective isometry T:PM(X)PM(Y)T : {\rm PM}(X) \to {\rm PM}(Y) with T(M(X))=M(Y)T({\rm M}(X)) = {\rm M}(Y); \item there exists a surjective isometry T:AM(X)AM(Y)T : {\rm AM}(X) \to {\rm AM}(Y) with T(M(X))=M(Y)T({\rm M}(X)) = {\rm M}(Y); \item there exists a surjective isometry T:M(X)M(Y)T : {\rm M}(X) \to {\rm M}(Y). \end{enumerate} Then for each surjective isometry T:PM(X)PM(Y)T : {\rm PM}(X) \to {\rm PM}(Y) with T(M(X))=M(Y)T({\rm M}(X)) = {\rm M}(Y), there is a homeomorphism ϕ:YX\phi : Y \to X such that for any dPM(X)d \in {\rm PM}(X) and for any x,yYx, y \in Y, T(d)(x,y)=d(ϕ(x),ϕ(y))T(d)(x,y) = d(\phi(x),\phi(y)). Except for the case where the cardinality of XX or YY is equal to 22, the homeomorphism ϕ\phi can be chosen uniquely.

Keywords

Cite

@article{arxiv.2501.08030,
  title  = {Isometries between spaces of metrics},
  author = {Katsuhisa Koshino},
  journal= {arXiv preprint arXiv:2501.08030},
  year   = {2025}
}

Comments

The paper has been corrected on the uniqueness of the homeomorphism in Main Theorem

R2 v1 2026-06-28T21:05:46.866Z