Klassifizierender Raum (BG)

Ein topologischer Raum BG zu einer topologischen Gruppe G, der die Eigenschaft besitzt, dass (hupothetisch) prinzipale G‑Bündel über einen Raum X bis auf Isomorphie mit Homotopieklassen von Abbildungen X → BG korrespondieren; häufig realisiert durch einen kontrahierbaren Totalraum EG mit freier G‑Wirkung und BG = EG/G.