Der klassifizierende Raum ${\displaystyle \operatorname {BO} (n)}$ der ${\displaystyle n}$-ten orthogonalen Lie-Gruppe ${\displaystyle \operatorname {O} (n)}$ klassifiziert ${\displaystyle \operatorname {O} (n)}$-Prinzipalbündel (auch ${\displaystyle \operatorname {O} (n)}$-Hauptfaserbündel genannt). Das bedeutet, dass ein ${\displaystyle \operatorname {O} (n)}$-Prinzipalbündel über einem parakompakten topologischen Raum eineindeutig einer Homotopieklasse einer stetigen Abbildung von diesem nach ${\displaystyle \operatorname {BO} (n)}$ entspricht. ${\displaystyle \operatorname {BO} (n)}$ ist selbst der Basisraum (eng. base space) eines ${\displaystyle \operatorname {O} (n)}$-Prinzipalbündels, woraus sich die Notation ergibt.

Grundlegender Zusammenhang

Zur Erklärung des obigen Zusammenhangs ist ein weiterer Raum notwendig: Der totale Raum ${\displaystyle \operatorname {EO} (n)}$ der ${\displaystyle n}$-ten orthogonalen Lie-Gruppe ${\displaystyle \operatorname {O} (n)}$ ist schwach zusammenziehbar und verfügt über eine Gruppenwirkung von ${\displaystyle \operatorname {O} (n)}$, wobei der Orbitraum ${\displaystyle \operatorname {EO} (n)/\operatorname {O} (n)}$ genau ${\displaystyle \operatorname {BO} (n)}$ ist. Durch Projektion auf Äquivalenzklassen gibt es daher das spezielle ${\displaystyle \operatorname {O} (n)}$-Prinzipalbündel ${\displaystyle \operatorname {EO} (n)\rightarrow \operatorname {BO} (n),x\mapsto [x]}$ mit Faser ${\displaystyle \operatorname {O} (n)}$, welches universelles ${\displaystyle \operatorname {O} (n)}$-Hauptfaserbündel genannt wird. Jedes ${\displaystyle \operatorname {O} (n)}$-Hauptfaserbündel auf einem parakompakten topologischen Raum ${\displaystyle X}$ lässt sich nun durch Rückzug von diesem entlang einer stetigen Abbildung ${\displaystyle X\rightarrow \operatorname {BO} (n)}$ erhalten, wobei homotope Abbildungen das gleiche ${\displaystyle \operatorname {O} (n)}$-Prinzipalbündel erzeugen. Dadurch existiert eine Bijektion:

${\displaystyle \operatorname {Bund} _{\operatorname {O} (n)}(X)/\sim _{\mathrm {iso} }:=\left\{\operatorname {O} (n){\text{-Prinzipalbündel über }}X\right\}\cong [X,\operatorname {BO} (n)]}$

Kleinster klassifizierender Raum

Es ist ${\displaystyle \operatorname {O} (1)=\mathbb {Z} _{2}}$, wobei ${\displaystyle \operatorname {BO} (1)=\mathbb {R} P^{\infty }=\lim _{n\rightarrow \infty }\mathbb {R} P^{n}}$ der unendliche reelle projektive Raum ist und ${\displaystyle \operatorname {EO} (1)=S^{\infty }=\lim _{n\rightarrow \infty }S^{n}}$ die ${\displaystyle \infty }$-Sphäre ist. Beide entstehen jeweils als direkter/induktiver Limes der kanonischen Inklusionen ${\displaystyle \mathbb {R} P^{n}\hookrightarrow \mathbb {R} P^{n+1}}$ beziehungsweise ${\displaystyle S^{n}\hookrightarrow S^{n+1}}$. Erstaunlicherweise ist die ${\displaystyle \infty }$-Sphäre ${\displaystyle S^{\infty }}$ wie oben erwähnt tatsächlich schwach zusammenziehbar und sogar zusammenziehbar, obwohl keine der Sphären ${\displaystyle S^{n}}$ (schwach) zusammenziehbar ist.

Siehe auch

• Klassifizierende Räume
• ${\displaystyle \operatorname {BSO} (n)}$, klassifizierender Raum von ${\displaystyle \operatorname {SO} (n)}$
• ${\displaystyle \operatorname {BU} (n)}$, klassifizierender Raum von ${\displaystyle \operatorname {U} (n)}$
• ${\displaystyle \operatorname {BSU} (n)}$, klassifizierender Raum von ${\displaystyle \operatorname {SU} (n)}$

Einzelnachweise

1. ↑ Krl. 2.13. Abgerufen am 13. Juni 2023 (englisch). 
2. ↑ Allen Hatcher: Vector Bundles and K-theory. S. 29, Thrm. 1.16 (cornell.edu [PDF]). 
3. ↑ Prop. 2.16. Abgerufen am 13. Juni 2023 (englisch). 
4. ↑ Allen Hatcher: Algebraic Topology. S. 19, Aufgabe 16 (ohne Beweis) (cornell.edu [PDF]).