Es sei
eine
differenzierbare Mannigfaltigkeit.
Dann nennt man die Menge
-
![{\displaystyle {}T^{*}M=\biguplus _{P\in M}T_{P}^{*}M\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d702a101f3b69f1110d6248a8050a642e8c1c807)
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
.