En analyse, une fonction de Morse est une fonction différentiable de classe au moins dont les points critiques sont non dégénérés. La notion fut introduite par Marston Morse en 1925[1]. En topologie différentielle, l'utilisation des fonctions de Morse s'est avérée centrale dans la preuve du théorème du h-cobordisme (en).