欧拉示性数
更一般的，对于所有拓扑空间，我们可以定义第"n"个贝蒂数formula_11作为第"n"个同调群的阶。欧拉示性数可以定义为如下交换和