Théorème fondamental en topologie algébrique qui calcule le groupe fondamental d'une réunion d'espaces path‑connexes à partir des groupes fondamentaux des parties et de leur intersection via le coproduit (produit amalgamé) déterminé par les homomorphismes induits par les inclusions.

Principe

Le foncteur groupe fondamental transforme une réunion topologique (sous des conditions de connexité et de point base) en une colimite de groupes : les lacets de la réunion sont engendrés par les lacets des parties soumis aux relations provenant de l'intersection.

Démonstration

Calculer le groupe fondamental du nœud en huit (deux cercles attachés en un point) en le recouvrant par deux arcs path‑connexes chacun homotopie équivalent à un cercle ; Van Kampen donne le produit libre de deux Z, soit le groupe libre à deux générateurs.

Mauvaise application

Appliquer le théorème sans vérifier la path‑connexité des parties ou de l'intersection, négliger les problèmes de point base, ou omettre d'utiliser la version en groupoïdes lorsque l'intersection n'est pas path‑connexe ; ces erreurs conduisent à des présentations de groupe incorrectes.

Conséquence

Outil pratique pour calculer de nombreux groupes fondamentaux et exhiber des structures de type produit libre ou amalgamé issues d'assemblages topologiques ; il soutient de nombreuses constructions et arguments de classification en basse dimension.

Inversion

Lorsque les hypothèses échouent (par ex. intersection non path‑connexe), la conclusion naïve échoue ; l'inversion correcte mène à la version de Seifert–van Kampen pour groupoïdes ou à des énoncés plus sophistiqués suivant plusieurs points de base.

Limite

S'applique à π1 pour des réunions d'ouverts (ou de parties rétractiles par déformation) path‑connexes ayant une intersection path‑connexe et des choix de points base compatibles. Il ne calcule pas directement les groupes d'homotopie supérieurs et requiert des modifications si l'intersection n'est pas path‑connexe.

Tension sémantique

Tension avec Mayer–Vietoris et les outils d'homologie : Van Kampen traite π1 (non abélien) tandis que Mayer–Vietoris donne de l'information d'homologie (abélienne) ; les choix de points base et de connexité entraînent des arbitrages pratiques.

Synthèse

Seifert–Van Kampen traduit le collage topologique en colimites algébriques : en suivant les homomorphismes induits par inclusion on reconstruit π1 d'une réunion à partir des π1 des parties, transformant l'information locale sur les lacets en une description de groupe globale.