Es sei eine
differenzierbare Mannigfaltigkeit
und
-
eine
Karte
mit
offen.
Dann induziert die Karte eine natürliche Bijektion
-
Dabei bewegt sich
in einem
reellen Intervall
derart, dass
ist
(vergleiche
Fakt).
Da ein
Produkt von topologischen Räumen
ist, ist
selbst ein
topologischer Raum,
und es liegt nahe, diese Topologie auf zu übertragen und daraus insgesamt eine Topologie auf dem
Tangentialbündel
zu konstruieren.