Dice Question Streamline Icon: https://streamlinehq.com

Completions are isometric iff positive-radius balleans are isometric

Determine whether, for ultrametric spaces (X, d) and (Y, \rho), the completions (\tilde{X}, \tilde{d}) and (\tilde{Y}, \tilde{\rho}) are isometric if and only if the balleans of closed balls with strictly positive radii (\bar{B}_X^{0}, d_H) and (\bar{B}_Y^{0}, \rho_H) are isometric.

Information Square Streamline Icon: https://streamlinehq.com

Background

The set \bar{B}_X{0} consists of all closed balls in (X, d) with strictly positive radii; in ultrametric spaces this set coincides with the isolated points of the ballean (Theorem 3.11) and forms a unique dense discrete subset (Proposition 3.21).

The conjecture proposes a characterization of the completion of an ultrametric space via the isometry class of the subspace (\bar{B}_X{0}, d_H), suggesting that the geometry of positive-radius balls encodes all information needed to recover the completed space up to isometry.

References

Conjecture 6.2. Let (X, d) and (Y, \rho) be ultrametric spaces. Then the following statements are equivalent: \begin{enumerate} \item The completions (\tilde{X}, \tilde{d}) and (\tilde{Y}, \tilde{\rho}) are isometric. \item The ultrametric spaces (\bar{B}{X}{0}, d_H) and (\bar{B}{Y}{0}, \rho_H) are isometric. \end{enumerate}

Hausdorff distance between ultrametric balls (2509.00205 - Dovgoshey, 29 Aug 2025) in Conjecture 6.2, Section 6