Vietoris–Begle mapping theorem

From HandWiki
Short description: On the homology of continuous maps between compact metric spaces

The Vietoris–Begle mapping theorem is a result in the mathematical field of algebraic topology. It is named for Leopold Vietoris and Edward G. Begle. The statement of the theorem, below, is as formulated by Stephen Smale.

Theorem

Let [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] be compact metric spaces, and let [math]\displaystyle{ f:X\to Y }[/math] be surjective and continuous. Suppose that the fibers of [math]\displaystyle{ f }[/math] are acyclic, so that

[math]\displaystyle{ \tilde H_r(f^{-1}(y)) = 0, }[/math] for all [math]\displaystyle{ 0\leq r\leq n-1 }[/math] and all [math]\displaystyle{ y\in Y }[/math],

with [math]\displaystyle{ \tilde H_r }[/math] denoting the [math]\displaystyle{ r }[/math]th reduced Vietoris homology group. Then, the induced homomorphism

[math]\displaystyle{ f_*:\tilde H_r(X)\to\tilde H_r(Y) }[/math]

is an isomorphism for [math]\displaystyle{ r\leq n-1 }[/math] and a surjection for [math]\displaystyle{ r=n }[/math].

Note that as stated the theorem doesn't hold for homology theories like singular homology. For example, Vietoris homology groups of the closed topologist's sine curve and of a segment are isomorphic (since the first projects onto the second with acyclic fibers). But the singular homology differs, since the segment is path connected and the topologist's sine curve is not.

References