The Seifert-Van Kampen theorem is a fundamental result in algebraic topology that provides a method for computing the fundamental group of a space that is the union of two subspaces. Specifically, if is a topological space that can be expressed as the union of two path-connected open subsets and , with a non-empty intersection , the theorem states that the fundamental group of , denoted , can be computed using the fundamental groups of , , and their intersection . The relationship can be expressed as:
where denotes the free product and indicates the amalgamation over the intersection. This theorem is particularly useful in situations where the space can be decomposed into simpler components, allowing for the computation of more complex spaces' properties through their simpler parts.
Start your personalized study experience with acemate today. Sign up for free and find summaries and mock exams for your university.