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 12 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Theorem 4
.
Let φ ∈ 𝒫 γ ∩ L ∞ ( X ) \varphi\in{\cal P}_{\gamma}\cap L^{\infty}(X) B B φ ^ ∈ 𝒫 γ ∩ L ∞ ( X ) \hat{\varphi}\in{\cal P}_{\gamma}\cap L^{\infty}(X) φ ^ ≥ φ \hat{\varphi}\geq\varphi γ φ ^ n = 0 \gamma^{n}_{\hat{\varphi}}=0 B B φ ^ = φ \hat{\varphi}=\varphi X ∖ B X\smallsetminus B φ 1 ≤ φ 2 \varphi_{1}\leq\varphi_{2} φ ^ 1 ≤ φ ^ 2 \hat{\varphi}_{1}\leq\hat{\varphi}_{2}