Abstract:
We show that any bounded metric space can be embedded isometrically in the Gromov-Hausdorff metric class $\operatorname{\mathcal{G\!H}}$. This is a consequence of the description of the local geometry of $\operatorname{\mathcal{G\!H}}$ in a sufficiently small neighbourhood of a generic metric space, which is of independent interest. We use the techniques of optimal correspondences and their distortions.
Bibliography: 22 titles.
Keywords:Gromov-Hausdorff distance, class of all metric spaces, von Neumann-Bernays-Gödel axioms, isometric embedding of a bounded metric space, generic metric space.