Es sei
ein
differenzierbares Vektorbündel
auf einer
-differenzierbaren Mannigfaltigkeit
. Dann gelten folgende Aussagen.
- Es liegt eine
kurze exakte Sequenz
-
von
Homomorphismen
von Vektorbündeln über vor.
- Für das
Vertikalbündel
liegt eine
Bündelisomorphie
vor.
- Für jeden Punkt
liegt eine kurze exakte Sequenz von Vektorräumen
-
vor.