ScalingStacks

Lemma 3.6 . [015K]

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

Lemma 3.6.

Let μt\mu_{t}, t∈𝔻rt\in{\mathbb{D}}_{r} be a family of probability measures on 𝒳hyb{\mathcal{X}}^{\mathrm{hyb}} such that μt\mu_{t} is supported on 𝒳t{\mathcal{X}}_{t}. Then limt→0μt=μ0\lim_{t\to 0}\mu_{t}=\mu_{0} if and only if limt→0(Log𝒱)∗​μt=μ0\lim_{t\to 0}(\operatorname{Log}_{\mathcal{V}})_{*}\mu_{t}=\mu_{0}. Here the limits are in the sense of weak convergence of measures on 𝒳hyb{\mathcal{X}}^{\mathrm{hyb}} and Δ⁡(𝒳)\Delta({\mathcal{X}}), respectively.

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