Manuscript VIII-ST@1 · VIII-ST.tex · lemma · fe979f3b
Lemma: Uniform metric and localization estimates
An explicit persistent transverse cellulation › Sector coordinates and retuned profiles · lines 407–453 · proof included or linked
VIII-ST@1#lem:bounds, VIII-ST@1#eq:ab-bounds, VIII-ST@1#eq:radii
For every ,
Define
Then
The region , for , satisfies
The graph is horizontal, , whenever .
Proof. Write , so , and
The bounds , , and give (eq:ab-bounds). The bound on follows from . Thus . Because , , which gives and . Also .
Since , . Dominance of therefore implies . For , , so the cap in (eq:family) is active.
Displayed formulas in this passage
VIII-ST@1#eq:ab-bounds · line 410
VIII-ST@1#eq:radii · line 416
unlabeled · line 423
unlabeled · line 428
unlabeled · line 437