ScalingStacks

Lemma 3.5 . [01A6]

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

Let ν\nu be a positive Radon measure on XX and let φ\varphi be a bounded θ\theta-psh function. Then we have

∫φ​ν=infψ≥φ∫ψ​ν\int\varphi\nu=\inf_{\psi\geq\varphi}\int\psi\nu

where ψ\psi ranges over all θ\theta-psh model functions such that ψ≥φ\psi\geq\varphi.

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