ScalingStacks

Proposition 1.6 . [032L]

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 1.6.

Let (φj)∈P​S​H​(X,ω)ℕ(\varphi_{j})\in PSH(X,\omega)^{\mathbb{N}}.

1) If (φj)(\varphi_{j}) is uniformly bounded from above on XX, then either φj\varphi_{j} converges uniformly to −∞-\infty on XX or the sequence (φj)(\varphi_{j}) is relatively compact in L1​(X)L^{1}(X).

2) If φj→φ\varphi_{j}\rightarrow\varphi in L1​(X)L^{1}(X), then φ\varphi coincides almost everywhere with a unique function φ∗∈P​S​H​(X,ω)\varphi^{*}\in PSH(X,\omega). Moreover

supXφ∗=limj→+∞supXφj.\sup_{X}\varphi^{*}=\lim_{j\rightarrow+\infty}\sup_{X}\varphi_{j}.

3) In particular if φj\varphi_{j} is decreasing, then either φj→−∞\varphi_{j}\rightarrow-\infty or φ=limφj∈P​S​H​(X,ω)\varphi=\lim\varphi_{j}\in PSH(X,\omega). Similarly, if φj\varphi_{j} is increasing and uniformly bounded from above then φ:=(limφj)∗∈P​S​H​(X,ω)\varphi:=(\lim\varphi_{j})^{*}\in PSH(X,\omega), where ⋅∗{\cdot}^{*} denotes the upper-semi-continuous regularization.

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