Metrization of the Gromov-Hausdorff (-Prokhorov) topology for boundedly-compact metric spaces

DOI10.1016/J.SPA.2019.11.001MaRDI QIDQ2175339zbMATH OpenOpenAlexFDO

Authors Ali Khezeli

Publication date 29 April 2020

Published in Stochastic Processes and their Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.06544

zbMATH Keywords

boundedly-compactGromov-Hausdorff convergenceGromov-Hausdorff metricGromov-Hausdorff-Prokhorov metricStrassen's theorem

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Complete metric spaces (54E50) Probability measures on topological spaces (60B05) Convergence of probability measures (60B10)

Abstract: In this work, a metric is presented on the set of boundedly-compact pointed metric spaces that generates the Gromov-Hausdorff topology. A similar metric is defined for measured metric spaces that generates the Gromov-Hausdorff-Prokhorov topology. This extends previous works which consider only length spaces or discrete metric spaces. Completeness and separability are also proved for these metrics. Hence, they provide the measure theoretic requirements to study random (measured) boundedly-compact pointed metric spaces, which is the main motivation of this work. In addition, we present a generalization of the classical theorem of Strassen which is of independent interest. This generalization proves an equivalent formulation of the Prokhorov distance of two finite measures, having possibly different total masses, in term of approximate coupling. A Strassen-type result is also proved for the Gromov-Hausdorff-Prokhorov metric for compact spaces.

Review text

In this well-organized paper, the Hausdorff and Prokhorov metrics are provided and also a generalization of Strassen's theorem with related fundamental properties is given. A Strassen-type theorem is proved for the Gromov-Hausdorff-Prokhorov metric in the compact case. Further, the metrization of the Gromov-Hausdorff (-Prokhorov) topology is provided and its properties are studied. In this study, basically it is proved that the set of boundedly-compact pointed metric spaces, equipped with the Gromov-Hausdorff topology, is a Polish space.

Recommendations

• A note on the Gromov-Hausdorff-Prokhorov distance between (locally) compact metric measure spaces
• Equivalence of Gromov-Prohorov- and Gromov's \(\underline{\square}_\lambda\)-metric on the space of metric measure spaces
• Marked metric measure spaces
• The gap between Gromov-Vague and Gromov-Hausdorff-vague topology
• scientific article; zbMATH DE number 5005923

Cites work

• A course in metric geometry
• A note on the Gromov-Hausdorff-Prokhorov distance between (locally) compact metric measure spaces
• Convergence in distribution of random metric measure spaces (\(\Lambda \)-coalescent measure trees)
• Convergence of mixing times for sequences of random walks on finite graphs
• Eternal family trees and dynamics on unimodular random graphs
• Groups of polynomial growth and expanding maps. Appendix by Jacques Tits
• scientific article; zbMATH DE number 3125504 (Why is no real title available?)
• Metrization of the Gromov-Hausdorff (-Prokhorov) topology for boundedly-compact metric spaces
• Optimal Transport
• Random measures, theory and applications
• Random real trees
• Rayleigh processes, real trees, and root growth with re-grafting
• Real Analysis and Probability
• Recurrence of distributional limits of finite planar graphs
• Stochastic and Integral Geometry
• Tessellations of random maps of arbitrary genus
• The continuum random tree. I
• The Existence of Probability Measures with Given Marginals
• The gap between Gromov-Vague and Gromov-Hausdorff-vague topology
• The scaling limit of the minimum spanning tree of the complete graph
• Transforming random elements and shifting random fields

This page was built for publication: Metrization of the Gromov-Hausdorff (-Prokhorov) topology for boundedly-compact metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2175339)