Abstract |
We prove that given a smooth function f:Rn → R and a submanifold M ⊂ Rn,
then the set of a=(a1,..., an) ∈ Rn such that
(f+qa)|M is Morse, where
qa(x)=a1x12+... +anxn2,
is residual in Rn. The classical literature covers perturbations by linear functions and quadratic ones
but doesn't give an answer to the case of sums of squares: in fact standard transversality arguments do not work
and we need a more refined approach. |