ScalingStacks

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 (Mjm,gj,pj)(M_{j}^{m},g_{j},p_{j}) be a sequence of Riemannian manifolds with Ricgj≥−(m−1)\Ric_{g_{j}}\geq-(m-1) such that

(6.136) (Mjm,gj,pj)→G​H(X∞,d∞,p∞)(M_{j}^{m},g_{j},p_{j})\xrightarrow{GH}(X_{\infty},d_{\infty},p_{\infty})

for some metric space (X∞,d∞,p∞)(X_{\infty},d_{\infty},p_{\infty}), then by passing to a subsequence, the renormalized measures

(6.137) d​ν¯j≡dvolgjVolgj⁡(B1​(pj))d\underline{\nu}_{j}\equiv\frac{\dvol_{g_{j}}}{\Vol_{g_{j}}(B_{1}(p_{j}))}

converge to a Radon measure d​ν¯∞d\underline{\nu}_{\infty} on X∞X_{\infty} 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.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.