{"id":"arxiv/2609.21469","url":"https://arxiv.org/abs/2609.21469","tags":["math.MG"],"score":0,"title":"Every Compact Metric Space Is Isometrically Embeddable into the Gromov-Hausdorff Space","domain":"math.MG","source":"arxiv","authors":["Ryo Fukano"],"reviews":0,"subject":"math.MG","summary":"Let $(\\mathcal{M},d_{\\mathrm{GH}})$ denote the Gromov-Hausdorff space of isometry classes of nonempty compact metric spaces. We prove that every nonempty compact metric space is isometrically embeddable into $(\\mathcal{M},d_{\\mathrm{GH}})$. More precisely, for every $D>0$ and every nonempty compact metric space $K$ with $\\operatorname{diam} K\\le D$, we realize the space of all $1$-Lipschitz functions on $K$ with values in $[0,D]$ as a family of metrics on a fixed Cantor space. Under this realization, the Gromov-Hausdorff distance agrees exactly with the uniform distance between functions,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-18","reactions":{}}