Morse関数
#数学
M を n 次元可微分
多様体
とする.
M 上の
$ C^∞
関数
$ f : M → R
の臨界点
$ p
が非退化であるとは,
$ f
の
$ p
における Hessian
$ H_p(f)
が正則行列となることである.すべての
臨界点
が非退化であるような関数を Morse 関数とよぶ.
https://www.ms.u-tokyo.ac.jp/~kohno/lectures/g1-7.pdf