Differenzierbare Mannigfaltigkeit/Karte/Tangentialbündel/Naheliegende Topologie/Beispiel

Aus Wikiversity

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.