ScalingStacks

Proof of Theorem 3.1 : . [04U3]

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 of Theorem 3.1:.

Fix ϵ\epsilon small. By Lemma 3.3, for each x∈Σvx\in\Sigma_{v} we can choose an arbitrarily small rr such that

M​v​(Br​(x))>1ϵ​rn−1.Mv(B_{r}(x))>\frac{1}{\epsilon}r^{n-1}.

Cover Σv∩B1/2\Sigma_{v}\cap B_{1/2} with such balls, and choose a Vitali subcover {Bri​(xi)}i=1N\{B_{r_{i}}(x_{i})\}_{i=1}^{N}, i.e. a disjoint subcollection such that B3​ri​(xi)B_{3r_{i}}(x_{i}) cover Σ∩B1/2\Sigma\cap B_{1/2}. Then

∑i=1N(3​ri)n−1\displaystyle\sum_{i=1}^{N}(3r_{i})^{n-1} ≤C​ϵ​∑i=1NM​v​(Bri​(xi))\displaystyle\leq C\epsilon\sum_{i=1}^{N}Mv(B_{r_{i}}(x_{i}))
≤C​ϵ,\displaystyle\leq C\epsilon,

since vv is locally Lipschitz and the BriB_{r_{i}} are disjoint. This means exactly that

ℋn−1​(Σv∩B1/2)=0.\mathcal{H}^{n-1}(\Sigma_{v}\cap B_{1/2})=0.

∎

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