Homepage › Solution manuals › Allen Hatcher › Algebraic Topology › Exercise 1.1.16
Exercise 1.1.16
Show that there are no retractions in the following cases:
- (a)
- with any subspace homeomorphic to .
- (b)
- with its boundary torus .
- (c)
- and the circle shown in the figure.
- (d)
- with its boundary .
- (e)
- a disk with two points on its boundary identified and its boundary .
- (f)
- the Möbius band and its boundary circle.
Answers
Proof of . Since is convex, by Example 1.4. Also, by Theorem . But does not inject into , contradicting Proposition . □
Proof of . Since deformation retracts to its center circle, by Proposition . However, by Example . But does not inject into , for every non-trivial subgroup of is isomorphic to , and free -modules of different rank are non-isomorphic, contradicting Proposition . □
Proof of . Recall that deformation retracts to its center circle , and so we have the chain which induces the maps , where is an isomorphism by Proposition . But if is a representative of the generator of , we see that is nulhomotopic since it has the same start and end points when lifted up into as in Theorem , and so the constant loop. Hence, is not an injection, contradicting Proposition . □
Proof of . By Example , by Example since is convex. However, again by Example . does not inject into , contradicting Proposition . □
Proof of . We see that with a -cell attached to two points on the boundary is homotopy equivalent to , since the -cell is contractible. On the other hand, since is contractible, is homotopy equivalent to . Thus, , while by Example . Since is not abelian while all subgroups of are abelian, does not inject into , contradicting Proposition . □
Proof of . Recall that deformation retracts to its center circle , and so we have the chain which induces the maps , where is an isomorphism by Proposition . But if is a representative of a generator of , we see that maps to where is a representative of the generator of , and so , and in particular . This contradicts that since every homomorphism is of the form for some , and so there is no homomorphism such that . □