Wiki. “Eilenberg–MacLane 空间” [Eilenberg--MacLane空间]

一维 CW 复形

一维 CW 复形是 $K(G,1)$, 其中 $G$ 为其基本群.

射影空间

$\mathbb{R}P^\infty$ 是 $K(\mathbb{Z}_2,1)$, $\mathbb{C}P^\infty$ 是 $K(\mathbb{Z},2)$.