![Page 1: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/1.jpg)
HOMEWORK 2
1
![Page 2: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/2.jpg)
Problem 1. Show that if one space is a deformation retract of another,then their fundamental groups are isomorphic.
2
![Page 3: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/3.jpg)
Problem 1. Show that if one space is a deformation retract of another,then their fundamental groups are isomorphic.
Solution: Let H : X × [0, 1] → X be the deformation retraction.Define r : X → A, r(x) = H(x, 1). Then r ◦ i = 1A. On theother hand i ◦ r is homotopic to 1X , the homotopy being H itself. Theconclusion follows from Theorem 4.2.3.
3
![Page 4: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/4.jpg)
Problem 2. The Klein bottle is obtained as a quotient space of [0, 1]×[0, 1] by the equivalence relations (s, 0) ≡ (s, 1) and (0, t) ≡ (1, 1− t),for all s, t ∈ [0, 1]. Compute the fundamental group of the Klein bottle.
4
![Page 5: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/5.jpg)
Problem 2. The Klein bottle is obtained as a quotient space of [0, 1]×[0, 1] by the equivalence relations (s, 0) ≡ (s, 1) and (0, t) ≡ (1, 1− t),for all s, t ∈ [0, 1]. Compute the fundamental group of the Klein bottle.
Solution: Here is a picture of the Klein bottle.
5
![Page 6: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/6.jpg)
Problem 2. The Klein bottle is obtained as a quotient space of [0, 1]×[0, 1] by the equivalence relations (s, 0) ≡ (s, 1) and (0, t) ≡ (1, 1− t),for all s, t ∈ [0, 1]. Compute the fundamental group of the Klein bottle.
Solution: Here is a picture of the Klein bottle.
On this picture we can distinguish a Mobius band.
6
![Page 7: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/7.jpg)
Problem 2. The Klein bottle is obtained as a quotient space of [0, 1]×[0, 1] by the equivalence relations (s, 0) ≡ (s, 1) and (0, t) ≡ (1, 1− t),for all s, t ∈ [0, 1]. Compute the fundamental group of the Klein bottle.
Solution: Here is a picture of the Klein bottle.
On this picture we can distinguish a Mobius band.
7
![Page 8: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/8.jpg)
In fact we can distinguish two Mobius bands:
8
![Page 9: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/9.jpg)
In fact we can distinguish two Mobius bands:
Hence the Klein bottle is obtained by gluing two Mobius bands alongtheir boundary! Each Mobius band has just one boundary component!
9
![Page 10: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/10.jpg)
In fact we can distinguish two Mobius bands:
Hence the Klein bottle is obtained by gluing two Mobius bands alongtheir boundary! Each Mobius band has just one boundary component!
Now we can apply the Seifert-van Kampen theorem.
10
![Page 11: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/11.jpg)
To be able to apply the Seifert-van Kampen theorem, we need to en-large the two Mobius bands so that they overlap. Now we have X=Kleinbottle, U1 = U2 =Mobius bands, U1 ∩ U2 =pink region.
11
![Page 12: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/12.jpg)
To be able to apply the Seifert-van Kampen theorem, we need to en-large the two Mobius bands so that they overlap. Now we have X=Kleinbottle, U1 = U2 =Mobius bands, U1 ∩ U2 =pink region.
What is the pink region topologically?
12
![Page 13: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/13.jpg)
To be able to apply the Seifert-van Kampen theorem, we need to en-large the two Mobius bands so that they overlap. Now we have X=Kleinbottle, U1 = U2 =Mobius bands, U1 ∩ U2 =pink region.
What is the pink region topologically?
It is a cylinder! If you don’t believe me go home, make a Mobius bandout of paper (use some Scotch tape), then cut out a regular neighbor-hood of its boundary. You will see that the regular neighborhood twiststwice, thus is homeomorphic to a cylinder.
13
![Page 14: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/14.jpg)
U1, U2, U1 ∩U2 are all deformation retracts of a circle, so by Problem1, their fundamental groups are Z.
14
![Page 15: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/15.jpg)
U1, U2, U1 ∩U2 are all deformation retracts of a circle, so by Problem1, their fundamental groups are Z.
The Seifert-van Kampen theorem tells us that the fundamental groupof the Klein bottle is the free product of Z with Z, with amalgamationover Z.
15
![Page 16: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/16.jpg)
U1, U2, U1 ∩U2 are all deformation retracts of a circle, so by Problem1, their fundamental groups are Z.
The Seifert-van Kampen theorem tells us that the fundamental groupof the Klein bottle is the free product of Z with Z, with amalgamationover Z.
That is
π1(K) = (Z ∗ Z)/N.
Let us identify N .
16
![Page 17: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/17.jpg)
U1, U2, U1 ∩U2 are all deformation retracts of a circle, so by Problem1, their fundamental groups are Z.
The Seifert-van Kampen theorem tells us that the fundamental groupof the Klein bottle is the free product of Z with Z, with amalgamationover Z.
That is
π1(K) = (Z ∗ Z)/N.
Let us identify N .
17
![Page 18: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/18.jpg)
The generator of the fundamental group of the boundary of the Mobiusband is mapped by the inclusion to twice the generator of the fundamen-tal group of the Mobius band.
18
![Page 19: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/19.jpg)
The generator of the fundamental group of the boundary of the Mobiusband is mapped by the inclusion to twice the generator of the fundamen-tal group of the Mobius band.
Thus N , which consists of the elements of the form i1∗(h)(i2∗(h)−1),is generated by the element x2y−2, where x and y are the generators ofthe first, respectively second Z.
19
![Page 20: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/20.jpg)
The generator of the fundamental group of the boundary of the Mobiusband is mapped by the inclusion to twice the generator of the fundamen-tal group of the Mobius band.
Thus N , which consists of the elements of the form i1∗(h)(i2∗(h)−1),is generated by the element x2y−2, where x and y are the generators ofthe first, respectively second Z.
Consequently N introduces the only relation x2 = y2 and so
π1(K) =⟨x, y |x2 = y2
⟩
20
![Page 21: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/21.jpg)
Problem 3. What is the fundamental group of S1 ∨S2?
21
![Page 22: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/22.jpg)
Problem 3. What is the fundamental group of S1 ∨S2?
Solution: The proof for showing that the fundamental group of awedge of two circles is a free group with two elements goes through tothis case.
22
![Page 23: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/23.jpg)
Problem 3. What is the fundamental group of S1 ∨S2?
Solution: The proof for showing that the fundamental group of awedge of two circles is a free group with two elements goes through tothis case.
In fact we have the following general result, which is a consequence ofthe Seifert-van Kampen theorem.
Proposition: Let X and Y be path connected spaces and x0 ∈ X ,y0 ∈ Y be points that have simply connected neighborhoods. DefineX
∨Y as the quotient of X t Y by the equivalence relation x0 ∼ y0.
Then
π1(X∨
Y ) = π1(X) ∗ π1(Y ).
23
![Page 24: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/24.jpg)
Problem 3. What is the fundamental group of S1 ∨S2?
Solution: The proof for showing that the fundamental group of awedge of two circles is a free group with two elements goes through tothis case.
In fact we have the following general result, which is a consequence ofthe Seifert-van Kampen theorem.
Proposition: Let X and Y be path connected spaces and x0 ∈ X ,y0 ∈ Y be points that have simply connected neighborhoods. DefineX
∨Y as the quotient of X t Y by the equivalence relation x0 ∼ y0.
Then
π1(X∨
Y ) = π1(X) ∗ π1(Y ).
In particular
π1(S1∨
S2) = Z
24
![Page 25: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/25.jpg)
Problem 4. Let X be the space obtained by gluing B2 to S1 by themap on the boundary z → zn. What is the fundamental group of X?
25
![Page 26: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/26.jpg)
Problem 4. Let X be the space obtained by gluing B2 to S1 by themap on the boundary z → zn. What is the fundamental group of X?
Solution: We use Proposition 5.4.3. Here the disk is glued to S1,which has fundamental group Z, and the gluing map g maps the gener-
ator of π1(∂B2) to n ∈ Z.
26
![Page 27: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/27.jpg)
Problem 4. Let X be the space obtained by gluing B2 to S1 by themap on the boundary z → zn. What is the fundamental group of X?
Solution: We use Proposition 5.4.3. Here the disk is glued to S1,which has fundamental group Z, and the gluing map g maps the gener-
ator of π1(∂B2) to n ∈ Z.
Hence
Im g∗ = nZ ⊂ Z.
27
![Page 28: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/28.jpg)
Problem 4. Let X be the space obtained by gluing B2 to S1 by themap on the boundary z → zn. What is the fundamental group of X?
Solution: We use Proposition 5.4.3. Here the disk is glued to S1,which has fundamental group Z, and the gluing map g maps the gener-
ator of π1(∂B2) to n ∈ Z.
Hence
Im g∗ = nZ ⊂ Z.
Consequently
π1(X) = Z/nZ = Zn
28
![Page 29: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/29.jpg)
Problem 5. Find a space whose fundamental group is Z3 × Z5.
29
![Page 30: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/30.jpg)
Problem 5. Find a space whose fundamental group is Z3 × Z5.
Solution: Think about the space X in Problem 4. Call that Xn, sinceit depends on n.
30
![Page 31: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/31.jpg)
Problem 5. Find a space whose fundamental group is Z3 × Z5.
Solution: Think about the space X in Problem 4. Call that Xn, sinceit depends on n. Then
π1(X3) = Z3 π1(X5) = Z5.
31
![Page 32: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/32.jpg)
Problem 5. Find a space whose fundamental group is Z3 × Z5.
Solution: Think about the space X in Problem 4. Call that Xn, sinceit depends on n. Then
π1(X3) = Z3 π1(X5) = Z5.
Recall that π1(X × Y ) = π1(X)× π1(Y ) (Problem 3, Homework 5,first semester).
32
![Page 33: HOMEWORK 2 - TTU › ~rgelca › home2sol.pdftal group of the M obius band. Thus N, which consists of the elements of the form i 1 (h)(i 2 (h) 1 ), is generated by the element x 2](https://reader035.vdocuments.us/reader035/viewer/2022070821/5f228a6810ddf453115a100c/html5/thumbnails/33.jpg)
Problem 5. Find a space whose fundamental group is Z3 × Z5.
Solution: Think about the space X in Problem 4. Call that Xn, sinceit depends on n. Then
π1(X3) = Z3 π1(X5) = Z5.
Recall that π1(X × Y ) = π1(X)× π1(Y ) (Problem 3, Homework 5,first semester).
Hence
π1(X3 ×X5) = π1(X3)× π1(X5) = Z3 × Z5.
33