Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Proof.
Upon translating by a constant we may assume that 0 ≥ φ ≥ − C 0\geq\varphi\geq-C . Let ε > 0 \varepsilon>0 . If we choose 0 < t ≪ 1 0<t\ll 1 such that t ( C + 1 ) ≤ ε / 2 t(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 X X for all ε > 0 \varepsilon>0 , and the result follows.
∎