ScalingStacks

Proof. [01ZE]

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.

For x∈B2​(p)x\in B_{2}(p) fixed, we have

Vol⁡(B1​(x))≥C​(n)−1​Vol​(B3​(x))≥C−1​Vol​(B1​(p))≥C−1​v>0,\displaystyle{\rm Vol}(B_{1}(x))\geq C(n)^{-1}{\rm Vol}(B_{3}(x))\geq C^{-1}{\rm Vol}(B_{1}(p))\geq C^{-1}{\rm v}>0\,, (8.11)

and so,

𝒱1δ​(x)≤−ln⁡(C−1​v)=C⁡(n,v).\displaystyle\mathcal{V}^{\delta}_{1}(x)\leq-\ln\Big(C^{-1}{\rm v}\Big)=C(n,{\rm v})\,. (8.12)

From the monotonicity of 𝒱rδ​(x)\mathcal{V}^{\delta}_{r}(x), we have

C⁡(n,v)−1≥𝒱1δ​(x)−𝒱0δ​(x)\displaystyle C(n,{\rm v})-1\geq\mathcal{V}^{\delta}_{1}(x)-\mathcal{V}^{\delta}_{0}(x) =∑(𝒱rαδ​(x)−𝒱rα+1δ​(x))\displaystyle=\sum\Big(\mathcal{V}^{\delta}_{r_{\alpha}}(x)-\mathcal{V}^{\delta}_{r_{\alpha+1}}(x)\Big)
=∑|𝒱rαδ​(x)−𝒱rα+1δ​(x)|.\displaystyle=\sum\Big|\mathcal{V}^{\delta}_{r_{\alpha}}(x)-\mathcal{V}^{\delta}_{r_{\alpha+1}}(x)\Big|\,. (8.13)

In particular, there are at most N=C⁡(n,v)​(δ′)−1N=C(n,{\rm v})(\delta^{\prime})^{-1} elements α∈ℕ\alpha\in\mathds{N} such that

|𝒱rα​(x)−𝒱rα+1​(x)|>δ′,\displaystyle\Big|\mathcal{V}_{r_{\alpha}}(x)-\mathcal{V}_{r_{\alpha+1}}(x)\Big|>\delta^{\prime}\,, (8.14)

as claimed. ∎

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