Differenzierbare Mannigfaltigkeit/Tangentialbündel/Definition

Tangentialbündel

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit. Dann nennt man die Menge

${}TM=\biguplus _{P\in M}T_{P}M\,,$

versehen mit der Projektionsabbildung

$\pi \colon TM\longrightarrow M,\,(P,v)\longmapsto P,$

das Tangentialbündel von ${}M$.