OAI/Analysis/RieszRectifiability/Limits/NormalCommonAffineStrongLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Simultaneous affine limits of normal coordinates

Uniform source-energy bounds and a positive planar weak limit yield local strong convergence of each normalized normal coordinate to an affine height. Stability under further extraction allows a finite common subsequence to realize all normal-coordinate limits on every bounded projection region at once.

  1. theorem OAI.RieszRectifiability.exists_normal_common_affine_strong_limit line 24