Ein fundamentales Theorem der algebraischen Topologie, das die Fundamentalgruppe einer Vereinigung von wegzusammenhängenden Räumen aus den Fundamentalgruppen der Teile und ihrer Schnittmenge mittels eines Pushouts (amalgamiertes Produkt) berechnet, bestimmt durch die durch Inklusion induzierten Homomorphismen.

Prinzip

Der Fundamentalgruppen‑Funktor wandelt eine topologische Vereinigung (unter geeigneten Zusammenhangs- und Basispunktsbedingungen) in ein Kolimit von Gruppen um: Schleifen in der Vereinigung werden von Schleifen in den Teilen erzeugt, mit Relationen aus der Schnittmenge.

Demonstration

Berechne die Fundamentalgruppe einer 'Acht' (zwei Kreise mit gemeinsamem Punkt) durch Überdeckung mit zwei wegzusammenhängenden Teilen, die je homotopieäquivalent zu einem Kreis sind; Van Kampen liefert das freie Produkt von zwei Z, also die freie Gruppe mit zwei Erzeugern.

Fehlanwendung

Das Theorem anwenden ohne Pfadzusammenhang der Teile oder der Schnittmenge zu prüfen, Basispunktprobleme zu ignorieren oder die Groupoid‑Version nicht zu verwenden, wenn die Schnittmenge nicht wegzusammenhängend ist; solche Fehler führen zu falschen Gruppenpräsentationen.

Konsequenz

Es bietet ein praktisches Werkzeug zur Berechnung vieler Fundamentalgruppen und zur Darstellung gruppentheoretischer Strukturen (freie Produkte, Amalgamate), die aus topologischen Verklebungen entstehen, und bildet die Grundlage zahlreicher Konstruktionen in der niederdimensionalen Topologie.

Umkehrung

Versagen die Voraussetzungen (z. B. nicht wegzusammenhängende Schnittmenge), bricht die naive Schlussfolgerung zusammen; korrekt ist dann die Verwendung der Seifert–Van‑Kampen‑Theorie für Groupoide oder komplexerer van‑Kampen‑Aussagen mit mehreren Basispunkten.

Abgrenzung

Gilt für π1 von Vereinigungen offener (oder durch Deformationsretrakt kompatibler) wegzusammenhängender Mengen mit wegzusammenhängender Schnittmenge und kompatiblen Basispunktwahlen. Es berechnet nicht direkt höhere Homotopiegruppen und muss bei nicht‑wegzusammenhängender Schnittmenge angepasst werden.

Semantische Spannung

Spannung gegenüber Mayer–Vietoris und homologiegestützten Werkzeugen: Van Kampen behandelt π1 (nichtabelsch), während Mayer–Vietoris homologische (abelsche) Informationen liefert; Basispunkt‑ und Zusammenhangswahl erzwingt praktische Kompromisse.

Synthese

Seifert–Van Kampen übersetzt topologisches Verkleben in algebraische Kolimiten: Durch Verfolgung der durch Inklusion induzierten Homomorphismen rekonstruiert man π1 der Vereinigung aus den π1 der Teile und wandelt lokale Schleifeninformation in eine globale Gruppenbeschreibung um.