Una sucesión larga exacta en homología o cohomología derivada de una cubierta de un objeto por dos subobjetos, que relaciona los invariantes del todo con los de las partes y su intersección y permite cálculos mediante el parcheo de datos locales.

Principio

Descomponer un espacio (o complejo de cadenas, haz, etc.) en dos piezas solapadas; la construcción de Mayer–Vietoris proporciona un morfismo de conexión y una sucesión exacta que expresa la homología/cohomología global en términos de la homología/cohomología de las piezas y su intersección.

Demostración

Calcular la homología singular del círculo cubriéndolo con dos arcos contractiles que se solapan: la sucesión de Mayer–Vietoris asociada a la cubierta produce las relaciones exactas que identifican H_1 del círculo con Z al comparar las piezas y su intersección.

Aplicación incorrecta

Aplicar la sucesión sin asegurarse de que la cubierta o la categoría satisfacen las hipótesis de excisión o pegado (por ejemplo, usando cubiertas no abiertas en topología sin verificar condiciones) puede dar conclusiones incorrectas sobre la exactitud o los grupos calculados.

Consecuencia

Suministra una herramienta computacional esencial para reducir problemas homológicos globales a cálculos locales, sustenta la excisión, argumentos de homología relativa y es central en construcciones de sucesiones espectrales y cálculos por descenso.

Inversión

Si la exactitud de Mayer–Vietoris falla para una cubierta propuesta, ello indica que la cubierta no cumple las hipótesis necesarias o que los invariantes no son locales sobre esa cubierta, señalando obstrucciones al pegado.

Límite

Válida en categorías donde se cumplan las hipótesis de pegado y excisión: espacios topológicos con cubiertas abiertas adecuadas, complejos de cadenas con sucesiones exactas cortas, cohomología de haces en cubiertas que satisfacen condiciones de aciclicidad; no es aplicable universalmente a descomposiciones arbitrarias sin hipótesis.

Tensión semántica

Tensión entre Mayer–Vietoris y métodos de Čech o sucesiones espectrales: todos son herramientas de parcheo pero difieren en hipótesis, grado de control local y convergencia, por lo que la elección depende del contexto y de condiciones de finitud/aciclicidad.

Síntesis

La sucesión de Mayer–Vietoris es el mecanismo exacto canónico para reconstruir la homología o cohomología de un objeto a partir de dos piezas solapadas y su intersección, convirtiendo cálculos locales en invariantes globales cuando se satisfacen las condiciones de excisión y pegado.