ScalingStacks

Proof. [034D]

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.

This follows straightforwardly from proposition 3.9:

Tω​(fj​(K))≥T(fj)∗​ω​(K)=[Tλ−j​(fj)∗​ω​(K)]λj≥[α​Tω​(K)]λj,T_{\omega}(f^{j}(K))\geq T_{(f^{j})^{*}\omega}(K)=\left[T_{\lambda^{-j}(f^{j})^{*}\omega}(K)\right]^{\lambda^{j}}\geq\left[\alpha T_{\omega}(K)\right]^{\lambda^{j}},

where the first two inequalities follow from 3.9.4 and 3.9.2 and last one follows from 3.9.3 and the fact that λ−j​(fj)∗​ω=ω+d​dc​gj\lambda^{-j}(f^{j})^{*}\omega=\omega+dd^{c}g_{j}, where gjg_{j} is uniformly bounded. ∎

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