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

Back to manuscript

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

Nearby in this section