Es seien
endlichdimensionale
-Vektorräume,
sei
eine
offene Teilmenge
und seien
stetige
Differentialformen
auf
mit Werten in
. Es sei
-
eine
(stückweise)
stetig differenzierbare Kurve. Dann gelten folgende Aussagen.
- Für
ist
-

- Es ist
-

wobei
den umgekehrt durchlaufenen Weg bezeichnet.
- Wenn
-
ein weiterer
(stückweise)
stetig differenzierbarer Weg mit
ist, so ist
-

wobei
den aneinander gelegten Weg bezeichnet.