Algebraic Topology Homework 1

import%20marimo%0A%0A__generated_with%20%3D%20%220.17.6%22%0Aapp%20%3D%20marimo.App()%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%20%20%20%20return%20(mo%2C)%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20nav_menu%20%3D%20mo.nav_menu(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%2Findex.html%22%3A%20f%22%7Bmo.icon('lucide%3Ahome')%7D%20Home%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20orientation%3D%22vertical%22%2C%0A%20%20%20%20)%0A%20%20%20%20nav_menu%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2001%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%201%0A%0A%20%20%20%20**Construct%20an%20explicit%20deformation%20retraction%20of%20the%20torus%20with%20one%20point%20deleted%20onto%20a%20graph%20consisting%20of%20two%20circles%20intersecting%20in%20a%20point%2C%20namely%2C%20longitude%20and%20meridian%20circles%20of%20the%20torus**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Consider%20the%20plane%20model%20of%20the%20torus%2C%20that%20is%20the%20square%20%24I%20%5Ctimes%20I%24%20with%20opposite%20side%20identified.%20This%20space%20is%20homeomorphic%20to%20a%20disk%20with%20its%20boundary%20divided%20into%20four%20pieces%20and%20identified.%20Remove%20a%20point%20from%20the%20space%20(say%20the%20origin).%20Call%20the%20resulting%20space%20%24X%24.%0A%0A%20%20%20%20Consider%20%24A%20%5Csubseteq%20X%24%20consisting%20of%20the%20points%20%24%5C%7C%20x%20%5C%7C%20%3D%201%24%20and%20with%20the%20same%20identification.%20%24A%24%20is%20(homeomorphic%20to)%20two%20circles%20intersecting%20at%20a%20point.%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020221231121241.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20Now%20define%20%24f_0%20%3D%20%5Ctext%7Bid%7D_X%24%3B%20for%20each%20%24t%20%5Cin%20I%24%2C%20define%20%24f_t(x)%20%3D%20t%5Cfrac%7Bx%7D%7B%5C%7C%20x%20%5C%7C%7D%2B(1-t)x%24%2C%20then%20%24f_1(X)%20%3D%20A%24%2C%20%24f_t%20%7C%20A%20%3D%20%5Ctext%7Bid%7D_A%24%20for%20each%20%24A%24%2C%20and%20the%20family%20%24f_t%24%20is%20continuous.%20Thus%20%24%5Clbrace%20f_t%20%5Crbrace%24%20give%20us%20a%20desired%20deformation%20retraction.%0A%0A%20%20%20%20%23%23%20Problem%202%0A%0A%20%20%20%20**Construct%20an%20explicit%20deformation%20retraction%20of%20%24%5Cmathbb%7BR%7D%5En%20-%20%5Clbrace%200%20%5Crbrace%24%20onto%20%24S%5E%7Bn-1%7D%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20The%20same%20family%20%24f_t%24%20in%20the%20first%20problem%20works%20here%2C%20only%20difference%20is%20now%20%24X%24%20is%20%24%5Cmathbb%7BR%7D%5En%20-%20%5Clbrace%200%20%5Crbrace%24.%0A%0A%20%20%20%20%23%23%20Problem%203%0A%0A%20%20%20%201.%20**Show%20that%20the%20composition%20of%20homotopy%20equivalences%20%24X%20%5Cto%20Y%24%20and%20%24Y%20%5Cto%20Z%24%20is%20a%20homotopy%20equivalence%20%24X%20%5Cto%20Z%24.%20Deduce%20that%20homotopy%20equivalence%20is%20an%20equivalence%20relation**%3B%0A%20%20%20%202.%20**Show%20that%20the%20relation%20of%20homotopy%20among%20maps%20%24X%20%5Cto%20Y%24%20is%20an%20equivalence%20relation**%3B%0A%20%20%20%203.%20**Show%20that%20a%20map%20homotopic%20to%20a%20homotopy%20equivalence%20is%20a%20homotopy%20equivalence**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20We%20will%20use%20a%20lemma%3A%20%24f%20%5Csimeq%20%5Ctilde%7Bf%7D%24%20implies%20that%20%24f%20%5Ccirc%20g%20%5Csimeq%20%5Ctilde%7Bf%7D%20%5Ccirc%20g%24%20and%20the%20other%20way%20of%20composition%2C%20for%20any%20%24g%24%20such%20that%20the%20compositions%20make%20sense.%0A%20%20%20%20%20%20%20%20Proof%20of%20the%20lemma%3A%20By%20assumption%20we%20have%20a%20map%20%24F(x%2Ct)%24%20that%20is%20the%20homotopy%20between%20%24f%24%20and%20%24%5Ctilde%7Bf%7D%24%2C%20now%20consider%20the%20map%20%24F%20%5Ccirc%20(g%20%5Ctimes%20%5Ctext%7Bid%7D_I)%3A%20Y%20%5Ctimes%20I%20%5Cto%20Y%24%3A%20it%20is%20continuous%2C%20%24F%5Ccirc(g%20%5Ctimes%20%5Ctext%7Bid%7D_I)(x%2C%200)%20%3D%20F(g%2C%200)%24%20%24%3Df(g)%24%20%24%3Df%20%5Ccirc%20g%24%2C%20and%20%24F%5Ccirc%20(g%20%5Ctimes%20%5Ctext%7Bid%7D_I)(x%2C1)%20%3D%20%5Ctilde%7Bf%7D%5Ccirc%20g%24.%20Thus%20it%20is%20a%20homotopy%20and%20%24f%20%5Ccirc%20g%20%5Csimeq%20%5Ctilde%7Bf%7D%20%5Ccirc%20g%24.%20Similarly%2C%20with%20the%20function%20%24g%20%5Ccirc%20F%3A%20X%20%5Ctimes%20I%20%5Cto%20X%24%20we%20have%20%24g%20%5Ccirc%20f%20%5Csimeq%20g%20%5Ccirc%20%5Ctilde%7Bf%7D%24.%0A%20%20%20%20%20%20%20%20Back%20to%20the%20problem.%20Suppose%20%24f%3A%20X%20%5Cto%20Y%24%20and%20%24g%3A%20Y%20%5Cto%20Z%24%20are%20the%20corresponding%20homotopy%20equivalence.%20That%20is%2C%20there%20exist%20%24%5Ctilde%7Bf%7D%3A%20Y%20%5Cto%20X%24%20and%20%24%5Ctilde%7Bg%7D%3A%20Z%20%5Cto%20Y%24%20such%20that%20%24f%5Ccirc%20%5Ctilde%7Bf%7D%24%2C%20%24%5Ctilde%7Bf%7D%20%5Ccirc%20f%24%2C%20%24g%20%5Ccirc%20%5Ctilde%7Bg%7D%24%20and%20%24%5Ctilde%7Bg%7D%5Ccirc%20g%24%20are%20all%20homotopic%20to%20identity%20maps.%0A%20%20%20%20%20%20%20%20To%20prove%20%24g%20%5Ccirc%20f%24%20is%20a%20homotopy%20equivalence%2C%20we%20need%20to%20find%20a%20function%20%24h%24%20satisfies%20that%20%24(g%20%5Ccirc%20f)%20%5Ccirc%20h%20%5Csimeq%20%5Ctext%7Bid%7D%24%20and%20%24h%20%5Csimeq%20(g%20%5Ccirc%20f)%20%5Csimeq%20%5Ctext%7Bid%7D%24.%0A%20%20%20%20%20%20%20%20Consider%20the%20map%20%24%5Ctilde%7Bf%7D%20%5Ccirc%20%5Ctilde%7Bg%7D%24%2C%20we%20have%20%24g%20%5Ccirc%20f%20%5Ccirc%20%5Ctilde%7Bf%7D%20%5Ccirc%20%5Ctilde%7Bg%7D%24%20%24%3D%20g%20%5Ccirc%20(f%20%5Ccirc%20%5Ctilde%7Bf%7D)%20%5Ccirc%20%5Ctilde%7Bg%7D%24%20(composition%20of%20functions%20is%20associative)%20%24%5Csimeq%20g%20%5Ccirc%20%5Ctext%7Bid%7D_Y%20%5Ccirc%20%5Ctilde%7Bg%7D%24%20(by%20above%20lemma)%20%24%3D%20g%20%5Ccirc%20%5Ctilde%7Bg%7D%24%20%24%3D%5Ctext%7Bid%7D_Z%24%3B%20and%20similarly%2C%20%24(%5Ctilde%7Bf%7D%20%5Ccirc%20%5Ctilde%7Bg%7D)%5Ccirc(g%20%5Ccirc%20f)%24%20%24%5Csimeq%20%5Ctext%7Bid%7D_X%24.%20Thus%20by%20definition%2C%20%24g%5Ccirc%20f%24%20is%20a%20homotopy%20equivalence.%0A%20%20%20%20%20%20%20%20To%20prove%20that%20homotopy%20equivalence%20is%20an%20equivalence%20relation%20we%20follow%20the%20axioms%3A%0A%0A%20%20%20%20%20%20%20%201.%20Reflexivity%3A%20any%20space%20is%20homotopy%20equivalent%20to%20itself%20by%20%24f_t%20%3D%20%5Ctext%7Bid%7D%2C%20%5Cforall%20t%24%3B%0A%20%20%20%20%20%20%20%202.%20Symmetry%3A%20if%20%24f%3A%20X%5Cto%20Y%24%20is%20a%20homotopy%20equivalence%20from%20%24X%24%20to%20%24Y%24%20and%20is%20realized%20by%20some%20%24g%24%20such%20that%20%24f%5Ccirc%20g%20%5Csimeq%201%24%20and%20%24g%20%5Ccirc%20f%20%5Csimeq%201%24%2C%20then%20%24g%3A%20Y%20%5Cto%20X%24%20is%20a%20homotopy%20equivalence%20from%20%24Y%24%20to%20%24X%24%20realized%20by%20%24f%24%3B%0A%20%20%20%20%20%20%20%203.%20Transitivity%3A%20this%20is%20what%20we%20proved%20above%3B%0A%20%20%20%202.%20Again%20we%20follow%20the%20axioms%3A%0A%20%20%20%20%20%20%20%201.%20Reflexivity%3A%20any%20map%20%24f%24%20is%20homotopic%20to%20itself%20by%20%24f_t%20%3D%20f%2C%20%5Cforall%20t%24%3B%0A%20%20%20%20%20%20%20%202.%20Symmetry%3A%20if%20%24f%20%5Csimeq%20g%24%20by%20%24F(x%2C%20t)%24%2C%20then%20%24g%20%5Csimeq%20f%24%20by%20%24F(x%2C%201-t)%24%3B%0A%20%20%20%20%20%20%20%203.%20Transitivity%3A%20if%20%24f%20%5Csimeq%20g%24%20by%20%24F(x%2C%20t)%24%20and%20%24g%20%5Csimeq%20h%24%20by%20%24G(x%2C%20s)%24%2C%20then%20%24f%20%5Csimeq%20h%24%20by%20the%20function%20%24%5Ctilde%7BF%7D(x%2Ct)%24%20defined%20by%20%24%5Ctilde%7BF%7D(x%2Ct)%20%3D%20%5Cbegin%7Bcases%7D%20F(x%2C2t)%2C%20%26%20t%5Cle%200.5%20%5C%5C%20G(x%2C%202t-1)%2C%26t%20%5Cge%200.5%5Cend%7Bcases%7D%24.%20Since%20by%20assumption%20%24F(x%2C%201)%20%3D%20g%24%20and%20%24G(x%2C%200)%20%3D%20g%24%2C%20%24%5Ctilde%7BF%7D%24%20is%20continuous%20by%20the%20Pasting%20Lemma%3B%0A%20%20%20%203.%20Suppose%20%24f%3A%20X%20%5Cto%20Y%24%20is%20a%20homotopy%20equivalence%20(with%20some%20%24g%24%20such%20that%20%24f%20%5Ccirc%20g%24%20and%20%24g%20%5Ccirc%20f%24%20are%20homotopic%20to%20identities)%2C%20%24%5Ctilde%7Bf%7D%3AX%20%5Cto%20Y%24%20is%20a%20map%20homotopic%20to%20%24f%24.%20By%20the%20lemma%20in%20part%201%2C%20we%20know%20that%20that%20%24f%20%5Csimeq%20%5Ctilde%7Bf%7D%24%20implies%20that%20%24(%5Ctext%7Bid%7D%20%5Csimeq)%20f%20%5Ccirc%20g%20%5Csimeq%20%5Ctilde%7Bf%7D%20%5Ccirc%20g%24%20(and%20the%20other%20way%20of%20composition)%2C%20this%20shows%20%24%5Ctilde%7Bf%7D%24%20is%20a%20homotopy%20equivalence%20realized%20by%20%24g%24%20as%20well.%0A%0A%20%20%20%20%23%23%20Problem%209%0A%0A%20%20%20%20**Show%20that%20a%20retract%20of%20a%20contractible%20space%20is%20contractible**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Suppose%20%24X%24%20is%20a%20contractible%20space%2C%20%24r%3A%20X%20%5Cto%20X%24%20where%20%24r(X)%20%3D%20A%24%20and%20%24r%20%7C_A%20%3D%20%5Ctext%7Bid%7D_A%24%20is%20a%20retraction%20(so%20%24A%24%20is%20the%20retract).%20By%20definition%20%24%5Ctext%7Bid%7D_X%20%5Csimeq%20c%24%20where%20%24c%24%20is%20a%20constant%20map%20on%20%24X%24.%0A%0A%20%20%20%20Write%20%24%5Ctext%7Bid%7D_A%20%3D%20r%20%7C_A%20%3D%20r%20%5Ccirc%20i%24%2C%20where%20%24i%24%20is%20the%20inclusion%20map%20from%20%24A%24%20to%20%24X%24%2C%20%24%3D%20r%20%5Ccirc%20%5Ctext%7Bid%7D_X%20%5Ccirc%20i%24%20(we%20just%20insert%20an%20identity%20part)%20%24%5Csimeq%20r%20%5Ccirc%20c%20%5Ccirc%20i%24%20(this%20is%20from%20above%20exercise).%20Now%20%24r%20%5Ccirc%20c%20%5Ccirc%20i%20%3D%20d%24%20is%20a%20constant%20map%20because%20%24c%24%20is%2C%20then%20%24%5Ctext%7Bid%7D_A%20%5Csimeq%20d%24%20proves%20that%20%24A%24%20is%20contractible.%0A%0A%20%20%20%20%23%23%20Problem%2010%0A%0A%20%20%20%20**Show%20that%20a%20space%20%24X%24%20is%20contractible%20if%20and%20only%20if%20every%20map%20%24f%3A%20X%20%5Cto%20Y%24%2C%20for%20arbitrary%20%24Y%24%2C%20is%20null-homotopic.%20Similarly%2C%20show%20%24X%24%20is%20contractible%20if%20and%20only%20if%20every%20map%20%24f%3A%20Y%20%5Cto%20X%24%20is%20null-homotopic**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20First%20part%3A%0A%0A%20%20%20%20(%24%5CLongrightarrow%24)%20Suppose%20%24X%24%20is%20contractible%20and%20it%20is%20realized%20by%20%24F%3A%20X%20%5Ctimes%20I%20%5Cto%20X%24.%20For%20any%20%24f%3A%20X%20%5Cto%20Y%24%2C%20consider%20the%20map%20%24f%20%5Ccirc%20F%3A%20X%20%5Ctimes%20I%20%5Cto%20Y%24.%20We%20have%20that%20%24(f%20%5Ccirc%20F)(x%2C%200)%20%3D%20f(F(x%2C0))%20%3D%20f(%5Ctext%7Bid%7D)%20%3D%20f%24%20and%20that%20%24(f%20%5Ccirc%20F)(x%2C%201)%20%3D%20f(F(x%2C%201))%24%20%24%3D%20f(c)%20%3D%20c'%24%20is%20a%20constant%2C%20so%20%24f%24%20is%20null-homotopic%3B%0A%0A%20%20%20%20(%24%5CLongleftarrow%24)%20Suppose%20any%20map%20%24f%3A%20X%20%5Cto%20Y%24%20for%20any%20%24Y%24%20is%20null-homotopic%2C%20then%20in%20particular%20%24%5Ctext%7Bid%7D_X%3A%20X%20%5Cto%20X%24%20is%20null-homotopic%2C%20thus%20%24X%24%20is%20contractible.%0A%0A%20%20%20%20Second%20part%3A%0A%0A%20%20%20%20(%24%5CLongrightarrow%24)%20Suppose%20%24X%24%20is%20contractible%20and%20it%20is%20realized%20by%20%24F%3A%20X%20%5Ctimes%20I%20%5Cto%20X%24.%20For%20any%20%24f%3A%20Y%20%5Cto%20X%24%2C%20consider%20the%20map%20%24F%20%5Ccirc%20(f%20%5Ctimes%20%5Ctext%7Bid%7D_I)%3A%20Y%20%5Ctimes%20I%20%5Cto%20X%24%2C%20then%20similar%20with%20above%2C%20this%20gives%20a%20homotopy%20between%20%24f%24%20and%20a%20constant%20map%2C%20thus%20%24f%24%20is%20null-homotopic%3B%0A%0A%20%20%20%20(%24%5CLongleftarrow%24)%20Similar%20with%20above%2C%20this%20means%20%24%5Ctext%7Bid%7D_X%3A%20X%20%5Cto%20X%24%20is%20null-homotopic%20and%20thus%20%24X%24%20is%20contractible.%0A%0A%20%20%20%20%23%23%20Additional%20Problem%0A%0A%20%20%20%20**What%20is%20the%20mapping%20cylinder%20of%20%24f%3A%20S%5E1%20%5Cto%20S%5E1%24%20where%20%24f(z)%20%3D%20z%5E2%24**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20By%20definition%2C%20the%20mapping%20cylinder%20%24M_f%24%20is%20the%20quotient%20space%20of%20%24((S%5E1%20%5Ctimes%20I)%20%5Csqcup%20S%5E1)%2F%5Csim%24%20by%20the%20rule%20%24(z%2C1)%20%5Csim%20z%5E2%20%5Cin%20S%5E1%24.%20We%20consider%20a%20plane%20model%20of%20such%20space.%0A%0A%20%20%20%20Start%20with%20%24S%5E1%20%5Ctimes%20I%24%20and%20%24S%5E1%24%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020221231121320.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20Consider%20the%20function%20%24f(z)%20%3D%20z%5E2%24.%20In%20the%20mapping%20cylinder%20it%20identifies%20the%20first%20half%20circle%20to%20the%20full%20circle%2C%20and%20the%20second%20half%20circle%20to%20the%20full%20circle%20again.%20In%20the%20plane%20model%20it%20means%20to%20glue%20the%20green%20segment%20to%20the%20green%20segment%20on%20the%20rectangle%20twice%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020221231121325.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20We%20can%20cut%20the%20rectangle%20to%20half%20and%20do%20the%20glue%20by%20flipping%20part%20b%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020221231121329.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20We%20know%20this%20is%20a%20standard%20plane%20model%20for%20a%20M%C3%B6bius%20band.%20So%20the%20mapping%20cylinder%20in%20the%20question%20is%20a%20M%C3%B6bius%20band.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2002%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%2014%0A%0A%20%20%20%20**Given%20positive%20integers%20%24v%2C%20e%24%20and%20%24f%24%20satisfying%20%24v-e%2Bf%20%3D%202%24%2C%20construct%20a%20cell%20structure%20on%20%24S%5E2%24%20having%20%24v%24%20%240%24-cells%2C%20%24e%24%20%241%24-cells%2C%20and%20%24f%24%20%242%24-cells**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Start%20with%20the%20simplest%20case%20that%20%24v%20%3D%20f%20%3D%201%24%20and%20%24e%20%3D%200%24.%20We%20can%20construct%20such%20a%20cell%20structure%20on%20%24S%5E2%24%20by%20gluing%20the%20boundary%20of%20a%20disk%20(%242%24-cell)%20to%20a%20point%20(%240%24-cell).%0A%0A%20%20%20%20Now%20we%20do%20the%20following%20operations%3A%0A%0A%20%20%20%201.%20Increase%20%24v%24%20by%20%241%24%20until%20we%20get%20the%20desired%20number%2C%20to%20maintain%20the%20equation%20%24v%20-%20e%20%2B%20f%20%3D%202%24%20we%20must%20increase%20%24e%24%20by%20%241%24%3A%20we%20attach%20one%20end%20of%20the%20new%20%241%24-cell%20to%20the%20first%20%240%24-cell%2C%20and%20attach%20the%20other%20end%20of%20the%20new%20%241%24-cell%20to%20the%20new%20%240%24-cell%3B%20we%20then%20modify%20*the*%20attaching%20map%20of%20the%20%242%24-cell%20to%20the%20existing%20%241%24-skeleton%20by%20letting%20it%20glue%20along%20the%20new%20components%3A%0A%0A%20%20%20%20%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071207.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%202.%20Increase%20%24f%24%20by%20%241%24%20until%20we%20get%20the%20desired%20number%2C%20to%20maintain%20the%20equation%20%24v%20-%20e%20%2B%20f%20%3D%202%24%20we%20must%20increase%20%24e%24%20by%20%241%24%3A%20we%20attach%20both%20ends%20of%20the%20new%20%241%24-cell%20to%20the%20first%20%240%24-cell%3B%20we%20then%20modify%20the%20(first)%20attaching%20map%20so%20that%20it%20glue%20along%20the%20new%20component%3B%20attach%20the%20new%20%242%24-cell%20along%20the%20new%20%241%24-cell%20and%20the%20first%20%240%24-cell%20from%20the%20'inside'%3A%0A%0A%20%20%20%20%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071213.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20%20%20%20%20We%20should%20now%20achieve%20the%20desired%20%24v%2C%20e%2C%20f%24%20and%20a%20corresponding%20cell%20structure%20on%20%24S%5E2%24.%0A%0A%20%20%20%20%23%23%20Additional%20Problem%201%0A%0A%20%20%20%201.%20**Show%20that%20%24CX%24%20(the%20cone%20of%20%24X%24)%20is%20contractible**%3B%0A%20%20%20%202.%20**Show%20%24f%3A%20X%20%5Cto%20Y%24%20is%20homotopic%20to%20a%20constant%20map%20if%20and%20only%20if%20%24f%24%20extends%20to%20a%20map%20%24CX%20%5Cto%20Y%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20Consider%20the%20following%20maps%20and%20diagram%3A%20%24H%3A%20(X%20%5Ctimes%20I)%20%5Ctimes%20I%20%5Cto%20X%20%5Ctimes%20I%24%20by%20%24(x%2C%20t%2C%20s)%20%5Cmapsto%20(x%2C%20st%20%2B1%20-%20s)%24%3B%20a%20natural%20projection%20%24%5Cpi%3A%20X%20%5Ctimes%20I%20%5Cto%20X%20%5Ctimes%20I%2F%5Csim%20%5Ccong%20CX%24%3A%20%24%24%5Cbegin%7Baligned%7D%20%20%26(X%20%5Ctimes%20I)%20%5Ctimes%20I%20%5C%5C%20%26%20%26%5Csearrow%5EH%20%5C%5C%20%26%5Cdownarrow%5E%7B%5Cpi%20%5Ctimes%20%5Ctext%7Bid%7D_I%7D%20%26%20X%20%5Ctimes%20I%20%5C%5C%20%26%20%26%20%26%20%5Csearrow%5E%7B%5Cpi%7D%20%5C%5C%20%26CX%20%5Ctimes%20I%20%26%20%5Cxrightarrow%7BH'%7D%20%26%20CX%20%5Cend%7Baligned%7D%24%24%20(The%20space%20%24CX%20%5Ctimes%20I%24%20can%20be%20viewed%20as%20a%20quotient%20space%20of%20%24(X%20%5Ctimes%20I)%20%5Ctimes%20I%24%20by%20the%20rule%20%24(x%2C1%2Cs)%5Csim%20(x'%2C1%2Cs)%24)%0A%20%20%20%20%09Then%3A%20%24H%24%20is%20continuous%20and%20%24%5Cpi%24%20is%20continuous%2C%20thus%20so%20is%20their%20composition%3B%20%24%5Cpi%20%5Ccirc%20H%20(x%2C1%2Cs)%20%3D%20%5Cpi(x%2C1)%24%20%24%3D%5Cpi(x'%2C1)%20%3D%20%5Cpi%20%5Ccirc%20H%20(x'%2C%201%2C%20s)%24%20for%20any%20%24x%2C%20x'%5Cin%20X%24%20(so%20it%20is%20constant%20on%20equivalent%20class%20that%20realize%20%24CX%20%5Ctimes%20I%24).%20Thus%20by%20the%20universal%20mapping%20property%20of%20quotient%20topology%2C%20there%20exists%20a%20continuous%20%24H'%3A%20CX%20%5Ctimes%20I%20%5Cto%20CX%24%20such%20that%20%24H'%20%5Ccirc%20(%5Cpi%20%5Ctimes%20%5Ctext%7Bid%7D_I)(x%2C%20t%2C%200)%20%3D%20H'(x%2Ct%2C0)%24%20and%20also%20%24%3D%20%5Cpi%20%5Ccirc%20H(x%2Ct%2C0)%20%3D%20%5Cpi(x%2C1)%24%20%24%3D%20c%24.%20So%20%24h'_0%24%20is%20a%20constant%20map%3B%20also%20%24H'%5Ccirc%20(%5Cpi%20%5Ctimes%20%5Ctext%7Bid%7D_I)(x%2C%20t%2C%201)%20%3D%20H'(x%2Ct%2C1)%24%20and%20also%20%24%3D%20%5Cpi%20%5Ccirc%20H(x%2Ct%2C1)%20%3D%20%5Cpi(x%2C%20t)%24%20so%20%24h'_1%24%20is%20the%20identity%20map.%20Thus%20%24H'%24%20is%20a%20homotopy%20between%20a%20constant%20map%20and%20identity%20map%20on%20%24CX%24%20and%20thus%20%24CX%24%20is%20contractible%3B%0A%20%20%20%202.%20(%24%5CLongrightarrow%24)%20Suppose%20%24f%3A%20X%20%5Cto%20Y%24%20is%20homotopic%20to%20a%20constant%20map%3B%20say%20the%20homotopy%20is%20given%20by%20%24H%3A%20X%20%5Ctimes%20I%20%5Cto%20Y%24%20where%20%24h_0%20%3D%20f%24%20and%20%24h_1(X)%20%3D%20c%24%2C%20a%20constant.%20In%20particular%2C%20%24H%24%20is%20a%20map%20that%20is%20constant%20on%20equivalence%20class%20of%20%24X%20%5Ctimes%20I%2F%5Csim%20%5Ccong%20CX%24.%20The%20desired%20statement%20then%20follows%20directly%20from%20the%20universal%20mapping%20property%20of%20quotient%20topology.%0A%20%20%20%20%09(%24%5CLongleftarrow%24)%20Suppose%20for%20a%20given%20%24f%3A%20X%20%5Cto%20Y%24%20we%20can%20extend%20it%20to%20%24%5Ctilde%7Bf%7D%3A%20CX%20%5Cto%20Y%24%20such%20that%20%24%5Ctilde%7Bf%7D%7C_X%20%3D%20f%24.%20Part%201%20of%20this%20problem%20says%20%24CX%24%20is%20contractible%2C%20and%20from%20an%20exercise%20in%20Homework%201%20we%20know%20this%20means%20%24%5Ctilde%7Bf%7D%24%20is%20null-homotopic.%20Write%20%24f%20%3D%20%5Ctilde%7Bf%7D%20%5Ccirc%20%5Cpi%24%20where%20%24%5Cpi%24%20is%20the%20natural%20projection%20from%20%24X%20%5Cto%20CX%24%2C%20then%20again%20from%20an%20exercise%20in%20Homework%201%20we%20have%20%24f%20%3D%20%5Ctilde%7Bf%7D%20%5Ccirc%20%5Cpi%20%5Csimeq%20c%20%5Ccirc%20%5Cpi%20%5Csimeq%20c%24%20where%20%24c%24%20is%20the%20constant%20map%20homotopic%20to%20%24%5Ctilde%7Bf%7D%24%2C%20i.e.%20%24f%24%20is%20also%20null-homotopic.%0A%0A%20%20%20%20%23%23%20Additional%20Problem%202%0A%0A%20%20%20%20**Show%20that%20%24S(S%5En)%20%3D%20S%5E%7Bn%2B1%7D%24%20for%20%24n%20%5Cge%200%24%20(i.e.%20show%20that%20the%20suspension%20of%20%24n%24-sphere%20is%20homeomorphic%20to%20the%20%24n%2B1%24-sphere)**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20definition%2C%20%24S(S%5En)%20%3D%20((S%5En%20%5Ctimes%20I)%2F(S%5En%20%5Ctimes%20%5Clbrace%201%20%5Crbrace))%2F(S%5En%20%5Ctimes%20%5Clbrace%200%20%5Crbrace)%24.%20We%20consider%20the%20CW-complex%20structure%20on%20this%20space.%20Say%20%24S%5En%24%20is%20given%20by%20a%20%240%24-cell%20%24n_1%24%20with%20an%20%24n%24-cell%20%24n_2%24%20attaching%20to%20it%20through%20%24%5Cvarphi%24.%20%24I%24%20is%20given%20by%20two%20%240%24-cell%20%24i_1%2C%20i_2%24%20and%20a%20%241%24-cell%20%24i_3%24%20attaching%20to%20them%20though%20%24%5Cpsi%24.%0A%0A%20%20%20%20Then%20%24X%20%3D%20S%5En%20%5Ctimes%20I%24%20has%20a%20CW-complex%20structure%20as%20follow%3A%0A%0A%20%20%20%201.%20%24X%5E0%24%20consists%20of%20two%20%240%24-cells%20come%20from%20%24n_1%20%5Ctimes%20i_1%24%20and%20%24n_1%20%5Ctimes%20i_2%24%3B%0A%20%20%20%202.%20%24X%5E1%24%20by%20attaching%20%24X%5E0%24%20with%20one%20%241%24-cell%20comes%20from%20%24n_1%20%5Ctimes%20i_3%24%20through%20%24%5Cpsi%24%3B%0A%20%20%20%203.%20%24X%5En%24%20by%20attaching%20%24X%5E1%24%20with%20two%20%24n%24-cells%20come%20from%20%24n_2%20%5Ctimes%20i_1%24%20and%20%24n_2%20%5Ctimes%20i_2%24%20through%20%24%5Cvarphi%24%3B%0A%20%20%20%204.%20%24X%5E%7Bn%2B1%7D%24%20by%20attaching%20%24X%5En%24%20with%20a%20%24n%2B1%24-cell%20comes%20from%20%24n_2%20%5Ctimes%20i_3%24.%0A%0A%20%20%20%20%24Y%20%3D%20S%5En%20%5Ctimes%20%5Clbrace%201%20%5Crbrace%24%20has%20a%20CW-complex%20structure%20with%3A%0A%0A%20%20%20%201.%20%24Y%5E0%24%20consists%20of%20one%20%240%24-cell%20%24n_1%20%5Ctimes%20i_2%24%3B%0A%20%20%20%202.%20%24Y%5En%24%20by%20attaching%20%24X%5E0%24%20with%20one%20%24n%24-cell%20%24n_2%20%5Ctimes%20i_2%24%20through%20%24%5Cpsi%24%3B%0A%0A%20%20%20%20Thus%20%24X%2FY%24%20is%20given%20by%3A%0A%0A%20%20%20%201.%20%24(X%2FY)%5E0%24%20consists%20of%20two%20%240%24-cells%2C%20one%20from%20%24n_1%20%5Ctimes%20i_1%24%2C%20one%20from%20%24Y%24%3B%0A%20%20%20%202.%20%24(X%2FY)%5E1%24%20by%20attaching%20%24(X%2FY)%5E0%24%20with%20one%20%241%24-cell%20from%20%24n_1%20%5Ctimes%20i_3%24%3B%0A%20%20%20%203.%20%24(X%2FY)%5En%24%20by%20attaching%20%24(X%2FY)%5E1%24%20with%20one%20%24n%24-cell%20from%20%24n_2%20%5Ctimes%20i_1%24%3B%0A%20%20%20%204.%20%24(X%2FY)%5E%7Bn%2B1%7D%24%20by%20attaching%20%24(X%2FY)%5En%24%20with%20one%20%24n%2B1%24-cell%20from%20%24n_2%20%5Ctimes%20i_3%24.%0A%0A%20%20%20%20Similarly%20we%20take%20the%20quotient%20by%20%24Z%20%3D%20S%5En%20%5Ctimes%20%5Clbrace%200%20%5Crbrace%24%2C%20the%20result%20%24(X%2FY)%2FZ%20%3D%20C%24%20is%20given%20by%3A%0A%0A%20%20%20%201.%20%24C%5E0%24%20consists%20of%20two%20%240%24-cells%2C%20one%20from%20%24Y%24%20and%20one%20from%20%24Z%24%3B%0A%20%20%20%202.%20%24C%5E1%24%20by%20attaching%20%24C%5E0%24%20with%20one%20%241%24-cell%20from%20%24n_1%20%5Ctimes%20i_3%24%3B%0A%20%20%20%203.%20%24C%5E%7Bn%2B1%7D%24%20by%20attaching%20%24C%5E1%24%20with%20one%20%24n%2B1%24-cell%20from%20%24n_2%20%5Ctimes%20i_3%24.%20The%20attachment%20is%20along%20%24C%5E1%24.%0A%0A%20%20%20%20Graphically%20it%20looks%20like%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071225.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20Which%20is%20equivalent%20with%20a%20%24n%2B1%24-cell%20attaching%20to%20a%20%240%24-cell%2C%20and%20thus%20the%20space%20is%20(homeomorphic%20to)%20%24S%5E%7Bn%2B1%7D%24.%0A%0A%20%20%20%20%23%23%20Additional%20Problem%203%0A%0A%20%20%20%20**Show%20that%20%24S%5En%20%5Cwedge%20S%5Em%20%5Ccong%20S%5E%7Bn%2Bm%7D%24%20(i.e.%20show%20the%20smash%20product%20of%20spheres%20of%20dimensions%20%24n%24%20and%20%24m%24%20is%20homeomorphic%20to%20another%20sphere%20of%20dimension%20%24n%2Bm%24)**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20definition%2C%20%24S%5Em%20%5Cwedge%20S%5En%24%20%24%3D%20S%5Em%20%5Ctimes%20S%5En%20%2F%20S%5Em%20%5Cvee%20S%5En%24.%20We%20consider%20the%20CW-complex%20structure%20on%20this%20space.%20Say%20%24S%5Em%24%20is%20given%20by%20a%20%240%24-cell%20%24m_1%24%20plus%20an%20%24m%24-cell%20%24m_2%24%20and%20the%20attaching%20map%20is%20given%20by%20%24%5Cvarphi%24%3B%20%24S%5En%24%20is%20given%20by%20a%20%240%24-cell%20%24n_1%24%20plus%20an%20%24n%24-cell%20%24n_2%24%20and%20the%20attaching%20map%20is%20given%20by%20%24%5Cpsi%24%2C%20then%20their%20product%20%24X%20%3D%20S%5Em%20%5Ctimes%20S%5En%24%20is%20given%20by%20(WLOG%20say%20%24n%20%5Cle%20m%24)%3A%0A%0A%20%20%20%201.%20%24X%5E0%24%20is%20a%20%240%24-cell%20comes%20from%20%24m_1%20%5Ctimes%20n_1%24%3B%0A%20%20%20%202.%20%24X%5En%24%20comes%20from%20an%20%24n%24-cell%20(comes%20from%20%24m_1%20%5Ctimes%20n_2%24)%20attaching%20to%20%24X%5E0%24%20via%20%24%5Cpsi%24%2C%20which%20in%20particular%20means%20the%20entire%20boundary%20is%20mapped%20to%20the%20%240%24-cell%3B%0A%20%20%20%203.%20%24X%5Em%24%20comes%20from%20an%20%24m%24-cell%20(comes%20from%20%24m_2%20%5Ctimes%20n_1%24)%20attaching%20to%20%24X%5En%24%20via%20%24%5Cvarphi%24%2C%20which%20again%20means%20the%20entire%20boundary%20is%20mapped%20to%20the%20%240%24-cell%3B%0A%20%20%20%204.%20%24X%5E%7Bm%2Bn%7D%24%20comes%20from%20an%20%24m%2Bn%24-cell%20(comes%20from%20%24m_2%20%5Ctimes%20n_2%24)%20attaching%20to%20%24X%5Em%24.%0A%0A%20%20%20%20The%20wedge%20sum%20%24Y%20%3D%20S%5Em%20%5Cvee%20S%5En%24%20is%20given%20by%20the%20disjoint%20union%20of%20%24S%5Em%24%20and%20%24S%5En%24%20(so%20%242%24%20%240%24-cells%2C%20an%20%24m%24-cell%20and%20an%20%24n%24-cell)%20with%20the%20two%20%240%24-cells%20identified.%20In%20particular%2C%20%24Y%24%20is%20the%20same%20as%20%24X%5Em%24.%0A%0A%20%20%20%20Thus%20by%20taking%20quotient%2C%20%24X%2FY%24%20has%20a%20CW-complex%20structure%20with%20a%20%240%24-cell%20and%20an%20%24m%2Bn%24-cell%20attaching%20to%20it%20(through%20a%20constant%20map)%2C%20which%20means%20it%20is%20%24S%5E%7Bm%2Bn%7D%24.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2003%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%2020%0A%0A%20%20%20%20**Show%20that%20the%20subspace%20%24X%20%5Csubset%20%5Cmathbb%7BR%7D%5E3%24%20formed%20by%20a%20Klein%20Bottle%20intersecting%20itself%20in%20a%20circle%20is%20homotopy%20equivalent%20to%20%24S%5E1%5Cvee%20S%5E1%5Cvee%20S%5E2%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20We%20will%20show%20the%20homotopy%20equivalence%20through%20the%20following%20images.%0A%0A%20%20%20%20First%20we%20give%20this%20space%20a%20CW-structure%20by%20adding%20some%20vertices%2Fedges%2Ffaces%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071452.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20(On%20the%20third%20picture%2C%20the%20blue%20line%20is%20not%20really%20an%20edge%2C%20it%20is%20just%20there%20to%20complete%20the%20shape%20of%20the%20surface)%0A%0A%20%20%20%20We%20then%20'contract'%20the%20little%20circle%20to%20one%20vertex%2C%20split%20this%20vertex%20to%20three%20vertices%2C%20and%20drag%20the%20two%20tips.%20This%20creates%20two%20edges%20that%20have%20no%20face%20attached%20(colored%20in%20black)%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071502.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20Two%20pairs%20of%20vertices%20will%20meet%20again%20and%20merge%20to%20two%20vertices.%20Finally%20we%20drag%20the%20remaining%20vertices%20together%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071506.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20So%20in%20the%20end%20we%20get%20a%20vertex%2C%20with%20two%20edges%20and%20a%20face%20attached%20to%20it%20as%20shown%20above%2C%20which%20is%20%24S%5E1%20%5Cvee%20S%5E1%20%5Cvee%20S%5E2%24.%20The%20transformation%20of%20the%20space%20we%20did%20above%20is%20preserved%20by%20homotopy%20equivalence%2C%20and%20thus%20the%20original%20%24X%24%20is%20homotopy%20equivalent%20with%20%24S%5E1%20%5Cvee%20S%5E1%20%5Cvee%20S%5E2%24.%0A%0A%20%20%20%20%23%23%20Problem%2022%0A%0A%20%20%20%20**Let%20%24X%24%20be%20a%20finite%20graph%20lying%20in%20a%20half-plane%20%24P%20%5Csubset%20%5Cmathbb%7BR%7D%5E3%24%20and%20intersecting%20the%20edge%20of%20%24P%24%20in%20a%20subset%20of%20the%20vertices%20of%20%24X%24.%20Describe%20the%20homotopy%20type%20of%20the%20'surface%20of%20revolution'%20obtained%20by%20rotating%20%24X%24%20about%20the%20edge%20line%20of%20%24P%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20%3EThis%20solution%20is%20not%20quite%20correct.%0A%0A%20%20%20%20Assume%20%24X%24%20is%20a%20finite%20and%20connected%20graph%20that%20lies%20entirely%20on%20a%20half%20plane%2C%20take%20revolution%20as%20described%20in%20the%20question%2C%20the%20resulting%20space%20is%20%24X%20%5Ctimes%20S%5E1%24.%20First%20a%20claim%3A%20if%20%24X'%20%5Csubset%20X%24%20and%20%24Y'%20%5Csubset%20Y%24%20are%20deformation%20retracts%2C%20then%20%24X'%20%5Ctimes%20Y'%20%5Csubset%20X%20%5Ctimes%20Y%24%20is%20also%20a%20deformation%20retract.%0A%0A%20%20%20%20A%20quick%20proof%3A%20we%20can%20prove%20that%20if%20%24H%24%20is%20a%20homotopy%20between%20%24f%2C%20g%3A%20X%20%5Cto%20Y%24%20and%20%24H'%24%20is%20a%20homotopy%20between%20%24f'%2C%20g'%3A%20X'%20%5Cto%20Y'%24%2C%20then%20there%20exists%20a%20homotopy%20between%20%24f%5Ctimes%20f'%2C%20g%5Ctimes%20g'%24-%20the%20map%20%24G%3AX%20%5Ctimes%20X'%20%5Ctimes%20I%20%5Cto%20Y%20%5Ctimes%20Y'%24%20given%20by%20%24G(x%2Cx'%2Ct)%20%5Cmapsto%20(H(x%2Ct)%2C%20H'(x'%2Ct))%24%20will%20do%20the%20work.%0A%0A%20%20%20%20Thus%20we%20can%20first%20take%20a%20rather%20simple%20space%20%24X'%24%20that%20has%20the%20same%20homotopy%20type%20with%20%24X%24%2C%20then%20take%20the%20product%20%24X'%20%5Ctimes%20S%5E1%24%2C%20and%20the%20result%20we%20get%20has%20the%20same%20homotopy%20type%20with%20%24X%20%5Ctimes%20S%5E1%24.%0A%0A%20%20%20%20And%20another%20claim%3A%20any%20finite%20connected%20graph%20deformation%20retract%20to%20a%20finite%20wedge%20sum%20of%20circles%2C%20intuitively%20because%20we%20can%20'contract'%20any%20edge%20(and%20merge%20its%20endpoints)%20that%20not%20having%20two%20endpoint%20attached%20to%20the%20same%20vertex%2C%20eventually%20the%20only%20remaining%20parts%20are%20one%20vertex%20and%20a%20number%20of%20edges%20attached%20to%20it%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071516.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20(Each%20step%20we%20'contract'%20the%20edge%20colored%20in%20black)%0A%0A%20%20%20%20Finally%20the%20third%20claim%2C%20the%20surface%20of%20revolution%20of%20an%20edge%20with%20both%20endpoints%20attached%20to%20the%20same%20vertex%20is%20homotopy%20equivalent%20with%20%24S%5E1%20%5Cvee%20S%5E2%24.%20This%20can%20be%20illustrated%20in%20the%20same%20manner%20as%20Problem%2020%20above%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071521.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20If%20we%20have%20a%20(multiple)%20wedge%20sum%20of%20circles%2C%20take%20the%20revolution%20we%20will%20just%20get%20a%20(multiple)%20wedge%20sum%20of%20%24S%5E1%20%5Cvee%20S%5E2%24.%20All%20these%20%24S%5E1%24%20and%20%24S%5E2%24's%20are%20identified%20at%20a%20point.%0A%0A%20%20%20%20Put%20everything%20together%2C%20if%20we%20have%20a%20graph%20%24X%24%2C%20deformation%20retract%20it%20to%20a%20wedge%20sum%20of%20circles%2C%20say%20%24X%20%5Csimeq%20%5Cbigvee%5Climits_%7Bi%20%3D%201%7D%5EnS%5E1%24.%20From%20above%20we%20can%20see%20this%20%24n%24%20can%20be%20calculated%20by%20%24n%20%3D%20e-v%2B1%24%20where%20%24e%24%20is%20the%20number%20of%20edges%20and%20%24v%24%20is%20the%20number%20of%20vertices%20of%20%24X%24%20(each%20step%20we%20remove%20an%20edge%20and%20a%20vertex%2C%20until%20there%20is%20only%20one%20vertex%2C%20and%20the%20number%20of%20circle%20is%20the%20same%20as%20the%20number%20of%20remaining%20edges).%20Then%20the%20surface%20of%20revolution%20of%20%24X%24%20is%20homotopy%20equivalent%20with%20%24%5Cbigvee%5Climits_%7Bi%20%3D%201%7D%5EnS%5E1%20%5Cvee%20%5Cbigvee%5Climits_%7Bi%20%3D%201%7D%5EnS%5E2%24.%20In%20%24n%3D0%24%20then%20the%20surface%20is%20contractible.%0A%0A%20%20%20%20%23%23%20Additional%20Problem%0A%0A%20%20%20%20**Calculate%20homology%20groups%20for%20all%20closed%2C%20compact%2C%20connected%20surfaces**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Any%20closed%20compact%20connected%20surface%20is%20homeomorphic%20to%20exactly%20one%20of%20%24S%5E2%20%5C%23%20nT%5E2%24%20(orientable%20surface%20of%20genus%20%24n%24)%20and%20%24S%5E2%20%5C%23%20n%5Cmathbb%7BR%7DP%5E2%24%20(non-orientable%20surface%20of%20genus%20%24n%24).%20Since%20homeomorphic%20spaces%20have%20the%20same%20homology%20group%2C%20we%20have%20two%20cases%20(denote%20the%20surface%20itself%20to%20be%20%24X%24)%3A%0A%0A%20%20%20%201.%20Orientable%20surface%20of%20genus%20%24n%24.%20In%20this%20case%20the%20surface%20has%20a%20CW-structure%20with%20one%20%240%24-cell%2C%20%242n%24%20%241%24-cells%20(%24a_1%2Cb_1%2Ca_2%2Cb_2%2C%5Cdots%2C%20a_n%2C%20b_n%24)%2C%20and%20one%20%242%24-cells%20(%24D%5E2%24).%20The%20%241%24-cells%20are%20attaching%20to%20the%20%240%24-cell%20simply%20by%20attaching%20all%20the%20endpoints%20to%20it.%20And%20the%20%242%24-cell%20is%20attaching%20to%20these%20%241%24-cells%20by%20%24%5Cprod%5Climits_%7Bi%3D1%7D%5En%5Ba_i%2Cb_i%5D%24.%0A%20%20%20%20%09So%20the%20chain%20groups%20are%20%24C_0(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%2C%20%24C_1(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E%7B2n%7D%24%2C%20%24C_2(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%2C%20and%20everything%20else%20is%20the%20trivial%20group.%0A%20%20%20%20%09For%20the%20boundary%20operator%3A%20%24%5Cpartial_0%24%20is%20%240%24%20because%20%24C_%7B-1%7D(X)%20%3D%200%24%3B%20for%20each%20%24a_i%24%20or%20%24b_i%24%2C%20since%20both%20of%20its%20ends%20are%20attached%20to%20the%20%240%24-cell%20(so%20with%20opposite%20signs)%2C%20%24%5Cpartial_1(a_i)%20%3D%200%24%20and%20%24%5Cpartial_1(b_i)%20%3D%200%24%2C%20thus%20%24%5Cpartial_1%20%3D%200%24%20as%20well%3B%20finally%20%24%5Cpartial_2(D%5E2)%24%20%24%3D%20a_1%20%2B%20b_1%20-%20a_1%20-%20b_1%20%2B%20%5Cdots%20%2B%20a_n%20%2B%20b_n%20-%20a_n%20-%20b_n%24%20%24%3D0%24%20so%20%24%5Cpartial_2%20%3D%200%24.%20Everything%20else%20is%20the%20zero%20map%20as%20well.%0A%20%20%20%20%09Now%20we%20can%20calculate%20the%20homology%20groups%3A%20%24H_0(X)%20%3D%20%5Cker%7B%5Cpartial_0%7D%2Fim%7B%5Cpartial_1%7D%24%20%24%3D%20%5Cmathbb%7BZ%7D%2F0%20%5Ccong%20%5Cmathbb%7BZ%7D%24%3B%20%24H_1(X)%20%3D%20%5Cker%7B%5Cpartial_1%7D%2Fim%7B%5Cpartial_2%7D%24%20%24%3D%5Cmathbb%7BZ%7D%5E%7B2n%7D%2F0%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%5E%7B2n%7D%24%3B%20%24H_2(X)%20%3D%20%5Cker%7B%5Cpartial_2%7D%2Fim%7B%5Cpartial_3%7D%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%24.%20Everything%20else%20is%20the%20trivial%20group%3B%0A%20%20%20%202.%20Non-orientable%20surface%20of%20genus%20%24n%24.%20In%20this%20case%20the%20surface%20has%20a%20CW-structure%20with%20one%20%240%24-cell%2C%20%24n%24%20%241%24-cells%20(%24a_1%2C%5Cdots%2Ca_n%24)%2C%20and%20one%20%242%24-cell%20(%24D%5E2%24).%20Again%20the%20%241%24-cells%20are%20attaching%20to%20the%20%240%24-cell%20by%20attaching%20all%20the%20ends%20to%20it.%20%24D%5E2%24%20is%20attaching%20to%20the%20%241%24-cells%20by%20%24%5Cprod%5Climits_%7Bi%20%3D%201%7D%5Ena_i%5E2%24.%0A%20%20%20%20%09Thus%20the%20chain%20groups%20are%20%24C_0(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%2C%20%24C_1(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%5En%24%2C%20%24C_2(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%2C%20and%20everything%20else%20is%20the%20trivial%20group.%0A%20%20%20%20%09The%20boundary%20operators%20are%3A%20%24%5Cpartial_0%24%20is%20again%20of%20course%20%240%24%3B%20for%20each%20%24i%24%2C%20%24%5Cpartial_1(a_i)%20%3D%200%24%20thus%20%24%5Cpartial_1%20%3D%200%24%20again%3B%20%24%5Cpartial_2%24%20is%20different%20from%20before%2C%20we%20have%20%24%5Cpartial_2(D%5E2)%20%3D%20a_1%20%2B%20a_1%20%2B%20%5Cdots%20%2B%20a_n%20%2B%20a_n%24%2C%20i.e.%20%24%5Cpartial_2%3A%5Cmathbb%7BZ%7D%20%5Cto%20%5Cmathbb%7BZ%7D%5En%24%20by%20%24%5Cpartial_2(x)%20%5Cmapsto%20(2x%2C%5Cdots%2C2x)%24%20(but%20the%20only%20independent%20term%20is%20%242x%24).%20All%20the%20other%20boundary%20operators%20are%20the%20zero%20maps.%0A%20%20%20%20%09Thus%20we%20may%20calculate%20the%20homology%20group%3A%20%24H_0(X)%20%3D%20%5Cker%7B%5Cpartial_0%7D%2Fim%7B%5Cpartial_1%7D%24%20%24%3D%20%5Cmathbb%7BZ%7D%2F0%20%5Ccong%20%5Cmathbb%7BZ%7D%24%3B%20%24H_1(X)%20%3D%20%5Cker%7B%5Cpartial_1%7D%2Fim%7B%5Cpartial_2%7D%24%20%24%3D%5Cmathbb%7BZ%7D%5E%7Bn%7D%2F2%5Cmathbb%7BZ%7D%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%5E%7Bn-1%7D%20%5Ctimes%5Cmathbb%7BZ_2%7D%24%3B%20%24H_2(X)%20%3D%20%5Cker%7B%5Cpartial_2%7D%2Fim%7B%5Cpartial_3%7D%24%20%24%3D%200%2F0%20%5Ccong%200%24%20(because%20%24(2x%2C%5Cdots%2C2x)%20%3D%20(0%2C%5Cdots%2C%200)%24%20%24%5Cimplies%20x%20%3D%200%24).%20Everything%20else%20is%20the%20trivial%20group.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2004%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%201%0A%0A%20%20%20%20**What%20familiar%20space%20is%20the%20quotient%20%24%5CDelta%24-complex%20of%20a%20%242%24-simplex%20%24%5Bv_0%2C%20v_1%2C%20v_2%5D%24%20obtained%20by%20identifying%20the%20edges%20%24%5Bv_0%2C%20v_1%5D%24%20and%20%24%5Bv_1%2C%20v_2%5D%24%2C%20preserving%20the%20ordering%20of%20vertices**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20The%20space%20is%20a%20M%C3%B6bius%20strip%2C%20illustrated%20as%20follow%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071804.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20%23%23%20Problem%202%0A%0A%20%20%20%20**Show%20that%20the%20%24%5CDelta%24-complex%20obtained%20from%20%24%5CDelta%5E3%24%20by%20performing%20the%20order-preserving%20edge%20identifications%20%24%5Bv_0%2C%20v_1%5D%20%5Csim%20%5Bv_1%2C%20v_3%5D%24%20and%20%24%5Bv_0%2C%20v_2%5D%20%5Csim%20%5Bv_2%2C%20v_3%5D%24%20deformation%20retracts%20onto%20a%20Klein%20bottle.%20Also%2C%20find%20other%20pairs%20of%20identifications%20of%20edges%20that%20produce%20%24%5CDelta%24-complexes%20deformation%20retracing%20onto%20a%20torus%2C%20a%20%242%24-sphere%2C%20and%20%24%5Cmathbb%7BR%7DP%5E2%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Start%20with%20an%20edge-identified%20tetrahedron%20and%20illustrate%20the%20deformation%20retract%20as%20follow%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071809.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20Explanation%20of%20each%20step%3A%0A%0A%20%20%20%201.%20Step%201%3A%20deformation%20retract%20to%20the%20face%20consists%20of%20two%20simplexes%20(like%20a%20projection)%20(and%20I%20think%20we%20can%20kind%20of%20stop%20here%20if%20we%20know%20the%20connected%20sum%20of%20two%20%24%5Cmathbb%7BR%7DP%5E2%24%20is%20a%20Klein%20bottle)%3B%0A%20%20%20%202.%20Step%202%20%26%203%3A%20standard%20procedure%20to%20create%20a%20new%20edge%20to%20be%20glued%20later%3B%0A%20%20%20%203.%20Step%204%3A%20prepare%20for%20the%20gluing%20along%20the%20sides%20indicate%20by%20double-arrow.%20Rotate%20the%20triangle%20on%20the%20left%20clock-wise%20for%20one%20side%2C%20rotate%20the%20triangle%20on%20the%20right%20counter-clock-wise%20for%20one%20side%3B%0A%20%20%20%204.%20Step%205%3A%20flip%20the%20triangle%20on%20the%20right%20up-side-down%2C%20so%20the%20double-arrow%20is%20aligned%3B%0A%20%20%20%205.%20Step%206%3A%20glue%2C%20and%20get%20a%20standard%20planar%20model%20of%20Klein%20bottle.%0A%0A%20%20%20%20For%20the%20second%20part%20of%20the%20question%2C%20we%20can%20first%20imagine%20to%20have%20a%20tetrahedron%20deformation%20retract%20to%20a%20diamond%20shape%2C%20then%20just%20identify%20edges%20like%20we%20do%20for%20a%20planar%20model%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071816.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20%23%23%20Problem%203%0A%0A%20%20%20%20**Construct%20a%20%24%5CDelta%24-complex%20on%20%24%5Cmathbb%7BR%7DP%5En%24%20as%20a%20quotient%20of%20a%20%24%5CDelta%24-complex%20structure%20on%20%24S%5En%24%20having%20vertices%20the%20two%20vectors%20of%20length%20%241%24%20along%20each%20coordinate%20axis%20in%20%24%5Cmathbb%7BR%7D%5E%7Bn%2B1%7D%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20First%20we%20construct%20a%20%24%5CDelta%24-complex%20structure%20on%20%24S%5En%24%20consists%20of%20%242%5E%7Bn%2B1%7D%24%20number%20of%20%24n%24-simplexes.%20For%20%24n%20%3D%201%24%20or%20%242%24%20it%20can%20be%20illustrated%20as%20follow%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071826.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20In%20general%2C%20let%20%24v_0%20%3D%20(1%2C%5Coverbrace%7B0%2C%5Cdots%2C0%7D%5En)%24%2C%20%24v_1%20%3D%20(0%2C1%2C0%2C%5Cdots%2C0)%24%2C%20%24%5Cdots%24%2C%20%24v_n%20%3D%20(0%2C%5Cdots%2C0%2C1)%24%20so%20that%20%24%5Bv_0%2C%5Cdots%2C%20v_n%5D%24%20is%20the%20standard%20%24n%24-simplex%2C%20then%20%24S%5En%24%20has%20a%20%24%5CDelta%24-complex%20structure%20consists%20of%20%24%5Clbrace%20%5B%5Cpm%20v_0%2C%20%5Cpm%20v_1%2C%20%5Cdots%2C%20%5Cpm%20v_n%5D%20%5Crbrace%24%20with%20appropriate%20identification%20(e.g.%20%24S%5E1%24%20consists%20of%20%24%5Bv_0%2C%20v_1%5D%24%2C%20%24%5B-v_0%2C%20v_1%5D%24%2C%20%24%5Bv_0%2C%20-v_1%5D%24%20and%20%24%5B-v_0%2C%20-v_1%5D%24%20as%20shown%20on%20the%20above%20graph).%0A%0A%20%20%20%20Now%20%24%5Cmathbb%7BR%7DP%5En%24%20can%20be%20viewed%20as%20%24S%5En%24%20with%20antipodal%20points%20identified.%20So%20on%20simplex%20level%20we%20want%20each%20simplex%20%24V%24%20to%20be%20identified%20with%20%24-V%24%20(keep%20the%20ordering)%2C%20then%20we%20get%20a%20%24%5CDelta%24-complex%20structure%20for%20%24%5Cmathbb%7BR%7DP%5En%24.%20For%20example%2C%20identify%20%24%5Bv_0%2C%20v_1%5D%20%5Csim%20%5B-v_0%2C%20-v_1%5D%24%20and%20%24%5B-v_0%2C%20v_1%5D%20%5Csim%20%5Bv_0%2C%20-v_1%5D%24%20gives%20us%20%24%5Cmathbb%7BR%7DP%5E1%24.%0A%0A%20%20%20%20%23%23%20Problem%204%0A%0A%20%20%20%20**Compute%20the%20simplicial%20homology%20groups%20of%20the%20triangular%20parachute%20obtained%20from%20%24%5CDelta%5E2%24%20by%20identifying%20its%20three%20vertices%20to%20a%20single%20point**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20By%20the%20description%2C%20%24X%24%20can%20be%20described%20by%20the%20following%20diagram%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071832.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20(With%20the%20three%20vertices%20identified%3B%20We%20give%20the%20simplices%20names%20for%20convenience)%0A%0A%20%20%20%20%24X%24%20consists%20of%20%241%24%20%240%24-simplex%2C%20%243%24%20%241%24-simplices%2C%20and%20%241%24%20%242%24-simplex.%20So%20we%20have%20%24%5CDelta_0(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%20generated%20by%20%24%5Csigma_v%24%2C%20%24%5CDelta_1(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E3%24%20generated%20by%20%24%5Csigma_%7Ba%2Cb%2Cc%7D%24%2C%20and%20%24%5CDelta_2(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%20generated%20by%20%24%5Csigma_D%24.%20Since%20there%20is%20just%20one%20vertex%2C%20the%20maps%20are%20all%20rather%20simple.%20The%20other%20chain%20groups%20are%20trivial.%20We%20now%20calculate%20the%20boundary%20operators.%0A%0A%20%20%20%201.%20%24%5Cpartial_2(%5Csigma_D)%24%20%24%3D%5Csigma_D%7C_b%20-%20%5Csigma_D%7C_c%20%2B%20%5Csigma_D%20%7C_a%24%20%24%3D%20%5Csigma_b%20-%20%5Csigma_c%20%2B%20%5Csigma_a%24%3B%0A%20%20%20%202.%20%24%5Cpartial_1(%5Csigma_a)%24%20%24%3D%20%5Csigma_a%7C_v%20-%20%5Csigma_a%7C_v%20%3D%200%24%2C%20and%20similar%20for%20%24%5Csigma_%7Bb%2Cc%7D%24.%0A%0A%20%20%20%20So%20we%20have%3A%0A%0A%20%20%20%201.%20%24H_0%5E%7B%5CDelta%7D(X)%20%3D%20%5Cker%7B%5Cpartial_0%7D%2Fim%7B%5Cpartial_1%7D%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%2F0%20%5Ccong%20%5Cmathbb%7BZ%7D%24%20(because%20%24%5Cpartial_1%24%20and%20of%20course%20%24%5Cpartial_0%24%20are%20%240%24%20maps)%3B%0A%20%20%20%202.%20%24H_1%5E%7B%5CDelta%7D(X)%20%3D%20%5Cker%7B%5Cpartial_1%7D%2Fim%7B%5Cpartial_2%7D%24%20%24%5Ccong%20%5Clangle%20%5Csigma_a%2C%5Csigma_b%2C%5Csigma_c%20%5Crangle%2F%5Clangle%20%5Csigma_b%20-%20%5Csigma_c%20%2B%20%5Csigma_a%20%5Crangle%24%20%24%5Ccong%20%5Clangle%20%5Csigma_a%2C%20%5Csigma_b%20%5Crangle%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%5E2%24%3B%0A%20%20%20%203.%20%24H_2%5E%7B%5CDelta%7D(X)%20%3D%20%5Cker%7B%5Cpartial_2%7D%2Fim%7B%5Cpartial_3%7D%24%20%24%5Ccong%200%2F0%20%5Ccong%200%24.%0A%0A%20%20%20%20And%20the%20other%20simplicial%20homology%20groups%20are%20of%20course%20trivial.%0A%0A%20%20%20%20%23%23%20Problem%205%0A%0A%20%20%20%20**Compute%20the%20simplicial%20homology%20groups%20of%20the%20Klein%20bottle%20using%20the%20%24%5CDelta%24-complex%20structure%20described%20at%20the%20beginning%20of%20this%20section**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20The%20%24%5CDelta%24-complex%20structure%20was%20described%20as%20follow%20(a%20screenshot%20from%20the%20book)%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101071841.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20So%20this%20space%20%24K%24%20consists%20of%20%241%24%20%240%24-simplex%2C%20thus%20%24%5CDelta_0(K)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%20generated%20by%20%24%5Csigma_v%24%3B%20%243%24%20%241%24-simplices%2C%20thus%20%24%5CDelta_1(K)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E3%24%20generated%20by%20%24%5Csigma_%7Ba%2Cb%2Cc%7D%24%3B%20and%20%242%24%20%242%24-simplices%2C%20thus%20%24%5CDelta_2(K)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E2%24%20generated%20by%20%24%5Csigma_%7BU%2CL%7D%24%2C%20which%20can%20be%20described%20as%20following%20to%20preserve%20ordering%20of%20vertices%3A%0A%0A%20%20%20%20Calculate%20the%20boundary%20operators%3A%0A%0A%20%20%20%201.%20%24%5Cpartial_2(%5Csigma_U)%24%20%24%3D%20%5Csigma_U%7C_b%20-%20%5Csigma_U%7C_c%20%2B%20%5Csigma_U%7C_a%24%20%24%3D%20%5Csigma_b%20-%20%5Csigma_c%20%2B%20%5Csigma_a%24%3B%0A%20%20%20%202.%20%24%5Cpartial_2(%5Csigma_L)%24%20%24%3D%20%5Csigma_L%7C_a%20-%20%5Csigma_L%7C_b%20%2B%20%5Csigma_L%7C_c%24%20%24%3D%20%5Csigma_a%20-%20%5Csigma_b%20%2B%20%5Csigma_c%24%3B%0A%20%20%20%203.%20%24%5Cpartial_1(%5Csigma_a)%24%20%24%3D%20%5Csigma_a%7C_v%20-%20%5Csigma_a%7C_v%20%3D%200%24%20and%20again%20same%20for%20%24%5Csigma_%7Bb%2Cc%7D%24.%0A%0A%20%20%20%20Thus%20we%20can%20compute%20the%20homology%20groups%3A%0A%0A%20%20%20%201.%20%24H_0%5E%7B%5CDelta%7D(K)%24%20%24%3D%20%5Cker%7B%5Cpartial_0%7D%2Fim%7B%5Cpartial_1%7D%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%2F0%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%24%3B%0A%20%20%20%202.%20%24H_1%5E%7B%5CDelta%7D(K)%24%20%24%3D%20%5Cker%7B%5Cpartial_1%7D%2Fim%7B%5Cpartial_2%7D%24%20%24%5Ccong%20%5Clangle%20%5Csigma_a%2C%20%5Csigma_b%2C%20%5Csigma_c%20%5Crangle%2F%5Clangle%20%5Csigma_a%20-%20%5Csigma_c%20%2B%20%5Csigma_b%2C%20%5Csigma_a%20-%20%5Csigma_b%20%2B%20%5Csigma_c%20%5Crangle%24%20%24%5Ccong%20%5Clangle%20%5Csigma_a%2C%20%5Csigma_b%2C%20%5Csigma_c%20%5Crangle%2F%5Clangle%20%5Csigma_a%20-%20%5Csigma_c%20%2B%20%5Csigma_b%2C%202%5Csigma_a%20%5Crangle%24%20%24%5Ccong%20%5Clangle%20%5Csigma_a%2C%20%5Csigma_b%20%5Crangle%2F%5Clangle%202%5Csigma_a%20%5Crangle%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%24%3B%0A%20%20%20%203.%20%24H_2%5E%7B%5CDelta%7D(K)%24%20%24%3D%20%5Cker%7B%5Cpartial_2%7D%2Fim%7B%5Cpartial_3%7D%24%20%24%5Ccong%200%2F0%20%5Ccong%200%24%20(because%20%24%5Csigma_b%20-%20%5Csigma_c%20%2B%20%5Csigma_a%24%20and%20%24%5Csigma_a%20-%20%5Csigma_b%20%2B%20%5Csigma_c%24%20are%20linearly%20independent%20if%20viewed%20as%20vectors%20in%20basis%20%24%5Csigma_%7Ba%2Cb%2Cc%7D%24).%0A%0A%20%20%20%20%23%23%20Problem%209%0A%0A%20%20%20%20**Compute%20the%20homology%20groups%20of%20the%20%24%5CDelta%24-complex%20%24X%24%20obtained%20from%20%24%5CDelta%5En%24%20by%20identifying%20all%20faces%20of%20the%20same%20dimension.%20Thus%20%24X%24%20has%20a%20single%20%24k%24-simplex%20for%20each%20%24k%20%5Cle%20n%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20By%20the%20description%2C%20%24X%24%20consists%20of%20%241%24%20%24k%24-simplex%20(let%20us%20denote%20them%20by%20%24%5Cdelta_k%24)%20for%20each%20%24k%20%5Cle%20n%24%2C%20thus%20%24%5CDelta_k(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%20for%20each%20%24k%24%2C%20generated%20by%20%24%5Csigma_%7B%5Cdelta_k%7D%24.%20Let%20us%20compute%20the%20boundary%20operator%3A%0A%0A%20%20%20%201.%20%24%5Cpartial_0(%5Csigma_%7B%5Cdelta_0%7D)%20%3D%200%24%20is%20trivial%3B%0A%20%20%20%202.%20%24%5Cpartial_1(%5Csigma_%7B%5Cdelta_1%7D)%24%20%24%3D%20%5Csigma_%7B%5Cdelta_1%7D%20%7C_%7B%5Cdelta_0%7D%20-%20%5Csigma_%7B%5Cdelta_1%7D%20%7C_%7B%5Cdelta_0%7D%24%20%24%3D%200%24%3B%0A%20%20%20%203.%20%24%5Cpartial_2(%5Csigma_%7B%5Cdelta_2%7D)%24%20%24%3D%20%5Csigma_%7B%5Cdelta_2%7D%20%7C_%7B%5Cdelta_1%7D%20-%20%5Csigma_%7B%5Cdelta_2%7D%20%7C_%7B%5Cdelta_1%7D%20%2B%20%5Csigma_%7B%5Cdelta_2%7D%20%7C_%7B%5Cdelta_1%7D%24%20%24%3D%20%5Csigma_%7B%5Cdelta_2%7D%20%7C_%7B%5Cdelta_1%7D%24%20%24%3D%20%5Csigma_%7B%5Cdelta_1%7D%24%3B%0A%20%20%20%204.%20%24%5Cdots%24%0A%20%20%20%205.%20We%20can%20see%20a%20pattern%20here%20from%20the%20way%20it%20is%20calculated%3A%20%24%24%5Cpartial_k(%5Csigma_%7B%5Cdelta_k%7D)%3D%20%5Cbegin%7Bcases%7D%200%2C%26k%5Ctext%7B%20odd%20or%20equals%20%7D0%5C%5C%20%5Csigma_%7B%5Cdelta_%7Bk-1%7D%7D%2C%26%5Ctext%7Botherwise%7D%5Cend%7Bcases%7D%24%24%20With%20these%20we%20can%20now%20calculate%20the%20homology%20groups%3A%0A%20%20%20%206.%20%24H%5E%7B%5CDelta%7D_0(X)%24%20%24%3D%20%5Cker%7B%5Cpartial_0%7D%2Fim%7B%5Cpartial_1%7D%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%2F0%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%24%3B%20this%20works%20even%20if%20%24n%20%3D%200%24%20because%20%24im%7B%5Cpartial_1%7D%24%20would%20be%20%240%24%20anyway%3B%0A%20%20%20%207.%20If%20%24n%20%3E%201%24%2C%20then%20%24H%5E%7B%5CDelta%7D_1(X)%24%20%24%3D%20%5Cker%7B%5Cpartial_1%7D%2Fim%7B%5Cpartial_2%7D%24%20%24%5Ccong%20%5Clangle%20%5Csigma_%7B%5Cdelta_1%7D%20%5Crangle%2F%5Clangle%20%5Csigma_%7B%5Cdelta_1%7D%20%5Crangle%24%20%24%5Ccong%200%24%3B%20however%20if%20%24n%20%3D%201%24%2C%20then%20%24im%7B%5Cpartial_2%7D%24%20would%20be%20%240%24%20thus%20%24H%5E%7B%5CDelta%7D_1(X)%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%2F0%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%24%3B%0A%20%20%20%208.%20%24H%5E%7B%5CDelta%7D_2(X)%24%20%24%3D%20%5Cker%7B%5Cpartial_2%7D%2Fim%7B%5Cpartial_3%7D%24%20%24%5Ccong%200%2Fim%7B%5Cpartial_3%7D%24%20%24%5Ccong%200%24%3B%20and%20we%20can%20see%20that%20it%20does%20not%20depends%20on%20if%20%24n%20%3E%202%24%20or%20not%3B%0A%20%20%20%209.%20So%20again%2C%20we%20can%20see%20a%20pattern%20here%20from%20the%20calculation%3A%20%24%24H%5E%7B%5CDelta%7D_k(X)%20%5Ccong%20%5Cbegin%7Bcases%7D%5Cmathbb%7BZ%7D%2C%26k%20%3D%200%5C%5C0%2C%26n%20%3C%20k%5C%5C%5Cmathbb%7BZ%7D%2C%26k%5Ctext%7B%20odd%20and%20%7Dk%20%3D%20n%5C%5C0%2C%26k%5Ctext%7B%20odd%20and%20%7Dk%20%3C%20n%5C%5C0%2C%26k%5Ctext%7B%20even%7D%20%5Cend%7Bcases%7D%24%24%20(or%20put%20it%20in%20another%20way%2C%20if%20%24n%24%20is%20even%2C%20then%20the%20only%20non-trivial%20homology%20group%20is%20%24H%5E%7B%5CDelta%7D_0(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%2C%20and%20if%20%24n%24%20is%20odd%2C%20then%20the%20only%20non-trivial%20homology%20group%20is%20%24H%5E%7B%5CDelta%7D_0(X)%2C%20H%5E%7B%5CDelta%7D_n(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24)%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2005%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%2011%0A%0A%20%20%20%20**Show%20that%20if%20%24A%24%20is%20a%20retract%20of%20%24X%24%20then%20the%20map%20%24H_n(A)%20%5Cto%20H_n(X)%24%20induced%20by%20the%20inclusion%20%24A%20%5Chookrightarrow%20X%24%20is%20injective**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20If%20%24A%24%20is%20a%20retract%20of%20%24X%24%2C%20then%20by%20definition%20there%20exists%20%24r%3A%20X%20%5Cto%20A%24%20so%20that%20%24r%20%5Ccirc%20i%20%3D%20%5Ctext%7Bid%7D%24%20where%20%24i%24%20is%20the%20inclusion%20%24A%20%5Chookrightarrow%20X%24.%20Thus%20%24(r%20%5Ccirc%20i)_%7B*%7D%20%3D%20%5Ctext%7Bid%7D_%7B*%7D%24%2C%20and%20thus%20%24r_%7B*%7D%20%5Ccirc%20i_%7B*%7D%20%3D%20%5Ctext%7Bid%7D%24.%20In%20particular%20this%20means%20%24r_%7B*%7D%20%5Ccirc%20i_%7B*%7D%24%20is%20injective.%20But%20then%20it%20is%20a%20rather%20preliminary%20result%20that%20%24f%20%5Ccirc%20g%24%20being%20injective%20implies%20%24g%24%20being%20injective%2C%20thus%20%24i_%7B*%7D%24%20is%20injective%20which%20is%20the%20desired%20result.%0A%0A%20%20%20%20%23%23%20Problem%2012%0A%0A%20%20%20%20**Show%20that%20chain%20homotopy%20of%20chain%20maps%20is%20an%20equivalence%20relation**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Recall%20that%20two%20chain%20maps%20%24f_%7B%5C%23%7D%2C%20g_%7B%5C%23%7D%3A%20C_n(X)%20%5Cto%20C_n(Y)%24%20are%20chain%20homotopic%20if%20there%20exists%20maps%20%24P_n%3A%20C_n(X)%20%5Cto%20C_%7Bn%2B1%7D(Y)%24%20such%20that%20%24P_%7Bn-1%7D%5Ccirc%20%5Cpartial_n%5EX%20%2B%20%5Cpartial_%7Bn%2B1%7D%5EY%20%5Ccirc%20P_n%20%3D%20g_%7B%5C%23%7D%20-%20f_%7B%5C%23%7D%24.%20For%20readability%2C%20we%20just%20write%20LHS%20as%20%24P%5Cpartial%20%2B%20%5Cpartial%20P%24%20and%20write%20%24f_%7B%5C%23%7D%20%5Csim%20g_%7B%5C%23%7D%24%20if%20they%20are%20chain%20homotopic.%20We%20follow%20the%20axioms%20to%20prove%20it's%20an%20equivalence%20relation.%0A%0A%20%20%20%201.%20Reflexivity%3A%20Take%20%24P_n%24%20to%20be%20the%20zero%20map%20for%20each%20%24n%24%2C%20then%20%24P%5Cpartial%20%2B%20%5Cpartial%20P%24%20%24%3D%200%2B0%20%3D%200%24%20(%24%5Cpartial%24%20is%20a%20homomorphism)%20which%20can%20be%20viewed%20as%20%24f_%7B%5C%23%7D%20-%20f_%7B%5C%23%7D%24%2C%20so%20%24f_%7B%5C%23%7D%20%5Csim%20f_%7B%5C%23%7D%24%3B%0A%20%20%20%202.%20Symmetry%3A%20Suppose%20%24f_%7B%5C%23%7D%20%5Csim%20g_%7B%5C%23%7D%24%20so%20%24P%5Cpartial%20%2B%20%5Cpartial%20P%20%3D%20g_%7B%5C%23%7D%20-%20f_%7B%5C%23%7D%24%2C%20then%20take%20%24Q%20%3D%20-P%24%20we%20have%20%24Q%5Cpartial%20%2B%20%5Cpartial%20Q%24%20%24%3D%20-P%5Cpartial%20%2B%20%5Cpartial%20(-P)%24%20%24%3D%20-(P%5Cpartial%20%2B%20%5Cpartial%20P)%24%20%24%3D%20f_%7B%5C%23%7D%20-%20g_%7B%5C%23%7D%24%20thus%20%24g_%7B%5C%23%7D%20%5Csim%20f_%7B%5C%23%7D%24%3B%0A%20%20%20%203.%20Transitivity%3A%20Suppose%20%24f_%7B%5C%23%7D%20%5Csim%20g_%7B%5C%23%7D%24%20realized%20by%20%24P%24%20and%20%24g_%7B%5C%23%7D%20%5Csim%20h_%7B%5C%23%7D%24%20realized%20by%20%24Q%24%2C%20then%20%24h_%7B%5C%23%7D%20-%20f_%7B%5C%23%7D%24%20%24%3D%20(h_%7B%5C%23%7D%20-%20g_%7B%5C%23%7D)%20%2B%20(g_%7B%5C%23%7D%20-%20f_%7B%5C%23%7D)%24%20%24%3D%20Q%5Cpartial%20%2B%20%5Cpartial%20Q%20%2B%20P%5Cpartial%20%2B%20%5Cpartial%20P%24%20%24%3D%20(P%2BQ)%5Cpartial%20%2B%20%5Cpartial(P%2BQ)%24%20(point-wise%20addition%20for%20maps)%20which%20shows%20that%20%24f_%7B%5C%23%7D%20%5Csim%20h_%7B%5C%23%7D%24.%20The%20last%20equality%20is%20due%20to%20the%20fact%20that%20all%20involved%20groups%20are%20abelian%20so%20we%20can%20change%20orders%2C%20and%20%24%5Cpartial%2C%20P%2C%20Q%24%20are%20all%20homomorphisms%20so%20preserve%20the%20operation.%0A%0A%20%20%20%20Thus%20all%20three%20axioms%20are%20satisfied%2C%20the%20relation%20is%20an%20equivalent%20relation.%0A%0A%20%20%20%20%23%23%20Problem%2013%0A%0A%20%20%20%20**Verify%20that%20%24f%20%5Csimeq%20g%24%20implies%20%24f_*%20%3D%20g_*%24%20for%20induced%20homomorphisms%20of%20reduced%20homology%20groups**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20(Let's%20give%20the%20spaces%20name%2C%20say%20%24f%5Csimeq%20g%3A%20X%20%5Cto%20Y%24.%20Also%20for%20clarity%2C%20let%20us%20write%20%24%5Ctilde%7B%5Ccdot%7D%24%20whenever%20we%20are%20talking%20about%20reduced%20homology%20group%20or%20extended%20chain%20complex)%0A%0A%20%20%20%20We%20already%20have%20the%20theorem%20says%20that%20%24f_*%20%3D%20g_*%24%20for%20induced%20homomorphisms%20of%20homology%20groups.%20We%20also%20know%20that%20%24H_n%20%5Ccong%20%5Ctilde%7BH%7D_n%24%20except%20when%20%24n%20%3D%200%24.%0A%0A%20%20%20%20The%20reduced%20homology%20groups%20comes%20from%20the%20following%20chain%20complex%3A%20%24%24%5Cbegin%7Barray%7D%7Bccccccccc%7D%20%5Cdots%20%26%5Clongrightarrow%20%26C_1(X)%20%26%5Clongrightarrow%5E%7B%5Cpartial_1%7D%20%26C_0(X)%20%26%5Clongrightarrow%5E%7B%5Cvarepsilon%7D%20%26%5Cmathbb%7BZ%7D%20%26%5Clongrightarrow%20%260%20%5C%5C%20%5C%5C%20%26%26%5E%7Bf_%7B%5C%23%7D%2Cg_%7B%5C%23%7D%7D%5Cdownarrow%26%5EP%5Cswarrow%20%26%5E%7Bf_%7B%5C%23%7D%2Cg_%7B%5C%23%7D%7D%5Cdownarrow%26%20%5EQ%5Cswarrow%26%5E%7B%5Ctilde%7Bf%7D_%7B%5C%23%7D%2C%5Ctilde%7Bg%7D_%7B%5C%23%7D%7D%5Cdownarrow%20%5C%5C%20%5C%5C%20%5Cdots%20%26%5Clongrightarrow%20%26C_1(Y)%20%26%5Clongrightarrow%5E%7B%5Cpartial_1%7D%20%26C_0(Y)%20%26%5Clongrightarrow%5E%7B%5Cvarepsilon%7D%20%26%5Cmathbb%7BZ%7D%20%26%5Clongrightarrow%20%260%5Cend%7Barray%7D%24%24%20where%20%24%5Ctilde%7Bf%7D_%7B%5C%23%7D%24%20and%20%24%5Ctilde%7Bg%7D_%7B%5C%23%7D%24%2C%20by%20definition%20of%20%24%5Cvarepsilon%24%2C%20%24f_%7B%5C%23%7D%24%20and%20%24g_%7B%5C%23%7D%24%2C%20must%20be%20the%20identity%20map.%20If%20there%20exists%20%24Q%24%20so%20that%20%24P%24%20(a%20collection%20of%20maps)%20together%20with%20%24Q%24%20is%20a%20chain%20homotopy%2C%20then%20%24f_%7B%5C%23%7D(%5Calpha)%24%20and%20%24g_%7B%5C%23%7D(%5Calpha)%24%20would%20determine%20the%20same%20homology%20class%20and%20thus%20%24f_*%20%3D%20g_*%24%20as%20desired.%0A%0A%20%20%20%20Indeed%2C%20take%20%24Q%24%20to%20be%20the%20zero%20map%2C%20then%20we%20have%3A%0A%0A%20%20%20%201.%20%24%5Cpartial_1%20P%20%2B%20Q%5Cvarepsilon%24%20%24%3D%20%5Cpartial_1%20P%20%2B%200%24%20%24%3D%20g_%7B%5C%23%7D%20-%20f_%7B%5C%23%7D%24%3B%0A%20%20%20%202.%20%24%5Cvarepsilon%20Q%20(%2B0)%24%20%24%3D%200%20%3D%20%5Ctilde%7Bg%7D_%7B%5C%23%7D%20-%20%5Ctilde%7Bf%7D_%7B%5C%23%7D%24%20because%20they%20are%20both%20identity%20map%3B%0A%20%20%20%203.%20%24%5Cpartial%20P%20%2B%20P%20%5Cpartial%20%3D%20g_%7B%5C%23%7D%20-%20f_%7B%5C%23%7D%24%20for%20higher%20%24n%24%20still%20holds%20because%20%24P%24%20is%20a%20chain%20homotopy.%0A%0A%20%20%20%20So%20we%20have%20a%20chain%20homotopy%2C%20then%20by%20the%20above%20argument%2C%20%24f_*%24%20and%20%24g_*%24%20are%20equal.%0A%0A%20%20%20%20%23%23%20Problem%2014%0A%0A%20%20%20%20**Determine%20whether%20there%20exists%20a%20short%20exact%20sequence%20%240%20%5Cto%20%5Cmathbb%7BZ%7D_4%20%5Cto%20%5Cmathbb%7BZ%7D_8%20%5Coplus%20%5Cmathbb%7BZ%7D_2%20%5Cto%20%5Cmathbb%7BZ%7D_4%20%5Cto%200%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20So%20we%20want%20to%20find%20some%20%24i%3A%20%5Cmathbb%7BZ%7D_4%20%5Cto%20%5Cmathbb%7BZ%7D_8%20%5Coplus%20%5Cmathbb%7BZ%7D_2%24%20that%20is%20injective%2C%20and%20%24j%3A%20%5Cmathbb%7BZ%7D_8%20%5Coplus%20%5Cmathbb%7BZ%7D_2%20%5Cto%20%5Cmathbb%7BZ%7D_4%24%20that%20is%20surjective%2C%20and%20%24%5Ctext%7Bim%7D(i)%20%3D%20%5Cker%7B(j)%7D%24.%20Merely%20from%20the%20point%20of%20order%20of%20groups%20(%244%5Ctimes%204%20%3D%2016%24)%2C%20there%20can%20be%20a%20short%20exact%20sequence%2C%20indeed%3A%0A%0A%20%20%20%20One%20example%20is%20to%20have%20%24i(1)%20%3D%20(2%2C%201)%24%2C%20then%20%24%5Ctext%7Bim%7D(i)%20%3D%20%5Clbrace%20(2%2C1)%2C%20(4%2C%200)%2C%20(6%2C1)%2C%20(0%2C0)%20%5Crbrace%24%20(so%20that%20it%20is%20a%20homomorphism).%20Notice%20then%20%24(%5Cmathbb%7BZ%7D_8%20%5Coplus%20%5Cmathbb%7BZ%7D_2)%2F%5Ctext%7Bim%7D(i)%24%20%24%3D%20%5Clbrace%20%5B(0%2C0)%5D%2C%5B(1%2C0)%5D%2C%5B(2%2C0)%5D%2C%5B3%2C0%5D%20%5Crbrace%24%20%24%3D%20%5Cmathbb%7BZ%7D_4%24%2C%20then%20the%20natural%20projection%20map%20%24%5Cmathbb%7BZ%7D_8%20%5Coplus%20%5Cmathbb%7BZ%7D_2%20%5Cto%20(%5Cmathbb%7BZ%7D_8%20%5Coplus%20%5Cmathbb%7BZ%7D_2)%2F%5Ctext%7Bim%7D(i)%24%20may%20serve%20as%20a%20desired%20%24j%24.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2006%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%2015%0A%0A%20%20%20%20**For%20an%20exact%20sequence%20%24A%20%5Cto%20B%20%5Cto%20C%20%5Cto%20D%20%5Cto%20E%24%20show%20that%20%24C%20%3D%200%24%20if%20and%20only%20if%20the%20map%20%24A%20%5Cto%20B%24%20is%20surjective%20and%20%24D%20%5Cto%20E%24%20is%20injective.%20Hence%20for%20a%20pair%20of%20spaces%20%24(X%2C%20A)%24%2C%20the%20inclusion%20%24A%20%5Cto%20X%24%20induces%20isomorphisms%20on%20all%20homology%20groups%20if%20and%20only%20if%20%24H_n(X%2C%20A)%20%3D%200%24%20for%20all%20%24n%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20us%20give%20the%20maps%20names%3A%20%24%24A%20%5Cxrightarrow%7Bi%7D%20B%20%5Cxrightarrow%7Bj%7D%20C%20%5Cxrightarrow%7Bk%7D%20D%20%5Cxrightarrow%7Bh%7D%20E.%24%24%20Suppose%20%24C%20%3D%200%24%2C%20then%20%24j%24%20has%20no%20other%20choice%20but%20the%20zero%20map%2C%20thus%20%24%5Cker%7Bj%7D%20%3D%20B%24%2C%20thus%20%24%5Ctext%7Bim%7D(i)%20%3D%20%5Cker%7Bj%7D%20%3D%20B%24%2C%20which%20means%20%24i%24%20is%20surjective%3B%20also%20%24k%24%20has%20no%20other%20choice%20but%20the%20zero%20map%20(because%20homomorphism%20maps%20identity%20to%20identity)%2C%20so%20%24%5Ctext%7Bim%7D(k)%20%3D%200%24%2C%20thus%20%24%5Cker%7Bh%7D%20%3D%20%5Ctext%7Bim%7D(k)%20%3D%200%24%2C%20which%20means%20%24h%24%20is%20injective.%0A%0A%20%20%20%20Conversely%2C%20suppose%20%24i%24%20is%20surjective%20and%20%24h%24%20is%20injective%2C%20we%20can%20get%20that%20both%20%24j%24%20and%20%24k%24%20are%20zero%20maps%20(using%20the%20same%20argument%20but%20different%20direction).%20But%20then%20the%20exactness%20told%20us%20%240%20%3D%20%5Ctext%7Bim%7D(j)%20%3D%20%5Cker%7Bk%7D%24%2C%20so%20%24k%24%20is%20an%20injective%20zero%20map%2C%20which%20forces%20%24C%24%20to%20be%20%240%24.%0A%0A%20%20%20%20The%20second%20statement%20is%20rather%20immediate%20from%20the%20first%20statement%2C%20consider%20%24%24%5Cbegin%7Baligned%7D%5Cdots%20%26%5Cto%20H_%7Bn%2B1%7D(A)%20%5Cto%20H_%7Bn%2B1%7D(X)%20%5Cto%20H_%7Bn%2B1%7D(X%2CA)%20%3D%200%20%5Cto%20%5C%5C%20%26%5Cto%20H_%7Bn%7D(A)%20%5Cto%20H_%7Bn%7D(X)%20%5Cto%20H_%7Bn%7D(X%2C%20A)%20%3D%200%20%5Cto%20%5C%5C%20%26%5Cto%20H_%7Bn-1%7D(A)%20%5Cto%20H_%7Bn-1%7D(X)%20%5Cto%20H_%7Bn-1%7D(X%2C%20A)%20%3D%200%20%5Cto%20%5Cdots%5Cend%7Baligned%7D%24%24%20Then%20%24H_%7Bn%2B1%7D(A)%20%5Cto%20H_%7Bn%2B1%7D(X)%20%5Cto%200%20%5Cto%20H_%7Bn%7D(A)%20%5Cto%20H_%7Bn%7D(X)%24%20implies%20%24H_%7Bn%7D(A)%20%5Cto%20H_%7Bn%7D(X)%24%20is%20injective%2C%20and%20%24H_%7Bn%7D(A)%20%5Cto%20H_%7Bn%7D(X)%20%5Cto%200%20%5Cto%20H_%7Bn-1%7D(A)%20%5Cto%20H_%7Bn-1%7D(X)%24%20implies%20%24H_%7Bn%7D(A)%20%5Cto%20H_%7Bn%7D(X)%24%20is%20surjective%2C%20thus%20it%20is%20an%20isomorphism.%0A%0A%20%20%20%20%23%23%20Problem%2016%0A%0A%20%20%20%201.%20**Show%20that%20%24H_0(X%2C%20A)%20%3D%200%24%20if%20and%20only%20if%20%24A%24%20meets%20each%20path-component%20of%20%24X%24**%3B%0A%20%20%20%202.%20**Show%20that%20%24H_1(X%2C%20A)%20%3D%200%24%20if%20and%20only%20if%20%24H_1(A)%20%5Cto%20H_1(X)%24%20is%20surjective%20and%20each%20path-component%20of%20%24X%24%20contains%20at%20most%20one%20path-component%20of%20%24A%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20Suppose%20%24A%24%20meets%20each%20path-component%20of%20%24X%24.%0A%20%20%20%20%20%20%20%20First%20we%20assume%20%24X%24%20is%20path-connected%2C%20in%20this%20case%20it%20means%20%24A%20%5Csubset%20X%24%20is%20not%20empty.%20Pick%20any%20%24x%20%5Cin%20A%20%5Csubset%20X%24%2C%20then%20the%20homology%20class%20%24%5Bx%5D%20%5Cin%20H_0(A)%24%20is%20mapped%20to%20%24%5Bx%5D%20%5Cin%20H_0(X)%24%20(because%20it%20is%20induced%20by%20inclusion).%20In%20particular%20%24H_0(A)%20%5Cto%20H_0(X)%24%20is%20surjective.%0A%20%20%20%20%20%20%20%20Now%20assume%20the%20general%20case%2C%20we%20know%20%24H_0(A)%20%5Ccong%20%5Cbigoplus%20H_0(A_i)%24%20and%20%24H_0(X)%20%5Ccong%20%5Cbigoplus%20H_0(X_i)%24%20where%20%24X_i%24%20are%20the%20path%20components%20of%20%24X%24%20and%20%24A_i%20%3D%20A%20%5Ccap%20X_i%24.%20Each%20%24H_0(A_i)%20%5Cto%20H_0(X_i)%24%20is%20surjective%2C%20thus%20%24H_0(A)%20%5Cto%20H_0(X)%24%20is%20also%20surjective.%20It%20then%20follows%20from%20Problem%2015%20that%20%24H_0(X%2C%20A)%24%20must%20be%20%240%24.%0A%20%20%20%20%20%20%20%20Conversely%2C%20suppose%20%24A%24%20does%20not%20meet%20each%20path-component%20of%20%24X%24%2C%20in%20particular%20it%20means%20%24A_i%20%3D%20A%20%5Ccap%20X_i%20%3D%20%5Cvarnothing%24%20for%20some%20%24i%24%2C%20but%20then%20for%20this%20%24i%24%20we%20have%20%24H_0(A_i)%20%3D%200%20%5Cto%20H_0(X_i)%20%5Cto%20H_0(X_i%2CA_i)%20%5Cto%200%24%2C%20which%20by%20exactness%20means%20%24H_0(X_i%2CA_i)%20%5Ccong%20H_0(X_i)%20%3D%20%5Cmathbb%7BZ%7D%24%2C%20then%20%24H_0(X%2CA)%24%20cannot%20be%20%240%24%3B%0A%20%20%20%202.%20By%20problem%2015%2C%20the%20statement%20is%20equivalent%20with%20'%24H_0(A)%20%5Cto%20H_0(X)%24%20is%20injective%20if%20and%20only%20if%20each%20path-component%20of%20%24X%24%20contains%20at%20most%20one%20path-component%20of%20%24A%24'.%0A%20%20%20%20%20%20%20%20So%20suppose%20each%20path-component%20of%20%24X%24%20contains%20at%20most%20one%20path-component%20of%20%24A%24.%0A%20%20%20%20%20%20%20%20First%20we%20assume%20%24X%24%20is%20path-connected%2C%20then%20either%20%24A%20%3D%20%5Cvarnothing%24%20or%20%24A%24%20is%20path-connected%20and%20non-empty.%20If%20%24A%24%20is%20empty%2C%20then%20of%20course%20%24H_0(A)%20%5Cto%20H_0(X)%24%20is%20injective.%20If%20%24A%24%20is%20path-connected%20and%20non-empty%2C%20pick%20any%20%24x%20%5Cin%20A%20%5Csubset%20X%24%2C%20then%20the%20homology%20class%20%24%5Bx%5D%20%5Cin%20H_0(A)%24%20is%20mapped%20to%20%24%5Bx%5D%20%5Cin%20H_0(X)%24.%20In%20fact%2C%20in%20this%20case%20the%20map%20%24H_0(A)%20%5Cto%20H_0(X)%24%20is%20just%20the%20identity%2C%20so%20of%20course%20is%20injective.%0A%20%20%20%20%20%20%20%20For%20the%20general%20case%2C%20we%20have%20that%20%24H_0(A)%20%3D%20%5Cbigoplus%20H_0(A_i)%20%5Cto%20H_0(X)%20%3D%20%5Cbigoplus%20H_0(X_i)%24%20is%20injective%20because%20each%20%24H_0(A_i)%20%5Cto%20H_0(X_i)%24%20is%20injective.%0A%20%20%20%20%20%20%20%20Conversely%2C%20suppose%20there%20is%20some%20path-component%20of%20%24X%24%20contains%20at%20least%20two%20path-components%20of%20%24A%24.%20So%20for%20certain%20%24i%24%2C%20we%20have%20%24H_0(A_i)%20%5Ccong%20%5Cmathbb%7BZ%7D%5En%24%20(%24n%20%3E1%24)%20and%20%24H_0(X_i)%20%5Ccong%20%5Cmathbb%7BZ%7D%24.%20But%20for%20%24n%20%3E%201%24%2C%20there%20is%20no%20injective%20homomorphism%20%24%5Cmathbb%7BZ%7D%5En%20%5Cto%20%5Cmathbb%7BZ%7D%24%2C%20so%20%24H_0(A_i)%20%5Cto%20H_0(X_i)%24%20is%20not%20injective.%20Then%20%24%5Cbigoplus%20H_0(A_i)%20%5Cto%20%5Cbigoplus%20H_0(X_i)%24%20also%20cannot%20be%20injective.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2007%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%2017%0A%0A%20%20%20%201.%20**Compute%20the%20homology%20groups%20%24H_n(X%2CA)%24%20when%20%24X%24%20is%20%24S%5E2%24%20or%20%24S%5E1%20%5Ctimes%20S%5E1%24%20and%20%24A%24%20is%20a%20finite%20set%20of%20points%20of%20%24X%24**%3B%0A%20%20%20%202.%20**Compute%20the%20groups%20%24H_n(X%2CA)%24%20and%20%24H_n(X%2CB)%24%20for%20%24X%24%20a%20closed%20orientable%20surface%20of%20genus%20two%20with%20%24A%24%20and%20%24B%24%20the%20circles%20shown%20(What%20are%20%24X%2FA%24%20and%20%24X%2FB%24%3F)**.%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101072547.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20Consider%20the%20LES%20of%20the%20pair%20%24(X%2CA)%24%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%26%26%5Cdots%26%5Cto%26H_3(X%2CA)%26%5Cto%20%26%5C%5C%20%5Cto%20%26%20H_2(A)%20%26%20%5Cto%20%26%20H_2(X)%20%26%20%5Cto%20%26%20H_2(X%2C%20A)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20H_1(A)%20%26%20%5Cto%20%26%20H_1(X)%20%26%20%5Cto%20%26%20H_1(X%2C%20A)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20H_0(A)%20%26%20%5Cto%20%26%20H_0(X)%20%26%20%5Cto%20%26%20H_0(X%2C%20A)%20%26%20%5Cto%20%260%20%5Cend%7Barray%7D%24%24%20First%2C%20let%20%24X%24%20be%20%24S%5E2%24%2C%20so%20that%20we%20know%20%24H_2(X)%20%3D%20%5Cmathbb%7BZ%7D%24%2C%20%24H_0(X)%20%3D%20%5Cmathbb%7BZ%7D%24%2C%20and%20all%20other%20%24H_n(X)%20%3D%200%24.%20%24A%24%20is%20by%20assumption%20a%20finite%20set%20of%20discrete%20points%2C%20so%20%24H_0(A)%20%3D%20%5Cmathbb%7BZ%7D%5Em%24%20where%20%24m%24%20is%20the%20number%20of%20points%20in%20%24A%24%2C%20and%20%24H_n(A)%20%3D%200%24%20for%20all%20the%20other%20%24n%24's.%0A%20%20%20%20%20%20%20%20So%20in%20particular%2C%20%24H_n(A)%20%3D%20H_n(X)%20%3D%200%24%20for%20all%20%24n%20%3E%202%24%2C%20which%20leaves%20that%20%24H_n(X%2CA)%20%3D%200%24%20for%20all%20%24n%20%3E%203%24.%20For%20lower%20dimensions%20we%20have%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%5Cdots%26%5Cto%260%26%5Cto%26H_3(X%2CA)%26%5Cto%20%26%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_2(X%2C%20A)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_1(X%2C%20A)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%5Em%20%26%20%5Cxrightarrow%7Bi%7D%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cxrightarrow%7Bj%7D%20%26%20H_0(X%2C%20A)%20%26%20%5Cxrightarrow%7Bk%7D%20%260%20%5Cend%7Barray%7D%24%24%20%24H_3(X%2C%20A)%24%20must%20be%20%240%24%20because%20it%20is%20in%20between%20two%20zeroes.%20%24H_2(X%2C%20A)%24%20must%20be%20isomorphic%20to%20%24%5Cmathbb%7BZ%7D%24%20because%20we%20have%20%240%20%5Cto%20%5Cmathbb%7BZ%7D%20%5Cto%20H_2(X%2CA)%20%5Cto%200%24.%20Consider%20the%20map%20%24i%24%2C%20since%20%24S%5E2%24%20has%20only%20one%20path-component%2C%20%24i%24%20must%20be%20surjective%20because%20it%20is%20induced%20by%20the%20inclusion%20map.%20Thus%20%24%5Ctext%7Bim%7D(i)%20%3D%20%5Cmathbb%7BZ%7D%20%3D%20%5Cker(j)%24%20thus%20%24%5Ctext%7Bim%7D(j)%20%3D%200%20%3D%20%5Cker(k)%24%2C%20but%20%24%5Cker(k)%24%20should%20be%20the%20entire%20%24H_0(X%2CA)%24%2C%20so%20%24H_0(X%2C%20A)%20%3D%200%24.%20Thus%20we%20are%20left%20with%20a%20short%20exact%20sequence%20%240%20%5Cto%20H_1(X%2CA)%20%5Cto%20%5Cmathbb%7BZ%7D%5Em%20%5Cto%20%5Cmathbb%7BZ%7D%20%5Cto%200%24.%20Thus%20%24H_1(X%2CA)%24%20must%20be%20%24%5Cmathbb%7BZ%7D%5E%7Bm-1%7D%24%20because%20%24%5Cmathbb%7BZ%7D%5Em%2FH_1(X%2CA)%20%5Ccong%20%5Cmathbb%7BZ%7D%24.%0A%20%20%20%20%20%20%20%20In%20short%2C%20%24H_n(X%2CA)%20%3D%20%5Cbegin%7Bcases%7D%200%26%2Cn%3D0%2Cn%3E2%5C%5C%20%5Cmathbb%7BZ%7D%26%2Cn%20%3D%202%20%5C%5C%20%5Cmathbb%7BZ%7D%5E%7Bm-1%7D%26%2Cn%20%3D%201%2Cm%3D%7C%20A%20%7C%5Cend%7Bcases%7D%24.%0A%20%20%20%20%20%20%20%20Now%20let%20%24X%20%3D%20S%5E1%20%5Ctimes%20S%5E1%24%20be%20the%20torus%2C%20then%20we%20know%20%24H_0(X)%20%3D%20%5Cmathbb%7BZ%7D%24%2C%20%24H_1(X)%20%3D%20%5Cmathbb%7BZ%7D%5E2%24%2C%20%24H_2(X)%20%3D%20%5Cmathbb%7BZ%7D%24%2C%20and%20everything%20else%20is%20%240%24.%20Same%20as%20before%2C%20%24H_0(A)%20%3D%20%5Cmathbb%7BZ%7D%5Em%24%20where%20%24m%24%20is%20the%20number%20of%20points%20in%20%24A%24%2C%20and%20%24H_n(A)%20%3D%200%24%20for%20all%20the%20other%20%24n%24's.%20So%20again%20for%20%24n%20%3E%203%24%20we%20must%20have%20%24H_n(X%2CA)%20%3D%200%24%20and%20for%20lower%20dimensions%20we%20have%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%5Cdots%26%5Cto%260%26%5Cto%26H_3(X%2CA)%26%5Cto%20%26%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_2(X%2C%20A)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%5E2%20%26%20%5Cto%20%26%20H_1(X%2C%20A)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%5Em%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_0(X%2C%20A)%20%26%20%5Cto%260%20%5Cend%7Barray%7D%24%24%20So%20with%20the%20very%20same%20argument%2C%20we%20have%20that%20%24H_3(X%2CA)%20%3D%200%24%2C%20%24H_2(X%2C%20A)%20%3D%20%5Cmathbb%7BZ%7D%24%2C%20and%20%24H_0(X%2CA)%20%3D%200%24.%20We%20are%20left%20with%20an%20exact%20sequence%20%24%240%20%5Cxrightarrow%7B%5Calpha%7D%20%5Cmathbb%7BZ%7D%5E2%20%5Cxrightarrow%7B%5Cbeta%7D%20H_1(X%2CA)%20%5Cxrightarrow%7B%5Cgamma%7D%20%5Cmathbb%7BZ%7D%5Em%20%5Cxrightarrow%7B%5Cdelta%7D%20%5Cmathbb%7BZ%7D%20%5Cxrightarrow%7B%5Cvarepsilon%7D%200.%24%24%0A%20%20%20%20%20%20%20%20Since%20%24%5Ctext%7Bim%7D(%5Calpha)%20%3D%200%24%2C%20we%20must%20have%20%24%5Cker(%5Cbeta)%20%3D%200%24%20thus%20%24%5Ctext%7Bim%7D(%5Cbeta)%20%3D%20%5Cmathbb%7BZ%7D%5E2%20%3D%20%5Cker(%5Cgamma)%24.%20On%20the%20other%20side%2C%20%24%5Ctext%7Bim%7D(%5Cdelta)%20%3D%20%5Cker(%5Cvarepsilon)%20%3D%20%5Cmathbb%7BZ%7D%24%2C%20thus%20isomorphism%20theorem%20says%20%24%5Ctext%7Bim%7D(%5Cdelta)%20%3D%20%5Cmathbb%7BZ%7D%5Em%2F%5Cker(%5Cdelta)%24%20thus%20%24%5Cker(%5Cdelta)%20%3D%20%5Cmathbb%7BZ%7D%5E%7Bm-1%7D%24.%20But%20%24%5Cker(%5Cdelta)%20%3D%20%5Ctext%7Bim%7D(%5Cgamma)%24%2C%20then%20isomorphism%20theorem%20says%20%24%5Ctext%7Bim%7D(%5Cgamma)%20%3D%20H_1(X%2CA)%2F%5Cker(%5Cgamma)%24%20thus%20%24H_1(X%2CA)%20%3D%20%5Cmathbb%7BZ%7D%5E%7Bm-1%7D%20%5Ctimes%20%5Cmathbb%7BZ%7D%5E2%20%3D%20%5Cmathbb%7BZ%7D%5E%7Bm%2B1%7D%24.%0A%20%20%20%20%20%20%20%20In%20short%2C%20%24H_n(X%2CA)%20%3D%20%5Cbegin%7Bcases%7D%200%26%2Cn%3D0%2Cn%3E2%5C%5C%20%5Cmathbb%7BZ%7D%26%2Cn%20%3D%202%20%5C%5C%20%5Cmathbb%7BZ%7D%5E%7Bm%2B1%7D%26%2Cn%20%3D%201%2Cm%3D%7C%20A%20%7C%5Cend%7Bcases%7D%24%3B%0A%20%20%20%202.%20We%20will%20try%20to%20use%20the%20theorem%20that%20%24H_n(X%2CA)%20%3D%20%5Ctilde%7BH%7D_n(X%2FA)%24.%20So%20we%20need%20to%20know%20what%20is%20%24X%2FA%24%20and%20%24X%2FB%24.%20It's%20not%20too%20hard%20to%20see%20%24X%2FA%24%20is%20homotopic%20equivalent%20to%20a%20wedge%20sum%20of%20two%20tori%2C%20and%20%24X%2FB%24%20is%20homotopic%20equivalent%20to%20a%20wedge%20sum%20of%20one%20torus%20and%20one%20circle%3A%0A%0A%20%20%20%20%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101072605.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20%20%20%20%20Then%20by%20corollary%202.25%20in%20the%20book%2C%20we%20get%20that%20%24%5Ctilde%7BH%7D_n(X%2FA)%20%5Ccong%20%5Ctilde%7BH%7D_n(S%5E1%20%5Ctimes%20S%5E1)%20%5Coplus%20%5Ctilde%7BH%7D_n(S%5E1%20%5Ctimes%20S%5E1)%24%2C%20thus%20%24H_n(X%2CA)%20%3D%20%5Ctilde%7BH%7D_n(X%2FA)%20%3D%20%5Cbegin%7Bcases%7D%200%26%2Cn%3D0%2C%20n%3E2%5C%5C%20%5Cmathbb%7BZ%7D%5E4%26%2Cn%20%3D%201%20%5C%5C%20%5Cmathbb%7BZ%7D%5E2%26%2Cn%3D2%20%5Cend%7Bcases%7D%24.%20Similarly%2C%20%24%5Ctilde%7BH%7D_n(X%2FB)%20%5Ccong%20%5Ctilde%7BH%7D_n(S%5E1%20%5Ctimes%20S%5E1)%20%5Coplus%20%5Ctilde%7BH%7D_n(S%5E1)%24%20thus%20%24H_n(X%2CB)%20%3D%20%5Ctilde%7BH%7D_n(X%2FB)%20%3D%20%5Cbegin%7Bcases%7D%200%26%2Cn%3D0%2C%20n%3E2%5C%5C%20%5Cmathbb%7BZ%7D%5E3%26%2Cn%20%3D%201%20%5C%5C%20%5Cmathbb%7BZ%7D%26%2Cn%3D2%20%5Cend%7Bcases%7D%24.%0A%0A%20%20%20%20%23%23%20Problem%2022%0A%0A%20%20%20%20**Prove%20by%20induction%20on%20dimension%20the%20following%20facts%20about%20the%20homology%20of%20a%20finite-dimensional%20CW-complex%20%24X%24%2C%20using%20the%20observation%20that%20%24X%5En%2FX%5E%7Bn-1%7D%24%20is%20a%20wedge%20sum%20of%20%24n%24-pheres**%3A%0A%0A%20%20%20%201.%20**If%20%24X%24%20has%20dimension%20%24n%24%20then%20%24H_i(X)%20%3D%200%24%20for%20%24i%20%3E%20n%24%20and%20%24H_n(X)%24%20is%20free**%3B%0A%20%20%20%202.%20**%24H_n(X)%24%20is%20free%20with%20basis%20in%20bijective%20correspondence%20with%20the%20%24n%24-cells%20if%20there%20are%20no%20cells%20of%20dimension%20%24n-1%24%20or%20%24n%2B1%24**%3B%0A%20%20%20%203.%20**If%20%24X%24%20has%20%24k%24%20%24n%24-cells%2C%20then%20%24H_n(X)%24%20is%20generated%20by%20at%20most%20%24k%24%20elements**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20If%20%24n%20%3D%200%24%2C%20then%20we%20know%20the%20statement%20is%20true%3A%20%24H_i(X)%20%3D%200%24%20for%20all%20positive%20%24i%24%20and%20%24H_0(X)%20%3D%20%5Cmathbb%7BZ%7D%5Em%24%20which%20is%20free%20where%20%24m%24%20is%20the%20number%20of%20points%20in%20%24X%24.%0A%20%20%20%20%20%20%20%20Suppose%20now%20%24n%3E0%24%20and%20the%20statement%20is%20true%20for%20%24n-1%24%20(in%20particular%2C%20it%20works%20for%20%24X%5E%7Bn-1%7D%24).%20Then%20%24X%5E%7Bn-1%7D%24%20is%20not%20empty%20because%20at%20least%20it%20contains%20some%20%240%24-cells%2C%20so%20the%20pair%20%24(X%5En%2C%20X%5E%7Bn-1%7D)%24%20makes%20sense.%20We%20have%20%24H_i(X%5En%2C%20X%5E%7Bn-1%7D)%24%20%24%5Ccong%20%5Ctilde%7BH%7D_i(X%5En%2FX%5E%7Bn-1%7D)%24%20%24%5Ccong%20%5Ctilde%7BH%7D_i(%5Cvee%5E%5Calpha%20S%5En)%24%20%24%5Ccong%20%5Cbigoplus_%7B%5Calpha%7D%5Ctilde%7BH%7D_i(S%5En)%24%20by%20the%20observation%20and%20corollary%202.25.%0A%20%20%20%20%20%20%20%20We%20know%20%24%5Ctilde%7BH%7D_i(S%5En)%20%3D%20%5Cmathbb%7BZ%7D%24%20only%20when%20%24i%20%3D%20n%24%2C%20so%20for%20all%20%24i%3En%24%2C%20we%20have%20%24H_%7Bi%2B1%7D(X%5En%2CX%5E%7Bn-1%7D)%20%3D%200%20%5Cto%20H_i(X%5E%7Bn-1%7D)%20%5Cto%20H_i(X%5En)%20%5Cto%20H_i(X%5En%2C%20X%5E%7Bn-1%7D)%20%3D%200%24%20thus%20%24H_i(X%5E%7Bn-1%7D)%20%5Ccong%20H_i(X%5En)%20%3D%20H_i(X)%24.%20By%20inductive%20assumption%2C%20%24H_i(X%5E%7Bn-1%7D)%20%3D%200%24%2C%20thus%20%24H_i(X)%20%3D%200%24.%20For%20%24i%20%3D%20n%24%2C%20we%20have%20the%20exact%20sequence%20%24H_n(X%5E%7Bn-1%7D)%20%3D%200%20%5Cto%20H_n(X%5En)%20%5Cxrightarrow%7Bi%7D%20%5Cbigoplus_%7B%5Calpha%7D%5Ctilde%7BH%7D_n(S%5En)%20%3D%20%5Cmathbb%7BZ%7D%5E%7B%5Calpha%7D%24%20thus%20%24H_n(X%5En)%20%3D%20H_n(X)%24%20must%20be%20a%20subgroup%20(because%20%24i%24%20is%20injective)%20of%20%24%5Cmathbb%7BZ%7D%5E%7B%5Calpha%7D%24%2C%20but%20subgroup%20of%20free%20group%20is%20free%2C%20thus%20%24H_n(X)%24%20is%20free%3B%0A%20%20%20%202.%20Suppose%20%24X%24%20has%20dimension%20%24m%24.%20If%20%24n%20%3E%20m%24%20then%20by%20part%201%20%24H_n(X)%20%3D%200%24%20and%20the%20statement%20is%20of%20course%20true.%20If%20%24m%20%3E%20n%2B1%24%20(%24X%24%20does%20not%20have%20%24n%2B1%24-cell%20so%20we%20won't%20have%20%24m%20%3D%20n%2B1%24)%2C%20consider%20%24k%3En%24%20and%20the%20pair%20%24(X%5E%7Bk%2B1%7D%2C%20X%5Ek)%24.%20We%20have%20an%20exact%20sequence%20%24H_%7Bn%2B1%7D(X%5E%7Bk%2B1%7D%2C%20X%5Ek)%20%5Cto%20H_n(X%5Ek)%20%5Cto%20H_n(X%5E%7Bk%2B1%7D)%20%5Cto%20H_n(X%5E%7Bk%2B1%7D%2CX%5Ek)%24%2C%20where%20by%20the%20observation%20and%20that%20%24k%2B1%20%3E%20n%2B1%24%2C%20we%20get%20%240%20%5Cto%20H_n(X%5Ek)%20%5Cto%20H_n(X%5E%7Bk%2B1%7D)%20%5Cto%200%24%20thus%20%24H_n(X%5Ek)%20%5Ccong%20H_n(X%5E%7Bk%2B1%7D)%24.%20Since%20this%20work%20for%20any%20%24k%20%3E%20n%24%2C%20we%20get%20that%20%24H_n(X%5Ek)%20%5Ccong%20H_n(X%5E%7Bk%2B1%7D)%20%5Ccong%20%5Cdots%20%5Ccong%20H_n(X%5Em)%20%3D%20H_n(X)%24.%0A%20%20%20%20%20%20%20%20In%20particular%2C%20take%20%24k%20%3D%20n%2B1%20%3E%20n%24%20we%20have%20%24H_n(X)%20%5Ccong%20H_n(X%5E%7Bn%2B1%7D)%24.%20Since%20we%20are%20only%20interested%20in%20%24H_n%24%2C%20thus%20WLOG%20we%20can%20assume%20%24X%20%3D%20X%5E%7Bn%2B1%7D%24.%20Also%20by%20the%20assumption%20we%20know%20%24X%20%3D%20X%5En%24%20and%20%24X%5E%7Bn-1%7D%20%3D%20X%5E%7Bn-2%7D%24.%0A%20%20%20%20%20%20%20%20If%20%24n%20%3D%200%24%20then%20we%20know%20%24H_0(X)%24%20is%20free%20with%20rank%20equals%20the%20number%20of%20points%20in%20%24X%24%2C%20so%20the%20statement%20is%20true.%20The%20statement%20is%20also%20trivially%20true%20for%20%24n%20%3D%201%24%20because%20there%20is%20no%20CW-complex%20without%20a%20%240%24-cell.%0A%20%20%20%20%20%20%20%20Suppose%20%24n%3E1%24%20(so%20now%20%24n-2%24%20makes%20sense).%20Consider%20the%20pair%20%24(X_n%2CX%5E%7Bn-1%7D)%24%2C%20we%20get%20an%20exact%20sequence%20%24%24H_n(X%5E%7Bn-1%7D)_%7B%3D%200%7D%20%5Cto%20H_n(X%5En)_%7B%3D%20H_n(X)%7D%20%5Cto%20H_n(X%5En%2C%20X%5E%7Bn-1%7D)_%7B%5Ccong%20%5Cmathbb%7BZ%7D%5E%7B%5Calpha%7D%7D%20%5Cto%20H_%7Bn-1%7D(X%5E%7Bn-1%7D)_%7B%3D%20H_%7Bn-1%7D(X%5E%7Bn-2%7D)%20%3D%200%7D.%24%24%20Thus%20%24H_n(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E%7B%5Calpha%7D%24%20where%20by%20the%20observation%2C%20%24%5Calpha%24%20should%20be%20the%20number%20of%20%24n%24-cells%2C%20as%20desired%3B%0A%20%20%20%203.%20Consider%20the%20pair%20%24(X%5En%2C%20X%5E%7Bn-1%7D)%24%2C%20we%20have%20an%20exact%20sequence%20%24H_n(X%5E%7Bn-1%7D)%20%3D%200%20%5Cto%20H_n(X%5En)%20%5Cto%20H_n(X%5En%2C%20X%5E%7Bn-1%7D)%20%5Ccong%20%5Cmathbb%7BZ%7D%5Ek%24%2C%20thus%20%24H_n(X%5En)%24%20is%20a%20subgroup%20of%20%24%5Cmathbb%7BZ%7D%5Ek%24%20so%20is%20generated%20by%20at%20most%20%24k%24%20elements.%0A%20%20%20%20%20%20%20%20Consider%20the%20pair%20%24(X%5E%7Bn%2B1%7D%2CX%5En)%24%20and%20the%20exact%20sequence%20%24H_n(X%5En)%20%5Cxrightarrow%7Bi%7D%20H_n(X%5E%7Bn%2B1%7D)%20%5Cto%20H_n(X%5E%7Bn%2B1%7D%2CX%5En)%20%3D%200%24%2C%20so%20that%20%24i%24%20must%20be%20surjective%2C%20and%20thus%20%24H_n(X%5E%7Bn%2B1%7D)%24%20is%20generated%20by%20at%20most%20%24k%24%20elements.%20Now%20apply%20the%20result%20we%20used%20in%20part%202%2C%20we%20have%20%24H_n(X)%20%3D%20H_n(X%5E%7Bn%2B1%7D)%24%20thus%20%24H_n(X)%24%20is%20generated%20by%20at%20most%20%24k%24%20elements.%0A%0A%20%20%20%20%23%23%20Problem%2031%0A%0A%20%20%20%20**Using%20the%20notation%20of%20the%20five-lemma%2C%20give%20an%20example%20where%20the%20maps%20%24%5Calpha%24%2C%20%24%5Cbeta%24%2C%20%24%5Cdelta%24%2C%20and%20%24%5Cvarepsilon%24%20are%20zero%20but%20%24%5Cgamma%24%20is%20non-zero.%20This%20can%20be%20done%20with%20short%20exact%20sequences%20in%20which%20all%20the%20groups%20are%20either%20%24%5Cmathbb%7BZ%7D%24%20or%20%240%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20The%20following%20is%20an%20example%20with%20all%20groups%20are%20either%20%24%5Cmathbb%7BZ%7D%24%20or%20%240%24%3A%20%24%24%5Cbegin%7BCD%7D%200%20%40%3E%3E%3E%200%20%40%3E%3E%3E%20%5Cmathbb%7BZ%7D%20%40%3E%3E%3E%20%5Cmathbb%7BZ%7D%20%40%3E%3E%3E%200%20%5C%5C%20%40VVV%20%40VVV%20%40VVV%20%40VVV%20%40VVV%20%5C%5C%200%20%40%3E%3E%3E%20%5Cmathbb%7BZ%7D%20%40%3E%3E%3E%20%5Cmathbb%7BZ%7D%20%40%3E%3E%3E%200%20%40%3E%3E%3E%200%20%5Cend%7BCD%7D%24%24%20Let%20each%20map%20between%20%24%5Cmathbb%7BZ%7D%24%20and%20%24%5Cmathbb%7BZ%7D%24%20be%20the%20identity%2C%20and%20any%20other%20map%20be%20zero%20map.%20In%20particular%2C%20%24%5Calpha%24%2C%20%24%5Cbeta%24%2C%20%24%5Cdelta%24%2C%20and%20%24%5Cvarepsilon%24%20are%20zero%20but%20%24%5Cgamma%24%20is%20non-zero.%0A%0A%20%20%20%20In%20both%20lines%20%240%20%5Cto%20%5Cmathbb%7BZ%7D%20%5Cto%20%5Cmathbb%7BZ%7D%20%5Cto%200%24%20satisfies%20the%20exactness%20condition%2C%20and%20each%20square%20is%20commutative%20(in%20fact%2C%20composition%20of%20any%20two%20arrows%20gives%20the%20zero%20map).%0A%0A%20%20%20%20%23%23%20Additional%20Problem%0A%0A%20%20%20%20**Calculate%20%24H_*(%5Cmathbb%7BC%7DP%5En)%24%20for%20all%20non-negative%20integers%20%24n%24.%20Use%20the%20LES%20for%20pairs%20%24(%5Cmathbb%7BC%7DP%5En%2C%20%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%24%20and%20that%20%24%5Cmathbb%7BC%7DP%5En%2F%5Cmathbb%7BC%7DP%5E%7Bn-1%7D%20%3D%20S%5E%7B2n%7D%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20If%20%24n%20%3D%200%24%20then%20%24%5Cmathbb%7BC%7DP%5E0%24%20is%20just%20a%20point.%20If%20%24n%20%3D%201%24%20then%20%24%5Cmathbb%7BC%7DP%5E1%20%5Ccong%20S%5E2%24.%20So%20in%20these%20cases%20it's%20easy%20to%20calculate%20the%20homology%20groups.%0A%0A%20%20%20%20Claim%3A%20%24%24H_i(%5Cmathbb%7BC%7DP%5En)%20%3D%20%5Cbegin%7Bcases%7D%20%5Cmathbb%7BZ%7D%26%2C%20i%5Ctext%7B%20even%7D%2C%200%5Cle%20i%20%5Cle%202n%2C%5C%5C0%26%2C%5Ctext%7B%20otherwise.%7D%20%5Cend%7Bcases%7D%24%24%20We%20prove%20the%20claim%20with%20an%20induction.%20It's%20not%20hard%20to%20see%20this%20statement%20is%20true%20for%20%24n%20%3D%200%2C%201%24.%20Suppose%20the%20statement%20is%20true%20for%20%24n-1%24%2C%20we%20show%20it%20is%20true%20for%20%24n%24.%0A%0A%20%20%20%20Consider%20the%20pair%20%24(%5Cmathbb%7BC%7DP%5En%2C%20%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%24%20we%20have%20the%20following%20LES%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%26%26%5Cdots%20%5C%5C%20%5Cto%20%26%20H_%7B2n%2B1%7D(%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20H_%7B2n%2B1%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%20H_%7B2n%2B1%7D(%5Cmathbb%7BC%7DP%5En%2C%20%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20H_%7B2n%7D(%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20H_%7B2n%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%20H_%7B2n%7D(%5Cmathbb%7BC%7DP%5En%2C%20%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20%20%5C%5C%20%5Cto%20%26%20H_%7B2n-1%7D(%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20H_%7B2n-1%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%20H_%7B2n-1%7D(%5Cmathbb%7BC%7DP%5En%2C%20%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20%5C%5C%20%26%26%26%5Cdots%20%5C%5C%20%5Cto%20%26%20H_%7B2m%2B1%7D(%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20H_%7B2m%2B1%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%20H_%7B2m%2B1%7D(%5Cmathbb%7BC%7DP%5En%2C%20%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20H_%7B2m%7D(%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20H_%7B2m%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%20H_%7B2m%7D(%5Cmathbb%7BC%7DP%5En%2C%20%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20%20%5C%5C%20%5Cto%20%26%20H_%7B2m-1%7D(%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20H_%7B2m-1%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%20H_%7B2m-1%7D(%5Cmathbb%7BC%7DP%5En%2C%20%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%5C%5C%20%26%26%26%5Cdots%20%5C%5C%20%5Cto%20%26%20H_1(%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20H_1(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%20H_1(%5Cmathbb%7BC%7DP%5En%2C%20%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20H_0(%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%26%20H_0(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%20H_0(%5Cmathbb%7BC%7DP%5En%2C%20%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%26%20%5Cto%20%260%20%5Cend%7Barray%7D%24%24%20By%20the%20inductive%20assumption%2C%20the%20fact%20that%20%24%5Cmathbb%7BC%7DP%5En%24%20has%20dimension%20%242n%24%2C%20and%20that%20%24H_i(%5Cmathbb%7BC%7DP%5En%2C%5Cmathbb%7BC%7DP%5E%7Bn-1%7D)%20%3D%20%5Ctilde%7BH%7D_i(S%5E%7B2n%7D)%24%2C%20the%20above%20LES%20is%20the%20same%20as%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%26%26%5Cdots%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_%7B2n%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_%7B2n-1%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%5C%5C%20%26%26%26%5Cdots%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_%7B2m%2B1%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_%7B2m%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_%7B2m-1%7D(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%5C%5C%20%26%26%26%5Cdots%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_1(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_0(%5Cmathbb%7BC%7DP%5En)%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%260%20%5Cend%7Barray%7D%24%24%20So%20that%20%240%20%5Cto%20H_%7B2n%7D(%5Cmathbb%7BC%7DP%5En)%20%5Cto%20%5Cmathbb%7BZ%7D%20%5Cto%200%24%20implies%20%24H_%7B2n%7D(%5Cmathbb%7BC%7DP%5En)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%3B%20for%20any%20%24i%24%20odd%2C%20we%20have%20%240%20%5Cto%20H_i(%5Cmathbb%7BC%7DP%5En)%20%5Cto%200%24%20thus%20%24H_i(%5Cmathbb%7BC%7DP%5En)%20%3D%200%24%3B%20and%20for%20any%20%240%20%5Cle%20i%20%3C%20n%24%20even%2C%20we%20have%20%240%20%5Cto%20%5Cmathbb%7BZ%7D%20%5Cto%20H_i(%5Cmathbb%7BC%7DP%5En)%20%5Cto%200%24%20thus%20%24H_i(%5Cmathbb%7BC%7DP%5En)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%2C%20as%20desired.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2008%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%2028%0A%0A%20%20%20%20**Let%20%24X%24%20be%20the%20cone%20on%20the%20%241%24-keleton%20of%20%24%5CDelta%5E3%24%2C%20the%20union%20of%20all%20line%20segments%20joining%20points%20in%20the%20six%20edges%20of%20%24%5CDelta%5E3%24%20to%20the%20barycenter%20of%20%24%5CDelta%5E3%24.%20Compute%20the%20local%20homology%20groups%20%24H_n(X%2C%20X-x)%24%20for%20all%20%24x%20%5Cin%20X%24.%20Define%20%24%5Cpartial%20X%24%20to%20be%20the%20subspace%20of%20points%20%24x%24%20such%20that%20%24H_n(X%2C%20X%20-%20x)%20%3D%200%24%20for%20all%20%24n%24%2C%20and%20compute%20the%20local%20homology%20groups%20%24H_n(%5Cpartial%20X%2C%20%5Cpartial%20X%20-%20x)%24.%20Use%20these%20calculations%20to%20determine%20which%20subsets%20%24A%20%5Csubset%20X%24%20have%20the%20property%20that%20%24f(A)%20%5Csubset%20A%24%20for%20all%20homeomorphisms%20%24f%3AX%20%5Cto%20X%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20%23%23%23%20Part%201%0A%0A%20%20%20%20Start%20by%20a%20diagram%20of%20the%20skeleton%20and%20the%20cone%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2Fimage-20241218101640609.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20So%20%24X%24%20is%20a%20tetrahedron%20(only%20the%20edge%20and%20vertices)%2C%20and%20a%20point%20at%20the%20center%2C%20and%20six%20triangle%20connecting%20the%20center%20with%20each%20side.%0A%0A%20%20%20%20We%20know%20that%20%24H_n(X%2C%20X-x)%20%5Ccong%20H_n(U%2C%20U-x)%24%20by%20excision%20where%20%24U%24%20is%20a%20neighborhood%20of%20%24x%24.%20There%20are%20%245%24%20different%20type%20of%20choices%20of%20%24x%24.%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2Fimage-20241218101615122.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20Consider%20the%20LES%20on%20pair%20%24(U%2C%20U-x)%24%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%5Cdots%26%5Cto%26H_3(U)%26%5Cto%26H_3(U%2CU-x)%26%5Cto%20%26%5C%5C%20%5Cto%20%26%20H_2(U-x)%20%26%20%5Cto%20%26%20H_2(U)%20%26%20%5Cto%20%26%20H_2(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20H_1(U-x)%20%26%20%5Cto%20%26%20H_1(U)%20%26%20%5Cto%20%26%20H_1(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20H_0(U-x)%20%26%20%5Cto%20%26%20H_0(U)%20%26%20%5Cto%20%26%20H_0(U%2C%20U-x)%20%26%20%5Cto%20%260%20%5Cend%7Barray%7D%24%24%20Since%20in%20any%20case%20%24U%24%20has%20dimension%20%242%24%2C%20we%20don't%20need%20to%20go%20further.%0A%0A%20%20%20%201.%20Case%201%2C%20%24x%24%20is%20a%20vertex%20on%20the%20skeleton.%20In%20this%20case%20%24U%24%20is%20like%20three%20triangles%20identified%20on%20one%20of%20their%20sides%20and%20%24x%24%20is%20the%20common%20'tip'.%20So%20both%20%24U%24%20and%20%24U-x%24%20is%20contractible%2C%20thus%20the%20LES%20becomes%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%5Cdots%26%5Cto%260%26%5Cto%26H_3(U%2CU-x)%26%5Cto%20%26%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_2(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_1(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_0(U%2C%20U-x)%20%26%20%5Cto%20%260%20%5Cend%7Barray%7D%24%24%20The%20map%20%24%5Cmathbb%7BZ%7D%20%5Cto%20%5Cmathbb%7BZ%7D%24%20is%20surjective%20because%20%24U%24%20is%20path%20connected%20and%20the%20map%20is%20induced%20by%20inclusion.%20Thus%20%24H_0(U%2CU-x)%20%3D%200%24%2C%20and%20it%20implies%20%24H_1(U%2CU-x)%20%3D%200%24%20(because%20the%20preceding%20SES%20needs%20to%20split).%20%24H_2(U%2C%20U-x)%24%20and%20%24H_3(U%2C%20U-x)%24%20are%20apparently%20%240%24.%20So%20%24H_n(U%2CU-x)%20%3D%200%24%20for%20any%20%24n%24%20in%20this%20case%3B%0A%20%20%20%202.%20Case%202%2C%20%24x%24%20is%20on%20an%20edge%20of%20the%20skeleton.%20In%20this%20case%20%24U%24%20is%20half%20of%20a%20disk%20and%20%24x%24%20is%20on%20its%20boundary%2C%20so%20again%20both%20%24U%24%20and%20%24U-x%24%20is%20contractible%2C%20so%20the%20calculation%20is%20the%20same%20as%20case%201%2C%20so%20%24H_n(U%2C%20U-x)%20%3D0%24%20for%20all%20%24n%24%3B%0A%20%20%20%203.%20Case%203%2C%20%24x%24%20is%20on%20the%20interior%20of%20one%20of%20the%20triangle%20connecting%20an%20edge%20and%20the%20barycenter.%20In%20this%20case%20%24U%24%20is%20a%20disk%20and%20%24x%24%20is%20in%20its%20interior%2C%20so%20%24U%24%20is%20contractible%20and%20%24U-x%24%20is%20homotopy%20equivalent%20with%20%24S%5E1%24%2C%20thus%20the%20LES%20becomes%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%5Cdots%26%5Cto%260%26%5Cto%26H_3(U%2CU-x)%26%5Cto%20%26%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_2(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_1(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_0(U%2C%20U-x)%20%26%20%5Cto%20%260%20%5Cend%7Barray%7D%24%24%20The%20calculation%20on%20%24H_0(U%2C%20U-x)%24%20and%20%24H_1(U%2C%20U-x)%24%20is%20the%20same%2C%20and%20it's%20not%20hard%20to%20see%20%24H_2(U%2C%20U-x)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%20and%20%24H_3(U%2C%20U-x)%20%3D%200%24%2C%20so%20%24H_n(U%2CU-x)%20%3D%20%5Cbegin%7Bcases%7D%20%5Cmathbb%7BZ%7D%26%2Cn%3D2%20%5C%5C%200%26%2C%5Ctext%7B%20otherwise%7D%5Cend%7Bcases%7D%24%3B%0A%20%20%20%204.%20Case%204%2C%20%24x%24%20is%20the%20barycenter.%20In%20this%20case%20%24U%24%20is%20%246%24%20triangles%20glued%20together%20in%20a%20way%20that%20three%20of%20them%20are%20glued%20like%20in%20case%201%20and%20the%20other%20three%20are%20also%20glued%20like%20in%20case%201%2C%20and%20the%20two%20parts%20are%20then%20glued%20along%20the%20sides.%20%24U%24%20is%20again%20contractible%2C%20%24U-x%24%20in%20this%20case%20can%20deformation%20retract%20to%20the%20skeleton%20of%20%24%5CDelta_3%24%20(think%20of%20deformation%20retract%20each%20triangle%20without%20a%20tip%20to%20the%20opposite%20side).%20So%20we%20first%20need%20to%20calculate%20the%20homology%20groups%20of%20%24U-x%24.%20Start%20by%20giving%20the%20skeleton%20(call%20it%20%24S%24)%20a%20CW-complex%20structure%3A%0A%0A%20%20%20%20%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101073400.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20%20%20%20%20So%20%24C_0(S)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E4%24%20and%20%24C_1(S)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E5%24%2C%20and%20the%20boundary%20operator%20has%20%24%5Cpartial_1(%5Cdelta_0)%24%20(the%20one%20correspond%20to%20%24e_0%24)%20%24%3D%20v_1%20-%20v_0%24%2C%20%24%5Cpartial_1(%5Cdelta_1)%20%3D%20v_2%20-%20v_0%24%2C%20%24%5Cpartial_1(%5Cdelta_2)%20%3D%20v_3%20-%20v_0%24%2C%20%24%5Cpartial_1(%5Cdelta_3)%20%3D%20v_2%20-%20v_1%24%2C%20%24%5Cpartial_1(%5Cdelta_4)%20%3D%20v_3%20-%20v_2%24%2C%20%24%5Cpartial_1(%5Cdelta_5)%20%3D%20v_3%20-%20v_1%24.%20So%20in%20general%20%24%5Cpartial_1(a_0%5Cdelta_0%20%2B%20%5Cdots%20%2B%20a_5%5Cdelta_5)%20%3D%20v_0(-a_0-a_1-a_2)%20%2B%20v_1(a_0%20-%20a_3%20-%20a_5)%20%2B%20v_2(a_1%20%2B%20a_3%20-%20a_4)%20%2B%20v_3(a_2%20%2B%20a_4%20%2B%20a_5)%24.%20We%20want%20to%20get%20the%20image%20and%20kernel%20of%20this%20map.%20Write%20the%20map%20in%20form%20of%20matrix%20and%20do%20row%20reduction%2C%20we%20get%20from%20%24%5Cbegin%7Bpmatrix%7D%20-1%26-1%26-1%260%260%260%20%5C%5C%201%260%260%26-1%260%26-1%20%5C%5C%200%261%260%261%26-1%260%20%5C%5C%200%260%261%260%261%261%20%5Cend%7Bpmatrix%7D%24%20to%20%24%5Cbegin%7Bpmatrix%7D%201%260%260%26-1%260%26-1%20%5C%5C%200%261%260%261%26-1%260%20%5C%5C%200%260%261%260%261%261%20%5C%5C%200%260%260%260%260%260%20%5Cend%7Bpmatrix%7D%24%20So%20the%20image%20is%20%24%5Cmathbb%7BZ%7D%5E3%24%20generated%20by%20any%20three%20of%20%24v_0%2Cv_1%2Cv_2%2C%20v_3%24%20and%20thus%20%24H_0(S)%20%3D%20%5Clangle%20v_0%2Cv_1%2Cv_2%2Cv_3%20%5Crangle%2F%5Clangle%20v_0%2Cv_1%2Cv_2%20%5Crangle%20%5Ccong%20%5Cmathbb%7BZ%7D%24.%20The%20kernel%20is%20also%20%24%5Cmathbb%7BZ%7D%5E%7B6-3%7D%20%3D%20%5Cmathbb%7BZ%7D%5E3%24%2C%20and%20thus%20%24H_1(S)%20%3D%20%5Cmathbb%7BZ%7D%5E3%2F0%20%3D%20%5Cmathbb%7BZ%7D%5E3%24.%20So%20we%20get%20the%20LES%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%5Cdots%26%5Cto%260%26%5Cto%26H_3(U%2CU-x)%26%5Cto%20%26%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_2(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%5E3%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_1(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_0(U%2C%20U-x)%20%26%20%5Cto%20%260%20%5Cend%7Barray%7D%24%24%20So%20again%20%24H_0(U%2CU-x)%2C%20H_1(U%2C%20U-x)%20%3D%200%24%20and%20%24H_2(U%2C%20U-x)%20%3D%20%5Cmathbb%7BZ%7D%5E3%24%3B%0A%20%20%20%205.%20Case%205%2C%20%24x%24%20is%20on%20an%20edge%20of%20one%20of%20the%20triangles.%20In%20this%20case%20%24U%24%20is%20three%20half%20disk%20glued%20along%20the%20straight%20edge%2C%20which%20is%20again%20contractible%2C%20and%20%24U-x%24%20deformation%20retract%20to%20the%20space%20below%20(again%20we%20give%20it%20a%20CW-complex%20structure%20and%20call%20the%20space%20%24S%24)%3A%0A%0A%20%20%20%20%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101073407.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20%20%20%20%20So%20%24C_0(S)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E2%24%20and%20%24C_1(S)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E3%24.%20We%20have%20%24%5Cpartial_1(e_i)%20%3D%20v_1%20-%20v_0%24%20thus%20in%20general%20%24%5Cpartial_1(a_0e_0%20%2B%20a_1e_1%20%2B%20a_2e_2)%20%3D%20(a_0%2Ba_1%2Ba_2)(v_1%20-%20v_0)%24%20and%20in%20this%20case%20it's%20rather%20easy%20to%20see%20the%20image%20is%20isomorphic%20to%20%24%5Cmathbb%7BZ%7D%24%20and%20kernel%20is%20isomorphic%20to%20%24%5Cmathbb%7BZ%7D%5E2%24%20(choice%20of%20any%20two%20of%20%24a_0%2Ca_1%2Ca_2%24%20fixes%20the%20third%20one).%20So%20similarly%20as%20above%20we%20have%20%24H_0(S)%20%3D%20%5Cmathbb%7BZ%7D%24%20and%20%24H_1(S)%20%3D%20%5Cmathbb%7BZ%7D%5E2%24.%20So%20we%20have%20the%20LES%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%5Cdots%26%5Cto%260%26%5Cto%26H_3(U%2CU-x)%26%5Cto%20%26%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_2(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%5E2%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_1(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_0(U%2C%20U-x)%20%26%20%5Cto%20%260%20%5Cend%7Barray%7D%24%24%20The%20only%20difference%20is%20we%20have%20%24%5Cmathbb%7BZ%7D%5E2%24%20instead%20of%20%24%5Cmathbb%7BZ%7D%5E3%24%20now%2C%20so%20similarly%20%24H_0(U%2CU-x)%2C%20H_1(U%2C%20U-x)%20%3D%200%24%20and%20%24H_2(U%2C%20U-x)%20%3D%20%5Cmathbb%7BZ%7D%5E2%24.%0A%0A%20%20%20%20That%20concludes%20all%20the%20calculation.%0A%0A%20%20%20%20%23%23%23%20Part%202%0A%0A%20%20%20%20From%20above%2C%20we%20see%20%24%5Cpartial%20X%24%20consists%20of%20points%20in%20case%201%20and%20case%202%2C%20that%20is%2C%20%24%5Cpartial%20X%24%20is%20the%20skeleton.%20Again%20we%20use%20%24H_n(%5Cpartial%20X%2C%20%5Cpartial%20X-x)%20%5Ccong%20H_n(U%2C%20U-x)%24%20where%20%24U%24%20is%20a%20neighborhood%20of%20%24x%24%20in%20%24%5Cpartial%20X%24%2C%20then%20there%20are%20only%20two%20cases%3A%0A%0A%20%20%20%201.%20%24x%24%20is%20a%20vertex%2C%20in%20this%20case%20%24U%24%20is%20like%20a%20'Y'%20shape%2C%20so%20%24U%24%20is%20contractible%2C%20and%20%24U-x%24%20is%20three%20disjoint%20line%20segments.%20So%20the%20LES%20gives%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%5Cdots%26%5Cto%260%26%5Cto%26H_3(U%2CU-x)%26%5Cto%20%26%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_2(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_1(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%5E3%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_0(U%2C%20U-x)%20%26%20%5Cto%20%260%20%5Cend%7Barray%7D%24%24%20So%20with%20similar%20argument%20as%20above%2C%20%24H_1(U%2CU-x)%20%3D%20%5Cmathbb%7BZ%7D%5E2%24%20otherwise%20%24H_n(U%2CU-x)%20%3D%200%24%3B%0A%20%20%20%202.%20%24x%24%20is%20on%20(interior%20of)%20an%20edge%2C%20in%20this%20case%20%24U%24%20is%20a%20line%20segment%20is%20contractible%20and%20%24U-x%24%20is%20two%20disjoint%20line%20segments.%20We%20have%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%26%5Cdots%26%5Cto%260%26%5Cto%26H_3(U%2CU-x)%26%5Cto%20%26%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_2(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_1(U%2C%20U-x)%20%26%20%5Cto%20%26%20%5C%5C%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%5E2%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_0(U%2C%20U-x)%20%26%20%5Cto%20%260%20%5Cend%7Barray%7D%24%24%20So%20%24H_1(U%2CU-x)%20%3D%20%5Cmathbb%7BZ%7D%24%20otherwise%20%24H_n(U%2CU-x)%20%3D%200%24.%0A%0A%20%20%20%20%23%23%23%20Part%203%0A%0A%20%20%20%20From%20the%20book%3A%20for%20any%20homeomorphism%20%24f%3A%20X%20%5Cto%20X%24%2C%20we%20must%20have%20%24H_n(X%2C%20X-x)%20%5Ccong%20H_n(X%2C%20X-f(x))%24.%0A%0A%20%20%20%20Now%2C%20notice%20that%20the%20local%20homology%20for%20different%20cases%20of%20%24x%24%20are%20different%20(except%20for%20case%201%20and%202).%20By%20the%20above%20statement%2C%20it%20follows%20that%20%24x%24%20on%20the%20skeleton%20(case%201%20%26%202)%20must%20be%20sent%20to%20a%20point%20on%20the%20skeleton%20(%24*%24).%20Similarly%2C%20points%20inside%20the%20triangles%20(case%203)%20must%20be%20sent%20to%20points%20inside%20the%20triangles%3B%20barycenter%20(case%204)%20must%20be%20sent%20to%20barycenter%2C%20and%20points%20on%20the%20edges%20of%20the%20triangles%20(case%205)%20must%20be%20sent%20to%20the%20edges%20of%20triangles.%0A%0A%20%20%20%20Moreover%2C%20(%24*%24)%20implies%20that%20%24f%3AX%20%5Cto%20X%24%20restricted%20to%20%24%5Cpartial%20X%24%20must%20be%20a%20homeomorphism%20%24g%3A%20%5Cpartial%20X%20%5Cto%20%5Cpartial%20X%24%2C%20thus%20from%20part%202%20of%20this%20problem%20and%20with%20the%20same%20argument%20as%20above%2C%20vertices%20of%20the%20skeleton%20must%20be%20sent%20to%20the%20vertices%2C%20and%20points%20on%20the%20edges%20of%20the%20skeleton%20must%20be%20sent%20to%20the%20edges.%0A%0A%20%20%20%20In%20other%20words%2C%20%24A%24%20can%20be%20the%20following%20sets%3A%0A%0A%20%20%20%201.%20Union%20of%20%244%24%20vertices%20of%20the%20skeleton%3B%0A%20%20%20%202.%20Union%20of%20%246%24%20edges%20of%20the%20skeleton%3B%0A%20%20%20%203.%20Union%20of%20(interior%20of)%20%246%24%20triangles%20connecting%20the%20barycenter%20and%20the%20edges%3B%0A%20%20%20%204.%20Barycenter%20(single%20point)%3B%0A%20%20%20%205.%20Union%20of%20%244%24%20edges%20connecting%20the%20barycenter%20and%20the%20vertices%3B%0A%20%20%20%206.%20(and%20any%20union%20of%20above%20sets).%0A%0A%20%20%20%20%23%23%20Problem%203%0A%0A%20%20%20%20**Let%20%24f%3A%20S%5En%20%5Cto%20S%5En%24%20be%20a%20map%20of%20degree%20%240%24.%20Show%20that%20there%20exist%20points%20%24x%2C%20y%20%5Cin%20S%5En%24%20with%20%24f(x)%20%3D%20x%24%20and%20%24f(y)%20%3D%20-y%24.%20Use%20this%20to%20show%20that%20if%20%24F%24%20is%20a%20continuous%20vector%20field%20defined%20on%20the%20unit%20ball%20%24D%5En%24%20in%20%24%5Cmathbb%7BR%7D%5En%24%20such%20that%20%24F(x)%20%5Cne%200%24%20for%20all%20%24x%24%2C%20then%20there%20exists%20a%20point%20on%20%24%5Cpartial%20D%5En%24%20where%20%24F%24%20points%20radially%20outward%20and%20another%20point%20of%20%24%5Cpartial%20D%5En%24%20where%20%24F%24%20points%20radially%20inward**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20If%20there%20is%20no%20%24x%24%20such%20that%20%24f(x)%20%3D%20x%24%2C%20then%20%24f%24%20has%20no%20fixed%20point%20thus%20it%20has%20to%20have%20degree%20%241%24%20or%20%24-1%24%2C%20we%20have%20a%20contradiction.%20If%20there%20is%20no%20%24y%24%20such%20that%20%24f(y)%20%3D%20-y%24%2C%20then%20%24f%24%20compose%20with%20antipodal%20map%20has%20no%20fixed%20point%20thus%20has%20to%20have%20degree%20%241%24%20or%20%24-1%24%2C%20but%20degree%20of%20composition%20is%20product%20of%20degree%2C%20thus%20degree%20of%20%24f%24%20cannot%20be%20zero%2C%20we%20again%20have%20a%20contradiction.%0A%0A%20%20%20%202.%20Suppose%20%24F%24%20is%20a%20continuous%20vector%20field%20defined%20on%20the%20unit%20ball%20%24D%5En%24%20in%20%24%5Cmathbb%7BR%7D%5En%24%20such%20that%20%24F(x)%20%5Cne%200%24%20for%20all%20%24x%24.%0A%0A%20%20%20%20%20%20%20Define%20a%20map%20%24F'(x)%20%3D%20%5Cfrac%7BF(x)%7D%7B%7C%20F(x)%20%7C%7D%24%2C%20it's%20well-defined%20because%20%24F(x)%20%5Cne%200%24%20and%20%24F'%3A%20D%5En%20%5Cto%20S%5E%7Bn-1%7D%24.%20Compose%20this%20map%20with%20inclusion%20map%20%24i%3A%20S%5E%7Bn-1%7D%20%5Cto%20D%5En%24%2C%20we%20get%20%24G%3A%20S%5E%7Bn-1%7D%20%5Cto%20D%5En%20%5Cto%20S%5E%7Bn-1%7D%24.%20The%20induced%20homomorphism%20%24G_*%20%3D%20(F'%20%5Ccirc%20i)_*%20%3D%20F'_%7B*%7D%20%5Ccirc%20i_*%24%20on%20reduced%20homology%20where%20%24i_*%3A%20%5Ctilde%7BH%7D_%7Bn-1%7D(S%5E%7Bn-1%7D)%5Cto%20%5Ctilde%7BH%7D_%7Bn-1%7D(D%5En)%24%20must%20be%20the%20zero%20map%20because%20%24D%5En%24%20is%20contractible.%20Thus%20%24G_*%24%20is%20the%20zero%20map%20thus%20%24G%24%20have%20degree%20%240%24%20by%20definition.%20Thus%20there%20exists%20%24x%2C%20y%20%5Cin%20S%5E%7Bn-1%7D%24%20such%20that%20%24G(x)%20%3D%20x%24%20and%20%24G(y)%20%3D%20-y%24%20by%20part%201%2C%20but%20this%20means%20%24F(x)%20%3D%20G(x)%7C%20F(x)%20%7C%20%3D%20c%5Ccdot%20x%24%20is%20pointing%20radially%20outward%2C%20and%20%24F(y)%20%3D%20G(y)%7C%20F(y)%20%7C%20%3D%20-d%5Ccdot%20y%24%20is%20pointing%20radially%20inward.%0A%0A%20%20%20%20%23%23%20Problem%204%0A%0A%20%20%20%20**Construct%20a%20surjective%20map%20%24S%5En%20%5Cto%20S%5En%24%20of%20degree%20zero%2C%20for%20each%20%24n%20%5Cge%201%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Apparently%20a%20constant%20map%20has%20degree%20%240%24.%20Since%20we%20know%20that%20homotopic%20maps%20give%20same%20induced%20homomorphism%2C%20we%20may%20look%20for%20surjective%20maps%20on%20%24S%5En%24%20that%20are%20homotopic%20to%20constant%20map.%0A%0A%20%20%20%20For%20%24n%20%3D%201%24%2C%20we%20may%20consider%20the%20map%20%24f%3A%20S%5E1%20%5Csubset%20%5Cmathbb%7BC%7D%20%5Cto%20S%5E1%24%20given%20by%20%24e%5E%7Bi%5Ctheta%7D%20%5Cmapsto%20%5Cbegin%7Bcases%7D%20e%5E%7Bi%202%20%5Ctheta%7D%26%2C%20%5Ctheta%20%5Cle%20%5Cpi%5C%5C%20e%5E%7Bi(-%202%5Ctheta)%7D%26%2C%20%5Cpi%20%3C%20%5Ctheta%20%5Cle%20%5Cpi%20%5Cend%7Bcases%7D%24%20(the%20map%20maps%20%24S%5E1%24%20to%20%24S%5E1%24%20'twice'%2C%20in%20different%20directions).%20It%20is%20homotopic%20to%20%240%24%20map%20through%20%24f_t%3AS%5E1%20%5Cto%20S%5E1%24%20by%20%24e%5E%7Bi%5Ctheta%7D%20%5Cmapsto%20%5Cbegin%7Bcases%7D%20e%5E%7Bi%202%5Ctheta(1-t)%7D%26%2C%20%5Ctheta%20%5Cle%20%5Cpi%5C%5C%20e%5E%7Bi(-4%5Cpi%20t%2B%202%5Ctheta(1-t))%7D%26%2C%20%5Cpi%20%3C%20%5Ctheta%20%5Cle%20%5Cpi%20%5Cend%7Bcases%7D%24%20(don't%20go%20full%20circle%20each%20time).%20As%20discussed%2C%20this%20map%20should%20have%20degree%20%240%24.%0A%0A%20%20%20%20Build%20inductively%2C%20assume%20we%20have%20a%20surjective%20map%20%24f%5En%24%20on%20%24S%5En%24%20that%20homotopic%20with%20the%20constant%20map%20%24c%3A%20S%5En%20%5Cto%20S%5En%24.%20Consider%20a%20map%20%24f%5E%7Bn%2B1%7D%24%20on%20%24S%5E%7Bn%2B1%7D%20%5Ccong%20%5Clbrace%20x_0%5E2%20%2B%20x_1%5E2%20%2B%20%5Cdots%20%2B%20x_n%5E2%20%3D%201%20%5Crbrace%24%20such%20that%20%24f%5E%7Bn%2B1%7D%7C_%7Bx_0%20%5Cin%20(0%2C1)%5Ctext%7B%20is%20fixed%7D%7D%20%3D%20f%5En%24%20up%20to%20a%20scalar.%20Since%20%24f%5En%24%20is%20surjective%2C%20%24f%5E%7Bn%2B1%7D%24%20is%20surjective.%20%24f%5E%7Bn%2B1%7D%24%20is%20homotopic%20to%20the%20map%20sending%20%24S%5E%7Bn%2B1%7D%24%20to%20a%20line%20segment%20on%20%24S%5E%7Bn%2B1%7D%24%20homeomorphic%20to%20%24%5B0%2C1%5D%24%2C%20but%20this%20map%20is%20homotopic%20to%20a%20constant%20map.%20So%20%24f%5E%7Bn%2B1%7D%24%20is%20a%20surjective%20map%20on%20%24S%5E%7Bn%2B1%7D%24%20to%20%24S%5E%7Bn%2B1%7D%24%20that%20homotopic%20with%20a%20constant%20map.%20So%20it%20has%20degree%20%240%24.%0A%0A%20%20%20%20%23%23%20Problem%206%0A%0A%20%20%20%20**Show%20that%20every%20map%20%24S%5En%20%5Cto%20S%5En%24%20can%20be%20homotoped%20to%20have%20a%20fixed%20point%20if%20%24n%20%3E%200%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Suppose%20we%20have%20an%20arbitrary%20%24f%3A%20S%5En%20%5Cto%20S%5En%24.%20If%20%24f%24%20has%20a%20fixed%20point%2C%20then%20the%20statement%20is%20trivial.%0A%0A%20%20%20%20If%20not%2C%20then%20first%20from%20the%20book%20we%20can%20homotope%20%24f%24%20to%20the%20antipodal%20map%20on%20%24S%5En%24%20through%20%24f_t(x)%20%3D%20%5Cfrac%7B(1-t)f(x)-tx%7D%7B%7C%20(1-t)f(x)-tx%20%7C%7D%24.%0A%0A%20%20%20%20Now%20suppose%20%24n%20%3D%202m%20-%201%24%20is%20odd%2C%20then%20we%20can%20view%20%24S%5En%20%3D%20%5Clbrace%20%7C%20z_1%7C%5E2%20%2B%20%5Cdots%20%2B%20%7C%20z_m%20%7C%5E2%20%3D%201%20%5Crbrace%24%20where%20%24z_1%2C%20%5Cdots%2C%20z_m%20%5Cin%20%5Cmathbb%7BC%7D%24%2C%20then%20notice%20%24e%5E%7Bi%20%5Cpi%7Dz_i%20%3D%20-%20z_i%24%20and%20thus%20the%20map%20%24f_t(z_1%2C%5Cdots%2Cz_m)%20%3D%20e%5E%7Bi%20(1-t)%20%5Cpi%7D(z_1%2C%5Cdots%2Cz_m)%24%20gives%20a%20homotopy%20between%20the%20antipodal%20map%20and%20the%20identity%20map%2C%20and%20identity%20map%20of%20course%20has%20a%20fixed%20point.%0A%0A%20%20%20%20Otherwise%20%24n%20%3D%202m%24%20is%20even%2C%20in%20this%20case%20we%20can%20view%20%24S%5En%20%3D%20%5Clbrace%20%7C%20z_1%20%7C%5E2%20%2B%20%5Cdots%20%2B%20%7C%20z_%7Bm-1%7D%20%7C%5E2%20%2B%20x%5E2%20%3D%201%20%5Crbrace%24%20where%20%24z_1%2C%20%5Cdots%2C%20z_%7Bm-1%7D%20%5Cin%20%5Cmathbb%7BC%7D%24%20and%20%24x%20%5Cin%20%5Cmathbb%7BR%7D%24%2C%20and%20do%20the%20similar%20things%20as%20above%20but%20ignore%20%24x%24%2C%20i.e.%20%24f_t(z_1%2C%20%5Cdots%2C%20z_%7Bm-1%7D%2C%20x)%20%3D%20(e%5E%7Bi%20(1-t)%20%5Cpi%7Dz_1%2C%20%5Cdots%2C%20e%5E%7Bi%20(1-t)%20%5Cpi%7Dz_%7Bm-1%7D%2C%20-x)%24.%20This%20gives%20a%20homotopy%20between%20%24f_0%24%20(antipodal%20map)%20and%20the%20map%20%24f_1%24%20which%20in%20particular%20sends%20%24(z_1%2C%20%5Cdots%2C%20z_%7Bm-1%7D%2C%200)%20%5Cmapsto%20(z_1%2C%20%5Cdots%2C%20z_%7Bm-1%7D%2C%200)%24%20(so%20it%20also%20has%20fixed%20points).%0A%0A%20%20%20%20Since%20homotopy%20is%20transitive%2C%20in%20either%20case%20we%20get%20a%20homotopy%20between%20an%20arbitrary%20map%20(without%20fixed%20point)%20to%20a%20map%20with%20a%20fixed%20point.%0A%0A%20%20%20%20%23%23%20Problem%209%0A%0A%20%20%20%20**Compute%20the%20homology%20groups%20of%20the%20following%20%242%24-omplexes**%3A%0A%0A%20%20%20%201.%20**The%20quotient%20of%20%24S%5E2%24%20obtained%20by%20identifying%20north%20and%20south%20poles%20to%20a%20point**%3B%0A%20%20%20%202.%20**%24S%5E1%20%5Ctimes%20(S%5E1%20%5Cvee%20S%5E1)%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20Let%20us%20call%20the%20space%20%24X%24.%0A%20%20%20%20%09First%20we%20need%20to%20give%20%24X%24%20a%20CW-complex%20structure.%20Let's%20start%20with%20the%20structure%20on%20%24S%5E2%24%20consists%20of%20%242%24%20%240%24-cells%20(north%20and%20south%20poles)%2C%20%242%24%20%241%24-cells%20(connecting%20the%20north%20and%20south%20poles)%2C%20and%20%242%24%20%242%24-cells%20(two%20hemisphere).%20To%20identify%20north%20and%20south%20poles%2C%20we%20just%20combine%20the%20%242%24%20%240%24-cells%20to%20one%20%240%24-cell.%0A%20%20%20%20%09Thus%20%24C%5E%7BCW%7D_0(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%2C%20and%20%24C%5E%7BCW%7D_1(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E2%24%2C%20%24C%5E%7BCW%7D_2(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%5E2%24%2C%20generated%20by%20%24n%24-cells%20respectively.%0A%0A%20%20%20%20%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101073418.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20%20%20%20%20Now%20we%20need%20to%20evaluate%20the%20boundary%20map%20%24d_n%24%20's.%0A%20%20%20%20%09There%20are%20two%20%242%24-cells%3A%20%24d_2(f_1)%20%3D%20%5Cvarepsilon_%7B1%2C1%7De_1%20%2B%20%5Cvarepsilon_%7B1%2C2%7De_2%24%20where%20%24%5Cvarepsilon_%7B1%2Ci%7D%24%20is%20the%20degree%20of%20%24%5CDelta_%7B1%2Ci%7D%3A%20S%5E1_1%20%5Cxrightarrow%7B%5Cvarphi%7D%20X%5E1%20%5Cxrightarrow%7Bj%7D%20X%5E1%2FX%5E0%20%5Cxrightarrow%7Bq_i%7D%20S%5E1_i%24.%20We%20can%20think%20of%20the%20boundary%20of%20the%20%242%24-cell%20goes%20once%20around%20each%20%241%24-cell%20once%2C%20so%20both%20%24%5Cvarepsilon_%7B1%2Ci%7D%20%3D%201%24%2C%20%24d_2(f_1)%20%3D%20e_1%20%2B%20e_2%24.%20The%20other%20%242%24-cell%20is%20doing%20the%20similar%20thing%20but%20in%20the%20other%20direction%2C%20thus%20%24d_2(f_2)%20%3D%20-e_1%20-%20e_2%24.%20So%20we%20can%20see%20from%20the%20linear%20dependency%20that%20%24%5Cker%7Bd_2%7D%20%3D%20%5Clangle%20f_1%20%2B%20f_2%20%5Crangle%24%20and%20%24im%7Bd_2%7D%20%3D%20%5Clangle%20e_1%20%2B%20e_2%20%5Crangle%24.%0A%20%20%20%20%09%24d_1%24%20is%20easy%20to%20compute%20because%20there%20is%20only%20one%20%240%24-cell%2C%20it%20is%20simply%20the%20zero%20map.%20Thus%20%24%5Cker%7Bd_1%7D%20%3D%20%5Clangle%20e_1%2Ce_2%20%5Crangle%24%20and%20%24im%7Bd_1%7D%20%3D%200%24.%0A%20%20%20%20%09Thus%20%24H%5E%7BCW%7D_0(X)%20%3D%20%5Cker%7Bd_0%7D%2Fim%7Bd_1%7D%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%24.%20%24H_1%5E%7BCW%7D(X)%20%3D%20%5Cker%7Bd_1%7D%2Fim%7Bd_2%7D%24%20%24%3D%20%5Clangle%20e_1%2Ce_2%20%5Crangle%2F%5Clangle%20e_1%20%2B%20e_2%20%5Crangle%24%20%24%5Ccong%20%5Clangle%20e_1%20%5Crangle%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%24.%20And%20%24H_2%5E%7BCW%7D(X)%20%3D%20%5Cker%7Bd_2%7D%2Fim%7Bd_3%7D%24%20%24%5Ccong%20%5Cker%7Bd_2%7D%24%20%24%3D%20%5Clangle%20f_1%20%2B%20f_2%20%5Crangle%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%24.%20%24H_i%5E%7BCW%7D(X)%24%20for%20%24i%20%5Cge%203%24%20is%20obviously%20%240%24.%0A%20%20%20%202.%20Still%2C%20let%20us%20call%20this%20space%20%24X%24%20and%20give%20it%20a%20CW-complex%20structure.%20It%20looks%20like%20a%20bigger%20donut%20and%20a%20smaller%20donut%20where%20the%20smaller%20one's%20outer%20longitude%20is%20glued%20with%20the%20bigger%20one's%20inner%20longitude.%20There%20are%20%241%24%20%240%24-cell%2C%20%243%24%20%241%24-cells%2C%20and%20%242%24%20%242%24-cells.%20The%20two%20cell%20%24f_1%24%20(the%20smaller%20donut)%20is%20glued%20to%20%24X%5E1%24%20going%20along%20%24e_1e_3e_1%5E%7B-1%7De_3%5E%7B-1%7D%24%20and%20%24f_2%24%20(the%20bigger%20donut)%20goes%20along%20%24e_2e_3e_2%5E%7B-1%7De_3%5E%7B-1%7D%24%2C%20just%20like%20how%20we%20glue%20the%20standard%20torus.%0A%0A%20%20%20%20%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101073422.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20%20%20%20%20Evaluate%20the%20boundary%20map%3A%20the%20degree%20of%20%24%5CDelta_%7B1%2C1%7D%3A%20S%5E1_1%20%5Cxrightarrow%7B%5Cvarphi%7D%20X%5E1%20%5Cxrightarrow%7Bj%7D%20X%5E1%2FX%5E0%20%5Cxrightarrow%7Bq_1%7D%20S%5E1_1%24%20is%20zero%2C%20because%20it%20can%20be%20thought%20as%20sending%20the%20boundary%20to%20warp%20%24e_1%24%20once%20and%20then%20warp%20it%20in%20the%20different%20direction.%20Similarly%20for%20other%20%24%5CDelta_%7Bi%2Cj%7D%24's.%20Thus%20%24d_2%24%20is%20the%20zero%20map.%20%24d_1%24%20is%20also%20the%20zero%20map%2C%20because%20there%20is%20only%20one%20%240%24-cell.%20Thus%20all%20boundary%20maps%20are%20zero%20map.%0A%20%20%20%20%09Thus%20%24H_i%5E%7BCW%7D(X)%20%5Ccong%20C_i%5E%7BCW%7D(X)%24%20for%20each%20%24i%24%2C%20i.e.%20%24H_n%5E%7BCW%7D(X)%20%3D%20%5Cbegin%7Bcases%7D%5Cmathbb%7BZ%7D%26%2Cn%3D0%5C%5C%5Cmathbb%7BZ%7D%5E3%26%2Cn%3D1%5C%5C%5Cmathbb%7BZ%7D%5E2%26%2Cn%3D2%5C%5C0%26%2C%5Ctext%7B%20otherwise%7D%20%5Cend%7Bcases%7D%24.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2009%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%207%0A%0A%20%20%20%20**For%20an%20invertible%20linear%20transformation%20%24f%3A%20%5Cmathbb%7BR%7D%5En%20%5Cto%20%20%5Cmathbb%7BR%7D%5En%24%20show%20that%20the%20induced%20map%20on%20%24H_n(%5Cmathbb%7BR%7D%5En%2C%20%5Cmathbb%7BR%7D%5En%20-%20%5Clbrace%200%20%5Crbrace)%24%20%24%5Capprox%20%5Ctilde%7BH%7D_%7Bn-1%7D(%5Cmathbb%7BR%7D%5En%20-%20%5Clbrace%200%20%5Crbrace)%24%20%24%5Capprox%20%5Cmathbb%7BZ%7D%24%20is%20%24%5Ctext%7Bid%7D%24%20or%20%24-%5Ctext%7Bid%7D%24%20according%20to%20whether%20the%20determinant%20of%20%24f%24%20is%20positive%20or%20negative**.%20*Hint%3A%20Use%20Gaussian%20elimination%20to%20show%20that%20the%20matrix%20of%20%24f%24%20can%20be%20joined%20by%20a%20path%20of%20invertible%20matrices%20to%20a%20diagonal%20matrix%20with%20%24%5Cpm%201%24's%20on%20the%20diagonal*.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Such%20a%20function%20can%20be%20viewed%20as%20an%20element%20of%20%24GL(n%2C%20%5Cmathbb%7BR%7D)%24.%20We%20know%20that%20%24GL(n%2C%20%5Cmathbb%7BR%7D)%24%20has%20two%20(path-%2C%20because%20it's%20a%20manifold)connected%20components%2C%20which%20are%20preimages%20of%20positive%20numbers%20or%20negative%20numbers%20under%20the%20determinant%20map.%20Thus%20for%20any%20%24f%24%2C%20there%20is%20either%20a%20path%20connecting%20%24f%24%20to%20the%20identity%20map%20(which%20has%20positive%20determinant)%2C%20or%20a%20path%20connecting%20%24f%24%20to%20the%20map%20(viewed%20as%20matrix)%20with%20%24-1%24%20at%20the%20top-left%20corner%2C%20%241%24%20on%20the%20other%20diagonal%20terms%2C%20and%20%240%24%20everywhere%20else%20(let's%20call%20this%20map%20%24%5Ctext%7Bid%7D'%24%2C%20it%20has%20negative%20determinant).%20But%20a%20path%20between%20maps%20can%20be%20viewed%20as%20homotopy%2C%20thus%20%24f%20%5Csim%20%5Ctext%7Bid%7D%24%20or%20%24f%20%5Csim%20%5Ctext%7Bid%7D'%24%20depending%20on%20that%20if%20the%20determinant%20of%20%24f%24%20is%20positive%20or%20negative.%0A%0A%20%20%20%20Now%20the%20induced%20map%20%24(%5Ctext%7Bid%7D)_*%3AH_n(%5Cmathbb%7BR%7D%5En%2C%20%5Cmathbb%7BR%7D%5En%20-%20%5Clbrace%200%20%5Crbrace)%20%5Cto%20H_n(%5Cmathbb%7BR%7D%5En%2C%20%5Cmathbb%7BR%7D%5En%20-%20%5Clbrace%200%20%5Crbrace)%24%20is%20of%20course%20still%20%24%5Ctext%7Bid%7D%24.%20The%20induced%20map%20%24(%5Ctext%7Bid%7D')_*%24%20is%20%24-%5Ctext%7Bid%7D%24%20on%20%24%5Cmathbb%7BZ%7D%20%5Ccong%20%5Ctilde%7BH%7D_%7Bn-1%7D(%5Cmathbb%7BR%7D%5En%20-%20%5Clbrace%200%20%5Crbrace)%20%5Ccong%20H_%7Bn-1%7D(S%5E%7Bn-1%7D)%24%20because%20it%20can%20be%20viewed%20as%20a%20reflection.%0A%0A%20%20%20%20Since%20homotopic%20maps%20induce%20same%20induced%20map%20(on%20relative%20homology)%2C%20%24f%24%20induces%20%24%5Ctext%7Bid%7D%24%20or%20%24-%5Ctext%7Bid%7D%24%20depending%20on%20the%20sign%20of%20its%20determinant.%0A%0A%20%20%20%20%23%23%20Problem%208%0A%0A%20%20%20%20**A%20polynomial%20%24f(z)%24%20with%20complex%20coefficients%2C%20viewed%20as%20a%20map%20%24%5Cmathbb%7BC%7D%20%5Cto%20%5Cmathbb%7BC%7D%24%2C%20can%20always%20be%20extended%20to%20a%20continuous%20map%20of%20one-point%20compactifications%20%24%5Chat%7Bf%7D%3A%20S%5E2%20%5Cto%20S%5E2%24.%20Show%20that%20the%20degree%20of%20%24%5Chat%7Bf%7D%24%20equals%20the%20degree%20of%20%24f%24%20as%20a%20polynomial.%20Show%20also%20that%20the%20local%20degree%20of%20%24%5Chat%7Bf%7D%24%20at%20a%20root%20of%20%24f%24%20is%20the%20multiplicity%20of%20the%20root**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Suppose%20%24f%24%20is%20a%20constant%20map%2C%20then%20the%20extension%20%24%5Chat%7Bf%7D%24%20is%20also%20a%20constant%20map%20(in%20particular%20it%20is%20not%20surjective%20thus%20have%20degree%20%240%24)%2C%20so%20the%20statements%20in%20the%20question%20are%20true%20in%20a%20rather%20trivial%20way.%0A%0A%20%20%20%20So%20suppose%20%24f%24%20has%20positive%20degree%20as%20a%20polynomial.%20Extend%20%24f%24%20to%20%24%5Chat%7Bf%7D%24%20will%20not%20add%20another%20root%20(%24%5Cinfty%24%20is%20always%20sent%20to%20%24%5Cinfty%24)%2C%20and%20%240%24%20is%20always%20a%20regular%20value%20for%20%24%5Chat%7Bf%7D%24%20(because%20the%20differential%20is%20always%20surjective%20due%20to%20fundamental%20theorem%20of%20algebra).%0A%0A%20%20%20%20Suppose%20%24f%20%3D%20c_0%20%2B%20c_1z%20%2B%20%5Cdots%20%2B%20c_nz%5En%24%2C%20and%20%24z'%24%20is%20a%20root%20of%20%24f%24.%20Since%20%24%5Chat%7Bf%7D%7C_%7B%5Cmathbb%7BC%7D%7D%20%3D%20f%24%20(view%20%24S%5E2%20%5Ccong%20%5Coverline%7BC%7D%24)%2C%20near%20%24z'%24%20we%20have%20%24%5Chat%7Bf%7D(z)%20%3D%20f(z)%24%20%24%3D%20(z-z')%5Ek(a_0%20%2B%20a_1(z-z')%20%2B%20%5Cdots%20%2B%20a_%7Bn-1%7D(z-z')%5E%7Bn-1%7D)%24%20where%20%24k%24%20is%20the%20multiplicity%20of%20the%20root%20%24z'%24.%20It%20can%20be%20approximated%20by%20%24a_0(z-z')%5Ek%24%20because%20this%20is%20the%20term%20with%20lowest%20degree%20and%20%24z-z'%24%20is%20near%20%240%24.%20In%20particular%2C%20the%20local%20degree%20of%20%24%5Chat%7Bf%7D%24%20at%20%24z'%24%20is%20%24k%24.%20This%20proves%20the%20first%20statement.%0A%0A%20%20%20%20By%20the%20formula%20%24%5Cdeg%7B%5Chat%7Bf%7D%7D%20%3D%20%5Csum%20%5Cdeg%7B%5Chat%7Bf%7D%7C_%7Bx_i%7D%7D%24%20and%20by%20the%20fact%20that%20degree%20of%20(complex)%20polynomial%20is%20the%20sum%20of%20multiplicity%20of%20distinct%20roots%2C%20we%20get%20the%20other%20statement.%0A%0A%20%20%20%20%23%23%20Problem%2010%0A%0A%20%20%20%20**Let%20%24X%24%20be%20the%20quotient%20space%20of%20%24S%5E2%24%20under%20the%20identifications%20%24x%20%5Csim%20-x%24%20for%20%24x%24%20in%20the%20equator%20%24S%5E1%24.%20Compute%20the%20homology%20groups%20%24H_i(X)%24.%20Do%20the%20same%20for%20%24S%5E3%24%20with%20antipodal%20points%20of%20the%20equatorial%20%24S%5E2%20%5Csubset%20S%5E3%24%20identified**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20%23%23%23%20Part%201%0A%0A%20%20%20%20Let%20us%20give%20%24S%5E2%24%20the%20usual%20CW%20structure%20of%20two%20%240%24-cells%20(%24v_1%2Cv_2%24)%2C%20two%20%241%24-cells%20(%24e_1%2C%20e_2%24)%2C%20and%20two%20%242%24-cells%20(%24f_1%2C%20f_2%24).%20%24f_1%24%20is%20attached%20via%20%24e_1e_2%24%20and%20%24f_2%24%20is%20attached%20via%20%24e_2%5E%7B-1%7De_1%5E%7B-1%7D%24.%20If%20we%20take%20the%20identification%20%24x%20%5Csim%20-x%24%2C%20then%20%24e_1%24%20is%20identified%20with%20%24e_2%24%20and%20%24v_1%24%20is%20identified%20with%20%24v_2%24%2C%20so%20%24f_1%24%20is%20now%20attached%20via%20%24e_1%5E2%24%20and%20%24f_2%24%20via%20%24e_1%5E%7B-2%7D%24.%20After%20the%20identification%20we%20get%20one%20%240%24%20and%20%241%24-cell%2C%20and%20two%20%242%24-cells%2C%20so%20the%20chain%20groups%20look%20like%3A%20%240%20%5Cto%20%5Cmathbb%7BZ%7D%5E2%20%5Cxrightarrow%7Bd_2%7D%20%5Cmathbb%7BZ%7D%20%5Cxrightarrow%7Bd_1%7D%20%5Cmathbb%7BZ%7D%20%5Cto%200.%24%20Since%20there%20is%20only%20one%20%240%24-cell%2C%20%24d_1%20%3D%200%24.%0A%0A%20%20%20%20From%20above%2C%20we%20can%20evaluate%20%24d_2(f_1)%20%3D%202e_1%24%2C%20and%20%24d_2(f_2)%20%3D%20-2e_1%24%2C%20so%20%24%5Ctext%7Bim%7D(d_2)%20%3D%20%5Clangle%202e_1%20%5Crangle%24%20and%20%24%5Cker%7Bd_2%7D%20%3D%20%5Clangle%20f_1%20%2B%20f_2%20%5Crangle%24.%0A%0A%20%20%20%20The%20degree%20is%20%242%24%20because%20each%20(regular%3F)%20point%20in%20the%20image%20corresponds%20to%20two%20points%20from%20%24S%5E1%24%2C%20one%20from%20each%20hemisphere.%20One%20has%20local%20degree%20%241%24%20because%20the%20map%20is%20identity%2C%20and%20the%20other%20one%20also%20has%20local%20degree%20%241%24%20because%20it%20is%20identity%20compose%20with%20antipodal%20map%20on%20%24S%5E1%24.%20Thus%20%24H_1(X)%20%5Ccong%20%5Cker%7Bd_1%7D%2F%5Ctext%7Bim%7D(d_2)%24%20%24%3D%5Clangle%20e_1%20%5Crangle%2F%5Clangle%202e_1%20%5Crangle%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D_2%24%2C%20%24H_2(X)%20%5Ccong%20%5Cker%7Bd_2%7D%2F0%20%5Ccong%20%5Cmathbb%7BZ%7D%24%2C%20and%20%24H_0(X)%24%20is%20%24%5Cmathbb%7BZ%7D%24%20because%20the%20space%20is%20path-connected.%0A%0A%20%20%20%20%23%23%23%20Part%202%0A%0A%20%20%20%20Similarly%2C%20consider%20the%20CW%20structure%20after%20the%20identification%2C%20we%20have%20one%20%240%24-cell%20%24v_1%24%2C%20one%20%241%24-cell%20%24e_1%24%2C%20one%20%242%24-cell%20%24f_1%24%20and%20two%20%243%24-cells%20%24b_1%2C%20b_2%24.%20The%20chain%20groups%3A%20%240%20%5Cto%20%5Cmathbb%7BZ%7D%5E2%20%5Cxrightarrow%7Bd_3%7D%20%5Cmathbb%7BZ%7D%20%5Cxrightarrow%7Bd_2%7D%20%5Cmathbb%7BZ%7D%20%5Cxrightarrow%7Bd_1%7D%20%5Cmathbb%7BZ%7D%20%5Cto%200.%24%20Now%20in%20this%20case%2C%20%24d_3%24%20is%20the%20zero%20map%2C%20the%20reason%20is%20as%20above%2C%20but%20this%20time%20the%20degree%20of%20antipodal%20map%20on%20%24S%5E2%24%20is%20%24-1%24%2C%20so%20%24-1%2B1%20%3D%200%24.%20%24d_2(f_1)%20%3D%202e_1%24%20like%20part%201%2C%20and%20%24d_1%20%3D%200%24%20because%20again%20there%20is%20only%20one%20%240%24-cell.%20Thus%20%24H_3(X)%20%3D%20%5Cker%7Bd_3%7D%2F0%20%3D%20%5Cmathbb%7BZ%7D%5E2%24%2C%20%24H_2(X)%20%3D%20%5Cker%7Bd_2%7D%2F%5Ctext%7Bim%7D(d_3)%24%20%24%3D0%24%2C%20%24H_1(X)%20%3D%20%5Cker%7Bd_1%7D%2F%5Ctext%7Bim%7D(d_2)%24%20%24%5Ccong%20%5Clangle%20e_1%20%5Crangle%2F%5Clangle%202e_1%20%5Crangle%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24%2C%20%24H_0(X)%24%20is%20of%20course%20%24%5Cmathbb%7BZ%7D%24.%0A%0A%20%20%20%20%23%23%20Problem%2020%0A%0A%20%20%20%20**For%20finite%20CW-complexes%20%24X%24%20and%20%24Y%24%2C%20show%20that%20%24%5Cchi(X%20%5Ctimes%20Y)%20%3D%20%5Cchi(X)%5Cchi(Y)%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Recall%20that%20each%20%24i%24-cell%20in%20%24X%24%20and%20%24j%24-cell%20in%20%24Y%24%20gives%20an%20%24i%2Bj%24-cell%20in%20%24X%20%5Ctimes%20Y%24.%20Use%20that%2C%20we%20have%3A%20%24%24%5Cbegin%7Baligned%7D%20%5Cchi(X%20%5Ctimes%20Y)%26%20%3D%20%5Csum%5Climits_%7Bn%7D%5Clbrace(-1)%5En%20%5Ccdot%20%5C%23~n%5Ctext%7B-cell%20in%20%7D%20X%20%5Ctimes%20Y%20%5Crbrace%20%5C%5C%20%26%20%3D%5Csum%5Climits_n%5Clbrace%20(-1)%5En%20%5Ccdot%20%5Csum%5Climits_%7Bi%2Bj%20%3D%20n%7D%20(%5C%23~i%5Ctext%7B-cell%20in%20%7D%20X%20%5Ccdot%20%5C%23~j%5Ctext%7B-cell%20in%20%7D%20Y)%5Crbrace%20%5C%5C%20%26%20%3D%20%5Csum%5Climits_n%20%5Csum%5Climits_%7Bi%2Bj%20%3D%20n%7D%20%5Clbrace%20(-1)%5Ei%5Ccdot%5C%23~i%5Ctext%7B-cell%20in%20%7D%20X%20%5Ccdot%20(-1)%5Ej%20%5Ccdot%5C%23~j%5Ctext%7B-cell%20in%20%7D%20Y)%5Crbrace%20%5C%5C%20%26%20%3D%20%5Csum%5Climits_i%20%5Clbrace%20(-1)%5Ei%5Ccdot%5C%23~i%5Ctext%7B-cell%20in%20%7D%20X%20%5Crbrace%20%5Ccdot%20%5Csum%5Climits_j%20%5Clbrace(-1)%5Ej%20%5Ccdot%5C%23~j%5Ctext%7B-cell%20in%20%7D%20Y)%5Crbrace%20%5C%5C%20%26%20%3D%20%5Cchi(X)%20%5Ccdot%20%5Cchi(Y)%20%5Cend%7Baligned%7D%24%24%20as%20desired.%0A%0A%20%20%20%20%23%23%20Problem%2021%0A%0A%20%20%20%20**If%20a%20finite%20CW-complex%20%24X%24%20is%20the%20union%20of%20sub-complexes%20%24A%24%20and%20%24B%24%2C%20show%20that%20%24%5Cchi(X)%20%3D%20%5Cchi(A)%20%2B%20%5Cchi(B)%20-%20%5Cchi(A%20%5Ccap%20B)%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20If%20%24A%2C%20B%24%20are%20sub-complexes%20of%20%24X%24%2C%20then%20%24A%20%5Ccap%20B%24%20is%20also%20sub-complex%20of%20%24X%24.%20Since%20%24A%20%5Ccup%20B%20%3D%20X%24%2C%20the%20number%20of%20%24i%24-cells%20in%20%24X%24%20should%20equal%20to%20the%20number%20of%20%24i%24-cells%20in%20%24A%24%20plus%20number%20of%20%24i%24-cells%20in%20%24B%24%2C%20and%20minus%20number%20of%20%24i%24-cells%20in%20%24A%20%5Ccap%20B%24%20because%20they%20are%20double-counted.%0A%0A%20%20%20%20Take%20the%20(alternating)%20summation%20over%20%24i%24%2C%20we%20have%3A%20%24%24%5Cbegin%7Baligned%7D%5Cchi(X)%20%3D%26%20%5Csum%5Climits_i(-1)%5Ei%20%5Ccdot%20%5C%23~i%5Ctext%7B-cell%20in%20%7DX%20%5C%5C%3D%26%5Csum%5Climits_i(-1)%5Ei%20%5Ccdot%20(%5C%23~i%5Ctext%7B-cell%20in%20%7DA%20%2B%20%5C%23~i%5Ctext%7B-cell%20in%20%7DB%20-%20%5C%23~i%5Ctext%7B-cell%20in%20%7DA%20%5Ccap%20B)%20%5C%5C%3D%26%5Csum%5Climits_i(-1)%5Ei%20%5Ccdot%20%5C%23~i%5Ctext%7B-cell%20in%20%7DA%20%2B%20%5Csum%5Climits_i(-1)%5Ei%20%5Ccdot%20%5C%23~i%5Ctext%7B-cell%20in%20%7DB%20-%20%5C%5C%26%5Csum%5Climits_i(-1)%5Ei%20%5Ccdot%5C%23~i%5Ctext%7B-cell%20in%20%7DA%20%5Ccap%20B%20%5C%5C%3D%26%5Cchi(A)%20%2B%20%5Cchi(B)%20-%20%5Cchi(A%20%5Ccap%20B)%5Cend%7Baligned%7D%24%24%20as%20desired.%0A%0A%20%20%20%20%23%23%20Problem%2028%0A%0A%20%20%20%201.%20**Use%20the%20Mayer-Vietoris%20sequence%20to%20compute%20the%20homology%20groups%20of%20the%20space%20obtained%20from%20a%20torus%20%24S%5E1%20%5Ctimes%20S%5E1%24%20by%20attaching%20a%20M%C3%B6bius%20band%20via%20a%20homeomorphism%20from%20the%20boundary%20circle%20of%20the%20M%C3%B6bius%20band%20to%20the%20circle%20%24S%5E1%20%5Ctimes%20%5Clbrace%20x_0%20%5Crbrace%24%20in%20the%20torus**%3B%0A%20%20%20%202.%20**Do%20the%20same%20for%20the%20space%20obtained%20by%20attaching%20a%20M%C3%B6bius%20band%20to%20%24%5Cmathbb%7BR%7DP%5E2%24%20via%20a%20homeomorphism%20of%20its%20boundary%20circle%20to%20the%20standard%20%24%5Cmathbb%7BR%7DP%5E1%20%5Csubset%20%5Cmathbb%7BR%7DP%5E2%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20Let%20us%20call%20the%20space%20%24X%24.%20It%20consists%20of%20a%20torus%20%24A%24%20and%20a%20M%C3%B6bius%20band%20%24B%24%20such%20that%20their%20intersection%20is%20%24A%20%5Ccap%20B%20%3D%20S%5E1%24.%20Recall%20that%20%24H_n(A)%3D%20%5Cbegin%7Bcases%7D%20%5Cmathbb%7BZ%7D%26%2Cn%20%3D%200%2C2%20%5C%5C%20%5Cmathbb%7BZ%7D%5E2%26%2C%20n%20%3D%201%5C%5C0%26%2C%5Ctext%7B%20otherwise%7D%5Cend%7Bcases%7D%24%2C%20and%20%24H_n(B)%3D%20%5Cbegin%7Bcases%7D%5Cmathbb%7BZ%7D%26%2Cn%20%3D%200%2C1%5C%5C%200%26%2C%5Ctext%7B%20otherwise%7D%5Cend%7Bcases%7D%24%20because%20it%20deformation%20retract%20to%20a%20circle.%20Also%20we%20have%20%24H_n(A%20%5Ccap%20B)%3D%20%5Cbegin%7Bcases%7D%5Cmathbb%7BZ%7D%26%2Cn%20%3D%200%2C1%5C%5C%200%26%2C%5Ctext%7B%20otherwise%7D%5Cend%7Bcases%7D%24.%0A%20%20%20%20%20%20%20%20For%20the%20generator%3A%20we%20can%20think%20of%20%24H_1(A)%24%20generated%20by%20a%20longitude%20and%20a%20meridian%20%24e_a%5E1%20%3D%20a%2C%20e_b%5E1%20%3D%20b%24%2C%20%24H_1(B)%24%20generated%20by%20%24e_c%5E1%20%3D%20c%24%2C%20and%20the%20homology%20of%20intersect%20%24H_1(A%20%5Ccap%20B)%24%20generated%20also%20by%20%24a%24.%20We%20have%20the%20following%20Mayer-Vietoris%20LES%20in%20low%20dimension%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccccc%7D%20%5Cto%20%26%20H_2(A%20%5Ccap%20B)%20%26%20%5Cto%20%26%20H_2(A)%20%5Coplus%20H_2(B)%20%26%20%5Cto%20%26%20H_2(X)%20%26%20%5Cto%20%5C%5C%20%5Cto%20%26%20H_1(A%20%5Ccap%20B)%20%26%20%5Cto%20%26%20H_1(A)%20%5Coplus%20H_1(B)%20%26%20%5Cto%20%26%20H_1(X)%20%26%20%5Cto%20%5C%5C%20%5Cto%20%26%20%5Ctilde%7BH%7D_0(A%20%5Ccap%20B)%20%26%20%5Cto%20%26%20%5Ctilde%7BH%7D_0(A)%20%5Coplus%20%5Ctilde%7BH%7D_0(B)%20%26%20%5Cto%20%26%20%5Ctilde%7BH%7D_0(X)%20%26%20%5Cto%20%26%200%20%5C%5C%20%5Cend%7Barray%7D%24%24%20which%20gives%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%5Cmathbb%7BZ%7D%20%26%20%5Cto%20%26%20H_2(X)%20%26%20%5Cto%20%5C%5C%20%5Cto%20%26%20%5Clangle%20a%20%5Crangle%20%26%20%5Cto%20%26%20%5Clangle%20a%2C%20b%2C%20c%20%5Crangle%20%26%20%5Cto%20%26%20H_1(X)%20%26%20%5Cto%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%5Ctilde%7BH%7D_0(X)%20%26%20%5Cto%20%26%200%20%5C%5C%20%5Cend%7Barray%7D%24%24%20So%20immediately%20we%20have%20%24%5Ctilde%7BH%7D_0(X)%20%3D%200%24%2C%20and%20we%20have%20the%20following%20exact%20sequence%3A%20%24%240%20%5Cto%20%5Cmathbb%7BZ%7D%20%5Cto%20H_2(X)%20%5Cxrightarrow%7Bi%7D%20%5Clangle%20a%20%5Crangle%20%5Cxrightarrow%7Bj%7D%20%5Clangle%20a%2Cb%2Cc%20%5Crangle%20%5Cxrightarrow%7Bk%7D%20H_1(X)%20%5Cto%200%24%24%20Now%20%24j%24%20is%20induced%20by%20the%20map%20that%20sends%20%24a%24%20to%20%24(a%2C%20-2c)%24%20(%24a%24%20because%20it%20just%20glued%20to%20the%20longitude%20of%20the%20torus%2C%20%242c%24%20because%20M%C3%B6bius%20band%20goes%20around%20its%20core%20twice).%20So%20%24j%24%20is%20injective%2C%20%24%5Cker%7Bj%7D%20%3D%20%5Ctext%7Bim%7D(i)%20%3D%200%24%2C%20so%20we%20can%20split%20this%20exact%20sequence%20to%20two%20parts%2C%20the%20first%20part%20reads%20%240%20%5Cto%20%5Cmathbb%7BZ%7D%20%5Cto%20H_2(X)%20%5Cto%200%24%20thus%20%24H_2(X)%20%5Ccong%20%5Cmathbb%7BZ%7D%24.%20The%20second%20part%20is%20a%20short%20exact%20sequence%20%24%240%5Cto%20%5Clangle%20%20a%20%20%5Crangle%20%5Cxrightarrow%7Bj%7D%20%5Clangle%20%20a%2Cb%2Cc%20%20%5Crangle%20%5Cxrightarrow%7Bk%7D%20H_1(X)%20%5Cto%200%24%24%20thus%20%24H_1(X)%20%5Ccong%20%5Clangle%20a%2Cb%2Cc%20%5Crangle%2F%5Cker%7Bk%7D%24%20%24%5Ccong%20%5Clangle%20a%2Cb%2Cc%20%5Crangle%2F%5Clangle%20a-2c%20%5Crangle%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%5E2%24.%0A%20%20%20%20%20%20%20%20So%20in%20short%2C%20%24H_n(X)%20%3D%20%5Cbegin%7Bcases%7D%20%5Cmathbb%7BZ%7D%26%2Cn%20%3D%200%2C2%20%5C%5C%20%5Cmathbb%7BZ%7D%5E2%26%2Cn%20%3D%201%20%5C%5C%200%26%2C%5Ctext%7B%20otherwise%7D%5Cend%7Bcases%7D%24.%0A%20%20%20%202.%20Again%20let%20us%20call%20the%20space%20%24X%24%2C%20it%20consists%20of%20%24A%20%3D%20%5Cmathbb%7BR%7DP%5E2%24%2C%20%24B%24%20be%20a%20M%C3%B6bius%20band%2C%20their%20intersection%20%24A%20%5Ccap%20B%24%20is%20a%20circle.%20We%20know%20that%20%24H_n(A)%3D%20%5Cbegin%7Bcases%7D%20%5Cmathbb%7BZ%7D%26%2Cn%20%3D%200%20%5C%5C%20%5Cmathbb%7BZ%7D_2%26%2C%20n%20%3D%201%5C%5C0%26%2C%5Ctext%7B%20otherwise%7D%5Cend%7Bcases%7D%24.%20%24H_n(B)%24%20and%20%24H_n(A%20%5Ccap%20B)%24%20are%20the%20same%20as%20part%201.%0A%20%20%20%20%20%20%20%20For%20the%20generator%2C%20say%20%24H_1(A)%24%20is%20generated%20by%20%24e%5E1_a%20%3D%20a%24%20(but%20also%20with%20a%20relation%20%242a%20%3D%200%24)%2C%20%24H_1(B)%24%20by%20%24e_b%5E1%24%2C%20and%20%24H_1(A%20%5Ccap%20B)%24%20is%20generated%20also%20by%20%24a%24%20because%20it's%20attached%20directed%20to%20the%20boundary%20of%20%24A%24.%20The%20Mayer-Vietoris%20LES%20gives%3A%20%24%24%5Cbegin%7Barray%7D%7Bcccccccc%7D%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20H_2(X)%20%26%20%5Cto%20%5C%5C%20%5Cto%20%26%20%5Clangle%20a%20%5Crangle%20%26%20%5Cto%20%26%20%5Clangle%20a%2C%20b%20%5Cmid%202a%20%3D%200%20%5Crangle%20%26%20%5Cto%20%26%20H_1(X)%20%26%20%5Cto%20%5C%5C%20%5Cto%20%26%200%20%26%20%5Cto%20%26%200%20%26%20%5Cto%20%26%20%5Ctilde%7BH%7D_0(X)%20%26%20%5Cto%20%26%200%20%5C%5C%20%5Cend%7Barray%7D%24%24%20so%20again%20%24%5Ctilde%7BH%7D_0(X)%20%3D%200%24%20and%20we%20have%20the%20following%20exact%20sequence%20%240%20%5Cto%20H_2(X)%20%5Cxrightarrow%7Bi%7D%20%5Clangle%20%20a%20%20%5Crangle%20%5Cxrightarrow%7Bj%7D%20%5Clangle%20a%2Cb%7C2a%3D0%20%5Crangle%20%5Cxrightarrow%7Bk%7D%20H_1(X)%20%5Cto%200%24%20Similar%20as%20above%2C%20we%20have%20%24j(a)%20%3D%20(a%2C%20-2b)%24.%20So%20again%20%24j%24%20is%20injective%20so%20with%20the%20same%20reasoning%20we%20can%20split%20the%20sequence.%20The%20first%20part%20immediately%20gives%20%24H_2(X)%20%3D%200%24.%20The%20second%20part%20is%20again%20a%20short%20exact%20sequence%20and%20we%20have%20%24H_1(X)%20%5Ccong%20%5Clangle%20a%2Cb%7C2a%20%3D%200%20%5Crangle%2F%5Clangle%20a-2b%20%5Crangle%24%20%24%5Ccong%20%5Clangle%20a%2Cb%7C2a%20%3D%200%2Ca%20%3D2b%20%5Crangle%24%2C%20which%20is%20isomorphic%20to%20%24%5Cmathbb%7BZ%7D_4%24%20because%20%24b%24%20has%20period%20%244%24.%0A%20%20%20%20%20%20%20%20So%20in%20short%2C%20%24H_n(X)%20%3D%20%5Cbegin%7Bcases%7D%20%5Cmathbb%7BZ%7D%26%2Cn%20%3D%200%20%5C%5C%20%5Cmathbb%7BZ%7D_4%26%2Cn%20%3D%201%20%5C%5C%200%26%2C%5Ctext%7B%20otherwise%7D%5Cend%7Bcases%7D%24.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2010%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%206%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020230101074057.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%201.%20**Directly%20from%20the%20definition%2C%20compute%20the%20simplicial%20cohomology%20groups%20of%20%24S%5E1%20%5Ctimes%20S%5E1%24%20with%20%24%5Cmathbb%7BZ%7D%24%20and%20%24%5Cmathbb%7BZ%7D_2%24%20coefficients%2C%20using%20the%20%24%5CDelta%24-omplex%20structure%20given%20in%20section%202.1**%3B%0A%20%20%20%202.%20**Do%20the%20same%20for%20%24%5Cmathbb%7BR%7DP%5E2%24**%3B%0A%20%20%20%203.%20**Do%20the%20same%20for%20a%20Klein%20Bottle**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20Denote%20the%20space%20(torus)%20%24X%24.%20The%20simplicial%20chain%20complex%3A%20%24%24%5Cdots%20%5Cto%200%20%5Cto%20%5CDelta_2(X)_%7B%5Ccong%20%5Clangle%20U%2C%20L%5Crangle%7D%20%5Cxrightarrow%7B%5Cpartial%7D%20%5CDelta_1(X)_%7B%5Ccong%20%5Clangle%20a%2Cb%2Cc%5Crangle%7D%20%5Cxrightarrow%7B%5Cpartial%7D%20%5CDelta_0(X)_%7B%5Ccong%20%5Clangle%20v%5Crangle%7D%20%5Cto%200%24%24%20(like%20we%20did%20in%20the%20class%2C%20for%20simplicity%20let%20us%20omit%20all%20the%20%24%5Csigma%24's%2C%20i.e.%20%24U%2C%20L%2C%20%5Cdots%24%20here%20are%20all%20maps)%20where%20%24%5Cpartial(a)%2C%20%5Cpartial(b)%2C%20%5Cpartial(c)%24%20are%20all%20%24%3D%20v%20-%20v%20%3D%200%24.%20%24%5Cpartial(U)%20%3D%20U%7C_%7B%5Bv_1%2Cv_2%5D%7D-U%7C_%7B%5Bv_0%2Cv_2%5D%7D%2BU%7C_%7B%5Bv_0%2Cv_1%5D%7D%24%20%24%3D%20b%20-%20c%20%2B%20a%24%2C%20and%20%24%5Cpartial(L)%20%3D%20a-c%2Bb%24.%0A%20%20%20%20%20%20%20%20Apply%20%24%5Ctext%7BHom%7D(%5C_%2C%5Cmathbb%7BZ%7D)%24%2C%20we%20get%3A%20%24%240%20%5Cleftarrow%20%5Ctext%7BHom%7D(%5Cmathbb%7BZ%7D%5E2%2C%5Cmathbb%7BZ%7D)_%7B%5Ccong%5Cmathbb%7BZ%7D%5E2%7D%20%5Cleftarrow%5E%7B%5Cdelta%7D%20%5Ctext%7BHom%7D(%5Cmathbb%7BZ%7D%5E3%2C%5Cmathbb%7BZ%7D)_%7B%5Ccong%5Cmathbb%7BZ%7D%5E3%7D%20%5Cleftarrow%5E%7B%5Cdelta%7D%20%5Ctext%7BHom%7D(%5Cmathbb%7BZ%7D%2C%5Cmathbb%7BZ%7D)_%7B%5Ccong%5Cmathbb%7BZ%7D%7D%20%5Cleftarrow%200%24%24%20with%20generators%20%24%5Clangle%20%5Chat%7BU%7D%2C%5Chat%7BL%7D%5Crangle%20%2C%20%5Clangle%20%5Chat%7Ba%7D%2C%5Chat%7Bb%7D%2C%5Chat%7Bc%7D%5Crangle%20%2C%20%5Clangle%20%5Chat%7Bv%7D%5Crangle%24%20where%20%24%5Chat%7BU%7D%24%20is%20the%20map%20sending%20%24U%20%5Cmapsto%201%24%20and%20%24L%20%5Cmapsto%200%24%2C%20etc.%0A%20%20%20%20%20%20%20%20Evaluate%20coboundary%20maps%3A%0A%0A%20%20%20%20%20%20%20%201.%20%24%5Cdelta(%5Chat%7Bv%7D)(a)%24%20%24%3D%20%5Cpartial%5E*(%5Chat%7Bv%7D)(a)%24%20%24%3D%20%5Chat%7Bv%7D(%5Cpartial(a))%20%3D%20%5Chat%7Bv%7D(0)%20%3D%200%24%3B%0A%20%20%20%20%20%20%20%202.%20Similarly%2C%20%24%5Cdelta(%5Chat%7Bv%7D)(b)%2C%5Cdelta(%5Chat%7Bv%7D)(c)%20%3D%200%24%3B%0A%20%20%20%20%20%20%20%203.%20%24%5Cdelta(%5Chat%7Ba%7D)(U)%24%20%24%3D%20%5Chat%7Ba%7D(%5Cpartial(U))%24%20%24%3D%5Chat%7Ba%7D(b-c%2Ba)%24%20%24%3D%200%20-%200%20%2B%201%20%3D%201%24%3B%0A%20%20%20%20%20%20%20%204.%20%24%5Cdelta(%5Chat%7Ba%7D)(L)%24%20%24%3D%20%5Chat%7Ba%7D(%5Cpartial(L))%24%20%24%3D%5Chat%7Ba%7D(a-c%2Bb)%24%20%24%3D%201%20-%200%20%2B%200%20%3D%201%24%3B%0A%20%20%20%20%20%20%20%205.%20%24%5Cdelta(%5Chat%7Bb%7D)(U)%24%20%24%3D%20%5Chat%7Ba%7D(%5Cpartial(U))%24%20%24%3D%5Chat%7Ba%7D(b-c%2Ba)%24%20%24%3D%201%24%3B%0A%20%20%20%20%20%20%20%206.%20%24%5Cdelta(%5Chat%7Bb%7D)(L)%24%20%24%3D%20%5Chat%7Ba%7D(%5Cpartial(L))%24%20%24%3D%5Chat%7Ba%7D(a-c%2Bb)%24%20%24%3D%201%24%3B%0A%20%20%20%20%20%20%20%207.%20%24%5Cdelta(%5Chat%7Bc%7D)(U)%24%20%24%3D%20%5Chat%7Ba%7D(%5Cpartial(U))%24%20%24%3D%5Chat%7Ba%7D(b-c%2Ba)%24%20%24%3D%20-1%24%3B%0A%20%20%20%20%20%20%20%208.%20%24%5Cdelta(%5Chat%7Bc%7D)(L)%24%20%24%3D%20%5Chat%7Ba%7D(%5Cpartial(L))%24%20%24%3D%5Chat%7Ba%7D(a-c%2Bb)%24%20%24%3D%20-1%24.%0A%0A%20%20%20%20%20%20%20%20Thus%3A%0A%0A%20%20%20%20%20%20%20%201.%20%24%5Cdelta(%5Chat%7Bv%7D)%20%3D%200%24%3B%0A%20%20%20%20%20%20%20%202.%20%24%5Cdelta(%5Chat%7Ba%7D)%20%3D%20%5Chat%7BU%7D%20%2B%20%5Chat%7BL%7D%24%3B%0A%20%20%20%20%20%20%20%203.%20%24%5Cdelta(%5Chat%7Bb%7D)%20%3D%20%5Chat%7BU%7D%20%2B%20%5Chat%7BL%7D%24%3B%0A%20%20%20%20%20%20%20%204.%20%24%5Cdelta(%5Chat%7Bc%7D)%20%3D%20-%5Chat%7BU%7D%20-%20%5Chat%7BL%7D%24.%0A%0A%20%20%20%20%20%20%20%20So%20observe%20%24%5Cdelta%24's%20are%20rather%20simple%20maps%20and%20we%20don't%20really%20need%20to%20use%20matrixes%20to%20calculate.%20We%20have%20%24%5Cdelta_0%24%20is%20the%20zero%20map%2C%20so%20%24%5Ctext%7Bim%7D(%5Cdelta_0)%20%3D%200%24%20and%20%24%5Cker%7B%5Cdelta_0%7D%20%3D%20%5Clangle%20%5Chat%7Bv%7D%5Crangle%20%5Ccong%20%5Cmathbb%7BZ%7D%24.%20%24%5Ctext%7Bim%7D(%5Cdelta_1)%20%3D%20%5Clangle%20%5Chat%7BU%7D%2B%20%5Chat%7BL%7D%5Crangle%20%5Ccong%20%5Cmathbb%7BZ%7D%24%2C%20and%20%24%5Cker%7B%5Cdelta_1%7D%20%3D%20%5Clangle%20%5Chat%7Ba%7D%20-%20%5Chat%7Bb%7D%2C%20%5Chat%7Ba%7D%20%2B%20%5Chat%7Bc%7D%5Crangle%24.%20And%20we%20have%20%24H_%7B%5CDelta%7D%5E0(X%3B%20%5Cmathbb%7BZ%7D)%20%3D%20%5Cker%7B%5Cdelta_0%7D%20%5Ccong%20%5Cmathbb%7BZ%7D%24%2C%20%24H_%7B%5CDelta%7D%5E1(X%3B%20%5Cmathbb%7BZ%7D)%24%20%24%3D%20%5Cker%7B%5Cdelta_1%7D%2F%5Ctext%7Bim%7D(%5Cdelta_0)%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%5E2%24%2C%20and%20%24H_%7B%5CDelta%7D%5E2(X%3B%20%5Cmathbb%7BZ%7D)%24%20%24%3D%20%5Cker%7B0%7D%2F%5Ctext%7Bim%7D(%5Cdelta_1)%24%20%24%5Ccong%20%5Clangle%20%5Chat%7BU%7D%2C%5Chat%7BL%7D%5Crangle%20%2F%5Clangle%20%5Chat%7BU%7D%2B%5Chat%7BL%7D%5Crangle%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%24.%0A%20%20%20%20%20%20%20%20Work%20with%20%24%5Cmathbb%7BZ%7D_2%24%2C%20everything%20basically%20stays%20the%20same%20before%20the%20calculation%20of%20coboundary%20maps%20(replacing%20%24(%5C_%2C%5Cmathbb%7BZ%7D)%24%20by%20%24(%5C_%2C%5Cmathbb%7BZ%7D_2)%24).%20For%20the%20coboundary%20map%3A%20%24%5Cdelta_0%24%20is%20still%20%240%24%2C%20%24%5Cdelta_1%24%20also%20becomes%20simpler%20because%20in%20%24%5Cmathbb%7BZ%7D_2%24%20there%20is%20no%20difference%20between%20%24%5Cpm%201%24%2C%20so%20we%20have%20%24%5Cdelta(%5Chat%7Ba%7D)(U)%24%20%24%3D%20%5Cdelta(%5Chat%7Bb%7D)(U)%24%20%24%3D%20%5Cdelta(%5Chat%7Bc%7D)(U)%24%20%24%3D%20%5Cdelta(%5Chat%7Ba%7D)(L)%24%20%24%3D%20%5Cdelta(%5Chat%7Bb%7D)(L)%24%20%24%3D%20%5Cdelta(%5Chat%7Bb%7D)(L)%20%3D%201%24.%0A%20%20%20%20%20%20%20%20Thus%20%24H_%7B%5CDelta%7D%5E0(X%3B%20%5Cmathbb%7BZ%7D_2)%20%3D%20%5Cker%7B%5Cdelta_0%7D%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24%2C%20%24H_%7B%5CDelta%7D%5E1(X%3B%20%5Cmathbb%7BZ%7D_2)%24%20%24%3D%20%5Cker%7B%5Cdelta_1%7D%2F%5Ctext%7Bim%7D(%5Cdelta_0)%24%20%24%3D%5Clangle%20%5Chat%7Ba%7D%20-%20%5Chat%7Bb%7D%2C%20%5Chat%7Ba%7D%20-%20%5Chat%7Bc%7D%3B%202%5Chat%7Ba%7D%2C%202%5Chat%7Bb%7D%2C%202%5Chat%7Bc%7D%5Crangle%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D%5E2_2%24%2C%20and%20%24H_%7B%5CDelta%7D%5E2(X%3B%20%5Cmathbb%7BZ%7D_2)%24%20%24%3D%20%5Cker%7B0%7D%2F%5Ctext%7Bim%7D(%5Cdelta_1)%24%20%24%5Ccong%20%5Clangle%20%5Chat%7BU%7D%2C%5Chat%7BL%7D%3B%202%5Chat%7BU%7D%2C%202%5Chat%7BL%7D%2C%20%5Chat%7BU%7D%2B%5Chat%7BL%7D%5Crangle%24%20%24%5Ccong%20%5Cmathbb%7BZ%7D_2%24.%0A%20%20%20%202.%20Now%20we%20have%20%24X%20%3D%20%5Cmathbb%7BR%7DP%5E2%24%2C%20we%20have%20chain%20complex%3A%20%24%240%20%5Cto%20%5Cmathbb%7BZ%7D%5E2%20%5Cto%20%5Cmathbb%7BZ%7D%5E3%20%5Cto%20%5Cmathbb%7BZ%7D%5E2%20%5Cto%200%24%24%20and%20cochain%20complex%3A%20%24%240%20%5Cleftarrow%20%5Cmathbb%7BZ%7D%5E2_%7B%5Ccong%20%5Clangle%20%5Chat%7BU%7D%2C%5Chat%7BL%7D%20%5Crangle%7D%20%5Cleftarrow%5E%7B%5Cdelta%7D%20%5Cmathbb%7BZ%7D%5E3_%7B%5Ccong%20%5Clangle%20%5Chat%7Ba%7D%2C%5Chat%7Bb%7D%2C%20%5Chat%7Bc%7D%20%5Crangle%7D%20%5Cleftarrow%5E%7B%5Cdelta%7D%20%5Cmathbb%7BZ%7D%5E2_%7B%5Ccong%20%5Clangle%20%5Chat%7Bv%7D%2C%5Chat%7Bw%7D%20%5Crangle%7D%20%5Cleftarrow%200.%24%24%0A%20%20%20%20%20%20%20%20Evaluate%20coboundary%20maps%3A%0A%0A%20%20%20%20%20%20%20%201.%20%24%5Cdelta(%5Chat%7Bv%7D)(a)%24%20%24%3D%20%5Chat%7Bv%7D(%5Cpartial(a))%20%3D%20%5Chat%7Bv%7D(w%20-%20v)%20%3D%20-1%24%3B%0A%20%20%20%20%20%20%20%202.%20%24%5Cdelta(%5Chat%7Bv%7D)(b)%24%20%24%3D%20%5Chat%7Bv%7D(%5Cpartial(b))%20%3D%20%5Chat%7Bv%7D(w%20-%20v)%20%3D%20-1%24%3B%0A%20%20%20%20%20%20%20%203.%20%24%5Cdelta(%5Chat%7Bv%7D)(c)%24%20%24%3D%20%5Chat%7Bv%7D(%5Cpartial(c))%20%3D%20%5Chat%7Bv%7D(v%20-%20v)%20%3D%200%24%3B%0A%20%20%20%20%20%20%20%204.%20%24%5Cdelta(%5Chat%7Bw%7D)(a)%24%20%24%3D%201%24%3B%20%24%5Cdelta(%5Chat%7Bw%7D)(b)%24%20%24%3D%201%24%3B%20%24%5Cdelta(%5Chat%7Bw%7D)(c)%24%20%24%3D%200%24%3B%0A%20%20%20%20%20%20%20%205.%20%24%5Cdelta(%5Chat%7Ba%7D)(U)%24%20%24%3D%20%5Chat%7Ba%7D(b-a%2Bc)%20%3D%20-1%24%3B%0A%20%20%20%20%20%20%20%206.%20%24%5Cdelta(%5Chat%7Ba%7D)(L)%24%20%24%3D%20%5Chat%7Ba%7D(a-b%2Bc)%20%3D%201%24%3B%0A%20%20%20%20%20%20%20%207.%20%24%5Cdelta(%5Chat%7Bb%7D)(U)%24%20%24%3D%201%24%3B%0A%20%20%20%20%20%20%20%208.%20%24%5Cdelta(%5Chat%7Bb%7D)(L)%24%20%24%3D%20-1%24%3B%0A%20%20%20%20%20%20%20%209.%20%24%5Cdelta(%5Chat%7Bc%7D)(U)%24%20%24%3D%201%24%3B%0A%20%20%20%20%20%20%20%2010.%20%24%5Cdelta(%5Chat%7Bc%7D)(L)%24%20%24%3D%201%24.%0A%0A%20%20%20%20%20%20%20%20Thus%3A%0A%0A%20%20%20%20%20%20%20%201.%20%24%5Cdelta(%5Chat%7Bv%7D)%20%3D%20-%5Chat%7Ba%7D%20-%20%5Chat%7Bb%7D%24%3B%0A%20%20%20%20%20%20%20%202.%20%24%5Cdelta(%5Chat%7Bw%7D)%20%3D%20%5Chat%7Ba%7D%20%2B%20%5Chat%7Bb%7D%24%3B%0A%20%20%20%20%20%20%20%203.%20%24%5Cdelta(%5Chat%7Ba%7D)%20%3D%20%5Chat%7BL%7D%20-%20%5Chat%7BU%7D%24%3B%0A%20%20%20%20%20%20%20%204.%20%24%5Cdelta(%5Chat%7Bb%7D)%20%3D%20%5Chat%7BU%7D%20-%20%5Chat%7BL%7D%24%3B%0A%20%20%20%20%20%20%20%205.%20%24%5Cdelta(%5Chat%7Bc%7D)%20%3D%20%5Chat%7BU%7D%20%2B%20%5Chat%7BL%7D%24.%0A%0A%20%20%20%20%20%20%20%20So%20%24%5Cker%7B%5Cdelta_0%7D%20%3D%20%5Clangle%20%5Chat%7Bv%7D%2B%5Chat%7Bw%7D%20%5Crangle%24%20and%20%24%5Ctext%7Bim%7D(%5Cdelta_0)%20%3D%20%5Clangle%20%5Chat%7Ba%7D%20%2B%20%5Chat%7Bb%7D%5Crangle%24%3B%20%24%5Cker%7B%5Cdelta_1%7D%20%3D%20%5Clangle%20%5Chat%7Ba%7D%20%2B%20%5Chat%7Bb%7D%20%5Crangle%24%20and%20%24%5Ctext%7Bim%7D(%5Cdelta_1)%20%3D%20%5Clangle%20%5Chat%7BL%7D%20-%20%5Chat%7BU%7D%2C%20%5Chat%7BL%7D%20%2B%20%5Chat%7BU%7D%20%5Crangle%24.%0A%20%20%20%20%20%20%20%20Thus%20%24H%5E0_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D)%20%5Ccong%20%5Cker%7B%5Cdelta_0%7D%20%5Ccong%20%5Cmathbb%7BZ%7D%24%3B%20%24H%5E1_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D)%20%5Ccong%20%5Cker%7B%5Cdelta_1%7D%2F%5Ctext%7Bim%7D(%5Cdelta_0)%20%5Ccong%200%24%3B%20%24H%5E2_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D)%20%5Ccong%20%5Cker%7B0%7D%2F%5Ctext%7Bim%7D(%5Cdelta_1)%24%20%24%5Ccong%20%5Clangle%20%5Chat%7BU%7D%2C%20%5Chat%7BL%7D%3B%20%5Chat%7BL%7D%20-%20%5Chat%7BU%7D%2C%20%5Chat%7BL%7D%20%2B%20%5Chat%7BU%7D%5Crangle%24%20%24%5Ccong%20%5Clangle%20%5Chat%7BU%7D%3B%202%5Chat%7BU%7D%5Crangle%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24.%0A%20%20%20%20%20%20%20%20Work%20with%20%24%5Cmathbb%7BZ%7D_2%24%2C%20we%20then%20have%3A%0A%0A%20%20%20%20%20%20%20%201.%20%24%5Cdelta(%5Chat%7Bv%7D)%20%3D%20%5Chat%7Ba%7D%20%2B%20%5Chat%7Bb%7D%24%3B%0A%20%20%20%20%20%20%20%202.%20%24%5Cdelta(%5Chat%7Bw%7D)%20%3D%20%5Chat%7Ba%7D%20%2B%20%5Chat%7Bb%7D%24%3B%0A%20%20%20%20%20%20%20%203.%20%24%5Cdelta(%5Chat%7Ba%7D)%20%3D%20%5Chat%7BU%7D%20%2B%20%5Chat%7BL%7D%24%3B%0A%20%20%20%20%20%20%20%204.%20%24%5Cdelta(%5Chat%7Bb%7D)%20%3D%20%5Chat%7BU%7D%20%2B%20%5Chat%7BL%7D%24%3B%0A%20%20%20%20%20%20%20%205.%20%24%5Cdelta(%5Chat%7Bc%7D)%20%3D%20%5Chat%7BU%7D%20%2B%20%5Chat%7BL%7D%24.%0A%0A%20%20%20%20%20%20%20%20So%20these%20are%20rather%20simple%20maps%2C%20and%20we%20get%20%24H%5E0_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D_2)%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24%3B%20%24H%5E1_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D_2)%20%5Ccong%20%5Clangle%20%5Chat%7Ba%7D-%5Chat%7Bb%7D%2C%20%5Chat%7Ba%7D%20-%20%5Chat%7Bc%7D%3B2%5Chat%7Ba%7D%2C2%5Chat%7Bb%7D%2C2%5Chat%7Bc%7D%2C%5Chat%7Ba%7D%2B%20%5Chat%7Bb%7D%5Crangle%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24%3B%20%24H%5E2_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D_2)%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24.%0A%20%20%20%203.%20Now%20we%20have%20%24X%24%20being%20a%20Klein%20Bottle.%20We%20have%20chain%20complex%3A%20%240%20%5Cto%20%5Cmathbb%7BZ%7D%5E2%20%5Cto%20%5Cmathbb%7BZ%7D%5E3%20%5Cto%20%5Cmathbb%7BZ%7D%20%5Cto%200%24%20and%20cochain%20complex%3A%20%24%240%20%5Cleftarrow%20%5Cmathbb%7BZ%7D%5E2_%7B%5Ccong%20%5Clangle%20%5Chat%7BU%7D%2C%5Chat%7BL%7D%20%5Crangle%7D%20%5Cleftarrow%5E%7B%5Cdelta%7D%20%5Cmathbb%7BZ%7D%5E3_%7B%5Ccong%20%5Clangle%20%5Chat%7Ba%7D%2C%5Chat%7Bb%7D%2C%20%5Chat%7Bc%7D%20%5Crangle%7D%20%5Cleftarrow%5E%7B%5Cdelta%7D%20%5Cmathbb%7BZ%7D_%7B%5Ccong%20%5Clangle%20%5Chat%7Bv%7D%20%5Crangle%7D%20%5Cleftarrow%200.%24%24%20Evaluate%20coboundary%20maps%3A%0A%0A%20%20%20%20%20%20%20%201.%20%24%5Cdelta(%5Chat%7Bv%7D)%24%20is%20clearly%20the%20zero%20map%3B%0A%20%20%20%20%20%20%20%202.%20%24%5Cdelta(%5Chat%7Ba%7D)(U)%24%20%24%3D%20%5Chat%7Ba%7D(b-c%2Ba)%20%3D%201%24%3B%0A%20%20%20%20%20%20%20%203.%20%24%5Cdelta(%5Chat%7Ba%7D)(L)%24%20%24%3D%20%5Chat%7Ba%7D(a-b%2Bc)%20%3D%201%24%3B%0A%20%20%20%20%20%20%20%204.%20%24%5Cdelta(%5Chat%7Bb%7D)(U)%24%20%24%3D1%24%3B%0A%20%20%20%20%20%20%20%205.%20%24%5Cdelta(%5Chat%7Bb%7D)(L)%24%20%24%3D-1%24%3B%0A%20%20%20%20%20%20%20%206.%20%24%5Cdelta(%5Chat%7Bc%7D)(U)%24%20%24%3D-1%24%3B%0A%20%20%20%20%20%20%20%207.%20%24%5Cdelta(%5Chat%7Bc%7D)(L)%24%20%24%3D1%24.%0A%0A%20%20%20%20%20%20%20%20Thus%3A%0A%0A%20%20%20%20%20%20%20%201.%20%24%5Cdelta(%5Chat%7Bv%7D)%20%3D%200%24%3B%0A%20%20%20%20%20%20%20%202.%20%24%5Cdelta(%5Chat%7Ba%7D)%20%3D%20%5Chat%7BU%7D%20%2B%20%5Chat%7BL%7D%24%3B%0A%20%20%20%20%20%20%20%203.%20%24%5Cdelta(%5Chat%7Bb%7D)%20%3D%20%5Chat%7BU%7D%20-%20%5Chat%7BL%7D%24%3B%0A%20%20%20%20%20%20%20%204.%20%24%5Cdelta(%5Chat%7Bc%7D)%20%3D%20%5Chat%7BL%7D%20-%20%5Chat%7BU%7D%24.%0A%0A%20%20%20%20%20%20%20%20So%20%24%5Cker%7B%5Cdelta_0%7D%20%3D%20%5Clangle%20%5Chat%7Bv%7D%20%5Crangle%24%20and%20%24%5Ctext%7Bim%7D(%5Cdelta_0)%20%3D%200%24%3B%20%24%5Cker%7B%5Cdelta_1%7D%20%3D%20%5Clangle%20%5Chat%7Bb%7D%20%2B%20%5Chat%7Bc%7D%20%5Crangle%24%20and%20%24%5Ctext%7Bim%7D(%5Cdelta_1)%20%3D%20%5Clangle%20%5Chat%7BL%7D%20-%20%5Chat%7BU%7D%2C%20%5Chat%7BL%7D%20%2B%20%5Chat%7BU%7D%20%5Crangle%24.%0A%20%20%20%20%20%20%20%20Thus%20%24H%5E0_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D)%20%5Ccong%20%5Cker%7B%5Cdelta_0%7D%20%5Ccong%20%5Cmathbb%7BZ%7D%24%3B%20%24H%5E1_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D)%20%5Ccong%20%5Cker%7B%5Cdelta_1%7D%2F%5Ctext%7Bim%7D(%5Cdelta_0)%20%5Ccong%20%5Cmathbb%7BZ%7D%24%3B%20%24H%5E2_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D)%20%5Ccong%20%5Cker%7B0%7D%2F%5Ctext%7Bim%7D(%5Cdelta_1)%20%5Ccong%20%5Clangle%20%5Chat%7BU%7D%2C%20%5Chat%7BL%7D%3B%20%5Chat%7BL%7D%20-%20%5Chat%7BU%7D%2C%20%5Chat%7BL%7D%20%2B%20%5Chat%7BU%7D%5Crangle%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24.%0A%20%20%20%20%20%20%20%20Work%20with%20%24%5Cmathbb%7BZ%7D_2%24%2C%20we%20then%20have%3A%0A%0A%20%20%20%20%20%20%20%201.%20%24%5Cdelta(%5Chat%7Bv%7D)%20%3D%200%24%3B%0A%20%20%20%20%20%20%20%202.%20%24%5Cdelta(%5Chat%7Ba%7D)%20%3D%20%5Chat%7BU%7D%20%2B%20%5Chat%7BL%7D%24%3B%0A%20%20%20%20%20%20%20%203.%20%24%5Cdelta(%5Chat%7Bb%7D)%20%3D%20%5Chat%7BU%7D%20%2B%20%5Chat%7BL%7D%24%3B%0A%20%20%20%20%20%20%20%204.%20%24%5Cdelta(%5Chat%7Bc%7D)%20%3D%20%5Chat%7BU%7D%20%2B%20%5Chat%7BL%7D%24.%0A%0A%20%20%20%20%20%20%20%20Thus%20%24H%5E0_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D_2)%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24%3B%20%24H%5E1_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D_2)%20%5Ccong%20%5Clangle%20%5Chat%7Ba%7D-%5Chat%7Bb%7D%2C%20%5Chat%7Ba%7D%20-%20%5Chat%7Bc%7D%3B2%5Chat%7Ba%7D%2C2%5Chat%7Bb%7D%2C2%5Chat%7Bc%7D%20%5Crangle%20%5Ccong%20%5Cmathbb%7BZ%7D_2%5E2%24%3B%20%24H%5E2_%7B%5CDelta%7D(X%3B%5Cmathbb%7BZ%7D_2)%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24.%0A%0A%20%20%20%20%23%23%20Problem%208%0A%0A%20%20%20%20**Many%20basic%20homology%20arguments%20work%20just%20as%20well%20for%20cohomology%20even%20though%20maps%20go%20in%20the%20opposite%20direction.%20Verify%20this%20in%20the%20following%20case**%3A%0A%0A%20%20%20%20**Compute%20%24H%5Ei(S%5En%3BG)%24%20by%20induction%20on%20%24n%24%20in%20two%20ways%3A%20using%20the%20long%20exact%20sequence%20of%20a%20pair%2C%20and%20using%20the%20Mayer-Vietoris%20sequence**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20We%20had%20examples%20in%20the%20class%20that%20%24H%5E0(S%5E1%3BG)%20%5Ccong%20H%5E1(S%5E1%3BG)%20%5Ccong%20G%24%20and%20%240%24%20otherwise.%20So%20we%20can%20use%20that%20as%20the%20base%20step.%0A%0A%20%20%20%20Induction%20Step%3A%20consider%20the%20pair%20%24(D%5En%2CS%5E%7Bn-1%7D%3D%20%5Cpartial%20D%5En)%24.%20Then%20the%20LES%20of%20the%20pair%20gives%20us%3A%20%24%24%5Cbegin%7Baligned%7D%5Cdots%20%5Cleftarrow%20H%5E%7Bi%2B1%7D(D%5En%3BG)%20%5Cleftarrow%20H%5E%7Bi%2B1%7D(D%5En%2CS%5E%7Bn-1%7D%3BG)%20%5C%5C%5Cleftarrow%20H%5Ei(S%5E%7Bn-1%7D%3BG)%20%5Cleftarrow%20H%5Ei(D%5En%3BG)%20%5Cleftarrow%20%5Cdots%5Cend%7Baligned%7D%24%24%20Use%20that%20%24D%5En%24%20is%20contractible%20and%20that%20%24D%5En%2FS%5E%7Bn-1%7D%20%3D%20S%5En%24%2C%20we%20get%20that%20%240%20%5Cleftarrow%20H%5E%7Bi%2B1%7D(S%5En%3BG)%20%5Cleftarrow%20H%5Ei(S%5E%7Bn-1%7D%3BG)%20%5Cleftarrow%200%24%20Which%20implies%20that%20%24H%5E%7Bi%2B1%7D(S%5En%3BG)%20%5Ccong%20H%5Ei(S%5E%7Bn-1%7D%3BG)%24.%20Thus%20%24H%5E0(S%5En%3BG)%20%5Ccong%20H%5En(S%5En%3BG)%20%5Ccong%20G%24%20and%20%240%24%20otherwise.%0A%0A%20%20%20%20With%20Mayer-Vietoris%20sequence%3A%20consider%20%24X%20%3D%20S%5En%24%20being%20the%20union%20of%20two%20hemisphere%20(with%20boundary)%20%24A%24%20and%20%24B%24%2C%20then%20the%20MV%20sequence%20gives%3A%20%24%24%5Cbegin%7Baligned%7D%5Cdots%20%5Cleftarrow%20H%5E%7Bi%2B1%7D(A%3BG)%5Coplus%20H%5E%7Bi%2B1%7D(B%3BG)%20%5Cleftarrow%20H%5E%7Bi%2B1%7D(X%3B%20G)%20%5C%5C%20%5Cleftarrow%20H%5Ei(A%20%5Ccap%20B%3BG)%20%5Cleftarrow%20H%5Ei(A%3BG)%5Coplus%20H%5Ei(B%3BG)%5Cleftarrow%20%5Cdots%5Cend%7Baligned%7D%24%24%20Use%20that%20%24A%2CB%24%20are%20contractible%20and%20that%20%24A%20%5Ccap%20B%20%5Ccong%20S%5E%7Bn-1%7D%24%2C%20we%20get%20that%20%240%20%5Cleftarrow%20H%5E%7Bi%2B1%7D(S%5En%3BG)%20%5Cleftarrow%20H%5Ei(S%5E%7Bn-1%7D%3BG)%20%5Cleftarrow%200%24%20So%20that%20they%20are%20isomorphic%2C%20as%20above.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%2011%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Problem%201%0A%0A%20%20%20%20**Show%20that%20there%20exist%20nonorientable%20%241%24-dimensional%20manifolds%20if%20the%20Hausdorff%20condition%20is%20dropped%20from%20the%20definition%20of%20a%20manifold**.%0A%0A%20%20%20%20%23%23%20Problem%202%0A%0A%20%20%20%20**Show%20that%20the%20maps%20%24G%20%5Cto%5En%20G%24%20and%20%24H%20%5Cto%5En%20H%24%20multiplying%20each%20element%20by%20the%20integer%20%24n%24%20induce%20multiplication%20by%20%24n%24%20in%20%24%5Ctext%7BExt%7D(H%2CG)%24**.%0A%0A%20%20%20%20%23%23%20Problem%203%0A%0A%20%20%20%20**Regarding%20%24%5Cmathbb%7BZ%7D_2%24%20as%20a%20module%20over%20the%20ring%20%24%5Cmathbb%7BZ%7D_4%24%2C%20construct%20a%20resolution%20of%20%24%5Cmathbb%7BZ%7D_2%24%20by%20free%20modules%20over%20%24%5Cmathbb%7BZ%7D_4%24%20and%20use%20this%20to%20show%20that%20%24%5Ctext%7BExt%7D_%7B%5Cmathbb%7BZ%7D_4%7D%5En(%5Cmathbb%7BZ%7D_2%2C%20%5Cmathbb%7BZ%7D_2)%24%20is%20non-zero%20for%20all%20%24n%24**.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A