Eine lange exakte Folge in Homologie (oder Kohomologie), die die Homologiegruppen eines topologischen Raums, der als Vereinigung zweier Teilräume U und V dargestellt ist, mit der Homologie von U, V und ihrem Schnitt U∩V mittels Verbindungsabbildungen in Beziehung setzt.

Prinzip

Die Zerlegung eines Raums in zwei sich überlappende Teile liefert Mayer-Vietoris-Exaktheit: das Nichttrennen von Zyklen in der Vereinigung wird durch Abbildungen aus dem Schnitt gemessen, und Verbindungsabbildungen koppeln diese Messungen über die Grade hinweg zu einer langen exakten Folge.

Demonstration

Berechne die Homologie der n-Sphäre S^n, indem man S^n als Vereinigung zweier Hemissphären U und V darstellt, die jeweils kontraktibel sind, wobei der Schnitt homotopieäquivalent zu S^{n-1} ist. Die Mayer-Vietoris-Folge liefert dann H_k(S^n) aus den bekannten Homologien von U, V und U∩V und ergibt H_n(S^n)≅Z und das Verschwinden der übrigen reduzierten Homologien.

Fehlanwendung

Mayer-Vietoris auf beliebige Überdeckungen anzuwenden, ohne excisionsartige Voraussetzungen zu prüfen, oder auf nicht paarweise Zerlegungen ohne Korrektur von Vorzeichen und Indizes anzuwenden, führt zu falschem Zusammenfügen; auch das Ignorieren reduzierter vs. unreduzierter Homologie verursacht Fehler.

Konsequenz

Bietet ein induktives und rechnerisches Werkzeug zur Berechnung der Homologie/Kohomologie komplexer Räume aus einfacheren Teilen und zur Erkennung nichttrivialer Zyklen, die über die Überlappung verlaufen.

Umkehrung

Sind die Inklusionsabbildungen von U und V in die Vereinigung in einem Bereich von Graden Isomorphismen, kollabiert die Mayer-Vietoris-Folge und liefert Isomorphismen zwischen den Homologien der Teile und der Vereinigung; umgekehrt deuten nichttriviale Verbindungsabbildungen auf Klassen hin, die sich nicht lokalisieren lassen.

Abgrenzung

Gilt, wenn U und V eine geeignete offene (oder excisable) Überdeckung bilden oder allgemein, wenn die Einschlussabbildungen die Exzisionsvoraussetzungen erfüllen; es ist kein Allheilmittel für beliebige unendliche Überdeckungen oder Zerlegungen ohne erforderliche topologische Voraussetzungen.

Semantische Spannung

Steht im Wettbewerb mit Spektralsequenzen und Čech-(Ko)homologie; Mayer-Vietoris ist handhabbar und direkt für Zweiteil-Zerlegungen, während Spektralsequenzen mehrstufige Filtrationen behandeln, aber formaler und technisch anspruchsvoller sind.

Synthese

Mayer-Vietoris fasst zusammen, wie homologische Informationen zweier überlappender Teilräume und ihres Schnitts zur Homologie des Ganzen zusammengefügt werden: eine lange exakte Folge von Abbildungen und Verbindungsabbildungen, die Berechnung und Erkennung globaler Klassen aus lokalen Daten ermöglicht.