Excision theorem

In algebraic topology, a branch of mathematics, the Excision Theorem is a useful theorem about relative homology--given topological spaces X and subspaces A and U such that U is also a subspace of A, the theorem says that under certain circumstances, we can cut out (excise) U from both spaces such that the relative homologies of the pairs (X,A) and (X \ U,A \ U) are isomorphic. This assists in computation of singular homology groups, as, sometimes after excising an appropriately chosen subspace, we obtain something easier to compute. Or, in many cases, it allows the use of induction. Coupled with the long exact sequence in homology, one can derive another useful tool for the computation of homology groups, the Mayer-Vietoris sequence.

More precisely, if X, A, and U are as above, we say that U can be excised if the inclusion map of the pair (X \ U,A \ U ) into (X, A) induces an isomorphism on the relative homologies H_q(X,A) to H_q(X \ U,A \ U ). The theorem states that if the closure of U is contained in the interior of A, then U can be excised. Often, subspaces which do not satisfy this containment criterion still can be excised--it suffices to be able to find a deformation retract of the subspaces onto subspaces that do satisfy it.

The proof of the Excision theorem is quite intuitive, though the details are rather involved. The idea is to subdivide the simplices in a relative cycle in (X,A) to get another chain consisting of "smaller" simplices, and continuing the process until each simplex in the chain lies entirely in the interior of A or the interior of X \ U. Since these form an open cover for X and simplices are compact, we can eventually do this in a finite number of steps. This process leaves the original homology class of the chain unchanged (this says the subdivision operator is chain homotopic to the identity map on homology). In the relative homology H_q(X,A), then, this says all the terms contained entirely in the interior of A can be dropped without affecting the homology class of the cycle. This allows us to show that the inclusion map is an isomorphism, as each relative cycle is equivalent to one that avoids U entirely.