Schema/Geometrisches Vektorbündel/Addition/Fakt

Ein geometrisches Vektorbündel ${}p\colon V\rightarrow X$ über einem Schema ${}X$

besitzt einen Nullschnitt

$X\longrightarrow V,$

eine Additionsabbildung

$V\times _{X}V\longrightarrow V$

und eine Skalarmultiplikation

${\mathbb {A} }_{X}^{1}\times _{X}V\longrightarrow V.$

Zum Beweis, Alternativen Beweis erstellen