A Note on Generic Transversality of Euclidean Submanifolds
In this short note, we establish a quantitative description of the genericity of transversality of $C^1$-submanifolds in $\mathbb{R}^n$: Let $Σ\subset \mathbb{R}^n$ be a $d$-dimensional $C^1$-embedded submanifold where $n \geq d+1$. Denote by \begin{equation} \mathscr{A}(Σ) := \bigg\{ a \in \mathbb{R}^n: {\rm volume}\,\Big\{ p\inΣ: \partial\mathbb{B}(a, |a-p|) \text{ is not transversal to $Σ$ at $p$} \Big\} > 0 \bigg\}. \end{equation} Then $\mathscr{A}(Σ)$ is contained in a countable union of $(n-d-1)$-dimensional affine planes.