Mannigfaltigkeit/Differenzierbare Abbildung/Zurückziehen von Differentialformen/Elementare Eigenschaften/Fakt
Es seien und differenzierbare Mannigfaltigkeiten und
eine differenzierbare Abbildung. Dann erfüllt das Zurückziehen von Differentialformen folgende Eigenschaften.
- Für eine Funktion ist .
- Die Abbildungen
sind -linear.
- Wenn eine offene Untermannigfaltigkeit ist, so ist das Zurückziehen einer Differentialform einfach die Einschränkung auf diese Teilmenge.
- Es sei eine weitere differenzierbare Mannigfaltigkeit und
eine weitere differenzierbare Abbildung. Dann gilt
für jede Differentialform .