Salve a tutti, non ho ben capito come si applica il Lemma di Sard. Posso applicarlo alla seguente proposizione per affermare che i fronti che ammettono margini cuspidali sono un sottoinsieme denso dei fronti?
Per fronte s'intende una particolare varietà.
"Siano p un punto singolare non degenere del fronte f, $\gamma$ la curva singolare passante per p e $\eta $ un campo vettoriale nullo lungo $\gamma$. Allora:
p=$\gamma(t_0)$ è un margine cuspidale se e solo se det( $\gamma$ ' ( $t_0$ ), $\eta$ ( $t_0$ ))$\ne0$."