Nondegenerate critical point (source code)

= Nondegenerate critical point

A critical point of a twice differentiable function is nondegenerate when its <Hessian matrix> is invertible there. A positive-definite Hessian gives a strict local minimum, a negative-definite Hessian gives a strict local maximum, and an indefinite Hessian gives a saddle point.

Such critical points are the local building blocks of <Morse theory>.