>>809 代数トポロジーでは無限次元の射影空間など
無限次元の空間が普通にでてくるけど
有限な単体複体だけでは扱えない。