有限拓扑空间的同调

给出了一种计算任意有限 $T_0$-空间整系数同调群生成元的新方法。该方法中起着重要作用的是此处定义的不可约圈,其引出称为浸入的空间间连续单射映射。所谓 orb 复形比序复形小得多,它诱导出其同调到该空间单纯同调的一个满射。分析该映射的核可定义一个计算同调群的有效算法,其时间复杂度关于空间大小是多项式的。