ScalingStacks

Lemma 8.9 . [01HK]

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

Lemma 8.9.

The following properties are equivalent.

  • (i)

    Every θ\theta-psh function φ\varphi is the pointwise limit of a decreasing net of θ\theta-psh model functions.

  • (ii)

    For each u∈C0​(X)u\in C^{0}(X) we have

    Pθ(u)=sup{φ∣φ∈𝒟(X)∩PSH(X,ω),φ≤u on X}.P_{\theta}(u)=\sup\left\{\varphi\mid\varphi\in\mathcal{D}(X)\cap\PSH(X,\omega),\,\varphi\leq u\text{ on }X\right\}.
  • (iii)

    For each u∈C0​(X)u\in C^{0}(X) Pθ​(u)P_{\theta}(u) is a uniform limit of θ\theta-psh model functions.

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