Tangentknippe

Från Rilpedia

Version från den 10 mars 2009 kl. 14.17 av VolkovBot (Diskussion)
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
Tangentknippe till en cirkel

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

TM = \coprod_{x\in M}T_x(M).

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

\pi\colon TM \to M\,

som projicerar (x,v) till baspunkten x.

Innehåll

Topologi och slät struktur

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

\phi_\alpha\colon U_\alpha \to \mathbb R^n

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

\tilde\phi_\alpha\colon \pi^{-1}(U_\alpha) \to \mathbb R^{2n}

genom

\tilde\phi_\alpha(x, v^i\partial_i) = (\phi_\alpha(x), v^1, \cdots, v^n)

Dessa avbildningar används för att definiera topologin och den differentierbara strukturen på TM. En delmängd A till TM är öppen omm \tilde\phi_\alpha(A\cap U_\alpha) ä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 Uα,Uβ) 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

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

Externa länkar

Referenser

Personliga verktyg