##  [Teorema de Seifert–Van Kampen](/es/node/63146) 

 Definición

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

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

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

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

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

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

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 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

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.