The topology of Gromov–Hausdorff space

This paper is divided into four parts. We prove that the Gromov–Hausdorff space is homeomorphic to the Hilbert space. In Part I, we construct an assignment of a full-support probability measure to every nonempty compact metric space that respects isometries and is continuous for simultaneous Hausdorff convergence of the spaces and weak convergence of the measures. In Part II, we use these measures to construct finite-dimensional local models whose induced pseudometrics approximate the original distances uniformly and whose norms and point maps vary continuously up to orthogonal changes of coordinates. In Part III, we use the local models to prove that the Gromov–Hausdorff space is an absolute retract for all metrizable spaces. In Part IV, we establish a discrete approximation property and conclude that the space of isometry classes of nonempty compact metric spaces is homeomorphic to the real separable infinite-dimensional Hilbert space. Version 1.0, first published on 9 September 2026. This PDF is identical to the version on the author’s homepage and the signed GitHub release. The manuscript discloses the use of OpenAI Codex, based on GPT-6, for mathematical exploration, literature searches, exposition, and LaTeX preparation. The author states that he has verified all mathematical arguments, understands the proofs and constructions, and takes full responsibility for the mathematical content and final manuscript. Homepage: https://yoshito-ishiki-math.github.io/ai-research-reports.html#topology-gromov-hausdorff-spaceGitHub release: https://github.com/yoshito-ishiki-math/yoshito-ishiki-math.github.io/releases/tag/preprint-ghsp-topology-v1.0