Differenzierbare Hyperfläche/Tangentialbündel/Implizite Realsierung/Aufgabe
Es sei offen, eine stetig differenzierbare Funktion und die Faser zu , wobei in jedem Punkt von regulär sei. Realisiere das Tangentialbündel von als eine abgeschlossene Untermannigfaltigkeit von .