ScalingStacks

Proof. [01C7]

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.

Upon translating by a constant we may assume that 0≥φ≥−C0\geq\varphi\geq-C. Let ε>0\varepsilon>0. If we choose 0<t≪10<t\ll 1 such that t⁡(C+1)≤ε/2t(C+1)\leq\varepsilon/2 then we have

ν{ψ+ε<(1−t)φ+t}≤ν{ψ+ε/2<φ}=0.\nu\{\psi+\varepsilon<(1-t)\varphi+t\}\leq\nu\{\psi+\varepsilon/2<\varphi\}=0.

By Lemma 8.3 it follows that

Capω{ψ+ε<φ}≤t−nν{ψ+ε<(1−t)φ+t}=0\Capa_{\omega}\{\psi+\varepsilon<\varphi\}\leq t^{-n}\nu\{\psi+\varepsilon<(1-t)\varphi+t\}=0

(since MA⁡(ψ+ε)=ν\MA(\psi+\varepsilon)=\nu). But {ψ+ε<φ}\{\psi+\varepsilon<\varphi\} is open by continuity of φ\varphi, hence empty by Lemma 4.2. We have thus proved that φ≤ψ+ε\varphi\leq\psi+\varepsilon on XX for all ε>0\varepsilon>0, and the result follows. ∎

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