拓扑不变量的定义是：两个同构的拓扑空间之间相同的内秉性质。拓扑空间的同胚映射存在问题被转移到拓扑不变量的构造。由此，产生了许多的拓扑不变量如同伦群、同调群。