OAI/Analysis/RieszRectifiability/Rigidity/FractionalSchwartzContinuity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Continuity of fractional Schwartz tests

The integral defining a fractional Schwartz test respects addition and scalar multiplication. Uniform seminorm bounds control these tests and support their continuity under Schwartz approximation.

  1. theorem OAI.RieszRectifiability.fractionalSchwartzTest_add line 22
  2. theorem OAI.RieszRectifiability.fractionalSchwartzTest_smul line 37
  3. theorem OAI.RieszRectifiability.fractionalSchwartzTest_uniform_bound line 48
  4. theorem OAI.RieszRectifiability.fractionalSchwartzTest_measurable line 64
  5. def OAI.RieszRectifiability.fractionalSchwartzTestCLM line 75
  6. theorem OAI.RieszRectifiability.fractionalSchwartzTestCLM_apply line 99
  7. theorem OAI.RieszRectifiability.fractionalSchwartzTest_tendsto line 102