OAI/Analysis/RieszRectifiability/Projections/NeighborProjectionEstimates.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Projection estimates for neighboring cell planes

Direction comparisons control the difference of the linear projections. Combining them with the common support tubes gives quantitative affine projection bounds near the smaller cell.

  1. theorem OAI.RieszRectifiability.neighbor_cell_projection_operator_norm_le line 33
  2. theorem OAI.RieszRectifiability.neighbor_cell_affine_projections_close_on_32ball line 41