Corollary 15.37.24.D3170E7413EC Under the hypotheses of proposition 15.37.21, if $u_ j\to u\in \mathrm{PSH}(X,\theta )$ in $L^1(X)$, then $u\in \mathcal E_\varphi $.
Corollary 15.37.24D3170E7413EC
Proof. The common envelope gives $h\leq u_ j\leq \varphi +C$. Along an almost-everywhere convergent subsequence, lemma 5.24.3 gives $h\leq u\leq \varphi +C$, and upward stability gives the conclusion. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.