Es sei M {\displaystyle {}M} eine differenzierbare Mannigfaltigkeit. Eine 1 {\displaystyle {}1} -Differentialform ω {\displaystyle {}\omega } auf M {\displaystyle {}M} heißt exakt, wenn es eine differenzierbare Funktion f {\displaystyle {}f} auf M {\displaystyle {}M} mit d f = ω {\displaystyle {}df=\omega } gibt.
