Una sucesión exacta larga en topología algebraica que relaciona la homología o cohomología de un espacio descompuesto como la unión de dos subespacios A y B con la homología o cohomología de A, B y su intersección A∩B, permitiendo cálculos mediante excisión y pegado algebraico.

Principio

Aprovechar la descomposición X = A ∪ B para producir homomorfismos conectores y una sucesión exacta que traslade datos homológicos locales sobre A, B y A∩B a información global sobre X.

Demostración

Para la homología singular, la sucesión de Mayer–Vietoris da … → H_n(A∩B) → H_n(A) ⊕ H_n(B) → H_n(X) → H_{n−1}(A∩B) → …, lo que permite calcular H_*(X) a partir de los grupos conocidos de A, B y A∩B y de las aplicaciones conectoras.

Aplicación incorrecta

Aplicar Mayer–Vietoris sin asegurar las condiciones de cobertura (p. ej. coberturas abiertas o pares excisivos) o computar erróneamente las aplicaciones conectoras puede producir grupos de homología incorrectos y conclusiones equivocadas sobre X.

Consecuencia

Cuando es aplicable, la sucesión reduce cálculos de homología global a piezas locales y sus solapamientos, produciendo restricciones algebraicas exactas que determinan grupos desconocidos y respaldan argumentos inductivos y de tipo van Kampen.

Inversión

El reverso es una descomposición sin control sobre las intersecciones o con fallo de excisión: sin una cobertura adecuada no se pueden ensamblar los datos homológicos locales en una sucesión exacta coherente para todo el espacio.

Límite

Se aplica bajo hipótesis como coberturas abiertas o pares excisivos donde las inclusiones satisfacen condiciones de excisión; excluye descomposiciones arbitrarias que carezcan de las hipótesis técnicas necesarias para la sucesión exacta larga.

Tensión semántica

La tensión aparece frente a enfoques por sucesiones espectrales: ambos reducen problemas globales a datos locales, pero Mayer–Vietoris ofrece una sucesión exacta concreta útil para cálculos en bajos grados, mientras que las sucesiones espectrales manejan mejor filtraciones y complejidad en altos grados.

Síntesis

La sucesión de Mayer–Vietoris es la herramienta algebraica que convierte una cobertura adecuada X = A ∪ B en una relación algebraica larga y exacta entre la homología o cohomología de A, B, A∩B y X, permitiendo el cálculo y deducciones estructurales mediante el pegado de invariantes locales.