The Excision Theorem

Algebraic Topology · Axiom Academy

Understanding when we can "cut out" portions of a space without affecting relative homology 1. The Setup: Spaces and Subspaces Consider a topological space X with a subspace A . We're interested in the relative homology groups H n (X, A), which measure the homological structure of X "relative to" A. Now suppose we have another subset U contained in X. The question is: under what conditions can we "excise" (remove) U from both X and A without changing the relative homology? 2. The Excision Theorem Statement In symbols, the condition is: cl(U) int(A) This means that U sits "safely inside" A with room to spare. When this happens, removing U from both X and A gives us the same homology. The power of excision lies in simplification. Often we want to compute H n (X, A) but the spaces involved are complicated. If we can find a suitable U to excise, we might get simpler spaces to work with. Key Insight: Excision allows us to "localize" homology computations. We can focus on the essential parts of a space and ignore redundant regions.

This is the written version of the interactive lesson above. See the full Algebraic Topology course.