Reelle Mannigfaltigkeit/Geschlossene Differentialform/Lokale Stammfunktionen/Garbe/Fakt

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}\omega$ eine geschlossene Differentialform auf ${}M$ mit Werten in ${}{\mathbb {K} }$.

Dann ist die Zuordnung

$U\mapsto {\mathcal {S}}{\left(U\right)}:={\left\{f:U\rightarrow {\mathbb {K} }{\text{ differenzierbar }}\mid df=\omega {|}_{U}\right\}}$

eine Garbe auf ${}M$.

Einen Beweis erstellen