Singular Homology Theory

The purpose of this chapter is to introduce the singular homology theory of an arbitrary topological space. Following the definitions and a proof of homotopy invariance, the essential computational tool (Theorem 1.14) is stated. Its proof is deferred to Appendix I so that the exposition need not be interrupted by its involved constructions. The Mayer-Vietoris sequence is noted as an immediate corollary of this theorem, and then applied to compute the homology groups of spheres. These results are applied to prove a number of classical theorems: the nonretractibility of a disk onto its boundary, the Brouwer fixed-point theorem, the nonexistence of vector fields on even-dimensional spheres, the Jordan-Brouwer separation theorem and the Brouwer theorem on the invariance of domain.