ScalingStacks

Proof of Lemma 3.5 . [01A7]

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

Proof of Lemma 3.5.

Let ε>0\varepsilon>0. Since φ\varphi is usc, Lemma 2.24 shows that there exists a continuous function vv on XX such that v≥φv\geq\varphi and ∫v​ν≤∫φ​ν+ε\int v\nu\leq\int\varphi\nu+\varepsilon. The result now follows since [BFJ11, Corollary 8.6] yields an θ\theta-psh model function ψ\psi such that φ≤ψ≤v+ε\varphi\leq\psi\leq v+\varepsilon. ∎

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