Existence of a proper Morse function

differential-topologymorse-theory

Given a manifold $M$, I know there exists a proper function $f: M \to \mathbb R$ (using the usual partition of unity argument) and a Morse function $g: M \to \mathbb R$ (genericity of Morse functions). However, I am not sure how to prove the existence of a proper Morse function.

My initial idea is that, if $f$ has isolated critical points, then we can perturb $f$ locally whenever the critical points are degenerate so that the resulting $f$ is Morse. Moreover local perturbations by some bounded quantity preserves properness. I haven't been able to prove that proper functions have isolated critical points though, so I was wondering if I was on the right track.

Best Answer

Initially I was looking for something that used a little less machinery, but the problem is pretty easy once we assume Whitney embedding.

Let $f: M \to \mathbb R^m$ be an embedding, which we can find for $m$ sufficiently large, so now we just think of $M \subseteq \mathbb R^m$. We can translate $M$ so that it does not hit the origin, in which case the norm map $g: x \mapsto |x|$ is smooth on $M$ and proper. By theorem in Guillemin and Pollack, the map \begin{equation*} g_a = g + a \cdot x \end{equation*} is Morse for almost ever $a \in \mathbb R^m$. Choose some $a$ with sufficiently small norm, say $|a|<1/2$, such that $g_a$ is Morse, then $|g_a (x)| \geq |x|/2$, so $g_a$ is also proper.

I guess the question still stands, is there a way of doing this without Whitney embedding?

Related Question