Inom matematiken kan man till varje differentierbar mångfald M associera tangentknippet (eller tangentbunten) TM. TM är den disjunkta unionen av tangentrummen i varje punkt på M;

Tangentknippe till en cirkel

Ett element i TM är ett par (x,v) där xM och vTxM, tangentrummet i x. Det finns en naturlig projektionsavbildning

som projicerar (x,v) till baspunkten x.

Topologi och slät struktur

redigera

Tangentknippet har en naturlig topologi (som inte är uniontopologin) samt en differentierbar struktur så att tangentknippet själv är en mångfald, och projektionsavbildningen är en differentierbar avbildning. Dimensionen för TM är dubbla dimensionen för M.

Tangentrummet för ett n-dimensionellt vektorrum i en punkt är självt ett n-dimensionellt vektorrum. Som mängd är därför TM lika med to M × Rn. Som en mångfald är emellertid TM inte alltid diffeomorf med produktmångfalden M × Rn. Om så är fallet sägs tangentknippet vara trivialt. På samma sätt som mångfalder är lokalt modellerade på euklidiska rum, är tangentknippen till mångfalder lokalt modellerade på M × Rn.

Om M är en n-dimensionell mångfald, så finns per definition en atlas av kartor (Uα, φα) där Uα är öppna mängder i M och

 

är homeomorfier. Dessa lokala koordinter på U ger en isomorfi mellan TxM och Rn för varje xU. Vi kan sedan definiera en avbildning

 

genom

 

Dessa avbildningar används för att definiera topologin och den differentierbara strukturen på TM. En delmängd A till TM är öppen omm   är öppen i R2n för varje α. Dessa avbildningar är nu även homeomorfier mellan öppna delmängder till TM och R2n och utgör därför kartor för en differentierbar struktur på TM. Transitionsavbildningarna mellan två överlappande kartor   induceras av Jacobimatriserna för de associaterade koordinattransformationerna och är därför differentierbara avbildningar mellan öppna delmängder till R2n.

Tangentknippet är ett exempel på en mer allmän konstruktion som kallas vektorknippe, eller vektorbunt, som i sin tur är ett specialfall av begreppet fiberknippe. Tangentknippet på en n-dimensionell mångfald kan karakteriseras som det n-dimensionella vektorknippe vars transitionsfunktioner är Jacobimatriserna för de associerade koordinattransformationerna.

Exempel

redigera

Det enkaste exemplet ges av Rn. I detta fall är tangentknippet trivialt och isomorft med R2n. Ett annat enkelt exempel är enhetscirkeln, S1. Tangentknippet till cirkeln är också trivialt och isomorft med S1 × R. Geometriskt är detta en cylinder med oändlig höjd.

De enda tangentknippen som enkelt kan visualiseras är de för den reella linjen R och enhetscirkeln S1. Båda dessa är triviala. För 2-dimensionella mångfalder är tangentknippet 4-dimensionellt och därför inte enkelt visualiserbart.

Det kanske enklaste exemplet på ett icke-trivialt tangentknippe är tangentknippet för enhetssfären S2. Att tangentknippet till S2 är icke-trivialt följer av satsen om den håriga bollen.

Se även

redigera

Externa länkar

redigera

Referenser

redigera