Morse Theory - Formal Development

Formal Development

For a real-valued smooth function f : MR on a differentiable manifold M, the points where the differential of f vanishes are called critical points of f and their images under f are called critical values. If at a critical point b, the matrix of second partial derivatives (the Hessian matrix) is non-singular, then b is called a non-degenerate critical point; if the Hessian is singular then b is a degenerate critical point.

For the functions

from R to R, f has a critical point at the origin if b=0, which is non-degenerate if c≠0 (i.e. f is of the form a+cx2+...) and degenerate if c=0 (i.e. f is of the form a+dx3+...). A less trivial example of a degenerate critical point is the origin of the monkey saddle.

The index of a non-degenerate critical point b of f is the dimension of the largest subspace of the tangent space to M at b on which the Hessian is negative definite. This corresponds to the intuitive notion that the index is the number of directions in which f decreases. The degeneracy and index of a critical point are independent of the choice the local coordinate system used, as shown by Sylvester's Law.

Read more about this topic:  Morse Theory

Famous quotes containing the words formal and/or development:

    The bed is now as public as the dinner table and governed by the same rules of formal confrontation.
    Angela Carter (1940–1992)

    The man, or the boy, in his development is psychologically deterred from incorporating serving characteristics by an easily observable fact: there are already people around who are clearly meant to serve and they are girls and women. To perform the activities these people are doing is to risk being, and being thought of, and thinking of oneself, as a woman. This has been made a terrifying prospect and has been made to constitute a major threat to masculine identity.
    Jean Baker Miller (20th century)