Differenzierbare Mannigfaltigkeit/Differenzierbare Kurve/Tangential äquivalent/Beliebige offene Umgebung/Fakt/Beweis

Beweis

Für eine differenzierbare Kurve

mit und und eine Karte

(mit und ) ändert sich der Ausdruck

nicht, wenn man zu einem kleineren offenen Intervall und einer kleineren offenen Menge (mit der induzierten Karte) übergeht. Wir können also davon ausgehen, dass und auf dem gleichen Intervall definiert sind und ihre Bilder in liegen, und dass es für dieses zwei Karten

und

gibt. Dann folgt aus

nach der Kettenregel unter Verwendung der Differenzierbarkeit der Übergangsabbildung sofort