Differenzierbare Hyperfläche/Zweites Tangentialbündel/Implizite Beschreibung/Bemerkung

Es sei

eine zweifach stetig differenzierbare Funktion und die zugehörige differenzierbare Hyperfläche, die in jedem Punkt regulär sei. Das Tangentialbündel lässt sich ebenfalls als eine Faser von Funktionen beschreiben, nämlich als

siehe Aufgabe. Wir fassen dabei als Funktion auf dem auf, die nur von den ersten Variablen abhängt, und wir setzen

Das zweite Tangentialbündel , also das Tangentialbündel zu , können wir entsprechend mit dem totalen Differential zu

beschreiben, es ist

Die Jacobi-Matrix, die das totale Differential beschreibt, ist

Dies ergibt neben den beiden Bedingungen für den , die sich nur auf und beziehen, die beiden zusätzlichen Bedingungen an alle Variablen, nämlich

und