Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
differential forms
contractible open subsets |
| gptkbp:field |
differential geometry
differential topology |
| gptkbp:firstPublished |
late 19th century
|
| gptkbp:implies |
de Rham cohomology of contractible open sets is trivial
|
| gptkbp:namedAfter |
gptkb:Henri_Poincaré
|
| gptkbp:state |
Every closed differential form on a contractible open subset of Euclidean space is exact
|
| gptkbp:usedIn |
gptkb:topology
gptkb:de_Rham_cohomology theory of differential forms |
| gptkbp:bfsParent |
gptkb:Henri_Poincaré
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Poincaré lemma
|