Vektorbündel
Vektorbündel oder manchmal auch Vektorraumbündel sind Familien von Vektorräumen, die durch die Punkte eines topologischen Raumes parametrisiert sind. Vektorbündel gehören damit auch zu den Faserbündeln. Existiert zu jedem Vektorraum des Vektorbündels eine Menge von Basen, so kann auch diese Menge ein Faserbündel bilden. Man spricht dann von Rahmen- oder auch Reperbündeln.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Diese speziellen Faserbündel sind zugleich auch Hauptfaserbündel.
Anschaulich besteht ein Vektorbündel aus je einem Vektorraum für jeden Punkt des Basisraumes. Da Vektorräume gleicher endlicher Dimension jedoch stets isomorph sind, liegt die wesentliche Information in den Beziehungen zwischen diesen Vektorräumen. Das bekannteste Beispiel für ein Vektorbündel ist das Tangentialbündel einer differenzierbaren Mannigfaltigkeit. Der Zusammenhang zwischen den verschiedenen Tangentialräumen, also den Vektorräumen zu den einzelnen Punkten, äußert sich beispielsweise in der Frage, ob ein Vektorfeld differenzierbar ist.
Die Frage, wie Vektorbündel auf einem Raum aussehen können, hängt eng mit globalen topologischen Eigenschaften des Raumes zusammen. Nicht-isomorphe Vektorbündel können oft durch ihre charakteristischen Klassen unterschieden werden.
Definitionen
Vektorbündel
Sei <math>\mathbb{K}^n</math> ein reeller beziehungsweise komplexer n-dimensionaler Vektorraum. Ein reelles beziehungsweise komplexes Vektorbündel vom Rang <math>n</math> ist ein Tripel <math>(E,B, \pi)</math>, bestehend aus topologischen Räumen <math>E</math> (Totalraum) und <math>B</math> (Basis) sowie einer stetigen surjektiven Abbildung <math>\pi \colon E \to B</math>, so dass gilt:
- Für jeden Punkt <math>x</math> von <math>B</math> trägt die Faser <math>E_x := \pi^{-1}(x)</math> von <math>E</math> über <math>x</math> die Struktur eines reellen beziehungsweise komplexen n-dimensionalen Vektorraums.
- „Lokale Trivialität“: Zu jedem Punkt <math>x \in B</math> existiert eine Umgebung <math>U</math> von <math>x</math> und ein Homöomorphismus
- <math>\psi \colon U \times \mathbb{K}^n \to E|_U := \pi^{-1}(U) \subseteq E</math>,
- der mit <math>\pi</math> kompatibel ist, das heißt <math>\pi \circ \psi = \operatorname{pr}_1</math>, und für den
- <math>\psi_y \colon \{ y \} \times \mathbb{K}^n \to E_y</math>
- für jedes <math>y</math> in <math>U</math> ein Isomorphismus von Vektorräumen ist. Dabei bezeichnet <math>\operatorname{pr}_1</math> die Projektion auf den ersten Faktor. Ein solches <math>\psi</math> heißt lokale Trivialisierung.
Ein Vektorbündel <math>(E,B,\pi)</math> heißt trivial, wenn es eine Trivialisierung mit <math>U=B</math> gibt. <math>(B \times \mathbb{K}^n,B,\operatorname{pr}_1)</math> ist ein triviales Vektorbündel.
In verkürzter Ausdrucksweise spricht man oft vom „Vektorbündel <math>\pi \colon E \to B</math>“, womit das Tripel <math>(E,B,\pi)</math> implizit benannt wird.
Geradenbündel
Ein Vektorbündel mit Rang 1 wird Geradenbündel (als Fehlübersetzung aus dem Englischen auch Linienbündel) genannt.
Beispiele
- Das Tangentialbündel einer differenzierbaren Mannigfaltigkeit ist ein Vektorbündel bestehend aus den Tangentialräumen der Mannigfaltigkeit. Entsprechend ist auch das Kotangentialbündel bestehend aus den Kotangentialräumen – also den Dualräumen der Tangentialräume – ein Vektorbündel.
- Das Möbiusband ist ein Geradenbündel über der 1-Sphäre (Kreis) <math>S^1</math>. Lokal ist es homöomorph zu <math>U \times \R</math>, wobei <math>U</math> eine offene Teilmenge von <math>S^1</math> ist. Allerdings ist das Möbiusband nicht homöomorph zu <math>S^1 \times \R</math>, was ein Zylinder wäre.
- Der Raum der Differentialformen ist als Bündel der äußeren Algebra auch ein Vektorbündel.
- Das <math>(r,s)</math>-Tensorbündel ist ebenfalls ein Vektorbündel, das die zuvor gelisteten Vektorbündel als Spezialfälle umfasst.
Homomorphismus von Vektorbündeln
Homomorphismus
Ein Vektorbündelhomomorphismus von dem Vektorbündel <math>\pi_1 \colon E_1 \to B_1</math> in das Vektorbündel <math>\pi_2 \colon E_2 \to B_2</math> ist ein Paar <math>(f,g)</math> von stetigen Abbildungen <math>f \colon E_1 \to E_2</math> und <math>g \colon B_1 \to B_2</math>, so dass
- <math>g \circ \pi_1 = \pi_2 \circ f</math> gilt und
- die Einschränkung <math> f|_{\pi_1^{-1}(\{x\})} \colon \pi_1^{-1}(\{x\}) \to \pi_2^{-1}(\{g(x)\})</math> für jedes <math>x \in B_1</math> eine lineare Abbildung ist.
Oftmals wird ein Vektorbündelhomomorphismus kurz als Bündelhomomorphismus oder als Homomorphismus bezeichnet.
Isomorphismus
Ein Vektorbündelhomomorphismus <math>(f,g)</math> von <math>\pi_1 \colon E_1 \to B_1</math> nach <math>\pi_2 \colon E_2 \to B_2</math> ist ein Vektorbündelisomorphismus, falls <math>f</math> und <math>g</math> Homöomorphismen sind und die induzierte lineare Abbildung <math> \pi_1^{-1}(\{x\}) \to \pi_2^{-1}(\{g(x)\})</math> ein Vektorraumisomorphismus ist.
Beispiel
Betrachtet man den Kreis <math>S^1</math> als Mannigfaltigkeit, dann ist das Tangentialbündel <math>T S^1 \to S^1</math> vom <math>S^1</math> isomorph zu dem trivialen Vektorbündel <math>S^1 \times \R \to S^1</math>. Der Homöomorphismus zwischen den Basisräumen ist die identische Abbildung und der zwischen den Totalräumen lautet
- <math>(e^{i \theta}, i t e^{i \theta}) \mapsto (e^{i \theta}, t)</math>
für <math>e^{i \theta} \in S^1</math> und <math>t \in \R</math>.
Unterstrukturen
Untervektorbündel
Mit <math>E_x</math> werden die Fasern des Vektorbündels <math> \pi \colon E \to B</math> am Punkt <math>x \in B</math> bezeichnet. Ein Untervektorbündel des Vektorbündels <math> \pi \colon E \to B</math> besteht aus einem topologischen Teilraum <math>U \subset E</math> bestehend aus einer Familie von Untervektorräumen <math>U_x</math> von <math>E_x</math>, so dass <math>\pi_U \colon U \to B</math> ein eigenes Vektorbündel ist.
Eingeschränktes Vektorbündel
Mit <math>E_x</math> werden wieder die Fasern des Vektorbündels <math> \pi \colon E \to B</math> am Punkt <math>x \in B</math> bezeichnet und <math>D \subset B</math> bezeichnet einen topologischen Teilraum. Das auf <math>D</math> eingeschränkte Vektorbündel <math>\pi_D \colon E_D \to D</math> ist definiert durch
- <math>E_D := E|_D := \bigcup_{m \in D} E_m \quad \text{und} \quad \pi_D := \pi|_D</math>.
Das eingeschränkte Vektorbündel ist ein eigenständiges Vektorbündel bezüglich des topologischen Teilraums <math>D</math>.
Konstruktionen mit Vektorbündeln
Zurückgezogenes Vektorbündel
Für ein Vektorbündel <math> \pi \colon E \to B</math> und eine stetige Abbildung <math>f\colon B_1\to B</math> definiert man das zurückgezogene Vektorbündel (engl.: "pull-back" oder "induced bundle", siehe auch Rücktransport) als das Bündel über <math>B_1</math> mit Totalraum
- <math>f^*E:=\left\{(b,e)\in B_1\times E\colon f(b)=\pi(e)\right\}</math>
und Projektion <math>\pi_1(b,e)=b</math>. Die Vektorraum-Struktur wird definiert durch <math>t_1(b,e_1)+t_2(b,e_2)=(b,t_1e_1+t_2e_2)</math>. Man kann zeigen, dass dies wieder ein lokal triviales Vektorbündel definiert.
Für die durch <math>\hat{f}(b,e)=e</math> definierte Abbildung <math>\hat{f}\colon f^*E\to E</math> gilt also <math>\pi\circ\hat{f}=f\circ\pi_1</math> und für jedes <math>b\in B_1</math> induziert <math>\hat{f}</math> einen Vektorraum-Isomorphismus <math>\pi_1^{-1}(b) \to \pi^{-1}(f(b))</math>.
Für jede Bündelabbildung <math>\hat{g}\colon E_1\to E_2</math> hat man einen Isomorphismus <math>E_1=g^*E_2</math>, wobei <math>g\colon B_1\to B_2</math> die zu <math>\hat{g}</math> gehörende Abbildung der Basen ist.
Direktes Produkt, Whitney-Summe, Tensorprodukt
Für zwei Vektorbündel <math>\pi_i\colon E_i\to B_i, i=1,2</math> definiert man das direkte Produkt als
- <math>\pi_1\times \pi_2\colon E_1\times E_2\to B_1\times B_2,</math>
wobei jede Faser <math>(\pi_1\times\pi_2)^{-1}(b_1,b_2)=\pi_1^{-1}(b_1)\times \pi_2^{-1}(b_2)</math> mit der Vektorraum-Struktur als direkte Summe der Vektorräume <math>\pi_1^{-1}(b_1)</math> und <math>\pi_2^{-1}(b_2)</math> versehen wird.
Seien jetzt <math>\pi_1,\pi_2</math> Vektorbündel über derselben Basis, also <math>B_1=B_2=B</math>. Ihre Whitney-Summe wird dann mit Hilfe der Diagonal-Abbildung <math>d\colon B\to B\times B</math> definiert als zurückgezogenes Bündel
- <math>\pi_1\oplus\pi_2:=d^*(\pi_1\times\pi_2)</math>.
Die Whitney-Summe ist also gerade das Vektorbündel über <math>B</math>, dessen Faser über <math>b\in B</math> die direkte Summe <math>\pi_1^{-1}(b)\oplus\pi_2^{-1}(b)</math> ist.
Analog wird das Tensorprodukt <math>\pi_1\otimes\pi_2</math> definiert als das Vektorbündel, dessen Faser über <math>b\in B</math> das Tensorprodukt <math>\pi_1^{-1}(b)\otimes\pi_2^{-1}(b)</math> ist.
Weitere Objekte bei Vektorbündeln
Schnitt
{{#if: Schnitt (Faserbündel)|{{#ifexist:Schnitt (Faserbündel)|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Ist <math>U</math> eine offene Teilmenge von <math>B</math>, so heißt eine Abbildung
- <math>s \colon U \rightarrow E|_U\,,</math>
für die <math>\pi \circ s = \operatorname{id}|_U</math> gilt, ein Schnitt von <math>E</math> über <math>U</math>. Die Menge <math>\Gamma(U,E)</math> aller Schnitte von <math>E</math> über <math>U</math> bildet einen Vektorraum.
Rahmen
{{#if: Rahmenbündel|{{#ifexist:Rahmenbündel|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Unter einem Rahmen (englisch frame, französisch repère) versteht man eine Art Basis eines Vektorbündels. Es handelt sich um n linear unabhängige Vektoren zu jeder Faser. Diese Vektoren bilden also an jedem Punkt eine Basis der Faser. Präzise bedeutet dies:
Sei <math>\pi \colon E \to B</math> ein Vektorbündel mit Rang <math>n</math> und sei <math>U \subset B</math> eine offene Teilmenge des Basisraums. Ein lokales Reper oder Rahmen von <math>E</math> über <math>U</math> ist ein geordnetes n-Tupel <math>(\sigma_1, \ldots, \sigma_n)</math>. Für alle <math>i</math> ist <math>\sigma_i</math> ein Schnitt in <math>E</math> über <math>U</math>, so dass <math>(\sigma_1(p), \ldots, \sigma_n(p))</math> eine Basis der Faser <math>E_p</math> für alle <math>p \in U</math> bildet. Falls man <math>U = B</math> wählen kann, so spricht man von einem globalen Rahmen.
Vektorbündel mit zusätzlichen Strukturen
Differenzierbares Vektorbündel
Sei <math>\pi \colon E \to B</math> ein Vektorbündel. Sind <math>E</math> und <math>B</math> differenzierbare Mannigfaltigkeiten und sind die Projektion <math>\pi</math> sowie die Trivialisierungen <math>\psi</math> differenzierbar, so heißt das Vektorbündel differenzierbar. Es heißt glatt, wenn die Mannigfaltigkeiten glatt sind und die Abbildungen beliebig oft differenzierbar sind.
Holomorphes Vektorbündel
Ein holomorphes Vektorbündel ist ein komplexes Vektorbündel <math>\pi \colon E \to M</math> über einer komplexen Mannigfaltigkeit <math>M</math>, so dass der Totalraum <math>E</math> eine komplexe Mannigfaltigkeit und die Projektion <math>\pi</math> eine holomorphe Abbildung ist.
G-Vektorbündel
Sei <math>G</math> eine Gruppe. Wenn <math>E</math> und <math>B</math> G-Räume sind, dann ist ein Vektorbündel <math>\pi \colon E \to B</math> ein G-Vektorbündel falls die Gruppenwirkung
- <math>g \colon E_x\rightarrow E_{gx}</math>
für alle <math>g\in G , x\in B</math> eine lineare Abbildung ist.<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20100622235341
| {{#ifeq: 20100622235341 | *
| {{#if: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.pdf}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20100622235341}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20100622235341}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.pdf}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.pdf}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20100622235341|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://math.columbia.edu/~ellis/ass/segal.pdf}}
|| {{#if: || }}
}}{{#if: Graeme Segal: Equivariant K-theory
| {{#if: {{#invoke:WLink|isBracketedLink|Graeme Segal: Equivariant K-theory}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://math.columbia.edu/~ellis/ass/segal.pdf%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://math.columbia.edu/~ellis/ass/segal.pdf%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.pdf }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}}</ref>
Klassifizierender Raum und klassifizierende Abbildung
Der klassifizierende Raum für <math>k</math>-dimensionale reelle Vektorbündel ist die Graßmann-Mannigfaltigkeit der <math>k</math>-dimensionalen Unterräume im <math>\R^\infty</math>, diese wird als <math>BO(k)</math> bezeichnet. Das bedeutet: jedes <math>k</math>-dimensionale reelle Vektorbündel <math>E\to B</math> ist von der Form <math>f^*\gamma^k</math> für eine stetige Abbildung <math>f\colon M\to BO(k)</math> (die sogenannte klassifizierende Abbildung des Bündels) und das tautologische Bündel <math>\gamma^k\to BO(k)</math>, und zwei Bündel sind isomorph genau dann, wenn ihre klassifizierenden Abbildungen homotop sind.
Analog ist <math>BU(k)</math>, die Graßmann-Mannigfaltigkeit der <math>k</math>-dimensionalen Unterräume im <math>\Complex^\infty</math>, der klassifizierende Raum für <math>k</math>-dimensionale komplexe Vektorbündel.
Stabile Vektorbündel
Zwei Vektorbündel <math>E\to B</math> und <math>F\to B</math> heißen stabil äquivalent, wenn es triviale Vektorbündel <math>G\to B, H\to B</math> (nicht notwendig derselben Dimension) mit
- <math>E\oplus G\cong F\oplus H</math>
gibt. Die Äquivalenzklassen dieser Äquivalenzrelation werden als stabile Vektorbündel bezeichnet. (Diese Definition steht in keinem Zusammenhang mit dem Begriff der stabilen Vektorbündel in der Algebraischen Geometrie.)
Es seien <math>BO=\cup BO(k)</math> und <math>BU=\cup BU(k)</math> die aufsteigenden Vereinigungen (d. h. die Kolimiten bzgl. der mittels <math>Gr(k,2k)\subset Gr(k+1,2k+2)</math> definierten Inklusionen <math>BO(k)\subset BO(k+1)</math> und <math>BU(k)\subset BU(k+1)</math>), dann kann man zu einem Vektorbündel <math>E\to B</math> und seiner klassifizierenden Abbildung <math>B\to BO(k)</math> bzw. <math>B\to BU(k)</math> die Komposition mit der Inklusion <math>BO(k)\to BO</math> bzw. <math>BU(k)\to BU</math> betrachten. Zwei Vektorbündel sind genau dann stabil äquivalent, wenn die entsprechenden Abbildungen <math>B\to BO</math> bzw. <math>B\to BU</math> homotop sind.
Vektorbündel in der algebraischen Geometrie
Definition
Für (algebraische) Vektorbündel in der algebraischen Geometrie sind <math>E</math> und <math>B</math> Schemata, <math>E_x</math> ist für alle Punkte <math>x</math> von <math>B</math> ein <math>\kappa(x)</math>-Vektorraum, und die lokalen Trivialisierungen sind Isomorphismen
- <math>U \times A^n \to E|_U</math>
Meist ist mit „Vektorbündel“ in der algebraischen Geometrie jedoch eine lokal freie Garbe gemeint (s. u.).
Lokalfreie Garbe
Es sei <math>(X, O_X)</math> ein lokal geringter Raum, z. B. ein topologischer Raum mit der Garbe der stetigen reell- oder komplexwertigen Funktionen, eine differenzierbare Mannigfaltigkeit mit der Garbe der <math>C^\infty</math>-Funktionen oder ein Schema.
Eine lokal freie Garbe ist ein <math>O_X</math>-Modul <math>M</math>, der lokal isomorph zu einem freien <math>O_X</math>-Modul ist, d. h. <math>X</math> kann durch offene Mengen <math>U</math> überdeckt werden, für die <math>M|_U</math> isomorph zu einer direkten Summe von Kopien von <math>O_X|_U</math> ist.
Lokalfreie Garben und Vektorbündel
Die beiden folgenden Konstruktionen liefern im Fall von topologischen Räumen oder differenzierbaren Mannigfaltigkeiten eine Äquivalenz der Kategorien von lokal freien Garben sowie Vektorbündeln auf <math>X</math> (der Einfachheit der Notation halber ist der Fall von reellen Vektorbündeln über einem topologischen Raum beschrieben):
- Einem Vektorbündel wird die Garbe seiner Schnitte zugeordnet.
- Einer lokal freien Garbe <math>M</math> wird die disjunkte Vereinigung <math>E</math> ihrer Fasern <math>M_x/m_xM_x</math> zugeordnet. Wir wählen eine offene Überdeckung <math>(U_i)</math> von <math>X</math>, so dass <math>M</math> auf jedem <math>U_i</math> trivial wird. Eine Trivialisierung definiert <math>n</math> nirgends verschwindende Schnitte von <math>M</math> über <math>U_i</math>, die fasernweise eine Basis bilden. Diese definieren eine Abbildung
- <math>U_i\times\R^n\to E</math>,
- und wir definieren die Topologie auf <math>E</math> dadurch, dass wir fordern, dass diese Abbildungen Homöomorphismen sind. Sie ist wohldefiniert, da sich diese Abbildungen über dem Schnitt zweier Mengen <math>U_i</math> und <math>U_j</math> nur um einen Homöomorphismus (genauer gesagt einen stetig variierenden Vektorraumautomorphismus von <math>\R^n</math>) unterscheiden.
Im Fall der algebraischen Geometrie ist diese Konstruktion etwas einfacher: das Bündel zu einer lokalfreien Garbe <math>E</math> ist
- <math>{\bf V}(E^{or}):={\bf Spec} S(E^{or})</math>
dabei bezeichnet <math>S</math> die symmetrische Algebra und <math>{\bf Spec}</math> das Algebrenspektrum.
Weiterführende Begriffe
- Die Untersuchung so genannter stabiler Äquivalenzklassen von Vektorbündeln ist Gegenstand der K-Theorie.
- Auf algebraischen Kurven haben (semi-)stabile Vektorbündel besonders gute Eigenschaften.
Literatur
- {{#ifexist:Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|3540967907}}
| {{bibISBN/{{#invoke:URIutil|plainISBN|3540967907}}
|record = Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|3540967907}}
|format = Literatur
|Autor =
|Titel =
|TitelErg =
|Band =
|Auflage =
|Kommentar=
|Kapitel =
|Seite =
|Seiten =
|Spalten =
|ArtikelNr =
|Fundstelle =
|DOI =
|Online =
|URL =
|Linktext =
|Format =
|KBytes =
|Abruf =
|Typ =
}}{{#ifeq: 0 | 0
| {{#invoke:TemplatePar|check
|all= 1=
|opt= 2= format= Autor= Titel= TitelErg= Hrsg= Sammelwerk= WerkErg= Band= Nummer= Auflage= Datum= Sprache= NummerReihe= BandReihe= HrsgReihe= Kommentar= Kapitel= Seite= Seiten= Spalten= ArtikelNr= Fundstelle= DOI= Online= URL= Linktext= Format= KBytes= Abruf= Typ=
|template=Vorlage:bibISBN |cat=Wikipedia:Vorlagenfehler/Vorlage:BibISBN}}
}}
| {{#if:||{{#if:{{#invoke:URIutil|plainISBN|3540967907}}|Der BibISBN-Eintrag [[Vorlage:BibISBN/{{#invoke:URIutil|plainISBN|3540967907}}]] ist nicht vorhanden. Bitte prüfe die ISBN und lege ggf. einen {{#ifeq:Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|3540967907}}|Vektorbündel|{{#switch:{{{LINK}}}|JA=|NEIN=}}}}[[[:Vorlage:Neuer Abschnitt/URL]] neuen Eintrag] an.|Die angegebene ISBN „3540967907“ ist fehlerhaft. Bitte prüfe und korrigiere die ISBN.}}{{#ifeq: 0 | 0 | }}}}}}
- Allen Hatcher: Vector Bundles & K-Theory. Version 2.1, May 2009, (math.cornell.edu; PDF; 1,11 MB).
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
Weblinks
|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:
| {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
|1/= und Videos
|1/1=, Videos und Audiodateien
|/1= und Audiodateien}}
| , Videos und Audiodateien
}}
|#default= – }}{{#if: Vector bundles
| {{#ifeq: {{#invoke:Str|left|vector bundles|9}}
| category:
| FEHLER: Ohne Category: angeben!}}}}Vorlage:Wikidata-Registrierung
Einzelnachweise
<references />
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Archiv-URL
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Linktext fehlt
- Wikipedia:Vorlagenfehler/Vorlage:BibISBN
- Wikipedia:Vorlagenfehler/Schwesterprojekt
- Differentialtopologie
- Algebraische Geometrie