Frobenius theorem (differential topology)
GPTKB entity
Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:alsoKnownAs |
gptkb:Frobenius_integrability_theorem
|
gptkbp:appliesTo |
smooth manifolds
|
gptkbp:category |
theorems in differential geometry
|
gptkbp:concerns |
integrability of distributions
|
gptkbp:field |
differential geometry
differential topology |
https://www.w3.org/2000/01/rdf-schema#label |
Frobenius theorem (differential topology)
|
gptkbp:implies |
existence of maximal integral manifolds
|
gptkbp:namedAfter |
gptkb:Ferdinand_Georg_Frobenius
|
gptkbp:publishedIn |
1877
|
gptkbp:relatedConcept |
Lie bracket
integral submanifold involutive distribution |
gptkbp:state |
A smooth distribution is integrable if and only if it is involutive.
|
gptkbp:usedIn |
control theory
partial differential equations foliation theory |
gptkbp:bfsParent |
gptkb:Frobenius'_theorem
|
gptkbp:bfsLayer |
7
|