Zurückziehen von Differentialformen/Verträglichkeit mit skalarer Funktion/Aufgabe
Es sei
eine differenzierbare Abbildung zwischen differenzierbaren Mannigfaltigkeiten, es sei
eine Funktion auf und eine -Form auf . Zeige
Es sei
eine differenzierbare Abbildung zwischen differenzierbaren Mannigfaltigkeiten, es sei
eine Funktion auf und eine -Form auf . Zeige