Differenzierbare Mannigfaltigkeit/Kotangentialbündel/Definition

Kotangentialbündel

Es sei eine differenzierbare Mannigfaltigkeit. Dann nennt man die Menge

versehen mit der Projektionsabbildung

und derjenigen Topologie, bei der eine Teilmenge genau dann offen ist, wenn für jede Karte

die Menge offen in ist, das Kotangentialbündel von .