ScalingStacks

Proposition 6.9 . [01BF]

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

Proposition 6.9.

If φ∈ℰ1​(X,ω)\varphi\in\mathcal{E}^{1}(X,\omega) and (φj)j(\varphi_{j})_{j} is a decreasing net of ω\omega-psh functions converging to φ\varphi, then φj∈ℰ1​(X,ω)\varphi_{j}\in\mathcal{E}^{1}(X,\omega) for all jj and MA⁡(φj)→MA⁡(φ)\MA(\varphi_{j})\to\MA(\varphi) as j→∞j\to\infty in the weak sense of measures.

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