A fundamental theorem in algebraic topology that computes the fundamental group of a union of path-connected spaces from the fundamental groups of the pieces and their intersection via the pushout (amalgamated product) determined by the inclusion-induced homomorphisms.

Principle

The fundamental-group functor converts a topological union (with suitable connectivity and basepoint conditions) into a colimit of groups: loops in the union are generated by loops in the pieces subject to the relations coming from the intersection.

Demonstration

Compute the fundamental group of a figure-eight (two circles joined at one point) by covering it with two path-connected arcs each homotopy equivalent to a circle; Van Kampen yields the free product of two copies of Z, recovering the free group on two generators.

Misapplication

Applying the theorem without verifying path-connectedness of pieces or intersection, ignoring basepoint issues, or failing to use the groupoid version when the intersection is not path-connected; such mistakes produce incorrect group presentations.

Consequence

It provides a practical tool to compute many fundamental groups and to exhibit group-theoretic structures (free products, amalgamations) arising from topological gluings, and it underlies many constructions and classification arguments in low-dimensional topology.

Reversal

When hypotheses fail (e.g., intersection not path-connected) the naive conclusion breaks down; the correct inversion leads to using the Seifert–van Kampen theorem for groupoids or more elaborate van Kampen-type statements that track multiple basepoints.

Boundary

Applies to π1 for unions of open (or deformation-retractable) path-connected sets with path-connected intersection and compatible basepoint choices. It does not directly compute higher homotopy groups and requires modification for non-path-connected intersections.

Semantic Tension

Tension with Mayer–Vietoris and homology-based tools: Van Kampen handles fundamental groups (nonabelian) while Mayer–Vietoris gives homology information (abelian); choices about basepoints and connectedness create practical trade-offs.

Synthesis

Seifert–Van Kampen translates topological gluing into algebraic colimits: by tracking inclusion-induced homomorphisms one reconstructs π1 of a union from the π1 of parts, turning local loop information into a global group description.