Every Compact Metric Space Is Isometrically Embeddable into the Gromov-Hausdorff Space

Ryo Fukano

In the authors' words

Let $(M, d_{G H})$ 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 $(M, d_{G H})$ . More precisely, for every $D > 0$ and every nonempty compact metric space $K$ with $diam K \leq 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, and each resulting metric space has diameter at most $76 D$ . We also construct finite approximations for which the Gromov-Hausdorff distance is given by an exact formula, together with a uniform approximation estimate.

Main resultThe abstract does not state a limitation.

Every Compact Metric Space Is Isometrically Embeddable into the Gromov-Hausdorff Space

In the authors' words

More on Geometry & topology that day

Prescribed singular sets for stationary harmonic maps

Kakeya and Furstenberg problems for sticky sets of tubes

Improved bounds for universal convex covers of unit arcs

The metric extension problem under positive and negative curvature conditions

Measure contraction property on isometric leaves and monotone fibres