Convergence of metric measure spaces via embeddings in the Urysohn universal space
Abstract
We study different notions of convergence of metric measure spaces by means of isometric embeddings into the Urysohn universal metric space π. Due to the universality of π, the collection π1 of isomorphism classes of normalised metric measure spaces can be canonically identified with the quotient (set) π«βΌ(π)=π«(π)/βΌ of the space π«(π) of Borel probability measures on π, where ΞΌβΌΞ½ if Ξ½ is the pushforward of ΞΌ under an isometry between their respective supports. By making crucial use of the ultrahomogeneity of π, we show that, under the above identification, Gromov's box topology on π1 coincides with the quotient topology induced by the weak topology of π«(π). More quantitatively, the truncated $1$-Wasserstein distance on π«(π) induces a complete and separable distance sf dmG on π1β π«βΌ(π), which metrises the quotient topology of π«βΌ(π) and is HΓΆlder equivalent to the box distance β‘.
Related
- The Sunada method on Metric Measure Spaces
- Coarse geometry of metric measure spaces
- Lipschitz numbers and fine differentiability on metric measure spaces
- A geometric characterization of the Maz'ya-Shaposhnikova limit on metric measure spaces
- On one relaxation of the bounded-length-distortion condition in the context of metric measure spaces
BibTeX
@misc{cakovic2026convergence,
title = {{Convergence of metric measure spaces via embeddings in the Urysohn universal space}},
author = {Milica CakoviΔ and Enrico Pasqualetto and Timo Schultz},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.24207},
eprint = {2609.24207},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.24207},
}
RIS
TY - UNPB
TI - Convergence of metric measure spaces via embeddings in the Urysohn universal space
AU - Milica CakoviΔ
AU - Enrico Pasqualetto
AU - Timo Schultz
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2609.24207
UR - https://arxiv.org/abs/2609.24207
AB - We study different notions of convergence of metric measure spaces by means of isometric embeddings into the Urysohn universal metric space π. Due to the universality of π, the collection π_1 of isomorphism classes of normalised metric measure spaces can be canonically identified with the quotient (set) π«_βΌ(π)=π«(π)/βΌ of the space π«(π) of Borel probability measures on π, where ΞΌβΌΞ½ if Ξ½ is the pushforward of ΞΌ under an isometry between their respective supports. By making crucial use of the ultrahomogeneity of π, we show that, under the above identification, Gromov's box topology on π_1 coincides with the quotient topology induced by the weak topology of π«(π). More quantitatively, the truncated $1$-Wasserstein distance on π«(π) induces a complete and separable distance sf d_mG on π_1β
π«_βΌ(π), which metrises the quotient topology of π«_βΌ(π) and is HΓΆlder equivalent to the box distance β‘.
ER -