An exact long sequence in homology or cohomology derived from a cover of an object by two subobjects, relating the invariants of the whole to those of the parts and their intersection and enabling computations by patching local data.

Principle

Decompose a space (or chain complex, sheaf, etc.) into two overlapping pieces; the Mayer–Vietoris construction yields a connecting morphism and an exact sequence that expresses global homology/cohomology in terms of the homology/cohomology of the pieces and their intersection.

Demonstration

Compute the singular homology of the circle by covering it with two overlapping contractible arcs: the Mayer–Vietoris sequence for the cover yields the exact relations that identify the first homology of the circle as Z by comparing the pieces and their intersection.

Misapplication

Applying the sequence without ensuring the cover or the category satisfies the excision or gluing hypotheses (for instance using non-open covers in topology without checking conditions) can produce incorrect conclusions about exactness or computed groups.

Consequence

Provides a fundamental computational tool to reduce global homological problems to local calculations, underlies excision, relative homology arguments, and is central in spectral-sequence constructions and descent calculations.

Reversal

Viewed in reverse, failure of the Mayer–Vietoris exactness for a purported cover signals that the cover does not satisfy the necessary hypotheses or that the invariants are not local on that cover, pointing to obstructions to patching.

Boundary

Valid in categories where gluing and excision hypotheses hold: topological spaces with suitable open covers, chain complexes with short exact sequences, sheaf cohomology on covers satisfying acyclicity conditions; not universally applicable to arbitrary decompositions without hypotheses.

Semantic Tension

Tension exists between Mayer–Vietoris and Cech or spectral-sequence methods: all are patching tools but differ in hypotheses, degree of pointwise control, and convergence behaviour, so choosing the right tool depends on the category and finiteness/acyclicity conditions.

Synthesis

The Mayer–Vietoris sequence is the canonical exact mechanism for reconstructing homology or cohomology of an object from two overlapping pieces and their intersection, turning local computations into global invariants when the appropriate excision and gluing conditions are met.