ヘッセ行列
微分可能多様体 M の上の実数に値を持つ滑らかな函数 f : M → R に対し、f の微分が 0 となるような点は、f の臨界点(critical points)と言われ、f による像は(critical value)と言われる。臨界点 b で 2階偏微分の行列（ヘッセ行列）が非特異ならば、b を非退化な臨界点と言い、ヘッセ行列が特異であれば、b を退化した臨界点と言う。