ScalingStacks

Proof. [019X]

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

Proof.

Upon replacing μj\mu_{j} with (∫μj)−1​μj(\int\mu_{j})^{-1}\mu_{j} we may assume that the μj\mu_{j}’s are probability measures. Fix any ε>0\varepsilon>0. By Lemma 2.24 there exists a continuous function g≥fg\geq f on XX such that ∫g​μ<∫f​μ+ε\int g\mu<\int f\mu+\varepsilon. By Dini’s lemma, we have fj<g+εf_{j}<g+\varepsilon for all j≫1j\gg 1, hence

lim supj∫fj​μj≤lim supj∫g​μj+ε=∫g​μ+ε≤∫f​μ+2​ε.\limsup_{j}\int f_{j}\mu_{j}\leq\limsup_{j}\int g\mu_{j}+\varepsilon=\int g\mu+\varepsilon\leq\int f\mu+2\varepsilon.

since ∫g​μj→∫g​μ\int g\mu_{j}\to\int g\mu by the definition of weak convergence. The result follows. ∎

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