同调的同伦不变性

同伦 $H:X\times I\to Y$ 把两个映射之间的连续变形分解成每个奇异单形扫过的一条棱柱。棱柱边界由两端映射出的单形与侧面组成，给出链同伦恒等式 $g_{\mathrm{\#}}-f_{\mathrm{\#}}=\partial P+P\partial$。对循环取同调类后边界项消失，所以同伦映射诱导同一个同调同态。

可缩空间与一点同伦等价，所以其约化同调全部为零。圆环带与圆周形变收缩，因而具有相同同调。逆命题不成立：同调群相同不保证空间同伦等价，甚至不能区分许多具有不同基本群或杯积结构的空间。定理说同伦映射诱导相同同态，不是说同伦映射在链群上相等；它们通常只链同伦。仅有同调同构的连续映射也不自动是同伦等价。

对圆周上的恒等映射 $f(z)=z$ 与旋转 $g(z)=e^{i\theta }z$，

给出显式同伦，所以二者在 $H_1(S^1)$ 上都诱导恒等同态。常值映射在正维同调上诱导零同态，因而不可能与恒等映射同伦；同调不变量由此也能用来否定候选同伦。

同伦经棱柱算子变成链同伦理路链同伦Chain homotopy用升高一次数的态射族见证两个链映射之差沿边界方向可消去的关系。，从而证明奇异同调理路奇异同调Singular homology由奇异单形生成链复形，再以循环模边界得到的拓扑不变量。的同伦不变性。于是同伦等价空间同调同构，形变收缩理路形变收缩Deformation retract · Strong deformation retract在整个同伦过程中固定子空间，把母空间连续压到该子空间。可安全替换复杂空间为骨架。该性质也是 Eilenberg–Steenrod 公理体系中的核心公理之一。

按链同伦条目的 $a-b=dh+hd$ 约定，上面的 $P$ 是取 $a=g_{\mathrm{\#}}$、$b=f_{\mathrm{\#}}$ 时的见证；若交换 $f,g$ 的次序，见证换成 $-P$。这只是符号选择，不改变诱导同调映射相等的结论。