Math 2.0

Manifolds and cell complexes Definition

Morse function

Builds on Smooth manifoldSmooth functionCritical pointHessian matrix

Definition

Let MM be a smooth manifold of dimension nn, and let f ⁣:M→ℝf \colon M \to \R be a smooth function. A point p∈Mp \in M is a critical point of ff if dfp=0df_p = 0. A critical point pp is nondegenerate if, in some chart (x1,…,xn)(x_1, \dots, x_n) around pp, the Hessian matrix (∂2f/∂xi∂xj(p))\big(\partial^2 f / \partial x_i \partial x_j(p)\big) is invertible. The function ff is a Morse function if every critical point of ff is nondegenerate. The index of a nondegenerate critical point is the number of negative eigenvalues of its Hessian.

Remarks

At a critical point the Hessian transforms under a change of chart by H↦ATHAH \mapsto A^T H A with AA invertible, so nondegeneracy and the index do not depend on the chart. Example: f ⁣:ℝ2→ℝf \colon \R^2 \to \R, f(x,y)=x2−y2f(x, y) = x^2 - y^2, is a Morse function. Its only critical point is the origin, where the Hessian is (200−2)\begin{pmatrix} 2 & 0 \\ 0 & -2 \end{pmatrix}, which is invertible; the index is 11. Non-example: g ⁣:ℝ→ℝg \colon \R \to \R, g(x)=x3g(x) = x^3, is not a Morse function. Its critical point 00 has Hessian g′′(0)=0g''(0) = 0, which is not invertible. Nondegenerate critical points are isolated, so on a compact manifold a Morse function has only finitely many critical points. On a compact manifold the Morse functions form an open dense subset of C∞(M,ℝ)C^\infty(M, \R).

Reading path

To understand this page from the ground up, read these 10 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Critical point concept
  2. Euclidean space object
  3. Function concept
  4. Smooth function concept
  5. Smooth manifold concept
  6. Function of several variables concept
  7. Partial derivative concept
  8. Higher partial derivatives concept
  9. Hessian matrix concept
  10. Morse function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Morse_theory
About this page
TagMYQN2FX9SB
URIm2://MYQN2FX9SB
Kinddefinition
WritingW0 stub
MSC57R70, 58E05, 58K05
DefinesMorse function
UsesSmooth manifold, Smooth function, Critical point, Hessian matrix
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.