Critical Points

Suppose is a compact smooth manifold

Morse Function

A Morse function is a smooth map where all its critical points are nondegenerate. When is a manifold with boundary, we also require that .