Finite Good Witnesses for Generalized Curve Projections at the Rectifiable Endpoint
For a $1$-rectifiable set $E \subset \mathbb{R}^d$ of positive length, a theorem of Federer shows that, among any $d$ linearly independent orthogonal projections of $E$, at least one has positive length. We develop a version of this finite-witness principle for generalized curve projections. Given scalar-valued mapping...