Morse lemma
E911360
Morse lemma is a fundamental result in differential topology that locally characterizes a non-degenerate critical point of a smooth function as being equivalent, via a coordinate change, to a quadratic form.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Morse lemma canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T11219574 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Morse lemma Context triple: [Morse theory, centralResult, Morse lemma]
-
A.
Poincaré lemma
The Poincaré lemma is a fundamental result in differential geometry and topology stating that every closed differential form on a star-shaped (or more generally, contractible) domain is locally exact.
-
B.
Morse Theory
Morse Theory is a branch of differential topology that studies the relationship between the topology of manifolds and the critical points of smooth real-valued functions defined on them.
-
C.
Poincaré–Hopf theorem
The Poincaré–Hopf theorem is a fundamental result in differential topology that relates the sum of the indices of a vector field’s isolated zeros on a compact manifold to the manifold’s Euler characteristic.
-
D.
Thom transversality theorem
The Thom transversality theorem is a fundamental result in differential topology that guarantees generic smooth maps are transverse to given submanifolds, underpinning the study of stable phenomena and cobordism.
-
E.
Lefschetz
Lefschetz is a surname most notably associated with Solomon Lefschetz, a pioneering mathematician in algebraic topology and geometry.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Morse lemma Target entity description: Morse lemma is a fundamental result in differential topology that locally characterizes a non-degenerate critical point of a smooth function as being equivalent, via a coordinate change, to a quadratic form.
-
A.
Poincaré lemma
The Poincaré lemma is a fundamental result in differential geometry and topology stating that every closed differential form on a star-shaped (or more generally, contractible) domain is locally exact.
-
B.
Morse Theory
Morse Theory is a branch of differential topology that studies the relationship between the topology of manifolds and the critical points of smooth real-valued functions defined on them.
-
C.
Poincaré–Hopf theorem
The Poincaré–Hopf theorem is a fundamental result in differential topology that relates the sum of the indices of a vector field’s isolated zeros on a compact manifold to the manifold’s Euler characteristic.
-
D.
Thom transversality theorem
The Thom transversality theorem is a fundamental result in differential topology that guarantees generic smooth maps are transverse to given submanifolds, underpinning the study of stable phenomena and cobordism.
-
E.
Lefschetz
Lefschetz is a surname most notably associated with Solomon Lefschetz, a pioneering mathematician in algebraic topology and geometry.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
mathematical theorem
ⓘ
result in differential topology ⓘ |
| appliesTo |
non-degenerate critical points of smooth functions
ⓘ
smooth real-valued functions on manifolds ⓘ |
| assumes |
non-degeneracy of the Hessian at the critical point
ⓘ
smoothness of the function ⓘ |
| characterizes |
local behavior of smooth functions near non-degenerate critical points
ⓘ
non-degenerate critical points up to smooth coordinate change ⓘ |
| concerns |
local normal form of functions
ⓘ
non-degenerate critical points ⓘ quadratic forms ⓘ smooth functions ⓘ |
| ensures | existence of a diffeomorphism sending the function to a quadratic form near the critical point ⓘ |
| field |
differential geometry
ⓘ
differential topology ⓘ |
| hasConsequence |
local product structure near non-degenerate critical points
ⓘ
normal form for smooth functions near non-degenerate critical points ⓘ |
| hasVariant |
Morse lemma for Banach spaces
NERFINISHED
ⓘ
Morse lemma for complex analytic functions NERFINISHED ⓘ parametrized Morse lemma ⓘ |
| historicalContext | developed in the context of Morse theory in the early 20th century ⓘ |
| holdsIn | finite-dimensional smooth manifolds ⓘ |
| implies |
existence of coordinates in which the Hessian is diagonal with entries ±1
ⓘ
local classification of non-degenerate critical points by index ⓘ non-degenerate critical points are isolated ⓘ |
| involvesConcept |
Taylor expansion of smooth functions
ⓘ
diffeomorphism of neighborhoods ⓘ index of a critical point ⓘ signature of the Hessian ⓘ |
| namedAfter | Marston Morse NERFINISHED ⓘ |
| relatedTo |
Hessian matrix
ⓘ
Morse function ⓘ Morse index ⓘ implicit function theorem ⓘ non-degenerate quadratic form ⓘ stable manifold theorem ⓘ |
| states |
a smooth function near a non-degenerate critical point is equivalent to a quadratic form in suitable local coordinates
ⓘ
there exist local coordinates in which the function has no terms of order higher than two near a non-degenerate critical point ⓘ |
| typicalForm | f(x)=f(p)-x_1^2-\cdots-x_\lambda^2+x_{\lambda+1}^2+\cdots+x_n^2 in suitable coordinates ⓘ |
| usedFor |
reducing nonlinear problems to quadratic ones near non-degenerate equilibria
ⓘ
simplifying local computations near critical points ⓘ |
| usedIn |
Morse theory
NERFINISHED
ⓘ
calculus of variations ⓘ critical point theory ⓘ local analysis of gradient flows ⓘ proofs of handle decomposition theorems ⓘ singularity theory for non-degenerate singularities ⓘ study of topology of manifolds via smooth functions ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Morse lemma Description of subject: Morse lemma is a fundamental result in differential topology that locally characterizes a non-degenerate critical point of a smooth function as being equivalent, via a coordinate change, to a quadratic form.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Morse theory