ScalingStacks

Proof. [04F5]

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.

Let d=d​i​s​t​(P,P′)≥N=[d]d=dist(P,P^{\prime})\geq N=[d] be the intrinsic diameter of LL. By connectedness, we can find P1,…​PNP_{1},\ldots P_{N} with d​i​s​t​(P,Pi)=idist(P,P_{i})=i. Now the intrinsic balls B^​(Pi,12)\hat{B}(P_{i},\frac{1}{2}) are disjoint, but each takes up a nontrivial amount of volume ≥C−1\geq C^{-1}. Thus

C−1​N≤Vol​(L)≤1sin⁡ϵ​∫LRe​(Ω)≤C,C^{-1}N\leq\text{Vol}(L)\leq\frac{1}{\sin\epsilon}\int_{L}\text{Re}(\Omega)\leq C,

so there is an a priori bound on NN, hence on dd. ∎

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