Definition 6.11 (Measured Gromov-Hausdorff convergence) . [055E]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Definition 6.11 (Measured Gromov-Hausdorff convergence).
Let be a sequence of Riemannian manifolds with such that
| (6.136) |
for some metric space , then by passing to a subsequence, the renormalized measures
| (6.137) |
converge to a Radon measure on which is called the renormalized limit measure. The Gromov-Hausdorff convergence together with the convergence of the renormalzied measures is called the measured Gromov-Hausdorff convergence.