Electronic Journal of Probability
- Electron. J. Probab.
- Volume 18 (2013), paper no. 14, 21 pp.
A note on the Gromov-Hausdorff-Prokhorov distance between (locally) compact metric measure spaces
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 boundedly 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 boundedly finite measure.
Electron. J. Probab., Volume 18 (2013), paper no. 14, 21 pp.
Accepted: 24 January 2013
First available in Project Euclid: 4 June 2016
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
This work is licensed under a Creative Commons Attribution 3.0 License.
Abraham, Romain; Delmas, Jean-François; Hoscheit, Patrick. A note on the Gromov-Hausdorff-Prokhorov distance between (locally) compact metric measure spaces. Electron. J. Probab. 18 (2013), paper no. 14, 21 pp. doi:10.1214/EJP.v18-2116. https://projecteuclid.org/euclid.ejp/1465064239