切除定理 数学之分支代数拓扑学中切除定理Excision theorem是关于相对同调的一个很有用的定理给定拓扑空间 X 及其子空间 A 与 U 使得 U 也是 A 的子空间此定理说在一定情形下我们可将 U 从两个空间中切除使得空间偶 XA 与 X  UA  U 的相对同调群是同构的这在奇异同调群的计算中很有用在许多情形切除一个合适的子空间后更容易计算或者在许多情形它使得可以应用归纳法与同调中的长正合序列一起我们可以导出计算同调群的另一个有用的工具迈耶菲托里斯序列英语MayerVietoris sequence 更确切地如果 XA与 U 如上我们称 U 可切除如果空间偶 X  UA  U  到 X A 的包含映射在相对同调上诱导了 HqXA 到 HqX  UA  U  的同构该定理说如果 U 的闭包属于 A 的内部则 U 是可切除的通常不满足此包含判据的子空间也可切除只要找到此子空间到满足这个条件的子空间的一个形变收缩便足够了 切除定理的证明相当直观尽管具体细节相当复杂其想法是将 XA 中的相对圈中的单形重分得到另一个包含更小单形的链继续此步骤直到链中每个单形要么完全属于 A 的内部要么属于 XU 的内部因为这样形成了 X 的一个开覆盖以及单形是紧的我们事实上可在有限步内完成这个过程不改变原先链的同调类这是说重分算子在同调上链同伦于恒等映射则在相对同调HqXA 中这说明完全包含于 U 内部的所有项可丢掉而不影响此圈的同调类这使我们可以证明包含映射是一个同构因为每个相对圈等价于一个完全不涉及 U 的圈