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
. The extremal function ΨU∗∈𝒫γ∩L∞(X)\Psi^{*}_{U}\in{\cal P}_{\gamma}\cap L^{\infty}(X) satisfies ΨU∗≥0\Psi^{*}_{U}\geq 0 over XX, ΨU∗≡0\Psi^{*}_{U}\equiv 0 over UU and γΨU∗n=0\gamma^{n}_{\Psi^{*}_{U}}=0 over X∖U¯X\smallsetminus\overline{U}.
33 source-bound objects; statement and proof tags appear beside their original text.