ScalingStacks

Proof. [00PY]

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.

If ψ\psi is smooth, this follows from Thm. 2.7 by changing ω\omega into ωψ\omega_{\psi}, and changing ϕ\phi into ϕ−ψ\phi-\psi, and checking the Skoda type estimate holds with modified constants. In general, one can approximate ψ∈P​S​H​(X,ω)\psi\in PSH(X,\omega) by a decreasing sequence of functions in P​S​H​(X,ω)∩C∞PSH(X,\omega)\cap C^{\infty} [1], and since ψ∈C0\psi\in C^{0} the convergence is uniform by Dini’s theorem. ∎

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