OAI/Analysis/RieszRectifiability/Limits/CappedFlatBallLimits.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Flat balls under compact-test convergence

Capped lower growth supplies local support control along a converging sequence of measures. Bilateral approximation by an affine plane then transfers flat balls to nearby centers of the approximating measures, and persistent bad balls impose a lower beta bound on the limit.

  1. theorem OAI.RieszRectifiability.compactTestConvergence_capped_flat_ball line 23
  2. theorem OAI.RieszRectifiability.compactTestConvergence_capped_beta_lower line 49