ScalingStacks

Proof. [0335]

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.

For t>0t>0 large enough, the set O1={φ<−t}O_{1}=\{\varphi<-t\} has capacity <ε/2<\varepsilon/2 by proposition 2.6. Working in X∖O1X\setminus O_{1} we can thus replace φ\varphi by φt=max⁡(φ,−t)\varphi_{t}=\max(\varphi,-t) which is bounded on XX. Regularizing φ\varphi (see Appendix), we can find a sequence ψj\psi_{j} of smooth A​ωA\omega-psh functions which decrease to φt\varphi_{t} on XX, for some A≥1A\geq 1. By proposition 2.7, the set Oj={ψkj>φt+1/j}O_{j}=\{\psi_{k_{j}}>\varphi_{t}+1/j\} has capacity <ε​2−j−1<\varepsilon 2^{-j-1} if kjk_{j} is large enough. Now ψkj\psi_{k_{j}} uniformly converges to φ=φt\varphi=\varphi_{t} on X∖OεX\setminus O_{\varepsilon}, Oε=∪j≥1OjO_{\varepsilon}=\cup_{j\geq 1}O_{j}, so φ\varphi is continuous on X∖OεX\setminus O_{\varepsilon} and C​a​pω​(Oε)≤εCap_{\omega}(O_{\varepsilon})\leq\varepsilon. ∎

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