The Morse-Palais Lemma
Ref: Milnor (1969), Lang (1985)
- Morse-Palais Lemma
- completely characterizes behavior of real-valued function in neighborhood of non-degenerate critical point
- quadratic canonical form
- Morse (1934) finite-dimensional case
- Palais (1963) general Hilbert spaces