Gradientenfeld/Lösungen der DG/Senkrecht auf Tangentialraum/Fakt/Name/Inhalt
Es sei ein euklidischer Vektorraum, offen,
eine differenzierbare Funktion und
das zugehörige Gradientenfeld. Es sei
eine Lösung der Differentialgleichung
Dann steht senkrecht auf dem Tangentialraum der Faser von durch für alle , für die reguläre Punkte von sind.