Teorema fundamental en topología algebraica que calcula el grupo fundamental de la unión de espacios path‑conexos a partir de los grupos fundamentales de las piezas y de su intersección mediante el pushout (producto amalgamado) determinado por los homomorfismos inducidos por las inclusiones.

Principio

El funtor π1 convierte una unión topológica (con las condiciones adecuadas de conexidad y elección de punto base) en un colímite de grupos: los lazos en la unión se generan por los lazos en las piezas sujetos a las relaciones provenientes de la intersección.

Demostración

Calcular el grupo fundamental de un lazo en ocho (dos círculos unidos en un punto) cubriéndolo con dos partes path‑conexas, cada una homotópicamente equivalente a un círculo; Van Kampen da el producto libre de dos Z, recuperando el grupo libre de dos generadores.

Aplicación incorrecta

Aplicar el teorema sin verificar la path‑conexidad de las piezas o de la intersección, ignorar cuestiones de punto base, o no usar la versión en groupoides cuando la intersección no es path‑conexa; tales errores producen presentaciones de grupo incorrectas.

Consecuencia

Proporciona una herramienta práctica para calcular muchos grupos fundamentales y exhibir estructuras de tipo producto libre o amalgamado derivadas de empalmes topológicos, y sustenta numerosas construcciones en topología de baja dimensión.

Inversión

Si fallan las hipótesis (por ejemplo, la intersección no es path‑conexa) la conclusión ingenua fracasa; la corrección conduce a la versión de Seifert–van Kampen para groupoides o a enunciados más elaborados que rastrean múltiples puntos base.

Límite

Se aplica a π1 de uniones de abiertos (o de partes retractables por deformación) path‑conexas con intersección path‑conexa y elecciones de punto base compatibles. No calcula directamente grupos de homotopía superiores y precisa modificaciones si la intersección no es path‑conexa.

Tensión semántica

Tensión con Mayer–Vietoris y herramientas basadas en homología: Van Kampen trata π1 (no abeliano) mientras que Mayer–Vietoris ofrece información homológica (abeliana); la elección de punto base y la connexidad implican decisiones prácticas.

Síntesis

Seifert–Van Kampen traduce el pegado topológico en colímites algebraicos: siguiendo los homomorfismos inducidos por inclusión se reconstruye π1 de la unión a partir de los π1 de las partes, transformando información local sobre lazos en una descripción global de grupo.