ScalingStacks

Proposition 6.2 . [01B4]

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

The extension Eω:PSH(X,ω)→[−∞,+∞[E_{\omega}:\PSH(X,\omega)\to[-\infty,+\infty[\, is non-decreasing, concave, and satisfies Eω​(φ+c)=Eω​(φ)+cE_{\omega}(\varphi+c)=E_{\omega}(\varphi)+c for any c∈𝐑c\in\mathbf{R}. It is also upper semicontinuous, and continuous along decreasing nets

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