## [Mayer-Vietoris-Folge](/de/node/60352) Definition 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 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 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 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 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 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 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 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 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.