A note on Gromov-Hausdorff-Prokhorov distance between (locally) compact measure spaces

Abstract

We present an extension of the Gromov-Hausdorff metric on the set of compact metric spaces: the Gromov-Hausdorff-Prokhorov metric on the set of compact metric spaces endowed with a finite measure. We then extend it to the non-compact case by describing a metric on the set of rooted complete locally compact length spaces endowed with a locally finite measure. We prove that this space with the extended Gromov-Hausdorff-Prokhorov metric is a Polish space. This generalization is needed to define Lévy trees, which are (possibly unbounded) random real trees endowed with a locally finite measure.

References in corpus (1)

• Exit times for an increasing Lévy tree-valued process

Cited by in corpus (17)

• Enhancing non-melonic triangulations: A tensor model mixing melonic and planar maps
• The local weak limit of the minimum spanning tree of the complete graph
• Limits of multiplicative inhomogeneous random graphs and Lévy trees: Limit theorems
• Exit times for an increasing Lévy tree-valued process
• Pruning of CRT-sub-trees
• Limit of trees with fixed degree sequence
• New Limits for Large $N$ Matrix and Tensor Models: Large $D$, Melons and Applications
• Liouville quantum gravity weighted by conformal loop ensemble nesting statistics
• On the geometry of irreversible metric-measure spaces: Convergence, Stability and Analytic aspects
• Aging and sub-aging for Bouchaud trap models on resistance metric spaces
• Limits of chordal graphs with bounded tree-width
• Scaling limits and universality: Critical percolation on weighted graphs converging to an $L^3$ graphon
• Depths in random recursive metric spaces
• Brownian continuum random tree conditioned to be large
• Scaling limit of linearly edge-reinforced random walks on critical Galton-Watson trees
• Fluctuations for the number of records on subtrees of the Continuum Random Tree
• Similarity Between Points in Metric Measure Spaces