分類空間

数学、特にホモトピー論では、位相群 G の分類空間(classifying space) BG は、G のにより空間 EG の商空間である（つまり、すべてのホモトピー群が自明となるような位相空間）。分類空間は、パラコンパクトな多様体上の任意の G 主バンドルが、主バンドル EG → BG の(pullback bundle)と同型となる性質を持つ。 離散群(discrete group) G に対し、BG は、大まかには、弧状連結な位相空間 X であり、X の基本群が G と同型となり、X の高次ホモトピー群が自明となる、つまり、BG は(Eilenberg-Maclane space)、または K(G,1) となる。