Es sei M {\displaystyle {}M} eine differenzierbare Mannigfaltigkeit. Eine k {\displaystyle {}k} -Differentialform ω {\displaystyle {}\omega } auf M {\displaystyle {}M} heißt exakt, wenn es eine differenzierbare ( k − 1 ) {\displaystyle {}(k-1)} -Differentialform σ {\displaystyle {}\sigma } auf M {\displaystyle {}M} mit d σ = ω {\displaystyle {}d\sigma =\omega } gibt.
