Differenzierbare Hyperfläche/Tangentialbündel/Differenzierbarer Weg/Zweites Tangentialbündel/Aufgabe

Aus Wikiversity

Es sei offen, eine zweifach stetig differenzierbare Funktion und die Faser zu , wobei in jedem Punkt von regulär sei. Das erste und das zweite Tangentialbündel von seien als abgeschlossene Untermannigfaltigkeit in bzw. in im Sinne von Bemerkung zusammen mit den Bündelprojektionen

und

realisiert. Zeige die folgenden Aussagen.

  1. Eine differenzierbare Kurve

    auf einem offenen Intervall mit definiert den Tangentialvektor .

  2. Unter der Tangentialabbildung

    zu wird die Klasse aus (1) auf

    abgebildet.

  3. Unter der Tangentialabbildung zu wird auf abgebildet.