OAI/Analysis/RieszRectifiability/Foundations/UnweightedCappedEquation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Removing density weights from capped equations

A positive lower bound on a measurable density allows weak pairings for its weighted measure to be rewritten against volume. The capped local transform and the integrable far-field correction then converge together to the constant pairing on compactly supported tests.

  1. theorem OAI.RieszRectifiability.unweighted_capped_pairing_tendsto_constant line 23