Every Extended Metric Space Is Isometrically Embeddable into the Gromov--Hausdorff Class
Let $\mathfrak{GH}$ denote the Gromov-Hausdorff class of isometry classes of nonempty metric spaces, equipped with the Gromov-Hausdorff distance, which is an extended pseudometric. We prove that every nonempty extended metric space is isometrically embeddable into $\mathfrak{GH}$. More precisely, for every nonempty extended metric space $X$, the embedding can be chosen so that all image points are represented by metrics on a common underlying set of cardinality $\max\{\mathrm{dens}\,X,\aleph_0\}$, where $\mathrm{dens}\,X$ denotes the density character of $X$. To establish this result, for…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.24279
curl -X POST /api/v1/records/arxiv/2610.24279/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.24279/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'