>>850
CW複体だとホモロジーの計算が簡単になる。
無限CW複体でも同じ。
例えば無限グラスマン多様体