Differenzierbare Hyperfläche/Differentialoperator/Erste Ordnung/Verschwindet auf Gleichung/Aufgabe

Aus Wikiversity

Es sei offen, eine stetig differenzierbare Funktion und die Faser zu , wobei in jedem Punkt von regulär sei und somit eine diffferenzierbare Mannigfaltigkeit definiere. Es sei ein Differentialoperator erster Ordnung zu einem stetigen Vektorfeld auf . Zeige

für jede differenzierbare Funktion auf .