ScalingStacks

Proof. [01AT]

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.

Given ε>0\varepsilon>0 we apply Theorem 5.1 to φ+ε\varphi+\varepsilon and ψ\psi. This gives MA⁡(max⁡{φ+ε,ψ})=MA⁡(φ)\MA(\max\{\varphi+\varepsilon,\psi\})=\MA(\varphi) on G⊆{φ+ε>ψ}G\subseteq\{\varphi+\varepsilon>\psi\}. Letting ε→0\varepsilon\to 0 and using Theorem 3.1 we get MA⁡(max⁡{φ,ψ})=MA⁡(φ)\MA(\max\{\varphi,\psi\})=\MA(\varphi) on GG. Exchanging the roles of φ\varphi and ψ\psi shows that MA⁡(φ)=MA⁡(ψ)\MA(\varphi)=\MA(\psi) on GG. ∎

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