Inom matematiken är ett vektorknippe en konstruktion genom vilken varje punkt i ett topologiskt rum associeras med ett vektorrum på ett sätt så att dessa vektorrum tillsammans, med en lämplig topologi, bildar ett annat topologiskt rum. Denna konstruktion kan också genomföras för mångfalder och algebraiska varieteter. Ett vektorknippe är ett specialfall av ett fiberknippe, som i sin tur är ett specialfall av ett knippe.

Definition redigera

För att definiera ett vektorknippe börjar man med topologiska rum  , ett vektorrum  , samt en projektion  , som är en kontinuerlig, surjektiv avbildning. Avbildningen   uppfyller dessutom att   är isomorf med vektorrummet   för varje  . Detta innebär att för varje   finns en omgivning U och en avbildning   som är en isomorfism.

Denna avbildning kallas för en lokal trivialisering av vektorknippet. Detta kan ses som en lokal approximation av π som en projektion av   . Om det går att sätta  , och alltså   globalt, har vi en global trivialisering, och vektorknippet kallas trivialt. Man kan till exempel visa att varje Liegrupp har trivialt tangentknippe.

Exempel redigera

De viktigaste exemplen av vektorknippen är tangentknippet och kotangentknippet som är vanligt förekommande inom differentialgeometrin.