Es sei
eine
offene Teilmenge
und
-
eine reell-partiell differenzierbare Abbildung, die wir in der Form
mit reellwertigen Funktionen
-
schreiben. Die Abbildung
-
ist dann eine -Form mit Werten in . Wenn man mit die reellwertige Differentialform bezeichnet, die jeden Punkt auf die lineare Projektion
, ,
abbildet, und mit die reellwertige Differentialform bezeichnet, die jeden Punkt auf die lineare Projektion
, ,
abbildet, und diese Formen wiederum in auffasst, so kann man
-
schreiben. Dies bestätigt man, indem man beide Seiten auf die Standardvektoren
und
anwendet.