Espace Classifiant (BG)

Un espace topologique BG associé à un groupe topologique G tel que les fibrés principaux en G sur un espace X correspondent bijectivement (à isomorphisme près) aux classes d'homotopie d'applications X → BG ; on le réalise souvent par un espace total contractile EG muni d'une action libre de G et BG = EG/G.