OAI/Analysis/RieszRectifiability/Foundations/LocalInteriorRepresentative.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Local L² representatives of interior pairings

Weak limits of capped transforms on ball restrictions represent the interior Riesz pairing. The resulting representative retains the quantitative L² bound inherited from the approximating measures.

  1. theorem OAI.RieszRectifiability.exists_local_L2_interior_representative line 22