2
$\begingroup$

This is a screenshot from Hatcher's Algebraic Topology.enter image description here

I can't understand the last sentence. By definition $C_n(X)$ is the free $\mathbb Z$-module generated by all n-simplices. But, why should every singular map go to exactly exactly $A$ or $X-A$ -- what about maps whose images lie in $A$ and a bit outside? And if this were true, why bother with barycentric subdivisions?

Thanks.

1 Answers 1

5

«A simplex whose image is not contained in $A$» is not the same thing as «a simplex whose image is contained in $X-A$».

  • 0
    Thanks (bangs head against desk).2011-11-16