OAI/Analysis/RieszRectifiability/Limits/LocalWeakCappedTransform.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Local weak limits of capped transforms

Uniform L² bounds yield weakly convergent subsequences of scalar capped transforms at dyadic truncation scales, both for finite measures and for finite ball restrictions.

  1. theorem OAI.RieszRectifiability.exists_scalarCappedTransform_weak_subsequence line 21
  2. theorem OAI.RieszRectifiability.exists_local_weak_transform_of_source_L2 line 49