 Morse–Palais lemma

In mathematics, the Morse–Palais lemma is a result in the calculus of variations and theory of Hilbert spaces.Roughly speaking, it states that a smooth enough function near a critical point can be expressed as a quadratic form after a suitable change of coordinates.