Topology Homework 2

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%20Spring%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%20Section%201.1%0A%0A%20%20%20%20%23%23%23%20Exercise%201%0A%0A%20%20%20%20**If%20%24k%20%3C%20l%24%20we%20can%20consider%20%24%5Cmathbb%7BR%7D%5Ek%24%20to%20be%20the%20subset%20in%20%24%5Cmathbb%7BR%7D%5El%24.%20Show%20that%20smooth%20functions%20on%20%24%5Cmathbb%7BR%7D%5Ek%24%2C%20considered%20as%20a%20subset%20of%20%24%5Cmathbb%7BR%7D%5El%24%2C%20are%20the%20same%20as%20usual**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Suppose%20%24f%24%20is%20a%20smooth%20function%20%24f%3A%20%5Cmathbb%7BR%7D%5Ek%20%5Cto%20%5Cmathbb%7BR%7D%5Em%24.%20Consider%20the%20function%20%24F%3A%20%5Cmathbb%7BR%7D%5El%20%5Cto%20%5Cmathbb%7BR%7D%5Em%2C%20(x_1%2C%20%5Cdots%2C%20x_l)%20%5Cmapsto%20f(x_1%2C%20%5Cdots%2C%20x_k)%24%2C%20then%20%24F%24%20is%20smooth%20because%20%24f%24%20is.%20Also%20it%20is%20clear%20that%20%24F%20%7C_%7B%5Cmathbb%7BR%7D%5Ek%20%5Ccap%20%5Cmathbb%7BR%7D%5El%7D%20%3D%20F%20%7C_%7B%5Cmathbb%7BR%7D%5Ek%7D%20%3D%20f%20(%3D%20f%20%7C_%7B%5Cmathbb%7BR%7D%5Ek%20%5Ccap%20%5Cmathbb%7BR%7D%5El%7D)%24.%20Thus%20%24f%24%20is%20smooth%20on%20%24%5Cmathbb%7BR%7D%5Ek%24%20considered%20as%20a%20subset%20of%20%24%5Cmathbb%7BR%7D%5El%24.%0A%0A%20%20%20%20Conversely%2C%20suppose%20%24f%24%20is%20smooth%20on%20%24%5Cmathbb%7BR%7D%5Ek%24%20considered%20as%20a%20subset%20of%20%24%5Cmathbb%7BR%7D%5El%24.%20By%20definition%2C%20we%20have%20that%20for%20each%20%24x%20%5Cin%20%5Cmathbb%7BR%7D%5Ek%20%5Csubseteq%20%5Cmathbb%7BR%7D%5El%24%20there%20is%20neighborhood%20%24U%20%5Csubseteq%20%5Cmathbb%7BR%7D%5El%24%20of%20%24x%24%20and%20a%20smooth%20%24F%3A%20U%20%5Cto%20%5Cmathbb%7BR%7D%5Em%24%20such%20that%20%24F%20%7C_%7BU%20%5Ccap%20%5Cmathbb%7BR%7D%5Ek%7D%20%3D%20f%20%7C_%7BU%20%5Ccap%20%5Cmathbb%7BR%7D%5Ek%7D%24.%20Since%20%24F%24%20is%20smooth%20(by%20having%20continuous%20partial%20derivatives%20of%20all%20orders)%20we%20have%20that%20%24f%20%7C_%7BU%20%5Ccap%20%5Cmathbb%7BR%7D%5Ek%7D%24%20also%20has%20continuous%20partial%20derivatives%20of%20all%20orders%2C%20which%20means%20%24f%20%7C_%7BU%20%5Ccap%20%5Cmathbb%7BR%7D%5Ek%7D%24%20is%20smooth%20(on%20%24U%20%5Ccap%20%5Cmathbb%7BR%7D%5Ek%24)%3B%20since%20%24x%24%20is%20arbitrary%2C%20%24f%24%20is%20smooth%20on%20%24%5Cmathbb%7BR%7D%5Ek%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%202%0A%0A%20%20%20%20**Suppose%20that%20%24X%24%20is%20a%20subset%20of%20%24%5Cmathbb%7BR%7D%5EN%24%20and%20%24Z%24%20is%20a%20subset%20of%20%24X%24.%20Show%20that%20the%20restriction%20to%20%24Z%24%20of%20any%20smooth%20map%20on%20%24X%24%20is%20a%20smooth%20map%20on%20%24Z%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20For%20any%20%24z%20%5Cin%20Z%24%2C%20by%20definition%20of%20smoothness%2C%20we%20have%20that%20there%20exists%20%24U%20%5Csubseteq%20%5Cmathbb%7BR%7D%5EN%24%20neighborhood%20of%20%24z%24%20with%20%24F%3A%20U%20%5Cto%20%5Cmathbb%7BR%7D%5Em%2C%20F%20%7C_%7BX%5Ccap%20U%7D%20%3D%20f%20%7C_%7BX%20%5Ccap%20U%7D%24.%20Consider%20%24U%20%5Ccap%20Z%24%3A%20it%20is%20a%20neighborhood%20of%20%24z%24%20and%20it%20is%20contained%20in%20%24U%20%5Ccap%20X%24%2C%20thus%20%24F%20%7C_%7BZ%20%5Ccap%20U%7D%20%3D%20f%20%7C_%7BZ%20%5Ccap%20U%7D%24%2C%20i.e.%20the%20restriction%20is%20also%20smooth.%0A%0A%20%20%20%20%23%23%23%20Exercise%204%0A%0A%20%20%20%201.%20**Let%20%24B_a%24%20be%20the%20open%20ball%20%24%5Clbrace%20x%20%5C%7C%20x%20%7C%5E2%20%3C%20a%20%5Crbrace%24%20in%20%24%5Cmathbb%7BR%7D%5Ek%24.%20Show%20that%20the%20map%20%24x%20%5Cmapsto%20%5Cfrac%7Bax%7D%7B%5Csqrt%7Ba%5E2%20-%20%7C%20x%20%7C%5E2%7D%7D%24%20is%20a%20diffeomorphism%20of%20%24B_a%24%20onto%20%24%5Cmathbb%7BR%7D%5Ek%24**%3B%0A%20%20%20%202.%20**Suppose%20that%20%24X%24%20is%20a%20%24k%24-dimensional%20manifold.%20Show%20that%20every%20point%20in%20%24X%24%20has%20a%20neighborhood%20diffeomorphic%20to%20all%20of%20%24%5Cmathbb%7BR%7D%5Ek%24.%20Thus%20local%20parametrizations%20may%20always%20be%20chosen%20with%20all%20of%20%24%5Cmathbb%7BR%7D%5Ek%24%20for%20their%20domains**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20The%20map%20is%20surjective%3A%20for%20any%20wanted%20%24y%20%5Cin%20%5Cmathbb%7BR%7D%5Ek%24%2C%20pick%20%24x%24%20with%20the%20same%20'direction'%20with%20%24y%24%20and%20with%20needed%20'length'%20then%20this%20%24x%24%20will%20be%20mapped%20to%20%24y%24%20(zero%20vector%20is%20mapped%20to%20zero%20vector%2C%20vector%20with%20length%20close%20to%20%24a%24%20is%20mapped%20to%20a%20vector%20with%20large%20length%3B%20the%20map%20is%20clearly%20continuous%2C%20thus%20any%20length%20can%20be%20mapped%20to).%0A%20%20%20%20%09Write%20the%20function%20as%20%24y%20%3D%20%5Cfrac%7Bax%7D%7B%5Csqrt%7Ba%5E2%20-%20%7C%20x%20%7C%5E2%7D%7D%24%2C%20take%20square%20each%20side%20and%20it%20is%20not%20hard%20to%20find%20the%20inverse%20to%20be%20%24x%20%3D%20%5Cfrac%7Bay%7D%7B%5Csqrt%7Ba%5E2%20%2B%20%7C%20y%20%7C%5E2%7D%7D%24%20(from%20%24%5Cmathbb%7BR%7D%5Ek%24%20to%20%24B_a%24).%20Now%20both%20functions%20are%20compositions%20of%20'basic'%20smooth%20functions%20(identity%2C%20square%2C%20square%20root%2C%20etc.)%20thus%20they%20are%20both%20smooth%2C%20and%20thus%20%24x%20%5Cmapsto%20%5Cfrac%7Bax%7D%7B%5Csqrt%7Ba%5E2%20-%20%7C%20x%20%7C%5E2%7D%7D%24%20is%20a%20diffeomorphism%20of%20%24B_a%24%20onto%20%24%5Cmathbb%7BR%7D%5Ek%24%3B%0A%20%20%20%202.%20By%20definition%20of%20a%20%24k%24-manifold%2C%20for%20each%20%24p%20%5Cin%20X%24%2C%20there%20is%20an%20open%20neighborhood%20%24O(p)%20%5Csubseteq%20X%24%20which%20is%20diffeomorphic%20to%20an%20open%20set%20%24U%20%5Csubseteq%20%5Cmathbb%7BR%7D%5Ek%24%3A%20the%20diffeomorphism%20%24r%3A%20U%20%5Cto%20O(p)%24%20is%20a%20local%20parametrization%20of%20%24O(p)%24.%20Now%20%24r%5E%7B-1%7D(p)%20%5Cin%20U%24%20and%20we%20can%20choose%20%24B%20%3D%20B_a(r%5E%7B-1%7D(p))%20%5Csubseteq%20U%24%20with%20a%20small%20enough%20%24a%24.%20By%20previous%20exercise%20the%20restriction%20of%20%24r%20%7C_B%24%20is%20also%20a%20diffeomorphism%20(local%20parametrization).%20By%20part%201%20we%20have%20a%20diffeomorphism%20%24g%3A%20%5Cmathbb%7BR%7D%5Ek%20%5Cto%20B%24%2C%20thus%20(inverse%20of)%20the%20composition%20%24r%20%7C_B%20%5Ccirc%20g%3A%20%5Cmathbb%7BR%7D%5Ek%20%5Cto%20B%20%5Cto%20O(p)%24%20would%20be%20a%20diffeomorphism%20between%20a%20neighborhood%20of%20%24x%24%20to%20%24%5Cmathbb%7BR%7D%5Ek%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%206%0A%0A%20%20%20%20**A%20smooth%20bijective%20map%20of%20manifolds%20need%20not%20be%20a%20diffeomorphism.%20In%20fact%2C%20show%20that%20%24f%3A%20%5Cmathbb%7BR%7D%5E1%20%5Cto%20%5Cmathbb%7BR%7D%5E1%2C%20f(x)%20%3D%20x%5E3%24%2C%20is%20an%20example**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20The%20inverse%20of%20%24f%24%20is%20%24g%20%3D%20f%5E%7B-1%7D%20%3D%20x%5E%7B1%2F3%7D%24%20and%20is%20not%20even%20differentiable%20at%20%240%24%3A%20%24%5Clim%5Climits_%7Bh%20%5Cto%200%7D%5Cfrac%7Bg(h)-g(0)%7D%7Bh%7D%20%3D%20%5Clim%5Climits_%7Bh%20%5Cto%200%7Dh%5E%7B-2%2F3%7D%24%20is%20undefined%2C%20graphically%20the%20slope%20is%20a%20vertical%20line%20there.%20Thus%20%24f%24%20is%20not%20a%20diffeomorphism.%0A%0A%20%20%20%20%23%23%23%20Exercise%208%0A%0A%20%20%20%20**Prove%20that%20the%20paraboloid%20in%20%24%5Cmathbb%7BR%7D%5E3%24%2C%20defined%20by%20%24x%5E2%20%2B%20y%5E2%20-%20z%5E2%20%3D%20a%24%2C%20is%20a%20manifold%20if%20%24a%20%3E%200%24.%20Why%20doesn't%20%24x%5E2%20%2B%20y%5E2%20-%20z%5E2%20%3D%200%24%20define%20a%20manifold**%3F%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021328.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20(a%20graph%20from%20WolframAlpha%20to%20help%20illustrate)%0A%0A%20%20%20%20Fix%20any%20%24a%20%3E%200%24%2C%20we%20show%20that%20it%20is%20a%20%242%24-manifold%20by%20giving%20the%20following%20graphs%20that%20cover%20it%3A%0A%0A%20%20%20%201.%20Bottom%20part%20that%20looks%20like%20a%20volcano%3A%20it%20can%20be%20parameterized%20by%20%24f_1%3A%20%5Cmathbb%7BR%7D%5E2%20-%20%5Coverline%7BB_a%7D%20%5Cto%20%5Cmathbb%7BR%7D%5E3%2C%20(x%2C%20y)%20%5Cmapsto%20(x%2C%20y%2C%20-%5Csqrt%7Bx%5E2%20%2B%20y%5E2%20-%20a%7D)%24%20(works%20like%20inverse%20of%20a%20projection)%3B%0A%20%20%20%202.%20A%20circle%20in%20the%20middle%20(and%20the%20surrounding)%3A%20just%20like%20the%20parametrization%20of%20%24S%5E1%24%20we%20may%20do%20it%20by%20four%20parts%3A%0A%20%20%20%20%091.%20%24f_2%3A%20B_a%20%5Cto%20%5Cmathbb%7BR%7D%5E3%2C%20(x%2C%20z)%20%5Cmapsto%20(x%2C%5Csqrt%7Ba%2Bx%5E2-z%5E2%7D%2Cz)%24%2C%20the%20domain%20%24B_a%24%20here%20could%20be%20pretty%20arbitrary%2C%20because%20in%20the%20end%20all%20we%20need%20is%20to%20cover%20the%20middle%20line%3B%0A%20%20%20%20%092.%20%24f_3%3A%20B_a%20%5Cto%20%5Cmathbb%7BR%7D%5E3%2C%20(x%2C%20z)%20%5Cmapsto%20(x%2C-%5Csqrt%7Ba%2Bx%5E2-z%5E2%7D%2Cz)%24%3B%0A%20%20%20%20%093.%20%24f_4%3A%20B_a%20%5Cto%20%5Cmathbb%7BR%7D%5E3%2C%20(y%2C%20z)%20%5Cmapsto%20(%5Csqrt%7Ba%2By%5E2-z%5E2%7D%2Cy%2Cz)%24%3B%20and%2C%0A%20%20%20%20%094.%20%24f_5%3A%20B_a%20%5Cto%20%5Cmathbb%7BR%7D%5E3%2C%20(y%2C%20z)%20%5Cmapsto%20(-%5Csqrt%7Ba%2By%5E2-z%5E2%7D%2Cy%2Cz)%24.%20Each%20of%20them%20would%20look%20like%20this%3A%0A%0A%20%20%20%20%09%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021613.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%203.%20And%20finally%20the%20top%20part%2C%20which%20is%20a%20volcano%20up-side-down%2C%20parameterized%20by%20%24f_6%3A%20%5Cmathbb%7BR%7D%5E2%20-%20%5Coverline%7BB_a%7D%20%5Cto%20%5Cmathbb%7BR%7D%5E3%2C%20(x%2C%20y)%20%5Cmapsto%20(x%2C%20y%2C%20%5Csqrt%7Bx%5E2%20%2B%20y%5E2%20-%20a%7D)%24.%0A%0A%20%20%20%20In%20the%20case%20that%20%24a%20%3D%200%24%20the%20graph%20looks%20like%20this%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021534.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20Then%20the%20middle%20point%20%24(0%2C%200%2C%200)%24%20has%20no%20neighborhood%20%24O%24%20diffeomorphic%20to%20%24%5Cmathbb%7BR%7D%5Em%24%20(in%20particular%2C%20%24%5Cmathbb%7BR%7D%5E2%24)%20(not%20even%20homeomorphic%20to%2C%20because%20if%20we%20remove%20%24(0%2C%200%2C%200)%24%20from%20%24O%24%20then%20it%20got%20two%20components%2C%20while%20%24%5Cmathbb%7BR%7D%5E2%24%20still%20has%20one%20component%20after%20removing%20a%20point).%0A%0A%20%20%20%20%23%23%23%20Exercise%2012%0A%0A%20%20%20%20**Stereographic%20projection%20is%20a%20map%20%24%5Cpi%24%20from%20the%20punctured%20sphere%20%24S%5E2%20-%20%5Clbrace%20N%20%5Crbrace%24%20on%20to%20%24%5Cmathbb%7BR%7D%5E2%24%2C%20where%20%24N%24%20is%20the%20north%20pole%20%24(0%2C%200%2C%201)%24.%20For%20any%20%24p%20%5Cin%20S%5E2%20-%20%5Clbrace%20N%20%5Crbrace%24%2C%20%24%5Cpi(p)%24%20is%20defined%20to%20be%20the%20point%20at%20which%20the%20line%20through%20%24N%24%20and%20%24p%24%20intersects%20the%20%24xy%24%20plane.%20Prove%20that%20%24%5Cpi%3A%20S%5E2%20-%20%5Clbrace%20N%20%5Crbrace%20%5Cto%20%5Cmathbb%7BR%7D%5E2%24%20is%20a%20diffeomorphism**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20We%20show%20this%20by%20explicitly%20giving%20%24%5Cpi%24%20and%20its%20inverse%3A%0A%0A%20%20%20%20In%20other%20word%2C%20for%20each%20%24p%24%20on%20the%20punctured%20sphere%20with%20the%20coordinate%20%24(x_1%2C%20%5Cdots%2C%20x_%7Bk%2B1%7D)%24%20we%20want%20to%20find%20the%20coordinate%20of%20its%20image.%0A%0A%20%20%20%20For%20each%20coordinate%20of%20%24%5Cpi%24%2C%20'cut%20through'%20this%20coordinate%20(and%20take%20the%20projection%20of%20%24p%24%20on%20the%20cut%20plane)%2C%20for%20example%2C%20say%20we%20cut%20through%20'the%20first%20dimension'%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020220326104219.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20This%20cut%20leaves%20us%20a%20plane.%0A%0A%20%20%20%20On%20this%20projection%2C%20%24N%24%20has%20the%20coordinate%20%24(0%2C1)%24%2C%20if%20we%20project%20%24p%24%20onto%20this%20plane%20we%20have%20the%20coordinate%20%24(x_1%2C%20x_%7Bk%2B1%7D)%24.%20With%20little%20knowledge%20in%20geometry%20it%20is%20easy%20to%20find%20that%20the%20line%20connecting%20%24N%24%20and%20%24p%24%20intersects%20the%20horizontal%20axis%20at%20%24(%5Cfrac%7Bx_1%7D%7B1-x_%7Bk%2B1%7D%7D%2C%200)%24.%20In%20other%20word%2C%20the%20value%20of%20the%20first%20coordinate%20of%20%24%5Cpi(p)%24%20is%20%24%5Cfrac%7Bx_1%7D%7B1-x_%7Bk%2B1%7D%7D%24.%0A%0A%20%20%20%20In%20general%2C%20%24%5Cpi%24%20maps%20%24(x_1%2C%20%5Cdots%2C%20x_%7Bk%2B1%7D)%24%20to%20%24(%5Cfrac%7Bx_1%7D%7B1-x_%7Bk%2B1%7D%7D%2C%20%5Cdots%2C%20%5Cfrac%7Bx_k%7D%7B1-x_%7Bk%2B1%7D%7D)%24.%0A%0A%20%20%20%20It%20is%20not%20too%20hard%20to%20compute%20its%20inverse%3A%20%24%5Cpi%5E%7B-1%7D%24%20maps%20%24(y_1%2C%20%5Cdots%2C%20y_k)%24%20to%20%24(%5Cfrac%7B2y_1%7D%7By_1%5E2%20%2B%20%5Cdots%20%2B%20y_k%5E2%20%2B%201%7D%2C%20%5Cdots%2C%20%5Cfrac%7B2y_k%7D%7By_1%5E2%20%2B%20%5Cdots%20%2B%20y_k%5E2%20%2B%201%7D%2C%20%5Cfrac%7By_1%5E2%20%2B%20%5Cdots%20%2B%20y_k%5E2%20-%201%7D%7By_1%5E2%20%2B%20%5Cdots%20%2B%20y_k%5E2%20%2B%201%7D)%24%2C%20using%20the%20fact%20that%20%24%5Csum%20y_i%5E2%20%3D%201%24.%0A%0A%20%20%20%20Clearly%20both%20%24%5Cpi%24%20and%20its%20inverse%20are%20smooth%2C%20thus%20%24%5Cpi%24%20is%20a%20diffeomorphism.%0A%0A%20%20%20%20%23%23%23%20Exercise%2014%0A%0A%20%20%20%20**If%20%24f%3A%20X%20%5Cto%20X'%24%20and%20%24g%3A%20Y%20%5Cto%20Y'%24%20are%20smooth%20maps%2C%20define%20a%20product%20map%20%24f%20%5Ctimes%20g%3A%20X%20%5Ctimes%20Y%20%5Cto%20X'%20%5Ctimes%20Y'%24%20by%20%24(f%20%5Ctimes%20g)(x%2C%20y)%20%3D%20(f(x)%2C%20g(y))%24.%20Show%20that%20%24f%20%5Ctimes%20g%24%20is%20smooth**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20For%20any%20%24(x%2C%20y)%20%5Cin%20X%20%5Ctimes%20Y%24%2C%20we%20have%20%24x%20%5Cin%20X%24%20and%20%24y%20%5Cin%20Y%24%20thus%20by%20definition%2C%20there%20exists%20neighborhood%20%24U%20%3D%20U(x)%2C%20V%20%3D%20V(y)%24%20with%20%24F%24%20smooth%20and%20%24F%20%7C_%7BX%20%5Ccap%20U%7D%20%3D%20f%20%7C_%7BX%20%5Ccap%20U%7D%24%2C%20%24G%24%20smooth%20and%20%24G%20%7C_%7BY%20%5Ccap%20V%7D%20%3D%20g%20%7C_%7BY%20%5Ccap%20V%7D%24.%20Consider%20the%20product%20%24(X%20%5Ccap%20U)%20%5Ctimes%20(Y%20%5Ccap%20V)%24%2C%20it%20equals%20to%20%24(X%20%5Ctimes%20Y)%20%5Ccap%20(U%20%5Ctimes%20V)%24.%20Thus%20%24f%20%5Ctimes%20g%24%20coincides%20%24F%20%5Ctimes%20G%24%20on%20%24(X%20%5Ccap%20U)%20%5Ctimes%20(Y%20%5Ccap%20V)%20%3D%20(X%20%5Ctimes%20Y)%20%5Ccap%20(U%20%5Ctimes%20V)%24.%20From%20the%20definition%20of%20product%20topology%20%24U%20%5Ctimes%20V%24%20is%20open%2C%20thus%20%24F%20%5Ctimes%20G%24%20is%20naturally%20smooth%20on%20%24U%20%5Ctimes%20V%24%20because%20it%20still%20has%20continuous%20derivatives%20of%20all%20orders%2C%20thus%20%24f%20%5Ctimes%20g%24%20is%20also%20smooth.%0A%0A%20%20%20%20%23%23%23%20Exercise%2016%0A%0A%20%20%20%20**The%20diagonal%20%24%5Ctriangle%24%20in%20%24X%20%5Ctimes%20X%24%20is%20the%20set%20of%20points%20of%20the%20form%20%24(x%2C%20x)%24.%20Show%20that%20%24%5Ctriangle%24%20is%20diffeomorphic%20to%20%24X%24%2C%20so%20%24%5Ctriangle%24%20is%20a%20manifold%20if%20%24X%24%20is**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24f%3A%20X%20%5Cto%20%5Ctriangle%24%20given%20by%20%24x%20%5Cmapsto%20(x%2C%20x)%24.%20For%20any%20%24x%20%5Cin%20X%24%2C%20let%20%24U%20%3D%20U(x)%24%20be%20a%20neighborhood%20of%20%24x%24%20in%20%24%5Cmathbb%7BR%7D%5Em%24%20and%20let%20%24F%3A%20U%20%5Cto%20%5Cmathbb%7BR%7D%5EN%24%20given%20by%20%24x%20%5Cmapsto%20(x%2C%20x)%24.%20Now%20for%20any%20%24x_0%20%5Cin%20U%24%2C%20the%20tangent%20vector%20at%20%24x_0%24%20is%3A%20%24F'(x_0)%20%3D%20%5Clim%5Climits_%7Bh%20%5Cto%200%7D%5Cfrac%7BF(x_0%2Bh)-F(x_0)%7D%7Bh%7D%24%20%24%3D%20%5Clim%5Climits_%7Bh%20%5Cto%200%7D%5Cfrac%7B(x_0%2Bh%2Cx_0%2Bh)%20-%20(x_0%2C%20x_0)%7D%7Bh%7D%24%20%24%3D%20%5Clim%5Climits_%7Bh%20%5Cto%200%7D(1%2C1)%24%20%24%3D%20(1%2C1)%24%20is%20constant%2C%20thus%20%24F%24%20is%20smooth%2C%20which%20coincides%20%24f%24%20on%20%24U%24%2C%20thus%20%24f%24%20is%20smooth.%20Now%20the%20inverse%20of%20%24f%24%20is%20%24f%5E%7B-1%7D%3A%5Ctriangle%20%5Cto%20X%24%20given%20by%20%24(x%2Cx)%20%5Cto%20x%24%20is%20a%20projection%2C%20and%20we%20know%20that%20a%20projection%20map%20is%20smooth.%20Thus%20%24%5Ctriangle%24%20is%20diffeomorphic%20to%20%24X%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%2018%0A%0A%20%20%20%201.%20**An%20extremely%20useful%20function%20%24f%3A%5Cmathbb%7BR%7D%20%5Cto%20%5Cmathbb%7BR%7D%24%20is%20%24f(x)%20%3D%20e%5E%7B-1%2Fx%5E2%7D%2C%20x%20%3E%200%2C%200%2C%20x%20%5Cle%200%24.%20Prove%20that%20%24f%24%20is%20smooth**%3B%0A%20%20%20%202.%20**Show%20that%20%24g(x)%20%3D%20f(x-a)f(b-x)%24%20is%20a%20smooth%20function%2C%20positive%20on%20%24(a%2C%20b)%24%20and%20zero%20elsewhere%20(%24a%20%3C%20b%24).%20Then%20%24h(x)%20%3D%20%5Cfrac%7B%5Cint_%7B-%5Cinfty%7D%5Exgdx%7D%7B%5Cint_%7B-%5Cinfty%7D%5E%7B%5Cinfty%7Dgdx%7D%24%20is%20a%20smooth%20function%20satisfying%20%24h(x)%20%3D%200%24%20for%20%24x%20%3C%20a%24%2C%20%24h(x)%20%3D%201%24%20for%20%24x%20%3E%20b%24%2C%20and%20%240%20%3C%20h(x)%20%3C%201%24%20for%20%24x%20%5Cin%20(a%2C%20b)%24**%3B%0A%20%20%20%203.%20**Now%20construct%20a%20smooth%20function%20on%20%24%5Cmathbb%7BR%7D%5Ek%24%20that%20equals%20%241%24%20on%20the%20ball%20of%20radius%20%24a%24%2C%20zero%20outside%20the%20ball%20of%20radius%20%24b%24%2C%20and%20is%20strictly%20between%20%240%24%20and%20%241%24%20at%20intermediate%20points**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20Claim%20that%20%24(e%5E%7B-1%2Fx%5E2%7D)%5E%7B(n)%7D%20%3D%20e%5E%7B-1%2Fx%5E2%7DP_n(1%2Fx)%24%20where%20%24P_n%24%20is%20a%20polynomial%20of%20degree%20%243n%24%20for%20all%20natural%20%24n%24%3A%0A%20%20%20%20%09Indeed%2C%20the%20case%20%24n%20%3D%201%24%20is%20true%3A%20%24(e%5E%7B-1%2Fx%5E2%7D)'%20%3D%20e%5E%7B-1%2Fx%5E2%7D%20%5Cfrac%7B2%7D%7Bx%5E3%7D%24%3B%0A%20%20%20%20%09Suppose%20statement%20holds%20for%20%24n%24%3A%20then%20%24(e%5E%7B-1%2Fx%5E2%7D)%5E%7B(n%2B1)%7D%20%3D%20((e%5E%7B-1%2Fx%5E2%7D)%5E%7B(n)%7D)'%24%20%24%3D%20(e%5E%7B-1%2Fx%5E2%7DP_n(1%2Fx))'%24%20%24%3D%20e%5E%7B-1%2Fx%5E2%7D%20%5Cfrac%7B2%7D%7Bx%5E3%7D%20P_n(1%2Fx)%20%2B%20e%5E%7B-1%2Fx%5E2%7D%20P_n'(1%2Fx)(-1%2Fx%5E2)%24%2C%20and%20we%20can%20see%20that%20%24%5Cfrac%7B2%7D%7Bx%5E3%7D%20P_n(1%2Fx)%20%2B%20P_n'(1%2Fx)(-1%2Fx%5E2)%24%20is%20a%20polynomial%20of%20degree%20%243n%24.%0A%20%20%20%20%09Thus%20we%20proved%20the%20claim%20by%20induction.%0A%20%20%20%20%09Now%2C%20for%20each%20natural%20%24n%24%20we%20have%20%24%5Clim%5Climits_%7Bh%20%5Cto%200%2B%7D%5Cfrac%7B(e%5E%7B-1%2Fh%5E2%7D)%5E%7B(n)%7D%7D%7Bh%7D%24%20%24%3D%20%5Clim%5Climits_%7Bh%20%5Cto%200%2B%7D%5Cfrac%7Be%5E%7B-1%2Fh%5E2%7DP_n(1%2Fh)%7D%7Bh%7D%24%20%24%3D%20%5Clim%5Climits_%7Bh%20%5Cto%200%2B%7De%5E%7B-1%2Fh%5E2%7D%5Ctilde%7BP%7D(1%2Fh)%24%20for%20some%20rational%20%24%5Ctilde%7BP%7D%24%2C%20and%20this%20limit%20is%20clearly%20%240%24.%20Thus%20the%20original%20%24f%24%20has%20continuous%20derivatives%20of%20all%20orders%20thus%20smooth%3B%0A%20%20%20%202.%20Since%20%24f%24%20is%20smooth%2C%20%24g%24%20being%20composition%20(and%20product)%20of%20smooth%20functions%20is%20smooth.%20If%20%24a%20%3C%20x%20%3C%20b%24%20then%20%24x-a%3E0%24%20and%20%24b-x%3E0%24%20thus%20%24f(x-a)%24%20and%20%24f(b-x)%24%20are%20positive%2C%20thus%20%24g(x)%24%20positive.%20Similarly%20if%20%24x%20%5Cle%20a%24%20or%20%24x%20%5Cge%20b%24%2C%20then%20either%20%24f(x-a)%24%20or%20%24f(b-x)%24%20is%20zero%20thus%20%24g(x)%24%20is%20zero.%0A%20%20%20%20%09Now%20%24%5Cint_%7B-%5Cinfty%7D%5E%7B%5Cinfty%7Dgdx%24%20is%20fixed%2C%20and%20by%20Fundamental%20Theorem%20of%20Calculus%20%24(%5Cint_%7B-%5Cinfty%7D%5Exgdx)'%20%3D%20g(x)%24%20which%20is%20smooth%2C%20thus%20%24h%24%20is%20smooth.%0A%20%20%20%20%09If%20%24x%20%3C%20a%24%20then%20area%20below%20%24g%24%20is%20identical%20%240%24%2C%20%24%5Cint_%7B-%5Cinfty%7D%5Exgdx%20%3D%200%20%5Cimplies%20h(x)%20%3D%200%24%3B%0A%20%20%20%20%09If%20%24x%20%3E%20b%24%20then%20area%20below%20%24g%24%20(before%20it%20hits%20%24x%24)%20covers%20everything%2C%20thus%20%24%5Cint_%7B-%5Cinfty%7D%5Exgdx%20%3D%20%5Cint_%7B-%5Cinfty%7D%5E%7B%5Cinfty%7Dgdx%24%20thus%20%24h(x)%20%3D%201%24%3B%0A%20%20%20%20%09If%20%24a%20%3C%20x%20%3C%20b%24%20then%20%24g(x)%20%3E%200%24%20meaning%20that%20%24%5Cint_%7B-%5Cinfty%7D%5Exgdx%20%3C%20%5Cint_%7B-%5Cinfty%7D%5E%7B%5Cinfty%7Dgdx%24%2C%20thus%20%240%20%3C%20h(x)%20%3C%201%24%3B%0A%20%20%20%203.%20%24f%3A%20%5Cmathbb%7BR%7D%5Ek%20%5Cto%20%5Cmathbb%7BR%7D%2C%20x%20%5Cmapsto%20%5C%7C%20x%20%5C%7C%24%20is%20clearly%20smooth%2C%20thus%20%24F%3A%20%5Cmathbb%7BR%7D%5Ek%20%5Cto%20%5Cmathbb%7BR%7D%2C%20x%20%5Cmapsto%201%20-%20h(%5C%7C%20x%20%5C%7C)%24%20is%20a%20function%20that%20satisfies%20everything%20we%20want.%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%20Spring%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%20Section%201.2%0A%0A%20%20%20%20%23%23%23%20Exercise%201%0A%0A%20%20%20%20**For%20a%20sub-manifold%20%24X%24%20of%20%24Y%24%2C%20let%20%24i%3A%20X%20%5Cto%20Y%24%20be%20the%20inclusion%20map%2C%20check%20that%20%24di_x%24%20is%20the%20inclusion%20map%20of%20%24T_x(X)%24%20into%20%24T_%7Bf(x)%7D(Y)%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24x%20%5Cin%20X%20%5Csubseteq%20Y%24%20and%20%24r%3A%20U%20%5Cto%20X%24%20and%20%24s%3A%20V%20%5Cto%20Y%24%20be%20local%20parametrizations%2C%20we%20can%20define%20%24h%20%3D%20s%5E%7B-1%7D%20%5Ccirc%20i%20%5Ccirc%20r%3AU%20%5Cto%20X%20%5Cto%20Y%20%5Cto%20V%24%2C%20and%20then%20from%20there%20define%20%24di_0%20%3D%20ds_0%20%5Ccirc%20dh_0%20%5Ccirc%20dr%5E%7B-1%7D_0%24.%20Now%20since%20%24X%20%5Csubseteq%20Y%24%20we%20can%20see%20%24r%24%20as%20the%20same%20mapping%20but%20with%20%24Y%24%20as%20codomain%2C%20so%20that%20we%20can%20simply%20write%20%24h%20%3D%20s%5E%7B-1%7D%20%5Ccirc%20r%24%2C%20thus%20%24dh_0%20%3D%20ds%5E%7B-1%7D_0%20%5Ccirc%20dr_0%24%2C%20and%20thus%20%24di_0%20%3D%20ds_0%20%5Ccirc%20ds%5E%7B-1%7D_0%20%5Ccirc%20dr_0%20%5Ccirc%20dr%5E%7B-1%7D_0%20%3D%20%5Ctext%7Bid%7D%24.%20In%20other%20words%20it%20is%20a%20inclusion%20map.%0A%0A%20%20%20%20%23%23%23%20Exercise%203%0A%0A%20%20%20%20**Let%20%24V%24%20be%20a%20vector%20subspace%20of%20%24%5Cmathbb%7BR%7D%5EN%24%2C%20show%20that%20%24T_x(V)%20%3D%20V%24%20if%20%24x%20%5Cin%20V%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24V%24%20be%20a%20%24k%24-dimensional%20vector%20subspace%20of%20%24%5Cmathbb%7BR%7D%5EN%24.%20Claim%20that%20%24V%24%20is%20diffeomorphic%20to%20%24%5Cmathbb%7BR%7D%5Ek%24%3A%20indeed%2C%20choose%20%24v_1%2C%20%5Cdots%2C%20v_k%24%20be%20a%20set%20of%20basis%20of%20%24V%24%20then%20every%20element%20of%20%24V%24%20is%20of%20the%20form%20%24x_1v_1%20%2B%20%5Cdots%20%2B%20x_kv_k%2C%20x_i%20%5Cin%20%5Cmathbb%7BR%7D%24.%20Consider%20the%20map%20%24r(x_1v_1%20%2B%20%5Cdots%20%2B%20x_kv_k)%20%3D%20(x_1%20%2C%20%5Cdots%20%2C%20x_k)%24%2C%20it%20can%20be%20extended%20to%20the%20whole%20%24%5Cmathbb%7BR%7D%5Ek%24%2C%20and%20it%20has%20the%20inverse%20%24r%5E%7B-1%7D(x_1%2C%20%5Cdots%2C%20x_k)%20%3D%20x_1v_1%20%2B%20%5Cdots%20%2B%20x_kv_k%24.%20So%20%24r%24%20is%20a%20diffeomorphism.%0A%0A%20%20%20%20Now%20%24r%24%20is%20clearly%20linear%2C%20so%20we%20have%20%24T_x(V)%20%3D%20dr_0(%5Cmathbb%7BR%7D%5Ek)%20%3D%20r(%5Cmathbb%7BR%7D%5Ek)%20%3D%20V%24%2C%20for%20any%20%24x%20%5Cin%20V%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%204%0A%0A%20%20%20%20**Suppose%20that%20%24f%3AX%20%5Cto%20Y%24%20is%20a%20diffeomorphism%2C%20prove%20that%20at%20each%20%24x%24%20its%20derivative%20%24df_x%24%20is%20an%20isomorphism%20of%20tangent%20spaces**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24f%5E%7B-1%7D%24%20be%20the%20inverse%20map%2C%20then%20%24%5Ctext%7Bid%7D%20%3D%20f%5E%7B-1%7D%20%5Ccirc%20f%24%20and%20%24%5Ctext%7Bid%7D%20%3D%20f%20%5Ccirc%20f%5E%7B-1%7D%24%2C%20they%20imply%20that%20%24df%5E%7B-1%7D_%7Bf(x)%7D%5Ccirc%20df_x%20%3D%20d(%5Ctext%7Bid%7D)%20%3D%20%5Ctext%7Bid%7D%24%20and%20%24df_%7Bf%5E%7B-1%7D(y)%7D%5Ccirc%20df%5E%7B-1%7D_y%20%3D%20d(%5Ctext%7Bid%7D)%20%3D%20%5Ctext%7Bid%7D%24.%20Thus%20%24df_x%24%20is%20linear%2C%20one-to-one%20and%20onto%2C%20thus%20an%20isomorphism%20of%20tangent%20spaces.%0A%0A%20%20%20%20%23%23%23%20Exercise%205%0A%0A%20%20%20%20**Prove%20that%20%24%5Cmathbb%7BR%7D%5Ek%24%20and%20%24%5Cmathbb%7BR%7D%5El%24%20are%20not%20diffeomorphic%20if%20%24k%20%5Cne%20l%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20the%20exercise%20above%2C%20if%20%24%5Cmathbb%7BR%7D%5Ek%24%20and%20%24%5Cmathbb%7BR%7D%5El%24%20are%20diffeomorphic%20then%20they%20are%20also%20isomorphic%20as%20vector%20spaces%2C%20which%20clearly%20cannot%20be%20true.%0A%0A%20%20%20%20%23%23%23%20Exercise%208%0A%0A%20%20%20%20**What%20is%20the%20tangent%20space%20to%20the%20paraboloid%20defined%20by%20%24x%5E2%20%2B%20y%5E2%20-%20z%5E2%20%3D%20a%24%20at%20%24(%5Csqrt%7Ba%7D%2C%200%2C%200)%24%2C%20where%20%24a%3E0%24**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20From%20last%20homework%20we%20have%20this%20parametrization%20%24f%3A%20B_a%20%5Cto%20%5Cmathbb%7BR%7D%5E3%2C%20(x%2C%20y)%20%5Cmapsto%20(%5Csqrt%7Ba%2Bx%5E2-y%5E2%7D%2Cx%2Cy)%24.%0A%0A%20%20%20%20Now%20%24f_x%20%3D%20(%5Cfrac%7Bx%7D%7B%5Csqrt%7Ba%2Bx%5E2-y%5E2%7D%7D%2C1%2C0)%24%20and%20%24f_y%20%3D%20(-%5Cfrac%7By%7D%7B%5Csqrt%7Ba%2Bx%5E2-y%5E2%7D%7D%2C0%2C1)%24.%20So%20%24f_x%20%3D%20(0%2C1%2C0)%24%20and%20%24f_y%20%3D%20(0%2C0%2C1)%24%20at%20%24(%5Csqrt%7Ba%7D%2C%200%2C%200)%24%2C%20where%20%24x%20%3D%200%24%20and%20%24y%20%3D%200%24%20in%20this%20case.%0A%0A%20%20%20%20It%20is%20pretty%20intuitive%20to%20understand%20graphically%2C%20the%20tangent%20space%20(plane)%20is%20a%20'vertical'%20plane%20parallel%20to%20the%20%24y-z%24%20plane%20through%20that%20point.%0A%0A%20%20%20%20Not%20a%20redo%3A%0A%0A%20%20%20%20It%20may%20be%20better%20to%20write%20%24x%2C%20y%2C%20z%24%20in%20a%20more%20understandable%20order%20(I%20was%20confused%20by%20myself%20above%2C%20to%20be%20honest)%3A%20%24f%3A%20B_a%20%5Cto%20%5Cmathbb%7BR%7D%5E3%2C%20(y%2C%20z)%20%5Cmapsto%20(%5Csqrt%7Ba%2Bz%5E2-y%5E2%7D%2Cy%2Cz)%24.%20And%20that%20%24f_y%20%3D%20(%5Cfrac%7By%7D%7B%5Csqrt%7Ba%2Bz%5E2-y%5E2%7D%7D%2C1%2C0)%20%3D%20(0%2C%201%2C%200)%24%20and%20%24f_z%20%3D%20(-%5Cfrac%7Bz%7D%7B%5Csqrt%7Ba%2Bz%5E2-y%5E2%7D%7D%2C0%2C1)%20%3D%20(0%2C%200%2C%201)%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%209%0A%0A%20%20%20%201.%20**Show%20that%20for%20any%20manifolds%20%24X%24%20and%20%24Y%24%2C%20%24T_%7B(x%2Cy)%7D(X%20%5Ctimes%20Y)%24%20%24%3D%20T_x(X)%20%5Ctimes%20T_y(Y)%24**%3B%0A%20%20%20%202.%20**Let%20%24f%3A%20X%5Ctimes%20Y%20%5Cto%20X%24%20be%20the%20projection%20map%20%24(x%2C%20y)%20%5Cto%20x%24.%20Show%20that%20%24df_%7B(x%2Cy)%7D%3AT_x(X)%20%5Ctimes%20T_y(Y)%20%5Cto%20T_x(X)%24%20is%20the%20analogous%20projection%20%24(v%2C%20w)%20%5Cto%20v%24**%3B%0A%20%20%20%203.%20**Fixing%20any%20%24y%20%5Cin%20Y%24%20gives%20an%20injection%20mapping%20%24f%3A%20X%20%5Cto%20X%20%5Ctimes%20Y%24%20by%20%24f(x)%20%3D%20(x%2C%20y)%24.%20Show%20that%20%24df_x(v)%20%3D%20(v%2C%200)%24**%3B%0A%20%20%20%204.%20**Let%20%24f%3AX%20%5Cto%20X'%24%2C%20%24g%3AY%20%5Cto%20Y'%24%20be%20any%20smooth%20maps%2C%20prove%20that%20%24d(f%5Ctimes%20g)_%7B(x%2Cy)%7D%20%3D%20df_x%20%5Ctimes%20dg_y%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20Let%20%24r%20%3D%20r_1%20%5Ctimes%20r_2%3A%20U%20%5Ctimes%20V%20%5Cto%20X%20%5Ctimes%20Y%24%20be%20a%20local%20parametrization.%0A%20%20%20%20%09We%20have%20%24dr_%7B(u%2Cv)%7D%20%3D%20%5Cbegin%7Bpmatrix%7Dr_%7B1_u%7D%26r_%7B2_u%7D%5C%5Cr_%7B1_v%7D%26r_%7B2_v%7D%5Cend%7Bpmatrix%7D%20%3D%20%5Cbegin%7Bpmatrix%7Dr_%7B1_u%7D%260%5C%5C0%26r_%7B2_v%7D%5Cend%7Bpmatrix%7D%20%3Ddr_%7B1_u%7D%20%5Ctimes%20dr_%7B2_v%7D%24%20and%20%24T_%7B(x%2Cy)%7D(X%20%5Ctimes%20Y)%24%20%24%3D%20dr_%7B(u%2Cv)%7D(%5Cmathbb%7BR%7D%5E%7Bk%7D%20%5Ctimes%20%5Cmathbb%7BR%7D%5El)%24%20%24%3D%20dr_%7B1_u%7D(%5Cmathbb%7BR%7D%5E%7Bk%7D)%20%5Ctimes%20dr_%7B2_v%7D(%5Cmathbb%7BR%7D%5E%7Bl%7D)%24%20%24%3D%20T_x(X)%20%5Ctimes%20T_y(Y)%24%3B%0A%20%20%20%202.%20%24f%24%20can%20been%20seen%20as%20a%20restriction%20of%20%24%5Cpi%3A%20%5Cmathbb%7BR%7D%5EN%20%5Ctimes%20%5Cmathbb%7BR%7D%5EM%20%5Cto%20%5Cmathbb%7BR%7D%5EN%24%2C%20the%20natural%20projection%20map.%20So%20%24df_%7B(x%2Cy)%7D(v%2Cw)%20%3D%20d%5Cpi_%7B(x%2Cy)%7D(v%2Cw)%20%3D%24%20(using%20the%20fact%20that%20a%20projection%20is%20a%20linear%20map)%20%24%3D%20%5Cpi(v%2Cw)%20%3D%20v%24.%0A%20%20%20%20%09The%20domain%20should%20have%20been%20%24T_%7B(x%2Cy)%7D(X%20%5Ctimes%20Y)%24%2C%20but%20by%20part%201%20it%20is%20the%20same%20as%20%24T_x(X)%20%5Ctimes%20T_y(Y)%24%3B%0A%20%20%20%203.%20Let%20%24r%3AU%20%5Cto%20X%24%20and%20%24s%3AV%20%5Cto%20Y%24%20be%20parametrizations%20and%20set%20%24s(0)%20%3D%20y%24.%20We%20can%20define%20%24h%20%3D%20(r%20%5Ctimes%20s)%5E%7B-1%7D%20%5Ccirc%20f%20%5Ccirc%20r%24%2C%20we%20have%20%24h(u)%20%3D%20(r%20%5Ctimes%20s)%5E%7B-1%7D(f(r(u)))%24%20%24%3D(r%20%5Ctimes%20s)%5E%7B-1%7D(r(u)%2Cy)%20%3D%20(u%2C%200)%24%20and%20thus%20%24h%20%3D%20%5Ctext%7Bid%7D%20%5Ctimes%200%20%3D%20dh_0%24.%20Now%20we%20can%20define%20%24df_x%20%3D%20(dr_0%20%5Ctimes%20ds_0)%20%5Ccirc%20(%5Ctext%7Bid%7D%20%5Ctimes%200)%20%5Ccirc%20dr%5E%7B-1%7D_0%24%20and%20%24df_x(v)%24%20gives%20us%20%24(v%2C%20ds_0(0))%20%3D%20(v%2C%200)%24%3B%0A%20%20%20%204.%20Let%20%24%5Cpi_1%3A%20X%20%5Ctimes%20Y%20%5Cto%20X%24%20and%20%24%5Cpi_2%3A%20X%5Ctimes%20Y%20%5Cto%20Y%24%20be%20projections%3B%0A%20%20%20%20%09Let%20%24i_1%3AX'%20%5Cto%20X'%20%5Ctimes%20Y'%24%20and%20%24i_2%3AY'%20%5Cto%20X'%5Ctimes%20Y'%24%20be%20inclusions.%0A%20%20%20%20%09Now%20%24f%20%5Ctimes%20g%20%3D%20i_1(f(%5Cpi_1))%2Bi_2(g(%5Cpi_2))%24%2C%20and%20%24d(f%5Ctimes%20g)_%7B(x%2Cy)%7D(u%2Cv)%24%20%24%3D%20di_%7B1_%7Bf(x)%7D%7D%5Ccirc%20df_x%20%5Ccirc%20d%5Cpi_%7B1_%7B(x%2Cy)%7D%7D(u%2Cv)%20%2B%20di_%7B2_%7Bg(y)%7D%7D%5Ccirc%20dg_y%20%5Ccirc%20d%5Cpi_%7B2_%7B(x%2Cy)%7D%7D(u%2Cv)%24.%0A%20%20%20%20%09Following%20from%20the%20previous%20parts%20we%20have%3A%20%24d(f%5Ctimes%20g)_%7B(x%2Cy)%7D(u%2Cv)%24%20%24%3D%5E%7B%5Ctext%7Bpart%202%7D%7D%20di_%7B1_%7Bf(x)%7D%7D%20%5Ccirc%20df_x(u)%20%2B%20di_%7B2_%7Bg(y)%7D%7D%20%5Ccirc%20dg_y(v)%24%20%24%3D%5E%7B%5Ctext%7Bpart%203%7D%7D%20(df_x(u)%2C%200)%20%2B%20(0%2C%20dg_y(v))%24%20%24%3D%20(df_x(u)%2C%20dg_y(v))%24%20and%20the%20result%20follows.%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%20Spring%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%20Section%201.3%0A%0A%20%20%20%20%23%23%23%20Exercise%203%0A%0A%20%20%20%20**Let%20%24f%3A%5Cmathbb%7BR%7D%20%5Cto%20%5Cmathbb%7BR%7D%24%20be%20a%20local%20diffeomorphism%2C%20prove%20that%20the%20image%20of%20%24f%24%20is%20an%20open%20interval%20and%20that%2C%20in%20fact%2C%20%24f%24%20maps%20%24%5Cmathbb%7BR%7D%24%20diffeomorphically%20onto%20this%20interval**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20%24%5Cmathbb%7BR%7D%24%20is%20connected%2C%20thus%20the%20image%20must%20be%20an%20interval%3B%20%24f(%5Cmathbb%7BR%7D)%20%3D%20f(%5Cbigcup%5Climits_%7Bx%5Cin%5Cmathbb%7BR%7D%7D%7BU(x)%7D)%20%3D%20%5Cbigcup%5Climits_%7Bx%5Cin%5Cmathbb%7BR%7D%7Df(U(x))%24%20is%20open%20by%20definition%2C%20so%20the%20image%20is%20open.%0A%0A%20%20%20%20We%20proved%20in%20the%20class%20that%20%24f'%24%20never%20vanish%2C%20thus%20%24f%24%20is%20injective%20(being%20strictly%20increasing%20or%20decreasing)%2C%20thus%20%24f%3A%5Cmathbb%7BR%7D%20%5Cto%20%5Ctext%7Bim%7D(f)%24%20is%20bijective.%20Say%20%24f%5E%7B-1%7D%24%20is%20the%20inverse%2C%20for%20any%20%24f(x)%20%5Cin%20%5Ctext%7Bim%7D(f)%24%2C%20%24f%24%20maps%20%24U(f%5E%7B-1%7D(f(x)))%24%2C%20an%20neighborhood%20of%20the%20preimage%2C%20diffeomorphically%20to%20%24V(f(x))%24%2C%20an%20neighborhood%20of%20the%20point%2C%20thus%20%24f%5E%7B-1%7D%24%20is%20smooth%20around%20%24f(x)%24%2C%20and%20thus%20%24f%5E%7B-1%7D%24%20is%20smooth%20since%20%24f(x)%24%20is%20arbitrary.%20By%20definition%2C%20both%20%24f%24%20and%20%24f%5E%7B-1%7D%24%20are%20smooth%20thus%20%24f%24%20is%20a%20diffeomorphism.%0A%0A%20%20%20%20%23%23%23%20Exercise%204%0A%0A%20%20%20%20**To%20contrast%20with%20Exercise%203%2C%20construct%20a%20local%20diffeomorphism%20%24f%3A%5Cmathbb%7BR%7D%5E2%20%5Cto%20%5Cmathbb%7BR%7D%5E2%24%20that%20is%20not%20a%20diffeomorphism%20onto%20its%20image**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20We%20want%20to%20have%20a%20such%20function%20that%20is%20not%20injective%3A%20%24z%20%5Cto%20e%5Ez%24%20the%20complex%20exponential%20may%20do%20the%20job.%20It%20is%20not%20injective%20so%20does%20not%20have%20an%20inverse%2C%20so%20it%20cannot%20be%20an%20diffeomorphism.%20However%20for%20each%20point%20we%20can%20choose%20a%20small%20neighborhood%20(where%20no%20two%20points%20with%20%24z_1%20%3D%20z_2%20%5Cpm%202%20n%20%5Cpi%20i%24%20are%20in%20it)%20and%20define%20%24%5Clog%24%20safely%20on%20this%20region%2C%20thus%20it%20is%20a%20local%20diffeomorphism.%0A%0A%20%20%20%20%23%23%23%20Exercise%206%0A%0A%20%20%20%201.%20**If%20%24f%2Cg%24%20are%20immersions%2C%20show%20that%20%24f%20%5Ctimes%20g%24%20is%20immersion**%3B%0A%20%20%20%202.%20**If%20%24f%2Cg%24%20are%20immersions%2C%20show%20that%20%24g%20%5Ccirc%20f%24%20is%20immersion**%3B%0A%20%20%20%203.%20**If%20%24f%24%20is%20an%20immersion%2C%20show%20that%20its%20restriction%20to%20any%20sub-manifold%20of%20its%20domain%20is%20an%20immersion**.%0A%20%20%20%204.%20**When%20%24%5Cdim%7BX%7D%20%3D%20%5Cdim%7BY%7D%24%2C%20show%20that%20the%20immersions%20%24f%3AX%5Cto%20Y%24%20are%20the%20same%20as%20local%20diffeomorphisms**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20By%20previous%20exercise%20we%20have%20%24d(f%5Ctimes%20g)_%7B(x%2Cy)%7D%20%3D%20df_x%20%5Ctimes%20dg_y%24%2C%20a%20product%20of%20injective%20maps%2C%20which%20is%20injective%2C%20thus%20by%20definition%20%24f%20%5Ctimes%20g%24%20is%20also%20an%20immersion%3B%0A%20%20%20%202.%20By%20the%20Chain%20Rule%20we%20have%20%24d(g%5Ccirc%20f)_x%20%3D%20dg_%7Bf(x)%7D%20%5Ccirc%20df_x%24%2C%20a%20composition%20of%20injective%20maps%2C%20which%20is%20injective%2C%20thus%20%24g%20%5Ccirc%20f%24%20is%20an%20immersion%3B%0A%20%20%20%203.%20Say%20%24f%3A%20X%20%5Cto%20Y%24%20is%20an%20immersion%20and%20%24Z%20%5Csubseteq%20X%24%20is%20a%20sub-manifold.%0A%20%20%20%20%09Let%20%24i%3A%20Z%20%5Cto%20X%24%20be%20an%20inclusion%20map%2C%20so%20that%20%24f%7C_Z%20%3D%20f%20%5Ccirc%20i%24%2C%20differentiate%20both%20side%20we%20have%20%24%7Bdf%7C_Z%7D_x%20%3D%20df_%7Bf(x)%7D%20%5Ccirc%20di_x%24.%20By%20previous%20exercise%20we%20have%20that%20%24di_x%24%20is%20still%20inclusive%2C%20thus%20injective.%20Thus%20%24%7Bdf%7C_Z%7D_x%24%20is%20injective%20and%20we%20have%20%24f%7C_Z%24%20is%20an%20immersion%3B%0A%20%20%20%204.%20By%20the%20Local%20Immersion%20Theorem%2C%20with%20the%20case%20%24%5Cdim%7BX%7D%20%3D%20%5Cdim%7BY%7D%24%2C%20for%20any%20%24x%24%20and%20%24y%20%3D%20f(x)%24%20we%20have%20local%20coordinates%20around%20%24x%24%20and%20%24y%24%20with%20%24f(x_1%2C%5Cdots%2Cx_n)%20%3D%20(x_1%2C%5Cdots%2Cx_n)%24%2C%20which%20is%20simply%20the%20identity%20map%2C%20thus%20%24f%24%20is%20a%20local%20diffeomorphism.%0A%0A%20%20%20%20%23%23%23%20Exercise%207%0A%0A%20%20%20%201.%20**Check%20that%20%24g%3A%5Cmathbb%7BR%7D%20%5Cto%20S%5E1%2C%20g(t)%20%3D%20(%5Ccos(2%5Cpi%20t)%2C%5Csin(2%5Cpi%20t))%24%20is%20in%20fact%20a%20local%20diffeomorphism**%3B%0A%20%20%20%202.%20**From%20Exercise%206%2C%20it%20follows%20that%20%24G%3A%20%5Cmathbb%7BR%7D%5E2%20%5Cto%20S%5E1%20%5Ctimes%20S%5E1%2C%20G%20%3D%20g%5Ctimes%20g%24%20is%20a%20local%20diffeomorphism.%20Also%2C%20if%20%24L%24%20is%20a%20line%20in%20%24%5Cmathbb%7BR%7D%5E2%24%2C%20the%20restriction%20%24G%3A%20L%20%5Cto%20S%5E1%5Ctimes%20S%5E1%24%20is%20an%20immersion.%20Prove%20that%20if%20%24L%24%20has%20irrational%20slope%2C%20%24G%24%20is%20one-to-one%20on%20%24L%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20It%20is%20clear%20that%20%24%5Ccos(2%20%5Cpi%20t)%24%20and%20%24%5Csin(2%20%5Cpi%20t)%24%20are%20periodic%20with%20%241%24%2C%20thus%20for%20any%20%24t%20%5Cin%20%5Cmathbb%7BR%7D%24%20if%20we%20take%20%24U%20%3D%20U(t)%20%3D%20(t-0.25%2C%20t%2B0.25)%24%20then%20%24g%7C_U%24%20is%20bijective%2C%20is%20smooth%20and%20has%20smooth%20inverse.%20Thus%20%24g%24%20is%20a%20local%20diffeomorphism%3B%0A%20%20%20%202.%20We%20can%20compute%20%24dg_t%20%3D%20(-%5Csin(2%5Cpi%20t)%2C%5Ccos(2%5Cpi%20t))%24%20which%20is%20never%20%24(0%2C0)%24%2C%20thus%20%24%5Cker%7Bdg_t%7D%20%3D%200%24%20and%20rank%20is%20%241%24%2C%20thus%20%24dg_t%24%20is%20injective%20and%20%24g%24%20is%20an%20immersion.%20It%20then%20follows%20that%20%24G%24%20is%20an%20immersion%20and%20the%20restriction%20of%20a%20line%20on%20%24G%24%20is%20an%20immersion%20by%20previous%20exercises.%0A%20%20%20%20%09Let%20%24L%24%20be%20a%20straight%20line%20in%20%24%5Cmathbb%7BR%7D%5E2%24%20with%20%24t%20%5Cmapsto%20at%2Bb%2C%20a%5Cin%20%5Cmathbb%7BR%7D%20-%5Cmathbb%7BQ%7D%24%2C%20then%20every%20point%20on%20this%20line%20has%20the%20coordinate%20of%20the%20form%20%24(t%2C%20at%2Bb)%24.%20If%20%24G(t%2Cat%2Bb)%20%3D%20G(s%2Cas%2Bb)%24%20then%20%24%5Ccos(2%5Cpi%20t)%20%3D%20%5Ccos(2%5Cpi%20s)%24%2C%20%24%5Csin(2%5Cpi%20t)%20%3D%20%5Csin(2%5Cpi%20s)%24%2C%20%24%5Ccos(2%5Cpi%20(at%2Bb))%20%3D%20%5Ccos(2%5Cpi%20(as%2Bb))%24%2C%20and%20%24%5Csin(2%5Cpi%20(at%2Bb))%20%3D%20%5Csin(2%5Cpi%20(as%2Bb))%24.%0A%20%20%20%20%09Thus%20we%20need%20to%20have%20%24t-s%20%5Cin%20%5Cmathbb%7BZ%7D%24%20and%20%24at-as%20%5Cin%20%5Cmathbb%7BZ%7D%24%2C%20which%20is%20impossible%20unless%20%24t%20%3D%20s%24%2C%20thus%20%24G%24%20is%20injective.%0A%0A%20%20%20%20%23%23%23%20Exercise%208%0A%0A%20%20%20%20**Check%20the%20map%20%24%5Cmathbb%7BR%7D%20%5Cto%20%5Cmathbb%7BR%7D%5E2%2C%20t%20%5Cmapsto%20(%5Cfrac%7Be%5Et%2Be%5E%7B-t%7D%7D%7B2%7D%2C%5Cfrac%7Be%5Et-e%5E%7B-t%7D%7D%7B2%7D)%24%20is%20an%20embedding.%20Prove%20that%20its%20image%20is%20one%20nappe%20of%20the%20hyperbola%20%24x%5E2-y%5E2%3D1%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let's%20call%20this%20map%20%24r%24.%0A%0A%20%20%20%201.%20%24r%24%20is%20an%20immersion%3A%20%24dr_t%20%3D%20(%5Cfrac%7Be%5Et-e%5E%7B-t%7D%7D%7B2%7D%2C%5Cfrac%7Be%5Et%2Be%5E%7B-t%7D%7D%7B2%7D)%24.%20If%20%24dr_t(x)%20%3D%20dr_t(y)%24%20then%20%24(e%5Et-e%5E%7B-t%7D)x%20%3D%20(e%5Et-e%5E%7B-t%7D)y%24%20and%20%24(e%5Et%2Be%5E%7B-t%7D)x%20%3D%20(e%5Et%2Be%5E%7B-t%7D)y%24.%20Adding%20these%20two%20equations%20together%20and%20it%20is%20easy%20to%20have%20%24x%20%3D%20y%24%2C%20thus%20%24dr_t%24%20is%20injective%20and%20%24r%24%20is%20an%20immersion%3B%0A%20%20%20%202.%20%24r%24%20is%20injective%3A%20if%20%24r(x)%20%3D%20r(y)%24%2C%20then%20%24e%5Ex%2Be%5E%7B-x%7D%20%3D%20e%5Ey%2Be%5E%7B-y%7D%24%20and%20%24e%5Ex-e%5E%7B-x%7D%20%3D%20e%5Ey-e%5E%7B-y%7D%24%2C%20again%20add%20two%20equations%2C%20and%20we%20can%20see%20%24r%24%20is%20injective%20because%20the%20exponential%20function%20is%20injective%3B%0A%20%20%20%203.%20%24r%24%20is%20proper%3A%20we%20work%20with%20the%20Euclidean%20space%2C%20so%20we%20need%20to%20show%20that%20the%20preimage%20of%20closed%20and%20bounded%20set%20is%20closed%20and%20bounded%3A%0A%20%20%20%20%091.%20Closed%3A%20%24r%24%20is%20continuous%2C%20thus%20preimage%20of%20closed%20set%20is%20closed%3B%0A%20%20%20%20%092.%20Bounded%3A%20both%20%24%5Cfrac%7Be%5Et%2Be%5E%7B-t%7D%7D%7B2%7D%24%20and%20%24%5Cfrac%7Be%5Et-e%5E%7B-t%7D%7D%7B2%7D%24%20grow%20much%20faster%20than%20%24t%24%2C%20thus%20if%20they%20are%20bounded%2C%20the%20preimage%20is%20clearly%20bounded.%0A%0A%20%20%20%20By%20definition%2C%20%24r%24%20is%20an%20injective%20and%20proper%20immersion%2C%20thus%20is%20an%20embedding.%0A%0A%20%20%20%20Now%20the%20second%20part%3A%0A%0A%20%20%20%201.%20For%20any%20%24t%20%5Cin%20%5Cmathbb%7BR%7D%24%2C%20%24(%5Cfrac%7Be%5Et%2Be%5E%7B-t%7D%7D%7B2%7D)%5E2-(%5Cfrac%7Be%5Et-e%5E%7B-t%7D%7D%7B2%7D)%5E2%24%20%24%3D%20%5Cfrac%7B1%7D%7B4%7D((e%5Et)%5E2%2B(e%5E%7B-t%7D)%5E2%2B2e%5Ete%5E%7B-t%7D-(e%5Et)%5E2-(e%5E%7B-t%7D)%5E2%2B2e%5Ete%5E%7B-t%7D)%24%20%24%3D%20e%5Ete%5E%7B-t%7D%20%3D%201%24.%20Thus%20%24%5Ctext%7Bim%7D(r)%20%5Csubseteq%20Graph(x%5E2-y%5E2%3D1)%24%3B%0A%20%20%20%202.%20Now%20for%20any%20%24(x%2Cy)%5Cin%20Graph(x%5E2-y%5E2%3D1)%24%20such%20that%20%24x%20%3E%200%24%20(the%20right%20part)%3A%0A%20%20%20%20%091.%20If%20%240%3Cx%3C1%24%20then%20%24y%24%20is%20undefined%20on%20%24%5Cmathbb%7BR%7D%24%20and%20we%20don't%20need%20to%20check%20them%3B%0A%20%20%20%20%092.%20If%20%24x%20%3D%201%24%20then%20%24y%20%3D%200%24%20and%20we%20can%20check%20that%20at%20%24t%20%3D%200%24%20the%20corresponding%20%24(%5Cfrac%7Be%5Et%2Be%5E%7B-t%7D%7D%7B2%7D%2C%5Cfrac%7Be%5Et-e%5E%7B-t%7D%7D%7B2%7D)%20%3D%20(1%2C0)%24%3B%0A%20%20%20%20%093.%20If%20%24x%20%3E%201%24%2C%20it%20is%20clear%20that%20there%20is%20some%20%24t%24%20such%20that%20%24%5Cfrac%7Be%5Et%2Be%5E%7B-t%7D%7D%7B2%7D%20%3D%20x%24%2C%20then%20%24y%20%3D%20%5Cpm%20%5Csqrt%7Bx%5E2-1%7D%24%20%24%3D%20%5Cpm%20%5Csqrt%7B%5Cfrac%7B1%7D%7B4%7D((e%5Et)%5E2%2B(e%5E%7B-t%7D)%5E2%2B2)-1%7D%24%20%24%3D%20%5Cpm%20%5Csqrt%7B%5Cfrac%7B1%7D%7B4%7D((e%5Et)%5E2%2B(e%5E%7B-t%7D)%5E2-2)%7D%24%20%24%3D%20%5Cpm%20%5Cfrac%7Be%5Et-e%5E%7B-t%7D%7D%7B2%7D%24.%20Notice%20that%20if%20%24t%24%20is%20a%20solution%20for%20%24%5Cfrac%7Be%5Et%2Be%5E%7B-t%7D%7D%7B2%7D%20%3D%20x%24%20then%20%24-t%24%20is%20also%20a%20solution%2C%20putting%20it%20to%20%24y%24%20we%20exactly%20will%20have%20%24-%5Cfrac%7Be%5Et-e%5E%7B-t%7D%7D%7B2%7D%20%3D%20%5Cfrac%7Be%5E%7B-t%7D-e%5E%7B-(-t)%7D%7D%7B2%7D%24.%0A%0A%20%20%20%20Thus%20%24%5Ctext%7Bim%7D(r)%20%5Csubseteq%20Graph(x%5E2-y%5E2%3D1)%24%20and%20%24%5Ctext%7Bim%7D(r)%20%5Csupseteq%20Graph(x%5E2-y%5E2%3D1)%2C%20x%3E0%24%20and%20the%20equality%20%24%5Ctext%7Bim%7D(r)%20%3D%20Graph(x%5E2-y%5E2%3D1)%2C%20x%3E0%24%20holds.%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%20Spring%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%20Section%201.4%0A%0A%20%20%20%20%23%23%23%20Exercise%207%0A%0A%20%20%20%20**(Stack%20of%20Record%20Theorem)%20Suppose%20that%20%24y%24%20is%20a%20regular%20value%20of%20%24f%3A%20X%20%5Cto%20Y%24%2C%20where%20%24X%24%20is%20compact%20and%20has%20the%20same%20dimension%20as%20%24Y%24.%20Show%20that%20%24f%5E%7B-1%7D(y)%24%20is%20a%20finite%20set%20%24%5Clbrace%20x_1%2C%5Cdots%2Cx_N%20%5Crbrace%24.%20Prove%20there%20exists%20a%20neighborhood%20%24U%24%20of%20%24y%24%20in%20%24Y%24%20such%20that%20%24f%5E%7B-1%7D(U)%24%20is%20a%20disjoint%20union%20%24V_1%20%5Ccup%20%5Cdots%20%5Ccup%20V_N%24%20where%20%24V_t%24%20is%20an%20open%20neighborhood%20of%20%24x_t%24%20and%20%24f%24%20maps%20each%20%24V_t%24%20diffeomorphically%20onto%20%24U%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20By%20definition%20of%20a%20regular%20value%2C%20for%20each%20%24x%20%5Cin%20f%5E%7B-1%7D(y)%24%2C%20%24f%24%20is%20a%20submersion%20at%20%24x%24%3B%20since%20%24%5Cdim%7BX%7D%20%3D%20%5Cdim%7BY%7D%24%2C%20%24f%24%20is%20locally%20given%20by%20the%20identity%20map%2C%20thus%20%24f%24%20is%20a%20local%20diffeomorphism%20at%20%24x%24.%20On%20the%20other%20hand%2C%20suppose%20%24f%5E%7B-1%7D(y)%20%5Csubseteq%20X%24%20is%20infinite%2C%20then%20by%20(limit-point)%20compactness%20of%20%24X%24%2C%20it%20has%20a%20limit%20point%20%24x%24%2C%20and%20%24x%20%5Cin%20f%5E%7B-1%7D(y)%24%20because%20%24f%5E%7B-1%7D(y)%24%20is%20closed.%0A%20%20%20%20%09But%20then%2C%20%24f%24%20cannot%20even%20be%20injective%20near%20%24x%24%20(every%20neighborhood%20contains%20another%20%24x'%24%20in%20the%20preimage%20of%20%24y%24)%2C%20hence%20not%20a%20local%20diffeomorphism%2C%20a%20contradiction%2C%20thus%20we%20have%20%24f%5E%7B-1%7D(y)%24%20must%20be%20finite%3B%0A%20%20%20%202.%20By%20above%2C%20there%20exists%20%24W_i%20%5Csupseteq%20x_i%24%20mapped%20diffeomorphically%20to%20%24U_i%24.%0A%20%20%20%20%09Since%20%24x_i%24's%20are%20finite%2C%20we%20can%20choose%20those%20%24W_i%24's%20small%20enough%20such%20that%20they%20are%20mutually%20disjoint.%0A%20%20%20%20%09Now%20let%20%24U%20%3D%20%5Ccap%20U_i%24%2C%20this%20is%20a%20finite%20intersection%20so%20%24U%24%20is%20neighborhood%20of%20%24y%24%2C%20and%20let%20%24V_i%20%3D%20f%5E%7B-1%7D(U)%20%5Ccap%20W_i%24%20for%20each%20%24i%24%2C%20then%20by%20construction%20each%20%24V_i%24%20is%20neighborhood%20of%20%24x_i%24%20and%20they%20are%20mutually%20disjoint%20(because%20%24W_i%24's%20are).%20Restrict%20%24f%24%20on%20%24W_i%24%20then%20by%20assumption%20it%20is%20a%20bijection%2C%20thus%20%24f(V_i)%20%3D%20f(f%5E%7B-1%7D(U)%20%5Ccap%20W_i)%20%3D%20U%20%5Ccap%20f(W_i)%20%3D%20U%20%5Ccap%20U_i%20%3D%20U%24.%20Also%20by%20previous%20exercise%20(restriction%20on%20smooth%20map)%2C%20we%20have%20that%20%24f%24%20restricted%20on%20%24V_i%24%20maps%20%24V_i%24%20diffeomorphically%20to%20%24U%24%2C%20for%20each%20%24i%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%209%0A%0A%20%20%20%20**Show%20that%20the%20orthogonal%20group%20%24O(n)%24%20is%20compact**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Since%20we%20work%20in%20the%20Euclidean%20space%2C%20we%20need%20to%20show%20%24O(n)%24%20is%20closed%20and%20bounded.%0A%0A%20%20%20%201.%20Closed%3A%20it%20is%20the%20preimage%20of%20%24E%24%20under%20%24f%3A%20A%20%5Cto%20AA%5ET%24%20(which%20can%20be%20thought%20as%20a%20polynomial%2C%20which%20is%20continuous)%20thus%20it%20is%20closed%3B%0A%20%20%20%202.%20Bounded%3A%20write%20%24A%20%5Cin%20O(n)%24%20in%20the%20form%20%24(a_%7Bij%7D)%24%20then%20by%20%24AA%5ET%20%3D%20E%24%20we%20have%20a%20collection%20of%20%24n%20%5Ctimes%20n%24%20equations%3A%0A%20%20%20%20%091.%20%24a_%7B11%7Da_%7B11%7D%2Ba_%7B12%7Da_%7B12%7D%20%2B%20%5Cdots%20%2B%20a_%7B1n%7Da_%7B1n%7D%20%3D%201%24%20(first%20row%20product%20with%20first%20column%2C%20it%20is%20on%20the%20diagonal)%3B%0A%20%20%20%20%092.%20%24a_%7B11%7Da_%7B21%7D%2Ba_%7B12%7Da_%7B22%7D%20%2B%20%5Cdots%20%2B%20a_%7B1n%7Da_%7B2n%7D%20%3D%200%24%20(first%20row%20product%20with%20second%20column%2C%20it%20is%20not%20on%20the%20diagonal)%3B%0A%20%20%20%20%093.%20%24%5Cdots%24%0A%0A%20%20%20%20%09The%20value%20not%20on%20the%20diagonal%20does%20not%20really%20matter%20here%2C%20the%20point%20is%20that%2C%20it%20is%20obvious%20that%20%24%5Csum%5Climits_j%20a_%7Bij%7D%5E2%20%3D%201%24%20for%20each%20%24i%24%2C%20thus%20the%20Euclidean%20norm%20of%20the%20whole%20matrix%20%24A%24%20is%20then%20%24%5Csqrt%7Bn%7D%24%2C%20a%20fixed%20number.%20In%20other%20word%2C%20%24O(n)%24%20is%20bounded.%0A%0A%20%20%20%20%23%23%23%20Exercise%2012%0A%0A%20%20%20%20**Prove%20that%20the%20set%20of%20all%20%242%20%5Ctimes%202%24%20matrices%20of%20rank%20%241%24%20is%20a%20three-dimensional%20sub-manifold%20of%20%24%5Cmathbb%7BR%7D%5E4%20%3D%20M(2)%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Consider%20the%20determinant%20function%20%24%5Cdet%3AM(2)%20-%5Clbrace%200%20%5Crbrace%20%5Cto%20%5Cmathbb%7BR%7D%24.%0A%0A%20%20%20%20Notice%20that%20for%20a%20%242%20%5Ctimes%202%24%20matrix%2C%20by%20definition%20it%20is%20only%20possible%20to%20have%20rank%20%240%2C1%24%20or%20%242%24.%20If%20its%20determinant%20is%20%240%24%2C%20it%20is%20non-invertible%2C%20thus%20cannot%20have%20full%20rank%20%24%3D%202%24%3B%20if%20in%20addition%20it%20is%20non-zero%20(that's%20the%20only%20case%20when%20rank%20is%20zero)%2C%20it%20must%20have%20rank%20%241%24.%0A%0A%20%20%20%20In%20other%20word%2C%20it%20is%20sufficient%20to%20show%20that%20%240%24%20is%20a%20regular%20value%20for%20%24%5Cdet%3A%20M(2)%20-%20%5Clbrace%200%20%5Crbrace%20%5Cto%20%5Cmathbb%7BR%7D%24%3A%0A%0A%20%20%20%20Let%20%24A%20%3D%20%5Cbegin%7Bpmatrix%7D%20a%26b%5C%5Cc%26d%20%5Cend%7Bpmatrix%7D%5Cin%20M(2)%24%20with%20zero%20determinate%2C%20then%20%24d%5Cdet_A(A')%20%3D%20%5Clim%5Climits_%7Bt%5Cto%200%7D%5Cfrac%7B%5Cdet%7BA%20%2B%20tA'%7D%20-%20%5Cdet%7BA%7D%7D%7Bt%7D%24%20%24%3D%20%5Clim%5Climits%5Cfrac%7B(a%2Bta')(d%2Btd')-(c%2Btc')(b%2Btb')-ad%2Bcb%7D%7Bt%7D%24%20%24%3D%20a'%20d%2Bad'-c'%20b-cb'%24.%20This%20is%20surjective.%0A%0A%20%20%20%20By%20Preimage%20Theorem%2C%20the%20set%20of%20non-zero%20%242%20%5Ctimes%202%24%20matrices%20with%20zero%20determinant%2C%20thus%20the%20set%20of%20%242%20%5Ctimes%202%24%20matrices%20with%20rank%20%241%24%2C%20is%20a%20sub-manifold%20of%20%24%5Cmathbb%7BR%7D%5E4%24%20of%20dimension%20%24%5Cdim%7B%5Cmathbb%7BR%7D%5E4%7D%20-%20%5Cdim%7B%5Cmathbb%7BR%7D%7D%20%3D%203%24.%0A%0A%20%20%20%20%23%23%20Additional%20Problems%0A%0A%20%20%20%20%23%23%23%20Problem%20A1%0A%0A%20%20%20%20**Let%20%24GL(n%2C%20%5Cmathbb%7BC%7D)%24%20consist%20of%20complex%20%24n%20%5Ctimes%20n%24%20matrices%20%24A%24%20such%20that%20%24%5Cdet%7BA%7D%20%5Cne%200%24.%20Show%20that%20%24GL(n%2C%20%5Cmathbb%7BC%7D)%24%20is%20a%20Lie%20group%20of%20dimension%20%242n%5E2%24.%20It%20is%20called%20the%20(complex)%20general%20linear%20group**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Follows%20the%20reasoning%20for%20%24GL(n%2C%20%5Cmathbb%7BR%7D)%24%3A%0A%0A%20%20%20%20%24GL(n%2C%20%5Cmathbb%7BC%7D)%20%5Csubseteq%20M_%7Bn%5Ctimes%20n%7D(%5Cmathbb%7BC%7D)%24%20consists%20of%20all%20%24n%5Ctimes%20n%24%20matrices%20%24A%24%20with%20%24%5Cdet%7BA%7D%20%5Cne%200%24.%20The%20function%20%24%5Cdet%3A%20M_%7Bn%20%5Ctimes%20n%7D(%5Cmathbb%7BC%7D)%20%5Cto%20%5Cmathbb%7BC%7D%24%20is%20a%20smooth%20function%20(being%20a%20polynomial)%2C%20hence%20%24%5Cdet%5E%7B-1%7D(0)%20%5Csubseteq%20M_%7Bn%20%5Ctimes%20n%7D(%5Cmathbb%7BC%7D)%24%20is%20closed%20and%20%24GL(n%2C%20%5Cmathbb%7BC%7D)%20%3D%20M_%7Bn%5Ctimes%20n%7D(%5Cmathbb%7BC%7D)%20-%20%5Cdet%5E%7B-1%7D(0)%24%20is%20open.%20Therefore%2C%20%24GL(n%2C%20%5Cmathbb%7BC%7D)%24%20is%20a%20sub-manifold%20of%20dimension%20%242n%5E2%24%20(Here%20is%20because%20each%20complex%20valued%20%24m%20%5Ctimes%20n%24%20matrix%20can%20be%20broken%20down%20into%20%242%24%20matrices%2C%20both%20real%20valued%2C%20and%20have%20dimension%20%24mn%24).%0A%0A%20%20%20%20Since%20%24%5Cdet%7BAB%7D%20%3D%20%5Cdet%7BA%7D%5Cdet%7BB%7D%24%20and%20%24%5Cdet%7BA%5E%7B-1%7D%7D%20%3D%20(%5Cdet%7BA%7D)%5E%7B-1%7D%24%2C%20%24GL(n%2C%20%5Cmathbb%7BC%7D)%24%20is%20a%20group%20with%20respect%20to%20matrices%20multiplication.%0A%0A%20%20%20%20Notice%20that%20the%20multiplication%20%24GL(n%2C%5Cmathbb%7BC%7D)%20%5Ctimes%20GL(n%2C%5Cmathbb%7BC%7D)%20%5Cto%20GL(n%2C%5Cmathbb%7BC%7D)%24%20and%20the%20inverse%20%24GL(n%2C%5Cmathbb%7BC%7D)%20%5Cto%20GL(n%2C%5Cmathbb%7BC%7D)%24%20are%20smooth%20functions%20because%20they%20can%20be%20seen%20as%20polynomials%3A%20%24(AB)_%7Bij%7D%20%3D%20%5Csum%5Climits_kA_%7Bik%7DB_%7Bkj%7D%24%20and%20%24A%5E%7B-1%7D%20%3D%20adj%7BA%7D%2F%5Cdet%7BA%7D%24.%0A%0A%20%20%20%20By%20definition%2C%20%24GL(n%2C%5Cmathbb%7BC%7D)%24%20is%20a%20Lie%20group%20of%20dimension%20%242n%5E2%24.%0A%0A%20%20%20%20%23%23%23%20Problem%20A2%0A%0A%20%20%20%20**Let%20%24SL(n%2C%20%5Cmathbb%7BC%7D)%24%20consist%20of%20complex%20%24n%20%5Ctimes%20n%24%20matrices%20%24A%24%20such%20that%20%24%5Cdet%7BA%7D%20%3D%201%24.%20Show%20that%20%24SL(n%2C%20%5Cmathbb%7BC%7D)%24%20is%20a%20Lie%20group%20of%20dimension%20%242n%5E2%20-%202%24.%20It%20is%20called%20the%20(complex)%20special%20linear%20group**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Consider%20the%20function%20%24%5Cdet%3AM_%7Bn%20%5Ctimes%20n%7D(%5Cmathbb%7BC%7D)%20%5Cto%20%5Cmathbb%7BC%7D%24%2C%20we%20want%20to%20show%20that%20%241%24%20is%20a%20regular%20value%2C%20it%20is%20pretty%20much%20the%20same%20following%20the%20reasoning%20for%20%24SL(n%2C%5Cmathbb%7BR%7D)%24.%0A%0A%20%20%20%20We%20want%20to%20show%20that%20%24d(%5Cdet)_A%3AM_%7Bn%20%5Ctimes%20n%7D(%5Cmathbb%7BC%7D)%20%5Cto%20%5Cmathbb%7BC%7D%24%20is%20surjective%20for%20all%20%24A%24%20with%20%24%5Cdet%7BA%7D%20%3D%201%24.%0A%0A%20%20%20%201.%20Let%20%24A%20%3D%20E%24%20be%20the%20identity%20matrix%20and%20%24h%20%5Cin%20M_%7Bn%20%5Ctimes%20n%7D(%5Cmathbb%7BC%7D)%24%2C%20then%20%24d(%5Cdet)_E(h)%20%3D%20%5Clim_%7Bt%5Cto%200%7D%20%5Cfrac%7B%5Cdet%7BE%2Bth%7D-%5Cdet%7BE%7D%7D%7Bt%7D%24%20(%24*%24).%0A%20%20%20%20%09Calculate%20%24%5Cdet%7BE%2Bth%7D%24%3A%20let%20%24h%20%3D%20%5Cbegin%7Bpmatrix%7D%20h_%7B11%7D%26%5Ccdots%26h_%7B1n%7D%5C%5C%20%5Ccdots%26%5Ccdots%26%5Ccdots%20%5C%5C%20h_%7Bn1%7D%26%5Ccdots%26h_%7Bnn%7D%20%5Cend%7Bpmatrix%7D%24%2C%20then%20%24%5Cdet%7BE%2Bth%7D%20%3D%20%5Cdet%7B%5Cbegin%7Bpmatrix%7D%201%2Bth_%7B11%7D%26%5Ccdots%26th_%7B1n%7D%5C%5C%20%5Ccdots%26%5Ccdots%26%5Ccdots%20%5C%5C%20th_%7Bn1%7D%26%5Ccdots%261%2Bth_%7Bnn%7D%20%5Cend%7Bpmatrix%7D%7D%24%20('%241%2B%24'%20on%20the%20diagonal)%20%24%3D%201%2B%20t(h_%7B11%7D%20%2B%20%5Ccdots%20%2B%20h_%7Bnn%7D)%20%2B%20O(t%5E2)%24%20%24%3D%201%20%2B%20t%5Ccdot%20tr(h)%20%2B%20O(t%5E2)%24%2C%20therefore%20(%24*%24)%20%3D%20%24tr(h)%24.%20It%20is%20surjective%3B%0A%20%20%20%202.%20Let%20%24A%24%20be%20an%20arbitrary%20matrix%20with%20%24%5Cdet%7BA%7D%20%3D%201%24.%20Then%20%24d(%5Cdet)_A%20%3D%20%5Clim_%7Bt%20%5Cto%200%7D%20%5Cfrac%7B%5Cdet%7BA%2Bth%7D-%5Cdet%7BA%7D%7D%7Bt%7D%24%20%24%3D%20%5Clim_%7Bt%5Cto%200%7D%5Cfrac%7B%5Cdet%7BA%7D%5Cdet%7B(E%2BtA%5E%7B-1%7Dh)%7D-%5Cdet%7BA%7D%7D%7Bt%7D%20%3D%20tr(A%5E%7B-1%7Dh)%24.%20For%20any%20%24z%20%5Cin%20%5Cmathbb%7BC%7D%24%2C%20choose%20%24B%24%20such%20that%20%24tr(B)%20%3D%20z%24%20and%20let%20%24h%20%3D%20AB%24%2C%20then%20%24tr(A%5E%7B-1%7Dh)%20%3D%20tr(A%5E%7B-1%7DAB)%20%3D%20tr(B)%20%3D%20z%24.%0A%0A%20%20%20%20Either%20way%2C%20the%20derivative%20is%20surjective%20and%20%241%24%20is%20indeed%20a%20regular%20value%2C%20thus%20%24SL(n%2C%5Cmathbb%7BC%7D)%24%20is%20a%20sub-manifold%20of%20%24M_%7Bn%5Ctimes%20n%7D(%5Cmathbb%7BC%7D)%24%20with%20dimension%20%242n%5E2%20-%202%24%20(%24%5Cmathbb%7BC%7D%24%20has%20dimension%20%242%24).%0A%0A%20%20%20%20Now%20since%20%24%5Cdet%7BAB%7D%20%3D%20%5Cdet%7BA%7D%5Cdet%7BB%7D%24%20and%20%24%5Cdet%7BA%5E%7B-1%7D%7D%20%3D%20(%5Cdet%7BA%7D)%5E%7B-1%7D%24%20thus%20%24SL(n%2C%5Cmathbb%7BC%7D)%24%20is%20still%20a%20group%20with%20respect%20to%20matrix%20multiplication%2C%20and%20multiplication%20and%20inverse%20are%20smooth%2C%20we%20have%20that%20%24SL(n%2C%20%5Cmathbb%7BC%7D)%24%20is%20a%20Lie%20group%20of%20dimension%20%242n%5E2%20-%202%24.%0A%0A%20%20%20%20%23%23%23%20Problem%20A3%0A%0A%20%20%20%20**Let%20%24U(n)%24%20consist%20of%20complex%20%24n%20%5Ctimes%20n%24%20matrices%20%24A%24%20such%20that%20%24A%5Coverline%7BA%7D%5ET%20%3D%20E%24.%20Here%2C%20%24%5Coverline%7BA%7D%24%20is%20obtained%20from%20%24A%24%20by%20replacing%20each%20entry%20of%20%24A%24%20with%20its%20complex%20conjugate.%20Show%20that%20%24U(n)%24%20is%20a%20Lie%20group%20of%20dimension%20%24n%5E2%24.%20It%20is%20called%20the%20unitary%20group**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Start%20with%20the%20simple%20part%3A%20%24U(n)%24%20is%20a%20group%20with%20respect%20to%20matrix%20multiplication%20because%20%24(AB)%5Coverline%7B(AB)%7D%5ET%20%3D%20(AB)(%5Coverline%7BB%7D%5ET%5Coverline%7BA%7D%5ET)%20%3D%20E%24%20and%20if%20%24A%5Coverline%7BA%7D%5ET%20%3D%20E%24%20then%20%24%5Coverline%7BA%7D%5ET%20%3D%20A%5E%7B-1%7D%24%2C%20thus%20%24(A%5E%7B-1%7D)%5Coverline%7BA%5E%7B-1%7D%7D%5ET%20%3D%20%5Coverline%7BA%7D%5ET%20A%20%3D%20A%20%5Coverline%7BA%7D%5ET%20%3D%20E%20%5Cimplies%20A%5E%7B-1%7D%20%5Cin%20U(n)%24.%20Multiplication%20and%20inverse%20are%20smooth%20as%20usual.%20Now%20we%20need%20to%20show%20that%20it%20is%20a%20sub-manifold%20of%20dimension%20%24n%5E2%24.%0A%0A%20%20%20%20Consider%20the%20function%20%24f%3A%20M_%7Bn%20%5Ctimes%20n%7D(%5Cmathbb%7BC%7D)%20%5Cto%20M_%7Bn%20%5Ctimes%20n%7D(%5Cmathbb%7BC%7D)%24%20given%20by%20%24A%20%5Cmapsto%20A%5Coverline%7BA%7D%5ET%24.%0A%0A%20%20%20%20Clearly%20this%20map%20is%20not%20surjective%2C%20we%20need%20to%20understand%20its%20range%3A%20notice%20that%20for%20any%20%24A%24%2C%20%24%5Coverline%7BA%5Coverline%7BA%7D%5ET%7D%5ET%20%3D%20%5Coverline%7B%5Coverline%7BA%7D%5ET%7D%5ET%5Coverline%7BA%7D%5ET%20%3D%20A%5Coverline%7BA%7D%5ET%24.%20In%20other%20words%2C%20the%20range%20consists%20of%20matrix%20whose%20conjugate%20transpose%20is%20itself%20%24H%20%3D%20%5Clbrace%20A%20%7C%20%5Coverline%7BA%7D%5ET%20%3D%20A%20%5Crbrace%24.%0A%0A%20%20%20%20A%20basis%20for%20this%20space%3A%0A%0A%20%20%20%201.%20On%20the%20diagonal%20it%20is%20required%20to%20have%20%24(a)_%7Bii%7D%24%20being%20real%2C%20so%20it%20has%20basis%20matrix%20with%20%24(i%2Ci)%20%3D%201%24%20and%20everywhere%20else%20%240%24%2C%20there%20are%20%24n%24%20of%20them%3B%0A%20%20%20%202.%20Now%20for%20anywhere%20else%2C%20it%20may%20be%20broken%20down%20into%20two%20parts%3A%0A%20%20%20%20%091.%20Real%20part%20consists%20of%20matrix%20with%20%24(i%2Cj)%20%3D%20(j%2C%20i)%20%3D%201%2C%20i%5Cne%20j%24%2C%20since%20the%20real%20part%20does%20not%20change%20when%20we%20taking%20conjugate%20transpose.%20There%20are%20%24n(n-1)%2F2%24%20of%20them%3B%0A%20%20%20%20%092.%20And%20imaginary%20part%20consists%20of%20matrix%20with%20%24(i%2C%20j)%20%3D%201%2C%20(j%2Ci)%20%3D%20-1%2C%20i%5Cne%20j%24%2C%20since%20the%20imaginary%20part%20got%20'inverted'%20when%20taking%20conjugate%20transpose.%20There%20are%20also%20%24n(n-1)%2F2%24%20of%20them.%0A%0A%20%20%20%20So%20%24%5Cdim%7BH%7D%20%3D%20n%20%2B%20n(n-1)%20%3D%20n%5E2%24%2C%20if%20we%20can%20show%20that%20%24E%24%20is%20a%20regular%20value%20for%20%24f%24%20we%20are%20done.%0A%0A%20%20%20%20%24U(n)%20%3D%20f%5E%7B-1%7D(E)%24%2C%20for%20any%20%24A%20%5Cin%20U(n)%24%2C%20we%20have%20%24df_A(h)%20%3D%20%5Clim%5Climits_%7Bt%20%5Cto%200%7D%5Cfrac%7Bf(A%2Bth)-f(A)%7D%7Bt%7D%24%20%24%3D%5Clim%5Climits%5Cfrac%7B(A%2Bth)%5Coverline%7B(A%2Bth)%7D%5ET-A%5Coverline%7BA%7D%5ET%7D%7Bt%7D%24%20%24%3D%5Clim%5Climits%5Cfrac%7BA%5Coverline%7BA%7D%5ET%20%2B%20t(h%5Coverline%7BA%7D%5ET%2BA%5Coverline%7Bh%7D%5ET)%20%2B%20O(t%5E2)%20-%20A%5Coverline%7BA%7D%5ET%7D%7Bt%7D%24%20%24%3Dh%5Coverline%7BA%7D%5ET%20%2B%20A%5Coverline%7Bh%7D%5ET%24.%0A%0A%20%20%20%20We%20want%20to%20show%20this%20map%20is%20surjective%3A%0A%0A%20%20%20%20For%20any%20%24C%20%5Cin%20H%24%2C%20let%20%24C%20%3D%20%5Cfrac%7B1%7D%7B2%7D%5Coverline%7BC%7D%5ET%2B%5Cfrac%7B1%7D%7B2%7DC%24%20and%20solve%20the%20equations%3A%0A%0A%20%20%20%201.%20%24A%5Coverline%7Bh%7D%5ET%20%3D%20%5Cfrac%7B1%7D%7B2%7DC%24%3A%20%24%5Coverline%7Bh%7D%5ET%20%3D%20%5Cfrac%7B1%7D%7B2%7DA%5E%7B-1%7DC%20%3D%20%5Cfrac%7B1%7D%7B2%7D%5Coverline%7BA%7D%5ETC%20%5Cimplies%20h%20%3D%20%5Cfrac%7B1%7D%7B2%7D%5Coverline%7BC%7D%5ETA%24%3B%0A%20%20%20%202.%20Now%20check%3A%20%24h%5Coverline%7BA%7D%5ET%20%3D%20%5Cfrac%7B1%7D%7B2%7D%5Coverline%7BC%7D%5ETA%5Coverline%7BA%7D%5ET%20%3D%20%5Cfrac%7B1%7D%7B2%7D%5Coverline%7BC%7D%5ET%24%20is%20indeed%20what%20we%20want.%0A%0A%20%20%20%20This%20shows%20that%20the%20derivative%20is%20surjective%2C%20thus%20%24E%24%20is%20a%20regular%20value%20for%20%24f%24%2C%20and%20its%20preimage%2C%20%24f%5E%7B-1%7D(E)%20%3D%20U(n)%24%20is%20a%20sub-manifold%20of%20dimension%20%242n%5E2%20-%20n%5E2%20%3D%20n%5E2%24.%0A%0A%20%20%20%20%23%23%23%20Problem%20A4%0A%0A%20%20%20%20**Show%20that%20%24U(1)%24%20is%20diffeomorphic%2C%20as%20a%20manifold%2C%20to%20the%20circle.%20Let%20%24SU(2)%24%20be%20the%20subgroup%20of%20%24U(2)%24%20consisting%20of%20matrices%20with%20determinant%20%241%24.%20Show%20that%20%24SU(2)%24%20is%20diffeomorphic%2C%20as%20a%20manifold%2C%20to%20the%20%243%24-sphere**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20By%20definition%20%24U(1)%20%3D%20%5Clbrace%20(a%2Bib)%20%7C%20(a%2Bib)(a-ib)%20%3D%201%20%5Cimplies%20a%5E2%2Bb%5E2%20%3D%201%2C%20a%2Cb%20%5Cin%20%5Cmathbb%7BR%7D%20%5Crbrace%24%2C%20so%20simply%20take%20%24f%3A%20U(1)%20%5Cto%20S%5E1%24%20as%20the%20identity%20map%2C%20it%20is%20clearly%20a%20diffeomorphism%3B%0A%20%20%20%202.%20Let%20%24A%20%3D%20%5Cbegin%7Bpmatrix%7D%20a_%7B11%7D%2Bib_%7B11%7D%26a_%7B12%7D%2Bib_%7B12%7D%5C%5Ca_%7B21%7D%2Bib_%7B21%7D%26a_%7B22%7D%2Bib_%7B22%7D%20%5Cend%7Bpmatrix%7D%20%5Cin%20SU(2)%24%2C%20then%20it%20has%20to%20satisfy%20that%20%24A%5Coverline%7BA%7D%5ET%20%3D%20E%24%20and%20%24%5Cdet%7BA%7D%20%3D%201%24.%20Notice%20that%20since%20%24A%5Coverline%7BA%7D%5ET%20%3D%20E%24%20we%20have%20%24%5Coverline%7BA%7D%5ET%20%3D%20A%5E%7B-1%7D%24.%0A%20%20%20%20%09This%20made%20%24SU(2)%24%20rather%20simple%3A%0A%20%20%20%20%09If%20%24A%20%3D%20%5Cbegin%7Bpmatrix%7D%20a%26b%5C%5Cc%26d%20%5Cend%7Bpmatrix%7D%20%5Cin%20SU(2)%24%20then%20%24A%5E%7B-1%7D%20%3D%20%5Cfrac%7B1%7D%7B%5Cdet%7BA%7D%7D%5Cbegin%7Bpmatrix%7D%20d%26-b%5C%5C-c%26a%20%5Cend%7Bpmatrix%7D%20%3D%20%5Cbegin%7Bpmatrix%7D%20d%26-b%5C%5C-c%26a%20%5Cend%7Bpmatrix%7D%20%3D%20%5Coverline%7BA%7D%5ET%20%3D%20%5Cbegin%7Bpmatrix%7D%20%5Coverline%7Ba%7D%26%5Coverline%7Bc%7D%5C%5C%5Coverline%7Bb%7D%26%5Coverline%7Bd%7D%20%5Cend%7Bpmatrix%7D%24.%0A%20%20%20%20%09So%20we%20have%20to%20have%20%24a%20%3D%20%5Coverline%7Bd%7D%24%20and%20%24c%20%3D%20-%5Coverline%7Bb%7D%24%20and%20%24A%24%20is%20simplified%20to%20%24%5Cbegin%7Bpmatrix%7D%20a%26-%5Coverline%7Bb%7D%5C%5Cb%26%5Coverline%7Ba%7D%20%5Cend%7Bpmatrix%7D%20%3D%20%5Cbegin%7Bpmatrix%7D%20u%2Biv%26-x%2Biy%5C%5Cx%2Biy%26u-iv%20%5Cend%7Bpmatrix%7D%24.%0A%20%20%20%20%09Now%20it%20is%20clear%20that%20in%20order%20to%20have%20%24A%5Coverline%7BA%7D%5ET%20%3D%20E%24%20we%20need%20to%20have%20%24u%5E2%2Bv%5E2%2Bx%5E2%2By%5E2%20%3D%201%24.%20Thus%20%24SU(2)%24%20is%20diffeomorphic%20to%20the%20%243%24-sphere.%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%20Spring%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%20Section%201.5%0A%0A%20%20%20%20%23%23%23%20Exercise%202%0A%0A%20%20%20%20**Which%20of%20the%20following%20linear%20spaces%20intersect%20transversally**%3F%0A%0A%20%20%20%201.%20**The%20%24xy%24%20plane%20and%20the%20%24z%24%20axis%20in%20%24%5Cmathbb%7BR%7D%5E3%24**%3B%0A%20%20%20%202.%20**The%20%24xy%24%20plane%20and%20the%20plane%20spanned%20by%20%24%5Clbrace%20(3%2C2%2C0)%2C(0%2C4%2C-1)%20%5Crbrace%24%20in%20%24%5Cmathbb%7BR%7D%5E3%24**%3B%0A%20%20%20%203.%20**The%20plane%20spanned%20by%20%24%5Clbrace%20(1%2C0%2C0)%2C(2%2C1%2C0)%20%5Crbrace%24%20and%20the%20%24y%24%20axis%20in%20%24%5Cmathbb%7BR%7D%5E3%24**%3B%0A%20%20%20%204.%20%24%5Cmathbb%7BR%7D%5Ek%20%5Ctimes%20%5Clbrace%200%20%5Crbrace%24%20**and%20%24%5Clbrace%200%20%5Crbrace%20%5Ctimes%20%5Cmathbb%7BR%7D%5El%24%20in%20%24%5Cmathbb%7BR%7D%5En%24**%3B%0A%20%20%20%205.%20%24%5Cmathbb%7BR%7D%5Ek%20%5Ctimes%20%5Clbrace%200%20%5Crbrace%24%20**and%20%24%5Cmathbb%7BR%7D%5El%20%5Ctimes%20%5Clbrace%200%20%5Crbrace%24%20in%20%24%5Cmathbb%7BR%7D%5En%24**%3B%0A%20%20%20%206.%20%24V%20%5Ctimes%20%5Clbrace%200%20%5Crbrace%24%20**and%20the%20diagonal%20in%20%24V%20%5Ctimes%20V%24**%3B%0A%20%20%20%207.%20**The%20symmetric%20%24(A%5ET%20%3D%20A)%24%20and%20the%20skew%20symmetric%20%24(A%5ET%20%3D%20-A)%24%20matrices%20in%20%24M(n)%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20First%2C%20notice%20that%20all%20of%20those%20spaces%20are%20vector%20spaces%20(plane%2C%20diagonal%2C%20symmetric%20matrix%2C%20etc.)%2C%20so%20their%20tangent%20space%20at%20any%20point%20is%20just%20themselves%2C%20making%20the%20job%20much%20easier.%0A%0A%20%20%20%20Now%20we%20check%20them%20one%20by%20one%3A%0A%0A%20%20%20%201.%20Is%20transversal%2C%20clearly%20they%20together%20span%20%24%5Cmathbb%7BR%7D%5E3%24%3B%0A%20%20%20%202.%20Is%20transversal%2C%20in%20fact%20two%20planes%20are%20always%20transversal%20as%20long%20as%20they%20are%20not%20the%20same%20plane%3B%0A%20%20%20%203.%20Is%20not%20transversal%2C%20they%20together%20only%20span%20the%20%24xy%24%20plane%3B%0A%20%20%20%204.%20It%20is%20a%20generalization%20of%20the%20above%20%24%5Cmathbb%7BR%7D%5E3%24%20cases%2C%20if%20%24n%20%5Cle%20k%20%2B%20l%24%20then%20each%20dimension%20is%20being%20spanned%20(not%20%240%24)%20thus%20transversal%3B%0A%20%20%20%205.%20Similar%20with%20above%2C%20however%2C%20this%20time%20we%20have%20to%20have%20either%20%24n%20%3D%20l%24%20or%20%24n%20%3D%20k%24%20(assuming%20%24k%2Cl%5Cle%20n%24)%20to%20make%20sure%20the%20spaces%20span%20%24%5Cmathbb%7BR%7D%5En%24%3B%0A%20%20%20%206.%20Is%20transversal%2C%20for%20any%20%24v_1%20%5Ctimes%20v_2%20%5Cin%20V%20%5Ctimes%20V%24%2C%20choose%20%24v_2%20%5Ctimes%20v_2%24%20from%20the%20diagonal%20and%20%24(v_1%20-%20v_2)%20%5Ctimes%200%24%2C%20they%20combine%20into%20%24v_1%20%5Ctimes%20v_2%24%3B%0A%20%20%20%207.%20Is%20transversal%2C%20any%20matrix%20in%20%24M(n)%24%20can%20be%20written%20into%20linear%20combination%20(summation)%20of%20a%20symmetric%20matrix%20and%20a%20skew%20symmetric%20matrix.%20For%20example%2C%20%24%5Cbegin%7Bpmatrix%7D%202%263%5C%5C-7%269%20%5Cend%7Bpmatrix%7D%24%20can%20be%20written%20as%20%24%5Cbegin%7Bpmatrix%7D%202%26-2%5C%5C-2%269%20%5Cend%7Bpmatrix%7D%24%20(symmetric%20matrix%2C%20meet%20the%20diagonal%2C%20then%20take%20average%20of%20each%20transposing%20value%2C%20%24(3-7)%2F2%20%3D%20-2%24%20this%20case)%20and%20%24%5Cbegin%7Bpmatrix%7D%200%265%5C%5C-5%260%20%5Cend%7Bpmatrix%7D%24%20(skew%20symmetric%20matrix%2C%20%240%24%20in%20the%20diagonal%2C%20then%20padding%20the%20rest).%0A%0A%20%20%20%20%23%23%23%20Exercise%204%0A%0A%20%20%20%20**Let%20%24X%24%20and%20%24Z%24%20be%20transversal%20sub-manifolds%20of%20%24Y%24.%20Prove%20that%20if%20%24y%20%5Cin%20X%20%5Ccap%20Z%24%2C%20then%20%24T_y(X%5Ccap%20Z)%20%3D%20T_yX%20%5Ccap%20T_yZ%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Since%20%24X%20%5Ccap%20Z%20%5Csubseteq%20X%24%20and%20%24%5Csubseteq%20Z%24%2C%20naturally%20%24T_y(X%20%5Ccap%20Z)%20%5Csubseteq%20T_yX%24%20and%20%24T_y(X%20%5Ccap%20Z)%20%5Csubseteq%20T_yZ%24%20thus%20%24T_y(X%20%5Ccap%20Z)%20%5Csubseteq%20T_yX%20%5Ccap%20T_yZ%24.%20Since%20both%20sides%20are%20vector%20spaces%2C%20all%20we%20need%20is%20to%20show%20that%20they%20have%20the%20same%20dimension.%0A%0A%20%20%20%20Since%20%24X%24%20and%20%24Z%24%20are%20transversal%20we%20have%20that%20%24%5Cdim%7BX%20%5Ccap%20Z%7D%20%3D%20%5Cdim%7BX%7D%20%2B%20%5Cdim%7BZ%7D%20-%20%5Cdim%7BY%7D%24%2C%20thus%20%24%5Cdim%7BT_y(X%20%5Ccap%20Z)%7D%20%3D%20%5Cdim%7BT_yX%7D%20%2B%20%5Cdim%7BT_yZ%7D%20-%20%5Cdim%7BT_yY%7D%24%20(%24*%24).%0A%0A%20%20%20%20On%20the%20other%20hand%2C%20by%20direct%20calculation%20we%20have%20that%20%24%5Cdim%7B(T_yX%20%5Ccap%20T_yZ)%7D%20%3D%20%5Cdim%7BT_yX%7D%20%2B%20%5Cdim%7BT_yZ%7D%20-%20%5Cdim%7B(T_yX%20%2B%20T_yZ)%7D%24%20(%24**%24)%20(kind%20of%20like%20playing%20with%20the%20Venn%20diagrams%3A%20the%20union%20of%20two%20sets%20is%20the%20sum%20of%20the%20two%20sets%20excludes%20their%20intersection%20otherwise%20the%20intersection%20is%20counted%20twice)%2C%20but%20%24X%24%20and%20%24Z%24%20are%20transversal%20implies%20that%20%24T_yX%20%2B%20T_yZ%20%3D%20T_yY%24%20and%20thus%20%24%5Cdim%7B(T_yX%20%2B%20T_yZ)%7D%20%3D%20%5Cdim%7BT_yY%7D%24.%0A%0A%20%20%20%20Thus%20the%20value%20of%20(%24*%24)%20and%20(%24**%24)%20indeed%20coincides%2C%20and%20we%20have%20%24T_y(X%5Ccap%20Z)%20%3D%20T_yX%20%5Ccap%20T_yZ%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%208%0A%0A%20%20%20%20**For%20which%20values%20of%20%24a%24%20does%20the%20hyperboloid%20defined%20by%20%24x%5E2%2By%5E2-z%5E2%20%3D%201%24%20intersect%20the%20sphere%20%24x%5E2%2By%5E2%2Bz%5E2%20%3D%20a%24%20transversally%3F%20What%20does%20the%20intersection%20look%20like%20for%20different%20values%20of%20%24a%24**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20If%20%24%5Csqrt%7Ba%7D%3C1%24%2C%20there%20is%20no%20intersection%20between%20the%20two%20surfaces%2C%20thus%20trivially%20they%20are%20transversal%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021337.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20If%20%24%5Csqrt%7Ba%7D%20%3D%201%24%2C%20the%20intersection%20is%20%24x%5E2%20%2B%20y%5E2%20%3D%201%24.%20By%20previous%20exercise%20we%20can%20see%20that%20for%20any%20point%20in%20the%20intersection%2C%20the%20tangent%20spaces%20to%20the%20hyperboloid%20and%20the%20sphere%20are%20the%20same%20(vertical%20plane%20parallel%20with%20the%20%24yz%24%20plane)%2C%20and%20they%20cannot%20span%20%24%5Cmathbb%7BR%7D%5E3%24%2C%20thus%20they%20are%20not%20transversal%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021612.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20Otherwise%20%24%5Csqrt%7Ba%7D%3E1%24%2C%20solve%20for%20the%20two%20equations%20we%20have%20that%20%24z%20%3D%20%5Cpm%5Csqrt%7B%5Cfrac%7Ba-1%7D%7B2%7D%7D%20%5Cne%200%24%20and%20thus%20the%20gradient%20of%20the%20hyperboloid%20(at%20a%20point%20in%20the%20intersection%2C%20of%20course)%20of%20the%20sphere%20are%20%24(2x%2C2y%2C-2z)%24%20and%20%24(2x%2C2y%2C2z)%24%20are%20linearly%20independent%2C%20thus%20the%20two%20tangent%20spaces%20would%20span%20%24%5Cmathbb%7BR%7D%5E3%24%2C%20and%20the%20two%20surfaces%20are%20transversal%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021550.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20%23%23%23%20Exercise%209%0A%0A%20%20%20%20**Let%20%24V%24%20be%20a%20vector%20space%2C%20and%20let%20%24%5CDelta%24%20be%20the%20diagonal%20of%20%24V%20%5Ctimes%20V%24.%20For%20a%20linear%20map%20%24A%3A%20V%20%5Cto%20V%24%2C%20consider%20the%20graph%20%24W%20%3D%20%5Clbrace%20(v%2C%20Av)%3A%20v%20%5Cin%20V%20%5Crbrace%24.%20Show%20that%20%24W%24%20and%20%24%5CDelta%24%20are%20transversal%20if%20and%20only%20if%20%24%2B1%24%20is%20not%20an%20eigenvalue%20of%20%24A%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20definition%20%24W%24%20and%20%24%5CDelta%24%20are%20transversal%20is%20the%20same%20as%20saying%20%24W%20%2B%20%5CDelta%20%3D%20V%20%5Ctimes%20V%24.%20Thus%20any%20element%20%24u%20%5Ctimes%20v%20%5Cin%20V%20%5Ctimes%20V%24%20should%20be%20able%20to%20be%20written%20as%20%24u%20%5Ctimes%20v%20%3D%20(v_1%20%2B%20v_2)%20%5Ctimes%20(v_1%20%2B%20Av_2)%24%2C%20where%20%24(v_1%2C%20v_1)%24%20is%20from%20the%20diagonal%20and%20%24(v_2%2C%20Av_2)%24%20is%20from%20%24W%24.%0A%0A%20%20%20%20In%20other%20words%2C%20we%20need%20to%20solve%20for%20%24u%20%3D%20Iv_1%20%2B%20Iv_2%24%20and%20%24v%20%3D%20Iv_1%20%2B%20Av_2%24%20for%20arbitrary%20%24u%2Cv%24.%20We%20have%20%24v-u%20%3D%20(A-I)v_2%24%20and%20we%20can%20solve%20for%20%24v_2%24%20(for%20arbitrary%20%24u%2Cv%24)%20if%20and%20only%20if%20%24A-I%20%3D%20A-1I%24%20is%20invertible%2C%20but%20this%20is%20equivalent%20with%20that%20%24%5Cdet%7BA-1I%7D%24%20is%20non-zero%20and%20%241%24%20is%20not%20an%20eigenvalue%20of%20%24A%24.%0A%0A%20%20%20%20%23%23%20Section%201.6%0A%0A%20%20%20%20%23%23%23%20Exercise%203%0A%0A%20%20%20%20**Show%20that%20every%20connected%20manifold%20%24X%24%20is%20arc-wise%20connected%3A%20given%20any%20two%20points%20%24x_0%2Cx_1%20%5Cin%20X%24%2C%20there%20exists%20a%20smooth%20curve%20%24f%3A%20I%20%5Cto%20X%24%20with%20%24f(0)%20%3D%20x_0%2C%20f(1)%20%3D%20x_1%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20Claim%20that%20being%20joined%20by%20a%20smooth%20curve%20is%20an%20equivalence%20relation%3A%0A%20%20%20%20%091.%20The%20relation%20is%20trivially%20reflexive%3B%0A%20%20%20%20%092.%20The%20relation%20is%20symmetric%3A%20say%20%24x_0%24%20and%20%24x_1%24%20is%20connected%20by%20smooth%20%24h%24%2C%20define%20%24%5Ctilde%7Bh%7D%24%20by%20%24%5Ctilde%7Bh%7D(t)%20%3D%20h(1-t)%24%20then%20this%20is%20smooth%20(composite%20%24h%24%20and%20%24(1-t)%24)%20curve%20connecting%20%24%5Ctilde%7Bh%7D(0)%20%3D%20h(1)%20%3D%20x_1%24%20and%20%24%5Ctilde%7Bh%7D(1)%20%3D%20h(0)%20%3D%20x_0%24%3B%0A%20%20%20%20%093.%20The%20relation%20is%20transitive%3A%20suppose%20%24x_%7B0%2C1%2C2%7D%20%5Cin%20X%24%20such%20that%20%24f%24%20is%20a%20smooth%20curve%20with%20%24f(0)%20%3D%20x_0%2C%20f(1)%20%3D%20x_1%24%20and%20%24g%24%20is%20a%20smooth%20curve%20with%20%24g(0)%20%3D%20x_1%2C%20g(1)%20%3D%20x_2%24.%20We%20can%20construct%20homotopies%20%24F%3A%20X%20%5Ctimes%20I%20%5Cto%20X%2C%20F(x%2Ct)%20%3D%20f(t)%24%20and%20%24G%3A%20X%20%5Ctimes%20I%20%5Cto%20X%2C%20G(x%2Ct)%20%3D%20g(t)%24.%20Since%20smooth%20homotopy%20is%20an%20equivalence%20relation%2C%20there%20is%20a%20homotopy%20%24H%24%20with%20%24H(x%2C0)%20%3D%20x_0%2C%20H(x%2C1)%20%3D%20x_2%24%2C%20and%20it%20can%20induce%20%24h(t)%20%3D%20h_x(t)%20%3D%20H(x%2Ct)%24%2C%20a%20smooth%20map%20connecting%20%24x_0%24%20and%20%24x_2%24%3B%0A%20%20%20%202.%20The%20equivalence%20classes%20are%20open%3A%0A%20%20%20%20%09Take%20any%20%24x%20%5Cin%20X%24%20and%20let%20%24R%24%20be%20the%20equivalence%20class%20for%20%24x%24.%20Since%20%24X%24%20is%20a%20manifold%2C%20there%20exists%20%24O(x)%24%20diffeomorphic%20to%20%24%5Cmathbb%7BR%7D%5Ek%24%2C%20which%20is%20arc-wise%20connected%2C%20thus%20%24O(x)%24%20is%20arc-wise%20connected.%20But%20that%20means%20%24O(x)%20%5Csubseteq%20R%24.%20Since%20%24x%24%20is%20arbitrary%2C%20this%20implies%20that%20its%20equivalence%20class%20%24R%24%20is%20open.%0A%20%20%20%20%09Now%2C%20for%20any%20%24x%20%5Cin%20X%24%2C%20say%20%24R%24%20is%20the%20equivalence%20class%2C%20if%20%24R%24%20not%20equals%20%24X%24%2C%20then%20%24X-R%24%20is%20the%20union%20of%20all%20other%20equivalence%20classes%2C%20which%20is%20a%20union%20of%20open%20sets%20thus%20is%20open%2C%20but%20then%20%24X%20%3D%20R%20%5Ccup%20(X-R)%24%20forms%20a%20separation%20thus%20%24X%24%20is%20not%20connected%2C%20we%20have%20a%20contradiction.%20Thus%20in%20fact%20%24X%24%20has%20only%20one%20equivalence%20class%2C%20and%20this%20is%20equivalent%20with%20the%20statement%20we%20want.%0A%0A%20%20%20%20%23%23%23%20Exercise%204%0A%0A%20%20%20%20**A%20manifold%20%24X%24%20is%20contractible%20if%20its%20identity%20map%20is%20homotopic%20to%20some%20constant%20map%20%24X%20%5Cto%20%5Clbrace%20x%20%5Crbrace%24%2C%20%24x%24%20being%20a%20point%20of%20%24X%24.%20Check%20that%20if%20%24X%24%20is%20contractible%2C%20then%20all%20maps%20of%20an%20arbitrary%20manifold%20%24Y%24%20into%20%24X%24%20are%20homotopic%20(and%20conversely)**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20assumption%2C%20let%20%24F%24%20be%20the%20homotopy%20between%20identity%20map%20%24%5Ctext%7Bid%7D%24%20on%20%24X%24%20and%20a%20constant%20map%20%24f%24%2C%20i.e.%20%24F(x%2C0)%20%3D%20%5Ctext%7Bid%7D(x)%20%3D%20x%24%2C%20%24F(x%2C1)%20%3D%20f(x)%20%3D%20c%24.%20Then%20for%20any%20%24g%3A%20Y%20%5Cto%20X%24%2C%20%24F%20%5Ccirc%20(g%20%5Ctimes%20%5Ctext%7Bid%7D_I)%3A%20Y%5Ctimes%20I%20%5Cto%20X%20%5Ctimes%20I%20%5Cto%20X%24%20is%20a%20homotopy%20between%20%24g%24%20and%20the%20constant%20map%2C%20as%20%24F(g(y)%2C%200)%20%3D%20%5Ctext%7Bid%7D(g(y))%20%3D%20g(y)%24%20and%20%24F(g(y)%2C%201)%20%3D%20f(g(y))%20%3D%20c%24.%20In%20other%20word%2C%20any%20%24g%24%20is%20homotopic%20to%20the%20constant%20map.%0A%0A%20%20%20%20We%20proved%20that%20homotopy%20is%20an%20equivalence%20relation%2C%20so%20any%20two%20%24g_1%2C%20g_2%24%20are%20homotopic%20to%20the%20constant%20function%20thus%20homotopic%20to%20each%20other.%0A%0A%20%20%20%20The%20converse%20is%20simple%3A%20since%20it%20works%20for%20arbitrary%20manifold%20%24Y%24%2C%20we%20can%20take%20%24Y%20%3D%20X%24%20(by%20assumption%20%24X%24%20is%20indeed%20a%20manifold%2C%20so%20we%20can%20do%20it)%20then%20%24X%24%20is%20clearly%20contractible.%0A%0A%20%20%20%20%23%23%23%20Exercise%206%0A%0A%20%20%20%20**A%20manifold%20%24X%24%20is%20simply%20connected%20if%20it%20is%20connected%20and%20if%20every%20map%20of%20the%20circle%20%24S%5E1%24%20into%20%24X%24%20is%20homotopic%20to%20a%20constant.%20Check%20that%20all%20contractible%20spaces%20are%20simply%20connected%2C%20but%20convince%20yourself%20that%20the%20converse%20is%20false**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Since%20%24S%5E1%24%20is%20a%20manifold%2C%20let%20%24g%3A%20S%5E1%20%5Cto%20X%24%20be%20an%20arbitrary%20map%20and%20%24f%3A%20S%5E1%20%5Cto%20X%24%20be%20a%20constant%20map%2C%20by%20above%20exercise%20%24g%24%20and%20%24f%24%20are%20homotopic.%0A%0A%20%20%20%20%24X%24%20is%20connected%3A%20say%20we%20have%20the%20homotopy%20%24F(x%2Ct)%24%20between%20%24%5Ctext%7Bid%7D%24%20to%20a%20constant%20map%20%24f(x)%20%3D%20c%24%2C%20for%20any%20fixed%20%24x%24%20this%20gives%20us%20a%20continuous%20(smooth%2C%20but%20we%20don't%20really%20need%20it)%20map%20%24g_x(t)%20%3D%20F(x%2Ct)%24%20where%20%24g_x(0)%20%3D%20x%24%20and%20%24g_x(1)%20%3D%20c%24.%20Now%20for%20any%20%24x%2C%20y%20%5Cin%20X%24%2C%20find%20the%20map%20%24g_x%24%20and%20%24g_y%24%20and%20combine%20them%20to%20%24g(t)%20%3D%20%5Cbegin%7Bcases%7D%20g_x(2t)%2C%200%5Cle%20t%5Cle%201%2F2%5C%5Cg_y(2%20-%202t)%2C%201%2F2%20%5Cle%20t%20%5Cle%201%20%5Cend%7Bcases%7D%24.%20This%20is%20a%20continuous%20map%20with%20%24g(0)%20%3D%20x%24%20and%20%24g(1)%20%3D%20y%24%2C%20since%20%24x%2Cy%24%20arbitrary%2C%20we%20have%20%24X%24%20is%20path-connected%20thus%20connected.%0A%0A%20%20%20%20The%20converse%20is%20false%2C%20for%20example%2C%20%24S%5E2%24%20is%20simply%20connected%20but%20not%20contractible.%0A%0A%20%20%20%20%23%23%23%20Exercise%207%0A%0A%20%20%20%20**Show%20that%20the%20antipodal%20map%20%24x%20%5Cto%20-x%24%20of%20%24S%5Ek%20%5Cto%20S%5Ek%24%20is%20homotopic%20to%20the%20identity%20if%20%24k%24%20is%20odd**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20If%20%24k%20%3D%201%24%2C%20we%20have%20the%20homotopy%20%24F_1(x%2Cy%2Ct)%20%3D%20%5Cbegin%7Bpmatrix%7D%20%5Ccos(%5Cpi%20t)%26-%5Csin(%5Cpi%20t)%5C%5C%5Csin(%5Cpi%20t)%26%5Ccos(%5Cpi%20t)%20%5Cend%7Bpmatrix%7D%20%5Cbegin%7Bpmatrix%7D%20x%5C%5Cy%20%5Cend%7Bpmatrix%7D%24%20%24%3D%20%5Cbegin%7Bpmatrix%7D%20x%5Ccos(%5Cpi%20t)-y%5Csin(%5Cpi%20t)%5C%5Cx%5Csin(%5Cpi%20t)%2By%5Ccos(%5Cpi%20t)%20%5Cend%7Bpmatrix%7D%24%2C%20so%20that%20%24F_1(x%2Cy%2C0)%20%3D%20%5Cbegin%7Bpmatrix%7D%20x%5C%5Cy%20%5Cend%7Bpmatrix%7D%24%20and%20%24F_1(x%2Cy%2C1)%20%3D%20%5Cbegin%7Bpmatrix%7D%20-x%5C%5C-y%20%5Cend%7Bpmatrix%7D%24%2C%20all%20these%20functions%20are%20clearly%20smooth.%0A%0A%20%20%20%20Analogous%20to%20this%2C%20for%20any%20%24k%24%20odd%2C%20consider%20this%20linear%20map%3A%0A%0A%20%20%20%20%24F_k(x_1%2C%5Cdots%2Cx_%7B2k%7D%2C%20t)%24%20%24%3D%20%5Cbegin%7Bpmatrix%7D%20%5Ccos(%5Cpi%20t)%26-%5Csin(%5Cpi%20t)%260%260%26%5Cdots%26%5Cdots%260%260%5C%5C%20%5Csin(%5Cpi%20t)%26%5Ccos(%5Cpi%20t)%260%260%26%5Cdots%26%5Cdots%260%260%5C%5C%200%260%26%5Ccos(%5Cpi%20t)%26-%5Csin(%5Cpi%20t)%26%5Cdots%26%5Cdots%260%260%5C%5C%200%260%26%5Csin(%5Cpi%20t)%26%5Ccos(%5Cpi%20t)%26%5Cdots%26%5Cdots%260%260%5C%5C%200%260%260%260%26%5Cdots%26%5Cdots%260%260%5C%5C%200%260%260%260%26%5Cdots%26%5Cdots%260%260%5C%5C%200%260%260%260%26%5Cdots%26%5Cdots%26%5Ccos(%5Cpi%20t)%26-%5Csin(%5Cpi%20t)%26%5C%5C%200%260%260%260%26%5Cdots%26%5Cdots%26%5Csin(%5Cpi%20t)%26%5Ccos(%5Cpi%20t)%20%5Cend%7Bpmatrix%7D%20%5Cbegin%7Bpmatrix%7D%20x_1%5C%5Cx_2%5C%5C%5Cdots%5C%5Cx_%7B2k%7D%20%5Cend%7Bpmatrix%7D%24%2C%20the%20image%20would%20be%20%24%5Cbegin%7Bpmatrix%7D%20y_1%5C%5Cy_2%5C%5C%5Cdots%5C%5Cy_%7B2k%7D%20%5Cend%7Bpmatrix%7D%24%20where%20we%20can%20calculate%20that%3A%0A%0A%20%20%20%201.%20%24y_1%20%3Dx_1%5Ccos(%5Cpi%20t)-x_2%5Csin(%5Cpi%20t)%20%3D%20%5Cbegin%7Bcases%7D%20x_1%2C%20t%3D%200%5C%5C-x_1%2Ct%3D1%20%5Cend%7Bcases%7D%24%3B%0A%20%20%20%202.%20%24y_2%20%3Dx_1%5Csin(%5Cpi%20t)%2Bx_2%5Ccos(%5Cpi%20t)%20%3D%20%5Cbegin%7Bcases%7D%20x_2%2C%20t%3D%200%5C%5C-x_2%2Ct%3D1%20%5Cend%7Bcases%7D%24%3B%0A%20%20%20%203.%20%24y_3%20%3Dx_3%5Ccos(%5Cpi%20t)-x_4%5Csin(%5Cpi%20t)%20%3D%20%5Cbegin%7Bcases%7D%20x_3%2C%20t%3D%200%5C%5C-x_3%2Ct%3D1%20%5Cend%7Bcases%7D%24%3B%0A%20%20%20%204.%20%24%5Cdots%24%0A%0A%20%20%20%20And%20this%20is%20the%20homotopy%20we%20want.%0A%0A%20%20%20%20Not%20a%20Redo%3A%0A%0A%20%20%20%20We%20also%20need%20to%20show%20that%20for%20any%20%24t%24%20and%20odd%20%24k%24%2C%20%24F_k(S%5Ek%2C%20t)%20%5Csubseteq%20S%5Ek%24%2C%20this%20can%20be%20easily%20done%20by%20triangle-function%20calculations%2C%20but%20it%20should%20be%20part%20of%20the%20proof.%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%20Spring%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%20Section%201.6%0A%0A%20%20%20%20%23%23%23%20Exercise%209%0A%0A%20%20%20%20**Prove%20that%20the%20Stability%20Theorem%20is%20false%20on%20non-compact%20domains.%20Let%20%24%5Crho%3A%20%5Cmathbb%7BR%7D%20%5Cto%20%5Cmathbb%7BR%7D%24%20be%20a%20function%20with%20%24%5Crho(s)%20%3D%201%24%20if%20%24%7C%20s%20%7C%20%3C%201%24%2C%20%24%5Crho(s)%20%3D%200%24%20if%20%24%7C%20s%20%7C%20%3E%202%24.%20Define%20%24f_t%3A%5Cmathbb%7BR%7D%20%5Cto%20%5Cmathbb%7BR%7D%24%20by%20%24f_t(x)%20%3D%20x%5Crho(tx)%24.%20Verify%20that%20this%20is%20a%20counterexample%20to%20all%20six%20parts%20of%20the%20theorem**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20In%20the%20given%20example%2C%20%24f_0%3A%5Cmathbb%7BR%7D%20%5Cto%20%5Cmathbb%7BR%7D%24%20is%20given%20as%20%24f_0(x)%20%3D%20x%5Crho(0)%20%3D%20x%24%2C%20i.e.%20the%20identity%20map.%20So%20it%20is%20clearly%20a%20diffeomorphism%20and%20a%20local%20diffeomorphism%3B%20graphically%20it%20is%20easy%20to%20see%20that%20it%20is%20transversal%20to%20any%20given%20sub-manifold%3B%20and%20it%20is%20also%20immersion%2C%20submersion%2C%20and%20embedding%20(I%20guess%20it%20is%20not%20totally%20rigorous%20here%20since%20%24%5Cdim%7B%5Cmathbb%7BR%7D%7D%20%3D%20%5Cdim%7B%5Cmathbb%7BR%7D%7D%24%3F).%0A%0A%20%20%20%20Now%2C%20for%20any%20%24t%20%3E%200%24%2C%20take%20large%20(or%20small)%20enough%20%24x%24%20then%20we%20will%20have%20that%20%24%7C%20tx%20%7C%20%3E%202%24%20so%20that%20%24f_t(x)%20%3D%200%24%20for%20all%20such%20%24x%24.%20But%20then%20%24f_t%24%20clearly%20cannot%20be%20injective%20near%20%24x%24%2C%20so%20it%20is%20neither%20a%20local%20diffeomorphism%20nor%20a%20diffeomorphism%3B%20also%2C%20its%20derivative%20is%20also%20constant%20%240%24%20so%20neither%20injective%20nor%20surjective%2C%20thus%20%24f_t%24%20is%20not%20an%20immersion%2C%20a%20submersion%2C%20or%20an%20embedding.%20Consider%20%24Z%20%3D%20%5Clbrace%200%20%5Crbrace%24%20then%20%24f_t%5E%7B-1%7D(0)%20%3D%20%5Clbrace%20x%20%7C%20x%20%3D%200%24%20or%20%24%7C%20x%20%7C%3E2%2F%7C%20t%20%7C%5Crbrace%24%2C%20but%20for%20larger%20or%20small%20enough%20%24x%24%2C%20%24df_x(T_xX)%20%2B%20T_%7Bf(x)%7DZ%20%3D%20%5Clbrace%200%20%5Crbrace%20%2B%20%5Clbrace%200%20%5Crbrace%20%5Cne%20%5Cmathbb%7BR%7D%20%3D%20T_%7Bf(x)%7DY%24%2C%20so%20%24f%24%20is%20not%20transversal%20to%20%24Z%24.%0A%0A%20%20%20%20%23%23%20Section%201.7%0A%0A%20%20%20%20%23%23%23%20Exercise%204%0A%0A%20%20%20%20**Prove%20that%20the%20rational%20numbers%20have%20measure%20zero%20in%20%24%5Cmathbb%7BR%7D%24%2C%20even%20though%20they%20are%20dense**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20We%20know%20that%20%24%5Cmathbb%7BQ%7D%24%20is%20countable%2C%20so%20we%20can%20write%20%24%5Cmathbb%7BQ%7D%20%3D%20%5Cbigcup%5Climits_i%20r_i%24%2C%20with%20%24r_i%24%20be%20enumerated%20rational%20numbers.%20Given%20any%20%24%5Cvarepsilon%20%3E%200%24%20we%20can%20cover%20%24%5Cmathbb%7BQ%7D%24%20with%20(one-dimensional)%20cubes%20%24%5Cbigcup%5Climits_i%20(r_i%20-%20%5Cvarepsilon%2F2%5E%7Bi%2B2%7D%2C%20r%2B%5Cvarepsilon%2F2%5E%7Bi%2B2%7D%24%20with%20the%20total%20volume%20being%20a%20geometric%20series%20%24%5Cvarepsilon%2F4%20%2B%20%5Cvarepsilon%2F8%20%2B%20%5Cdots%24%20%24%3D%20%5Cfrac%7B1%7D%7B4%7D(%5Cvarepsilon%20%2B%20%5Cvarepsilon%2F2%20%2B%20%5Cdots)%24%20%24%3D%20%5Cvarepsilon%2F2%20%3C%20%5Cvarepsilon%24%2C%20by%20definition%20%24%5Cmathbb%7BQ%7D%24%20has%20measure%20zero.%0A%0A%20%20%20%20%23%23%23%20Exercise%206%0A%0A%20%20%20%20**Prove%20that%20the%20sphere%20%24S%5Ek%24%20is%20simply%20connected%20if%20%24k%20%3E%201%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Clearly%20%24S%5Ek%24%20is%20path%20connected%20thus%20connected%2C%20we%20need%20to%20check%20the%20other%20condition%20about%20homotopy.%0A%0A%20%20%20%20Let%20%24f%3A%20S%5E1%20%5Cto%20S%5Ek%24%20be%20a%20smooth%20map%20(of%20manifolds)%2C%20since%20%24k%20%3E%201%24%20we%20have%20%24%5Cdim%7BS%5E1%7D%20%3C%20%5Cdim%7BS%5Ek%7D%24.%20By%20Sard%2C%20there%20exists%20%24p%20%5Cin%20S%5Ek%24%20with%20%24p%20%5Cnotin%20f(S%5E1)%24.%20Consider%20the%20stereographic%20projection%20using%20%24p%24%20as%20the%20'north%20pole'%2C%20%24S%5Ek%20-%20%5Clbrace%20p%20%5Crbrace%24%20can%20be%20seen%20that%20is%20diffeomorphic%20with%20%24%5Cmathbb%7BR%7D%5Ek%24%2C%20which%20is%20contractible%2C%20thus%20%24S%5Ek%20-%20%5Clbrace%20p%20%5Crbrace%24%20is%20contractible.%0A%0A%20%20%20%20%24f(S%5E1)%24%20is%20contained%20in%20%24S%5Ek%20-%20%5Clbrace%20p%20%5Crbrace%24%2C%20so%20by%20definition%20of%20contractible%20manifold%2C%20%24f%24%20is%20homotopic%20to%20some%20constant%20map%20%24g%3A%20S%5E1%20%5Cto%20%5Clbrace%20c%20%5Crbrace%20%5Csubseteq%20S%5Ek%20-%5Clbrace%20p%20%5Crbrace%24%2C%20but%20the%20domain%20of%20%24f%24%20is%20in%20fact%20%24S%5E1%24.%20Since%20%24f%24%20can%20be%20arbitrary%2C%20by%20definition%2C%20%24S%5Ek%24%20is%20simply%20connected.%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%20Spring%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%20Section%201.8%0A%0A%20%20%20%20%23%23%23%20Exercise%205%0A%0A%20%20%20%20**Prove%20that%20the%20projection%20map%20%24p%3ATX%20%5Cto%20X%2C%20(x%2Cv)%20%5Cmapsto%20x%24%20is%20a%20submersion**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20~~Say%20%24X%24%20is%20a%20%24n%24-manifold%20(so%20that%20%24TX%24%20is%20also%20a%20manifold).%20Let%20%24r%3A%20O(x%2Cv)%20%5Cto%20U%24%20and%20%24s%3A%20O(x)%20%5Cto%20V%24%20be%20local%20coordinates%20with%20%24r(x%2Cv)%20%3D%20(x%2Cv)%24%2C%20%24s(x)%20%3D%20x%24%2C%20so%20that%20we%20can%20define%20%24h%20%3D%20s%5Ccirc%20p%7C_%7B%7D%5Ccirc%20r%5E%7B-1%7D%3A%20U%20%5Cto%20O(x%2Cv)%20%5Cto%20O(x)%20%5Cto%20V%24%2C%20%24(x%2Cv)%20%5Cmapsto%20(x%2Cv)%20%5Cmapsto%20x%20%5Cmapsto%20x%24%20is%20a%20linear%20map.%20Now%20%24d%5Cpi_%7B(x%2Cv)%7D%24%20is%20the%20Jacobian%20of%20%24h%24%20which%20would%20have%20the%20form%20%24%5Cbegin%7Bpmatrix%7DI_n%20%7C%200%5Cend%7Bpmatrix%7D%24%2C%20which%20has%20rank%20%24%3D%20n%24%20equals%20the%20number%20of%20rows%2C%20thus%20%24d%5Cpi_%7B(x%2Cv)%7D%24%20is%20surjective%20thus%20%24%5Cpi%24%20is%20a%20submersion%20at%20%24(x%2Cv)%24.%20Since%20%24(x%2Cv)%24%20can%20be%20arbitrary%2C%20%24%5Cpi%24%20is%20a%20submersion.~~%0A%0A%20%20%20%20Redo%3A%0A%0A%20%20%20%20Need%20to%20show%20that%20for%20any%20%24(x%2Cv)%20%5Cin%20TX%24%2C%20the%20derivative%20%24dp_%7B(x%2Cv)%7D%3A%20T_%7B(x%2Cv)%7D(TX)%20%5Cto%20T_xX%24%20is%20surjective.%20Choose%20a%20local%20parametrization%20%24r%3AU%20%5Cto%20O(x)%24%20for%20%24x%24%2C%20then%20%24dr%3A%20U%20%5Ctimes%20%5Cmathbb%7BR%7D%5En%20%5Cto%20TO(x)%24%2C%20%24dr(u%2Cv)%20%3D%20(r(u)%2C%20dr_u(v))%24%20is%20a%20local%20parametrization%20for%20%24TX%24.%20Then%20we%20have%3A%20%24%24%5Cbegin%7BCD%7DTO(x)%20%40%3Ep%3E%3E%20O(x)%20%5C%5C%40AdrAA%20%40AArA%20%5C%5C%20U%5Ctimes%5Cmathbb%7BR%7D%5En%20%40%3Eh%3E%3E%20U%20%5Cend%7BCD%7D%24%24%20%24h(u%2Cv)%20%3D%20r%5E%7B-1%7D(p(dr(u%2Cv)))%20%3D%20u%24%2C%20hence%20%24h%3AU%5Ctimes%20%5Cmathbb%7BR%7D%5En%20%5Cto%20U%24%20is%20just%20the%20projection%20onto%20%24U%24.%20Its%20derivative%20is%20also%20a%20projection%2C%20hence%20surjective%2C%20and%20then%20%24dp_%7B(x%2Cv)%7D%24%20is%20surjective.%0A%0A%20%20%20%20%23%23%23%20Exercise%206%0A%0A%20%20%20%20**A%20vector%20field%20%24%5Cvec%7Bv%7D%24%20on%20a%20manifold%20%24X%24%20in%20%24%5Cmathbb%7BR%7D%5EN%24%20is%20a%20smooth%20map%20%24%5Cvec%7Bv%7D%3A%20X%20%5Cto%20%5Cmathbb%7BR%7D%5EN%24%20such%20that%20%24%5Cvec%7Bv%7D(x)%24%20is%20always%20tangent%20to%20%24X%24%20at%20%24x%24.%20Verify%20that%20the%20following%20definition%20which%20does%20not%20explicitly%20mention%20the%20ambient%20%24%5Cmathbb%7BR%7D%5EN%24%20is%20equivalent%3A%20a%20vector%20field%20%24%5Cvec%7Bv%7D%24%20on%20%24X%24%20is%20a%20cross%20section%20of%20%24TX%24-%20that%20is%2C%20a%20smooth%20map%20%24%5Cvec%7Bv%7D%3A%20X%20%5Cto%20TX%24%20such%20that%20%24p%20%5Ccirc%20%5Cvec%7Bv%7D%24%20equals%20the%20identity%20map%20of%20%24X%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20%24%5Cvec%7Bv%7D(x)%20%3D%20v%24%20is%20always%20tangent%20to%20%24X%24%20at%20%24x%24%20means%20that%20%24v%24%20lies%20inside%20%24T_xX%24.%20For%20each%20%24x%20%5Cin%20X%24%2C%20assign%20one%20such%20%24v%24%20to%20it%20as%20%24%5Cvec%7Bv%7D(x)%20%3D%20v%24%20and%20re-write%20it%20as%20%24%5Cvec%7Bv%7D(x)%20%3D%20(x%2Cv)%24%20so%20that%20%24(x%2Cv)%24%20has%20the%20form%20%24x%20%5Cin%20X%2C%20v%20%5Cin%20T_xX%24.%20By%20definition%20of%20a%20tangent%20bundle%2C%20%24%5Cvec%7Bv%7D(x)%20%5Cin%20TX%24%20and%20%24%5Cvec%7Bv%7D(X)%20%5Csubseteq%20TX%24%20Furthermore%2C%20%24p%20%5Ccirc%20%5Cvec%7Bv%7D(x)%20%3D%20p(%5Cvec%7Bv%7D(x))%20%3D%20p(x%2Cv)%20%3D%20x%24%20maps%20%24x%24%20to%20itself%20for%20any%20%24x%20%5Cin%20X%24.%0A%0A%20%20%20%20For%20the%20other%20way%20round%3A%20in%20that%20definition%20%24%5Cvec%7Bv%7D(x)%24%20must%20have%20the%20form%20%24(y%2Cu)%24%2C%20where%20%24y%24%20in%20%24X%24%20and%20%24u%20%5Cin%20T_yX%24.%20But%20if%20%24y%20%5Cne%20x%24%2C%20then%20%24p(%5Cvec%7Bv%7D(x))%20%3D%20p(y%2Cu)%20%3D%20y%20%5Cne%20x%24%20is%20not%20the%20identity%2C%20thus%20%24y%20%3D%20x%24%20and%20%24u%20%5Cin%20T_xX%24%20anyway.%20Re-write%20%24%5Cvec%7Bv%7D(x)%20%3D%20u%24%20and%20this%20map%20sends%20%24x%24%20to%20some%20%24u%24%20in%20the%20tangent%20space%2C%20thus%20being%20tangent%20to%20%24X%24%20at%20%24x%24%2C%20for%20any%20%24x%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%207%0A%0A%20%20%20%20**A%20point%20%24x%20%5Cin%20X%24%20is%20a%20zero%20of%20the%20vector%20field%20%24%5Cvec%7Bv%7D%24**%20if%20%24%5Cvec%7Bv%7D(x)%20%3D%200%24%20Show%20that%20**if%20%24k%24%20is%20odd%2C%20there%20exists%20a%20vector%20field%20%24%5Cvec%7Bv%7D%24**%20on%20%24S%5Ek%24%20**having%20no%20zeros**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20For%20any%20odd%20%24k%20%3D%202n-1%24%2C%20consider%20the%20map%20%24%5Cvec%7Bv%7D(x_1%2C%20x_2%2C%20%5Cdots%2C%20x_%7B2n%7D)%20%3D%20(-x_2%2C%20x_1%2C%20%5Cdots%2C%20-x_%7B2n%7D%2C%20x_%7B2n-1%7D)%24%20This%20is%20a%20vector%20field%3A%20for%20any%20%24(x_1%2C%20x_2%2C%20%5Cdots%2C%20x_%7B2n%7D)%24%2C%20%24%5Cvec%7Bv%7D(x_1%2C%20x_2%2C%20%5Cdots%2C%20x_%7B2n%7D)%20%5Ccdot%20(x_1%2C%20x_2%2C%20%5Cdots%2C%20x_%7B2n%7D)%24%20%24%3D-x_1x_2%2Bx_1x_2%20-%5Cdots-x_%7B2n%7Dx_%7B2n-1%7D%2Bx_%7B2n%7Dx_%7B2n-1%7D%20%3D0%24%2C%20thus%20the%20two%20vectors%20are%20perpendicular%20and%20thus%20the%20image%20is%20in%20the%20tangent%20space.%0A%0A%20%20%20%20By%20construction%2C%20%240%20%5Cin%20%5Cmathbb%7BR%7D%5E%7B2n%7D%24%20is%20the%20only%20possible%20zero%20of%20the%20vector%20field%20(we%20need%20%24x_i%20%3D%200%24%20for%20all%20%24i%24)%2C%20but%20clearly%20%240%24%20is%20not%20in%20%24X%24%2C%20thus%20the%20vector%20field%20does%20not%20have%20a%20zero.%0A%0A%20%20%20%20%23%23%23%20Exercise%208%0A%0A%20%20%20%20**Prove%20that%20if%20%24S%5Ek%24%20has%20a%20non-vanishing%20vector%20field%2C%20then%20its%20antipodal%20map%20is%20homotopic%20to%20the%20identity**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24%5Cvec%7Bv%7D%24%20be%20the%20non-vanishing%20vector%20field%20we%20have.%20Now%20define%20a%20map%20%24%5Cvec%7Bu%7D%2C%20x%20%5Cmapsto%20%5Cfrac%7B%5Cvec%7Bv%7D(x)%7D%7B%5C%7C%20%5Cvec%7Bv%7D(x)%20%5C%7C%7D%24%20so%20that%20the%20image%20vector%20always%20have%20length%20%241%24%2C%20we%20can%20do%20this%20because%20%24%5C%7C%5Cvec%7Bv%7D(x)%20%5C%7C%24%20is%20by%20assumption%20never%20%240%24.%20%24%5Cvec%7Bu%7D%24%20is%20a%20vector%20field%2C%20because%20its%20image%20is%20inherited%20from%20%24%5Cvec%7Bv%7D%24%2C%20just%20with%20possibly%20different%20length.%0A%0A%20%20%20%20Now%20define%20%24F%3A%20S%5Ek%20%5Ctimes%20I%20%5Cto%20S%5Ek%24%20with%20%24(x%2Ct)%20%5Cmapsto%20x%5Ccos(t%5Cpi)%20%2B%20%5Cvec%7Bu%7D(x)%5Csin(t%5Cpi)%24%2C%20we%20have%3A%0A%0A%20%20%20%201.%20%24F(x%2C0)%20%3D%20x%24%20is%20the%20identity%3B%0A%20%20%20%202.%20%24F(x%2C1)%20%3D%20-x%24%20is%20the%20antipodal%20map%3B%0A%20%20%20%203.%20For%20any%20%24t%24%20and%20any%20%24x%24%2C%20%24%5C%7C%20F(x%2Ct)%20%5C%7C%24%20%24%3D%20%5C%7C%20x%20%5C%7C%20%5Ccos%5E2(t%20%5Cpi)%20%2B%20%5C%7C%20%5Cvec%7Bu%7D(x)%20%5C%7C%20%5Csin%5E2(t%20%5Cpi)%24%20%24%3D%201%24%20as%20both%20%24x%24%20and%20%24%5Cvec%7Bu%7D(x)%24%20has%20length%20%241%24%2C%20so%20that%20each%20%24f_t%24%20indeed%20has%20codomain%20%24S%5Ek%24%3B%0A%20%20%20%204.%20Each%20%24f_t%24%20and%20%24F%24%20are%20smooth%2C%20they%20are%20simply%20product%20of%20smooth%20functions.%0A%0A%20%20%20%20I.e.%20We%20find%20such%20homotopy%20between%20the%20identity%20and%20the%20antipodal%20map.%0A%0A%20%20%20%20%23%23%23%20Exercise%2010%0A%0A%20%20%20%20**Prove%20that%20every%20%24k%24-dimensional%20manifold%20%24X%24%20may%20be%20immersed%20in%20%24%5Cmathbb%7BR%7D%5E%7B2k%7D%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24f%3A%20X%20%5Cto%20%5Cmathbb%7BR%7D%5EN%24%20be%20an%20immersion%20with%20%242k%20%3C%20N%24%2C%20and%20consider%20the%20map%20%24g%3A%20TX%20%5Cto%20%5Cmathbb%7BR%7D%5EN%24%2C%20%24(p%2Cv)%20%5Cmapsto%20df_p(v)%24.%0A%0A%20%20%20%20By%20class%20material%20we%20have%20that%20%24%5Cdim(TX)%20%3D%202k%20%3C%20N%24%2C%20thus%20by%20mini-Sard%2C%20%24%5Ctext%7Bim%7D(g)%24%20have%20measure%20zero%20in%20%24%5Cmathbb%7BR%7D%5EN%24%2C%20thus%20there%20exists%20%24a%20%5Cne%200%24%20not%20in%20%24%5Ctext%7Bim%7D(g)%24.%20Let%20%24H%24%20be%20the%20hyperplane%20in%20%24%5Cmathbb%7BR%7D%5EN%24%20perpendicular%20to%20%24a%24.%20Consider%20the%20orthogonal%20projection%20%24%5Cpi%3A%20%5Cmathbb%7BR%7D%5EN%20%5Cto%20H%24%2C%20we%20claim%20that%20it%20is%20an%20immersion%3A%0A%0A%20%20%20%20Suppose%20not%2C%20then%20there%20is%20a%20point%20%24p%20%5Cin%20X%24%20such%20that%20%24d(%5Cpi%20%5Ccirc%20f)_p%3A%20T_pX%20%5Cto%20H%24%20is%20not%20injective%2C%20i.e.%20the%20kernel%20of%20the%20map%20is%20not%20%240%24%3A%20%24%5Cexists%20v%20%5Cne%200%24%20with%20%240%20%3D%20d(%5Cpi%20%5Ccirc%20f)_p(v)%24%20%24%3D(d%5Cpi%20%5Ccirc%20df)_p(v)%24%20%24%3D%20%5Cpi(df_p(v))%24%2C%20hence%20either%20%24df_p(v)%20%3D%200%24%20or%20%24df_p(v)%24%20is%20perpendicular%20to%20%24H%24%20thus%20equals%20some%20%24t%5Ccdot%20a%24%20with%20%24t%20%5Cne%200%24.%20By%20assumption%20%24df_p%24%20is%20injective%20thus%20%24df_p(v)%20%5Cne%200%24%2C%20thus%20it%20equals%20%24t%5Ccdot%20a%24.%0A%0A%20%20%20%20But%20then%20%24a%20%3D%20%5Cfrac%7B1%7D%7Bt%7Ddf_p(v)%20%3D%5E%7B%5Ctext%7Blinear%7D%7D%20df_p(%5Cfrac%7B1%7D%7Bt%7D%5Ccdot%20v)%20%3D%20g(p%2C%20%5Cfrac%7B1%7D%7Bt%7D%20%5Ccdot%20v)%20%5Cin%20%5Ctext%7Bim%7D(g)%24%2C%20since%20we%20explicitly%20assumed%20that%20%24a%24%20not%20being%20in%20the%20image%2C%20this%20gives%20a%20contradiction.%0A%0A%20%20%20%20So%20we%20can%20reduce%20%24N%24%20to%20%24%5Cdim%7BH%7D%20%3C%20N%24%2C%20the%20process%20is%20repeatable%2C%20if%20necessary%2C%20until%20%24%5Cdim%7BH%7D%20%3D%202k%24%20(then%20we%20cannot%20apply%20mini-Sard%20to%20get%20such%20%24a%24%20we%20need)%2C%20thus%20we%20may%20(use%20this%20method%20to)%20reduce%20%24N%24%20to%20the%20desired%20%242k%24.%0A%0A%20%20%20%20%23%23%20Section%202.2%0A%0A%20%20%20%20%23%23%23%20Exercise%201%0A%0A%20%20%20%20**Any%20one-dimensional%2C%20compact%2C%20connected%20sub-manifold%20of%20%24%5Cmathbb%7BR%7D%5E3%24%20is%20diffeomorphic%20to%20a%20circle.%20But%20can%20it%20be%20deformed%20into%20a%20circle%20within%20%24%5Cmathbb%7BR%7D%5E3%24**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20I%20think%20the%20exercise%20is%20asking%20if%20we%20can%20'unwrap'%20any%20loop%20in%20%24%5Cmathbb%7BR%7D%5E3%24%20without%20breaking%20it.%20The%20answer%20is%20no%2C%20a%20trefoil%20is%20an%20example.%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%20Spring%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%20Section%202.1%0A%0A%20%20%20%20%23%23%23%20Exercise%201%0A%0A%20%20%20%20**If%20%24U%20%5Csubseteq%20%5Cmathbb%7BR%7D%5Ek%24%20and%20%24V%20%5Csubseteq%20%5Cmathbb%7BR%7D%5Ek_%2B%24%20are%20neighborhoods%20of%20%240%24%2C%20prove%20that%20there%20exists%20no%20diffeomorphism%20of%20%24V%24%20with%20%24U%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20~~The%20statement%20is%20true%20for%20%24k%20%3D%201%24%2C%20indeed%2C%20there%20is%20no%20even%20homeomorphism%20between%20%24U%2CV%24%20in%20the%20form%20%24U%20%3D%20(a%2C%20b)%24%2C%20%24V%20%3D%20%5B0%2C%20c)%24.~~%0A%0A%20%20%20%20~~Now%20for%20%24k%20%3D%202%24%3A%20if%20there%20exists%20a%20diffeomorphism%20%24f%20%3D%20(f_1(x_1%2C%20x_2)%2C%20f_2(x_1%2Cx_2))%24%2C%20then%20by%20fixing%20%24x_1%20%3D%20c%24%2C%20%24f%24%20induces%20a%20map%20%24%5Ctilde%7Bf%7D(x_2)%20%3D%20f_1(c%2Cx_2)%24%20which%20is%20a%20diffeomorphism%20between%20%24U%2C%20V%24%20in%20the%20%24k%20%3D%201%24%20case%2C%20which%20cannot%20be%20true%20as%20argued.%20Thus%20there%20is%20no%20diffeomorphism%20between%20%24U%2C%20V%24%20when%20%24k%20%3D%202%24%20neither.~~%0A%0A%20%20%20%20~~Now%20we%20can%20continue%20inductively%20to%20get%20the%20desired%20statement.~~%0A%0A%20%20%20%20Redo%3A%0A%0A%20%20%20%20The%20problem%20of%20above%20proof%20is%20that%20in%20the%20%24k%3D2%24%20case%20we%20cannot%20ensure%20that%20the%20induced%20%24V%24%20has%20the%20form%20%24%5B0%2Cc)%24.%0A%0A%20%20%20%20In%20fact%2C%20on%20a%20second%20thought%2C%20this%20works%20out%20in%20a%20much%20simpler%20(more%20basic)%20way%3A%0A%0A%20%20%20%20%24U%24%20is%20by%20assumption%20open%20in%20%24%5Cmathbb%7BR%7D%5Ek%24%2C%20no%20problem.%0A%0A%20%20%20%20%24V%24%2C%20however%2C%20has%20%240%24%20that%20is%20not%20in%20its%20interior%20(%24x%20%5Cin%20%5Ctext%7Bint%7D(X)%24%20if%20and%20only%20if%20there%20exists%20%24O(x)%20%5Csubseteq%20X%24)%2C%20thus%20%24V%24%20is%20not%20open%20in%20%24%5Cmathbb%7BR%7D%5Ek%24.%0A%0A%20%20%20%20A%20diffeomorphism%20is%20a%20homeomorphism%2C%20and%20thus%20an%20open%20map%2C%20thus%20%24U%2C%20V%24%20cannot%20be%20diffeomorphic.%0A%0A%20%20%20%20%23%23%23%20Exercise%202%0A%0A%20%20%20%20**Prove%20that%20if%20%24f%3A%20X%20%5Cto%20Y%24%20is%20a%20diffeomorphism%20of%20manifolds%20with%20boundary%2C%20then%20%24%5Cpartial%20f%24%20maps%20%24%5Cpartial%20X%24%20diffeomorphically%20onto%20%24%5Cpartial%20Y%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Say%20%24x%20%5Cin%20%5Cpartial%20X%24%2C%20suppose%20we%20have%20%24f(x)%20%3D%20y%20%5Cnotin%20%5Cpartial%20Y%24.%20Then%20by%20definition%2C%20%24y%24%20is%20not%20a%20point%20that%20belong%20to%20the%20image%20(say%20under%20some%20local%20parametrization%20%24r%3A%20U%20%5Cto%20O(y)%24)%20of%20the%20boundary%20of%20%24%5Cmathbb%7BR%7D%5Ek_%2B%24.%20But%20then%20%24f%5E%7B-1%7D%5Ccirc%20r%24%20is%20a%20(composition%20of)%20diffeomorphism%20between%20%24U%24%2C%20which%20is%20an%20open%20set%20of%20%24%5Cmathbb%7BR%7D%5Ek_%2B%24%20of%20the%20first%20type%2C%20and%20some%20%24O(x)%24%2C%20which%20contradict%20the%20fact%20that%20%24x%20%5Cin%20%5Cpartial%20X%24.%20Thus%20%24f(x)%20%3D%20y%20%5Cin%20%5Cpartial%20Y%24.%20In%20other%20words%2C%20%24f(%5Cpartial%20X)%20%5Csubseteq%20%5Cpartial%20Y%24.%0A%0A%20%20%20%20The%20same%20argument%20applies%20to%20%24f%5E%7B-1%7D%24%20which%20is%20also%20a%20diffeomorphism%2C%20so%20we%20have%20%24f(%5Cpartial%20X)%20%3D%20%5Cpartial%20Y%24.%0A%0A%20%20%20%20Moreover%2C%20restriction%20of%20a%20smooth%20map%20is%20smooth%20and%20restriction%20of%20a%20bijective%20map%20is%20bijective%2C%20thus%20we%20have%20%24f%24%20restricted%20on%20%24%5Cpartial%20X%24%20is%20a%20bijection%20and%20is%20smooth%20(also%20have%20smooth%20inverse%2C%20of%20course)%2C%20thus%20it%20is%20a%20diffeomorphism.%0A%0A%20%20%20%20%23%23%23%20Exercise%204%0A%0A%20%20%20%20**Show%20that%20the%20solid%20hyperboloid%20%24x%5E2%2By%5E2-z%5E2%5Cle%20a%24%20is%20a%20manifold%20with%20boundary%20(%24a%20%3E%200%24)**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20%24%5Cmathbb%7BR%7D%5E3%24%20is%20a%20manifold%20(without%20boundary).%20Consider%20the%20map%20%24f%3A%20%5Cmathbb%7BR%7D%5E3%20%5Cto%20%5Cmathbb%7BR%7D%24%20given%20by%20%24(x%2Cy%2Cz)%20%5Cmapsto%20x%5E2%2By%5E2-z%5E2%24%20so%20that%20%24df_%7B(x%2Cy%2Cz)%7D(u%2Cv%2Cw)%20%3D%202xu%2B2yv-2zw%24%2C%20this%20map%20is%20surjective%20unless%20%24x%3Dy%3Dz%3D0%24%2C%20but%20that%20is%20only%20of%20concern%20when%20given%20%24a%20%3D%200%24.%20Thus%20%24a%3E0%24%20is%20a%20regular%20value%20for%20%24f%24%2C%20and%20thus%20%24%5Clbrace%20(x%2Cy%2Cz)%20%7C%20f(x%2Cy%2Cz)%5Cle%20a%20%5Crbrace%24%20is%20a%20manifold%20with%20boundary%20as%20desired.%0A%0A%20%20%20%20%23%23%23%20Exercise%206%0A%0A%20%20%20%20**There%20are%20two%20standard%20ways%20of%20making%20manifolds%20with%20boundary%20out%20of%20the%20unit%20square%20by%20gluing%20a%20pair%20of%20opposite%20edges.%20Simple%20gluing%20produces%20the%20cylinder%2C%20whereas%20gluing%20after%20one%20twist%20produces%20the%20closed%20M%C3%B6bius%20band.%20Check%20that%20the%20boundary%20of%20the%20cylinder%20is%20two%20copies%20of%20%24S%5E1%24%2C%20while%20the%20boundary%20of%20the%20M%C3%B6bius%20band%20is%20one%20copy%20of%20%24S%5E1%24.%20Consequently%2C%20the%20cylinder%20and%20M%C3%B6bius%20band%20are%20not%20diffeomorphic.%20What%20happens%20if%20you%20twist%20%24n%24%20times%20before%20gluing**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Say%20we%20have%20%24I%5E2%24%20and%20we%20glue%20upper%20side%20with%20lower%20side%2C%20so%20that%20the%20boundary%20of%20the%20resulting%20object%20would%20be%20%24%5Clbrace%20(0%2Ci)%20%7C%20i%20%5Cin%20I%20%5Crbrace%20%5Ccup%20%5Clbrace%20(1%2Ci)%20%7C%20i%20%5Cin%20I%20%5Crbrace%24.%0A%0A%20%20%20%201.%20For%20a%20cylinder%2C%20glue%20without%20twisting%20gives%20us%20%24(i%2C0)%20%5Cequiv%20(i%2C1)%24.%0A%20%20%20%20%09In%20particular%2C%20%24(0%2C0)%20%5Cequiv%20(0%2C1)%24%2C%20%24(1%2C0)%20%5Cequiv%20(1%2C1)%24%2C%20but%20no%20%24(0%2Ci)%24%20and%20%24(1%2Cj)%24%20are%20equivalent.%0A%20%20%20%20%09Thus%20%24f_1%3A%5B0%2C1%5D%20%5Cto%20I%5E2%2C%20i%20%5Cmapsto%20(0%2Ci)%24%2C%20noticing%20that%20%24f_1(0)%20%5Cequiv%20f_1(1)%24%2C%20gives%20us%20a%20copy%20of%20%24S%5E1%24%2C%20and%20%24f_2%3A%5B0%2C1%5D%20%5Cto%20I%5E2%2C%20i%20%5Cmapsto%20(1%2Ci)%24%20gives%20us%20another%20copy%20of%20%24S%5E1%24.%20The%20images%20are%20%24%5Clbrace%20(0%2Ci)%20%7C%20i%20%5Cin%20I%20%5Crbrace%24%20and%20%24%5Clbrace%20(1%2Ci)%20%7C%20i%20%5Cin%20I%20%5Crbrace%24%20respectively%20and%20are%20disjoint%2C%20i.e.%20the%20boundary%20%24%5Clbrace%20(0%2Ci)%20%7C%20i%20%5Cin%20I%20%5Crbrace%20%5Ccup%20%5Clbrace%20(1%2Ci)%20%7C%20i%20%5Cin%20I%20%5Crbrace%24%20is%20given%20by%20two%20copies%20of%20%24S%5E1%24%3B%0A%20%20%20%202.%20For%20a%20M%C3%B6bius%20band%2C%20glue%20with%20one%20twist%20gives%20us%20%24(i%2C0)%20%5Cequiv%20(1-i%2C1)%24.%0A%20%20%20%20%09In%20particular%2C%20%24(0%2C0)%20%5Cequiv%20(1%2C1)%2C%20(1%2C0)%20%5Cequiv%20(0%2C1)%24.%0A%20%20%20%20%09Thus%20%24f%3A%5B0%2C1%5D%20%5Cto%20I%5E2%24%2C%20%24i%20%5Cmapsto%20%5Cbegin%7Bcases%7D%20(0%2C2i)%2Ci%5Cle%201%2F2%5C%5C(1%2C2i-1)%2Ci%5Cge1%2F2%20%5Cend%7Bcases%7D%24%2C%20notice%20that%20at%20%24i%20%3D%201%2F2%24%20the%20two%20definition%20coincides%2C%20because%20%24(0%2C1)%20%5Cequiv%20(1%2C0)%24%2C%20and%20that%20%24f(1)%20%3D%20f(0)%24%2C%20gives%20us%20one%20copy%20of%20%24S%5E1%24%2C%20and%20that%20is%20the%20boundary%20of%20a%20M%C3%B6bius%20band%3B%0A%20%20%20%203.%20If%20we%20twist%20more%20times%2C%20the%20results%20are%20the%20analogous%2C%20because%20twisting%20%24n%24%20times%20gives%20us%20that%20%24(i%2C0)%20%5Cequiv%20(1-1%2B1-1%2B%5Cdots%2B%2F-i%2C1)%24%20is%20either%20%24(i%2C1)%24%20(i.e.%20%24n%24%20even%2C%20in%20this%20case%20the%20boundary%20is%20the%20same%20as%20cylinder's%20boundary)%20or%20%24(1-i%2C1)%24%20(i.e.%20%24n%24%20odd%2C%20boundary%20is%20the%20same%20as%20M%C3%B6bius%20band's%20boundary).%0A%0A%20%20%20%20%23%23%20Section%202.2%0A%0A%20%20%20%20%23%23%23%20Exercise%203%0A%0A%20%20%20%20**Find%20maps%20of%20the%20solid%20torus%20into%20itself%20having%20no%20fixed%20points.%20Where%20does%20the%20proof%20of%20the%20Brouwer%20theorem%20fail**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Consider%20the%20map(s)%20%24f_%7B%5Calpha%7D%3A%20ST%20%5Cto%20ST%24%20given%20by%20%24(r%2C%5Ctheta%2Ch)%20%5Cto%20(r%2C%5Ctheta%2B%5Calpha%2Ch)%24%2C%20where%20the%20first%20coordinate%20is%20the%20distance%20of%20the%20projection%20of%20the%20point%20onto%20xy-plane%20and%20the%20center%20of%20the%20torus%3B%20second%20coordinate%20is%20the%20angle%3B%20and%20the%20third%20coordinate%20is%20the%20height.%20I.e.%20the%20map%20rotates%20the%20torus%20by%20angle%20%24%5Calpha%24.%20This%20map%20does%20not%20have%20a%20fixed%20point%20unless%20(mod%20%24%5Cpi%24)%20we%20have%20%24%5Ctheta%2B%5Calpha%20%3D%20%5Ctheta%20%5Cimplies%20%5Calpha%20%3D%200%24.%0A%0A%20%20%20%20The%20proof%20of%20the%20Brouwer%20theorem%20fails%20because%20%24g%24%20is%20not%20easy%20to%20be%20defined%20here%3B%20originally%20we%20define%20%24g%24%20as%20the%20intersection%20of%20%24(x%2C%20f(x))%24%20line%20and%20the%20boundary%20that%20is%20closest%20to%20%24x%24%2C%20but%20it%20does%20not%20work%20now.%0A%0A%20%20%20%20For%20example%2C%20if%20we%20take%20%24f%24%20as%20a%20180%20degree%20rotation%2C%20then%20for%20%24x%24%20at%20the%20'middle'%20of%20the%20donuts%20(in%20an%20annulus%20case%20it%20means%20that%20the%20distances%20from%20%24x%24%20to%20the%20inner%20and%20outer%20circle%20are%20same)%2C%20the%20line%20%24(x%2C%20f(x))%24%20will%20hit%20the%20annulus%20at%20four%20points%2C%20two%20of%20which%20are%20'closest'%20to%20%24x%24%20and%20are%20closer%20to%20%24x%24%20than%20%24f(x)%24%20(remark%2C%20this%20never%20happens%20in%20%24D%5En%24).%0A%0A%20%20%20%20We%20cannot%20let%20%24g(x)%24%20takes%20two%20values%20there%2C%20otherwise%20%24g%24%20is%20not%20even%20a%20function%2C%20so%20we%20need%20to%20make%20a%20choice%3A%0A%0A%20%20%20%20-%20If%20we%20just%20randomly%20pick%20one%2C%20this%20will%20make%20%24g%24%20not%20being%20continuous%3B%0A%20%20%20%20-%20If%20say%20we%20make%20a%20new%20rule%20that%20%24t%24%20must%20less%20than%20or%20equal%20%241%24%20so%20that%20we%20pick%20the%20%24g%24%20on%20the%20inner%20circle%2C%20then%20it%20causes%20%24g%24%20to%20never%20take%20value%20on%20the%20outer%20circle%2C%20so%20that%20%24g%7C_%7B%5Cpartial%20ST%7D%24%20is%20not%20the%20identity%20map%20anyway%20(in%20some%20sense%20this%20also%20makes%20%24g%24%20not%20being%20continuous).%0A%0A%20%20%20%20%23%23%23%20Exercise%204%0A%0A%20%20%20%20**Prove%20that%20the%20Brouwer%20theorem%20is%20false%20for%20the%20open%20ball%20%24%7C%20x%20%7C%5E2%20%3C%20a%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let's%20say%20we%20have%20a%20%24k%24%20dimensional%20disk%20and%20WLOG%20say%20%24a%20%3D%201%24.%20Take%20%24e%20%3D%20(1%2C0%2C0%2C%20%5Cdots%2C%200)%20%5Cin%20%5Cmathbb%7BR%7D%5Ek%24.%20Consider%20the%20map%20%24f%3AD%5Ek%20%5Cto%20D%5Ek%24%20(not%20surjective%20though)%20given%20as%20%24x%20%5Cto%20%5Cfrac%7Bx%20%2B%20e%7D%7B2%7D%24%3A%0A%0A%20%20%20%201.%20The%20codomain%20is%20indeed%20%24D%5Ek%24%3A%20for%20any%20%24(x_1%2C%20%5Cdots%2C%20x_k)%20%5Cin%20D%5Ek%24%2C%20%24%5C%7C%20f(x_1%2C%20%5Cdots%2C%20x_k)%20%5C%7C%5E2%24%20%24%3D%20((x_1%2B1)%2F2)%5E2%20%2B%20(x_2%2F2)%5E2%20%2B%20%5Cdots%20%2B%20(x_k%2F2)%5E2%24%20%24%3D%20%5Cfrac%7Bx_1%5E2%2B%5Cdots%2Bx_k%5E2%7D%7B4%7D%20%2B%20%5Cfrac%7B1%7D%7B4%7D%20%2B%20%5Cfrac%7Bx_1%7D%7B2%7D%24%20%24%3C%20%5Cfrac%7B1%7D%7B4%7D%20%2B%20%5Cfrac%7B1%7D%7B4%7D%20%2B%20%5Cfrac%7B1%7D%7B2%7D%20%3D%201%24%2C%20i.e.%20%24f(x_1%2C%20%5Cdots%2C%20x_k)%20%5Cin%20D%5Ek%24%3B%0A%20%20%20%202.%20There%20is%20no%20fixed%20point%3A%20%24f(x)%20%3D%20%5Cfrac%7Bx%2Be%7D%7B2%7D%20%3D%20x%20%5Cimplies%20x%20%3D%20e%20%3D%20(1%2C0%2C%5Cdots%2C0)%24%20but%20this%20point%20is%20not%20in%20%24D%5Ek%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%20Spring%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%20Section%202.4%0A%0A%20%20%20%20%23%23%23%20Exercise%201%0A%0A%20%20%20%20**Prove%20that%20there%20exists%20a%20complex%20number%20%24z%24%20such%20that%20%24z%5E7%20%2B%20%5Ccos(%7C%20z%20%7C%5E2)(1%2B93z%5E4)%20%3D%200%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24f(z)%20%3D%20z%5E7%20%2B%20%5Ccos(%7C%20z%20%7C%5E2)(1%2B93z%5E4)%24.%0A%0A%20%20%20%20Consider%20the%20homotopy%20%24F(z%2Ct)%20%3D%20z%5E7%20%2B%20t(%5Ccos(%7C%20z%20%7C%5E2)(1%2B93z%5E4))%24%20with%20%24F(z%2C0)%20%3D%20z%5E7%24%20and%20%24F(z%2C1)%20%3D%20f(z)%24.%20View%20each%20function%20as%20%24f_t%3A%20%5Cmathbb%7BC%7D%20%5Cto%20%5Cmathbb%7BC%7D%24.%20Let%20%24W_R%20%5Csubseteq%20%5Cmathbb%7BC%7D%24%20be%20the%20disk%20of%20radius%20%24R%24%20centered%20at%20the%20origin%2C%20then%20%24%5Cpartial%20W_R%20%3D%20%5Clbrace%20z%20%5C%7C%20z%20%7C%20%3D%20R%20%5Crbrace%24%2C%20take%20large%20enough%20%24R%24%20then%20%24f_t%24%20will%20not%20attain%20zero%20on%20that%20circle%2C%20as%20%24z%5E7%24%20out%20pace%20the%20other%20two%20terms%20a%20lot.%20Thus%20we%20may%20consider%20the%20map%20%24%5Cfrac%7Bf_t(z)%7D%7B%7C%20f_t(z)%20%7C%7D%3A%20%5Cpartial%20W_R%20%5Cto%20S%5E1%24%20because%20the%20denominator%20is%20never%20%240%24.%20It%20is%20a%20homotopy%20between%20%24%5Cfrac%7Bf_0(z)%7D%7B%7C%20f_0(z)%20%7C%7D%20%3D%5Cfrac%7Bz%5E7%7D%7BR%5E7%7D%24%20and%20%24%5Cfrac%7Bf_1(z)%7D%7B%7C%20f_1(z)%20%7C%7D%20%3D%20%5Cfrac%7Bf(z)%7D%7B%7C%20f(z)%20%7C%7D%24.%20So%20that%20%24%5Cdeg_2%7B%5Cfrac%7Bf(z)%7D%7B%7C%20f(z)%20%7C%7D%7D%20%3D%20%5Cdeg_2%7B%5Cfrac%7Bz%5E7%7D%7BR%5E7%7D%7D%24%20mod%20%242%24.%0A%0A%20%20%20%20Now%20%24%5Cdeg_2%7B%5Cfrac%7Bz%5E7%7D%7BR%5E7%7D%7D%20%3D%207%24%2C%20thus%20%24%5Cdeg_2%7B%5Cfrac%7Bf(z)%7D%7B%7C%20f(z)%20%7C%7D%7D%20%3D%201%24%20mod%20%242%24%2C%20by%20the%20proposition%20we%20had%20in%20the%20class%20this%20means%20%24%5Cfrac%7Bf(z)%7D%7B%7C%20f(z)%20%7C%7D%24%20does%20not%20extend%20to%20%24W_R%24%2C%20and%20thus%20%24%7C%20f(z)%20%7C%20%3D%200%20%3D%20f(z)%24%20in%20%24W_R%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%207%0A%0A%20%20%20%20**Prove%20that%20%24S%5E1%24%20is%20not%20simply%20connected**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Consider%20the%20identity%20map%20%24%5Ctext%7Bid%7D%3A%20S%5E1%20%5Cto%20S%5E1%24%2C%20%24S%5E1%24%20is%20connected%20and%20is%20compact%2C%20and%20that%20%24%5Cdeg_2%7B%5Ctext%7Bid%7D%7D%20%3D%20%5C%23%20%5Ctext%7Bid%7D%5E%7B-1%7D(q)%24%20mod%20%242%20%3D%201%24.%20On%20the%20other%20hand%2C%20for%20a%20constant%20map%20%24c%3A%20S%5E1%20%5Cto%20S%5E1%24%2C%20by%20assumption%20it%20is%20not%20surjective%20thus%20%24%5Cdeg_2%7Bc%7D%20%3D%200%24.%20Since%20%240%20%5Cne%201%24%2C%20the%20identity%20and%20constant%20maps%20are%20not%20homotopic%2C%20thus%20%24S%5E1%24%20is%20not%20simply%20connected.%0A%0A%20%20%20%20%23%23%23%20Exercise%2010%0A%0A%20%20%20%20**Prove%20that%20%24S%5E2%24%20and%20the%20torus%20are%20not%20diffeomorphic**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Proved%20in%20earlier%20homework%20that%20%24S%5E2%24%20is%20simply%20connected%2C%20if%20the%20torus%20is%20not%20simply%20connected%20we%20are%20done.%0A%0A%20%20%20%20Consider%20the%20composition%3A%20%24%5Ctext%7Bid%7D%3A%20S%5E1%20%5Cxrightarrow%7Bi%7D%20T%5E2%20%5Cto%5Ep%20S%5E1%24%20where%20%24i(x)%20%3D%20(x%2Cy_0)%20%5Cin%20S%5E1%20%5Ctimes%20S%5E1%20%3DT%5E2%24%20and%20%24p(x%2Cy)%20%3D%20x%24%20for%20some%20%24y_0%20%5Cin%20S%5E1%24.%20If%20%24i%24%20is%20homotopic%20to%20a%20constant%20map%20then%20so%20does%20%24%5Ctext%7Bid%7D%20%3D%20p%20%5Ccirc%20i%24%2C%20which%20cannot%20be%20true.%0A%0A%20%20%20%20%23%23%23%20Exercise%2011%0A%0A%20%20%20%20**Suppose%20that%20%24f%3A%20X%20%5Cto%20Y%24%20has%20%24%5Cdeg_2%7Bf%7D%20%5Cne%200%24%2C%20prove%20that%20%24f%24%20is%20onto**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20If%20%24f%24%20is%20not%20onto%2C%20by%20definition%20there%20exists%20%24q%20%5Cin%20Y%24%20such%20that%20%24f%5E%7B-1%7D(q)%24%20is%20empty%2C%20thus%20it%20must%20be%20a%20regular%20value%20of%20%24f%24.%20By%20assumption%20%24%5C%23%20f%5E%7B-1%7D(q)%20%3D%200%24%2C%20which%20is%20exactly%20the%20definition%20of%20%24%5Cdeg_2%7Bf%7D%24.%20This%20is%20the%20contra-positive%20of%20the%20desired%20statement.%0A%0A%20%20%20%20%23%23%23%20Exercise%2012%0A%0A%20%20%20%20**If%20%24Y%24%20is%20not%20compact%2C%20then%20%24%5Cdeg_2%7Bf%7D%20%3D%200%24%20for%20all%20maps%20%24f%3AX%20%5Cto%20Y%24%20(%24X%24%20compact)**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20If%20%24X%24%20is%20compact%2C%20then%20%24f(X)%24%20(assuming%20being%20smooth)%20is%20compact%2C%20thus%20%24f(X)%20%5Cne%20Y%24%2C%20by%20the%20same%20argument%20as%20above%2C%20%24f%24%20is%20not%20surjective%20thus%20%24%5Cdeg_2%7Bf%7D%24%20is%20%240%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%20Spring%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%20Section%203.2%0A%0A%20%20%20%20%23%23%23%20Exercise%202%0A%0A%20%20%20%20**Let%20%24%5Cbeta%20%3D%20%5Clbrace%20v_1%2C%20%5Cdots%2C%20v_k%20%5Crbrace%24%20be%20an%20ordered%20basis%20for%20%24V%24.%20Show%20that**%3A%0A%0A%20%20%20%201.%20**replacing%20one%20%24v_i%24%20by%20a%20multiple%20%24cv_i%24%20yields%20an%20equivalently%20oriented%20ordered%20basis%20if%20%24c%20%3E%200%24%2C%20an%20oppositely%20oriented%20one%20if%20%24c%20%3C%200%24**%3B%0A%20%20%20%202.%20**transposing%20two%20elements%20(i.e.%20interchanging%20the%20places%20of%20%24v_i%24%20and%20%24v_j%24%2C%20%24i%20%5Cne%20j%24)%20yields%20an%20oppositely%20oriented%20ordered%20basis**%3B%0A%20%20%20%203.%20**subtracting%20from%20one%20%24v_i%24%20a%20linear%20combination%20of%20the%20other%20yields%20an%20equivalently%20oriented%20ordered%20basis**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20Consider%20the%20transformation%20between%20%24%5Cbeta%24%20and%20the%20basis%20described%20in%20the%20question%2C%20the%20transformation%20can%20be%20given%20by%20the%20matrix%20with%20form%20%24M%20%3D%20%5Cbegin%7Bpmatrix%7D%201%260%260%260%260%260%5C%5C%26%26%5Cdots%5C%5C0%260%26c%260%260%260%5C%5C0%260%260%261%260%260%5C%5C%26%26%5Cdots%5C%5C0%260%260%260%260%261%20%5Cend%7Bpmatrix%7D%24%2C%20i.e.%20the%20diagonal%20goes%20%24(1%2C%20%5Cdots%2C%201%2C%20c%2C%201%2C%5Cdots%2C%201)%24%2C%20all%20%241%24%20but%20%24i%24%20th%20position%20with%20%24c%24%2C%20and%20non-diagonal%20positions%20all%20%240%24.%20To%20calculate%20the%20determinant%20of%20this%20matrix%20we%20simple%20take%20product%20of%20the%20diagonal%20and%20the%20result%20is%20%24c%24.%20Thus%20by%20definition%2C%20this%20resulting%20basis%20is%20equivalently%20oriented%20if%20%24c%20%3D%20%5Cdet%7BM%7D%20%3E%200%24%2C%20and%20oppositely%20oriented%20if%20%24c%20%3D%20%5Cdet%7BM%7D%20%3C%200%24%3B%0A%20%20%20%202.%20Similarly%2C%20the%20transformation%20between%20such%20two%20bases%20may%20be%20given%20by%20a%20matrix%20with%20the%20form%20%24M%20%3D%20%5Cbegin%7Bpmatrix%7D%201%260%260%260%260%260%5C%5C%26%26%5Cdots%5C%5C0%260%260%261%260%260%5C%5C0%260%261%260%260%260%5C%5C%26%26%5Cdots%5C%5C0%260%260%260%260%261%20%5Cend%7Bpmatrix%7D%24.%20I.e.%20it%20is%20%24E%24%20but%20the%20%24i%24-th%20row's%20%241%24%20goes%20to%20%24j%24%20th%20position%2C%20and%20the%20%24j%24%20th%20row's%20%241%24%20goes%20to%20%24i%24%20th%20position.%20This%20matrix%20yield%20%24%5Cdet%7BM%7D%20%3D%20-1%24%2C%20and%20thus%20results%20an%20oppositely%20oriented%20basis%3B%0A%20%20%20%203.%20Similarly%2C%20the%20transformation%20between%20such%20two%20bases%20may%20be%20given%20by%20a%20matrix%20with%20the%20form%20%24M%20%3D%20%5Cbegin%7Bpmatrix%7D%201%26-x_2%26-x_3%26%5Cdots%26-x_%7Bn-1%7D%26-x_n%5C%5C%26%26%5Cdots%5C%5C0%260%261%260%260%260%5C%5C0%260%260%261%260%260%5C%5C%26%26%5Cdots%5C%5C0%260%260%260%260%261%20%5Cend%7Bpmatrix%7D%24%20where%20we%20subtract%20%24x_2v_2%20%2B%20x_3v_3%20%2B%20%5Cdots%20%2B%20x_nv_n%24%20from%20%24v_1%24%3A%20but%20this%20matrix%20is%20an%20upper%20triangle%20matrix%20and%20the%20determinant%20of%20this%20transformation%20is%20simply%20the%20product%20of%20terms%20on%20the%20diagonal%20%24%3D%201%3E0%24%20and%20it%20is%20orientation%20preserving.%0A%0A%20%20%20%20%23%23%23%20Exercise%206%0A%0A%20%20%20%20%24%5Cmathbb%7BR%7D%5Ek_%2B%24%20**is%20oriented%20by%20the%20standard%20orientation%20of%20%24%5Cmathbb%7BR%7D%5Ek%24%2C%20thus%20%24%5Cpartial%20%5Cmathbb%7BR%7D%5Ek_%2B%24%20acquires%20a%20boundary%20orientation%2C%20but%20%24%5Cpartial%20%5Cmathbb%7BR%7D%5Ek_%2B%24%20may%20be%20identified%20with%20%24%5Cmathbb%7BR%7D%5E%7Bk-1%7D%24.%20Show%20that%20the%20boundary%20orientation%20agrees%20with%20the%20standard%20orientation%20of%20%24%5Cmathbb%7BR%7D%5E%7Bk-1%7D%24%20if%20and%20only%20if%20%24k%24%20is%20even.%20Symbolically%2C%20we%20may%20express%20it%20as%20%24%5Cpartial%20%5Cmathbb%7BR%7D%5Ek_%2B%20%3D%20(-1)%5Ek%5Cmathbb%7BR%7D%5E%7Bk-1%7D%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20us%20use%20the%20standard%20basis%20for%20%24%5Cmathbb%7BR%7D%5Ek%24%2C%20i.e.%20%24%5Clbrace%20e_i%20%5Crbrace_%7Bi%20%3D%201%2C%5Cdots%2Ck%7D%24.%0A%0A%20%20%20%20At%20every%20point%20%24x%20%5Cin%20%5Cmathbb%7BR%7D%5Ek_%2B%24%20there%20is%20a%20unit%20vector%20(basis%20element)%20in%20%24T_x%5Cmathbb%7BR%7D%5Ek_%2B%24%20perpendicular%20to%20%24T_x%5Cpartial%20%5Cmathbb%7BR%7D%5Ek_%2B%24%20pointing%20outwards%2C%20and%20it%20is%20exactly%20%24-e_k%24%20%3D%20%24(0%2C%5Cdots%2C0%2C-1)%24%20(denoted%20%24n_x%24%20in%20the%20book).%0A%0A%20%20%20%20Now%20%24%5Clbrace%20e_i%20%5Crbrace_%7Bi%20%3D%201%2C%5Cdots%2Ck-1%7D%24%20forms%20a%20basis%20for%20%24T_x%5Cpartial%20%5Cmathbb%7BR%7D%5Ek_%2B%24%20and%20the%20(boundary)%20orientation%20is%20determined%20by%20the%20sign%20of%20the%20ordered%20basis%20%24%5Clbrace%20-e_k%2C%20e_1%2C%20e_2%2C%20%5Cdots%2C%20e_%7Bk-1%7D%20%5Crbrace%24.%0A%0A%20%20%20%20The%20transformation%20between%20this%20basis%20and%20the%20standard%20basis%20consists%20of%20%24k-1%24%20permutations%20(move%20%24-e_k%24%20to%20the%20right%2C%20one%20step%20at%20a%20time)%2C%20and%20one%20multiplication%20(turn%20%24-e_k%24%20to%20%24e_k%24).%20In%20total%20there%20are%20%24k%24%20steps%2C%20each%20step%20changes%20the%20sign%20of%20basis%2C%20so%20if%20%24k%24%20is%20even%20the%20orientation%20is%20preserved%20and%20if%20%24k%24%20is%20odd%20the%20orientation%20is%20reversed%2C%20that%20is%20exactly%20the%20desired%20statement.%0A%0A%20%20%20%20%23%23%20Section%203.3%0A%0A%20%20%20%20%23%23%23%20Exercise%202%0A%0A%20%20%20%201.%20**Compute%20the%20degree%20of%20the%20antipodal%20map%20%24S%5Ek%20%5Cto%20S%5Ek%2C%20x%5Cto%20-x%24**%3B%0A%20%20%20%202.%20**Prove%20that%20the%20antipodal%20map%20is%20homotopic%20to%20the%20identity%20if%20and%20only%20if%20%24k%24%20is%20odd**%3B%0A%20%20%20%203.%20**Prove%20that%20there%20exists%20a%20non-vanishing%20vector%20field%20in%20%24S%5Ek%24%20if%20and%20only%20if%20%24k%24%20is%20odd**%3B%0A%20%20%20%204.%20**Could%20mod%20%242%24%20theory%20prove%20part%202%20and%203**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20The%20transformation%20between%20bases%20may%20be%20given%20by%20a%20diagonal%20matrix%20with%20all%20%24-1%24%20on%20the%20diagonal%2C%20each%20%24-1%24%20gives%20'reversing'%20for%20the%20orientation%20and%20thus%20the%20degree%20of%20the%20map%20is%20%24(-1)%5E%7Bk%2B1%7D%24%2C%20in%20particular%2C%20%241%24%20if%20%24k%24%20is%20odd%20and%20%24-1%24%20if%20%24k%24%20is%20even%3B%0A%20%20%20%202.%20The%20identity%20map%20clearly%20has%20degree%20%241%24%2C%20but%20by%20above%2C%20if%20%24k%24%20is%20even%20the%20antipodal%20map%20has%20degree%20%24-1%24%2C%20thus%20cannot%20be%20homotopic%20to%20the%20identity%20map%3B%20we%20proved%20before%20that%20if%20%24k%24%20is%20odd%20then%20we%20the%20antipodal%20map%20is%20homotopic%20to%20the%20identity%2C%20combine%20the%20two%20results%20and%20we%20have%20the%20'if%20and%20only%20if'%20statement%3B%0A%20%20%20%203.%20Similarly%2C%20we%20use%20the%20results%20from%20previous%20homework%3A%0A%20%20%20%20%091.%20If%20%24k%24%20is%20odd%20then%20there%20exists%20a%20non-vanishing%20vector%20field%3B%0A%20%20%20%20%092.%20If%20%24k%24%20is%20even%2C%20by%20above%2C%20the%20antipodal%20map%20is%20NOT%20homotopic%20to%20the%20identity%2C%20thus%20there%20does%20not%20exists%20a%20non-vanishing%20vector%20field%20in%20%24S%5Ek%24.%0A%0A%20%20%20%20%09Combine%20the%20two%20statements%20and%20we%20have%20the%20'if%20and%20only%20if'%20statement%3B%0A%20%20%20%204.%20Not%20really%2C%20because%20in%20part%202%20if%20%24k%24%20is%20even%20then%20the%20degree%20%242%24%20mod%20is%20%241%24%20(while%20degree%20is%20%24-1%24%2C%20where%20in%20fact%20we%20want%20this%20number%20not%20equal%20to%20%241%24).%20Since%20part%202%20fails%2C%20we%20cannot%20use%20this%20argument%20to%20proceed%20to%20part%203.%0A%0A%20%20%20%20%23%23%23%20Exercise%207%0A%0A%20%20%20%20**Prove%20that%20the%20map%20%24S%5E1%20%5Cto%20S%5E1%24%20defined%20by%20%24z%20%5Cto%20%5Coverline%7Bz%7D%5Em%24%20has%20degree%20%24-m%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20This%20map%20is%20the%20composition%20of%20a%20reflection%20(with%20degree%20%24-1%24)%20following%20a%20rise%20to%20power%20%24m%24%20(with%20degree%20%24m%24)%2C%20thus%20has%20degree%20%24-m%24%20(we%20are%20using%20the%20result%20below).%0A%0A%20%20%20%20%23%23%23%20Exercise%2010%0A%0A%20%20%20%20**Suppose%20that%20%24X%20%5Cxrightarrow%7Bf%7D%20Y%20%5Cxrightarrow%7Bg%7D%20Z%24%20are%20given%2C%20and%20prove%20that%20%24%5Cdeg%7Bg%20%5Ccirc%20f%7D%20%3D%20%5Cdeg%7Bf%7D%20%5Ccdot%20%5Cdeg%7Bg%7D%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Say%20%24z%24%20is%20a%20regular%20for%20%24g%20%5Ccirc%20f%24%2C%20we%20need%20to%20calculate%20the%20signed%20sum%20of%20%24x%20%5Cin%20(g%20%5Ccirc%20f)%5E%7B-1%7D(z)%24.%20Rewrite%20this%20set%20of%20preimage%20of%20%24z%24%20as%20%24%5Clbrace%20x%20%5Cin%20X%20%7C%20f(x)%20%3D%20y%24%20where%20%24g(y)%20%3D%20z%20%5Crbrace%24%2C%20so%20that%20%24%5Cdeg%7Bg%20%5Ccirc%20f%7D%24%20%24%3D%20%5Csum%5Climits_%7Bx%20%5Cin%20(g%20%5Ccirc%20f)%5E%7B-1%7D(z)%7D%20%5Cvarepsilon_%7Bg%20%5Ccirc%20f%7D(x)%24%20%24%3D%20%5Csum%5Climits_%7By%20%5Cin%20g%5E%7B-1%7D(z)%7D(%5Csum%5Climits_%7Bx%20%5Cin%20f%5E%7B-1%7D(y)%7D%20%5Cvarepsilon_%7Bg%20%5Ccirc%20f%7D(x))%24.%0A%0A%20%20%20%20Now%20for%20any%20fixed%20%24y%24%2C%20the%20property%20that%20%24dg_y%24%20is%20whether%20orientation%20preserving%20or%20reversing%20is%20fixed%2C%20thus%20we%20may%20continue%20write%20the%20above%20equation%20%24%3D%20%5Csum%5Climits_%7By%20%5Cin%20g%5E%7B-1%7D(z)%7D%20(%5Cvarepsilon_g(y)%5Csum%5Climits_%7Bx%20%5Cin%20f%5E%7B-1%7D(y)%7D%5Cvarepsilon_f(x))%24%20and%20we%20can%20split%20the%20sum%20as%20%24%3D%20(%5Csum%5Climits_%7By%20%5Cin%20g%5E%7B-1%7D(z)%7D%5Cvarepsilon_g(y))(%5Csum%5Climits_%7Bx%20%5Cin%20f%5E%7B-1%7D(y)%7D%5Cvarepsilon_f(x))%24%20and%20it%20is%20exactly%20%24%5Cdeg%7Bg%7D%5Ccdot%5Cdeg%7Bf%7D%24.%0A%0A%20%20%20%20Let%20%24r%20%5Cin%20Z%24%20be%20a%20regular%20value%20for%20%24g%20%5Ccirc%20f%3A%20X%20%5Cto%20Y%20%5Cto%20Z%24%20and%20let%20%24p%20%5Cin%20(g%5Ccirc%20f)%5E%7B-1%7D(r)%24%2C%20then%20%24d(g%5Ccirc%20f)_p%24%20is%20an%20isomorphism%20and%20so%20do%20%24df_p%24%20and%20%24dg_%7Bf(p)%7D%24%20because%20%24d(g%5Ccirc%20f)_p%20%3D%20dg_%7Bf(p)%7D%20%5Ccirc%20df_p%24.%20Thus%20%24r%20%3D%20g(f(p))%24%20is%20a%20regular%20value%20for%20%24g%24%20and%20any%20%24q%24%20such%20that%20%24g(q)%20%3D%20r%24%20are%20regular%20values%20for%20%24f%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%20Spring%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%20Section%204.2%0A%0A%20%20%20%20%23%23%23%20Exercise%201%0A%0A%20%20%20%20**Suppose%20that%20%24T%20%5Cin%20%5Cwedge%5Ep(V%5E%7B*%7D)%24%20and%20%24v_1%2C%5Cdots%2C%20v_p%20%5Cin%20V%24%20are%20linearly%20dependent%2C%20prove%20that%20%24T(v_1%2C%5Cdots%2Cv_p)%20%3D%200%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20assumption%20of%20linear%20dependency%20we%20have%20some%20%24a%5E1%2C%5Cdots%2C%20a%5Ep%20%5Cne%200%24%20such%20that%20%24a%5Eiv_i%20%3D%200%24%2C%20so%20that%2C%20for%20example%2C%20we%20can%20write%20that%20%24v_1%20%3D%20(a%5E2v_2%20%2B%20%5Cdots%20%2B%20a%5Epv_p)%2Fa%5E1%24%2C%20then%20we%20have%20%24T(v_1%2C%5Cdots%2Cv_p)%20%3D%20T((a%5E2v_2%20%2B%20%5Cdots%20%2B%20a%5Epv_p)%2Fa%5E1%2C%20v_2%2C%5Cdots%2C%20v_p)%24%2C%20since%20%24T%24%20is%20essentially%20a%20multi%20(%24q%24)-linear%20function%2C%20we%20can%20'split'%20%24T%24%20on%20the%20first%20variable%20to%20get%20%24%3D%20%5Cfrac%7Ba%5E2%7D%7Ba%5E1%7DT(v_2%2Cv_2%2C%5Cdots%2Cv_p)%20%2B%20%5Cdots%20%2B%20%5Cfrac%7Ba%5Ep%7D%7Ba%5E1%7DT(v_p%2Cv_2%2C%5Cdots%2Cv_p)%24%2C%20but%20then%20each%20term%20would%20be%20%240%24%20(because%20from%20the%20definition%20of%20alternating%20%24(0%2Cq)%24-tensor%2C%20%24T(v_2%2Cv_2%2C%5Cdots%2Cv_p)%20%3D%20-T(v_2%2Cv_2%2C%5Cdots%2Cv_p)%24%20so%20it%20must%20be%20zero)%2C%20thus%20we%20have%20the%20desired%20statement.%0A%0A%20%20%20%20%23%23%23%20Exercise%202%0A%0A%20%20%20%20**Dually%2C%20suppose%20that%20%24%5Cvarphi_1%2C%20%5Cdots%2C%20%5Cvarphi_p%20%5Cin%20V%5E%7B*%7D%24%20are%20linearly%20dependent%2C%20prove%20that%20%24%5Cvarphi_1%20%5Cwedge%20%5Cdots%20%5Cwedge%20%5Cvarphi_p%20%3D%200%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Again%2C%20we%20have%20some%20%24a%5E1%2C%5Cdots%2C%20a%5Ep%20%5Cne%200%24%20such%20that%20%24a%5Ei%5Cvarphi_i%20%3D%200%24%2C%20so%20that%20we%20can%20write%20that%20%24%5Cvarphi_1%20%3D%20(a%5E2%5Cvarphi_2%20%2B%20%5Cdots%20%2B%20a%5Ep%5Cvarphi_p)%2Fa%5E1%24%2C%20then%20we%20have%20%24%5Cvarphi_1%20%5Cwedge%20%5Cdots%20%5Cwedge%20%5Cvarphi_p%24%20%24%3D%20((a%5E2%5Cvarphi_2%20%2B%20%5Cdots%20%2B%20a%5Ep%5Cvarphi_p)%2Fa%5E1)%20%5Cwedge%20%5Cvarphi_2%20%5Cwedge%20%5Cdots%20%5Cwedge%20%5Cvarphi_p%24%2C%20we%20can%20just%20do%20distribution%20here%20to%20split%20it%20to%20%24%3D%20%5Cfrac%7Ba%5E2%7D%7Ba%5E1%7D%5Cvarphi_2%20%5Cwedge%20%5Cvarphi_2%20%5Cwedge%20%5Cdots%20%5Cwedge%20%5Cvarphi_p%20%2B%20%5Cdots%20%2B%20%5Cfrac%7Ba%5Ep%7D%7Ba%5E1%7D%5Cvarphi_p%20%5Cwedge%20%5Cvarphi_2%20%5Cwedge%20%5Cdots%20%5Cwedge%20%5Cvarphi_p%24%2C%20then%20each%20term%20is%20again%20%240%24%20thus%20we%20have%20the%20desired%20statement.%0A%0A%20%20%20%20%23%23%23%20Exercise%206%0A%0A%20%20%20%201.%20**Let%20%24T%24%20be%20a%20non-zero%20element%20of%20%24%5Cwedge%5Ek(V%5E%7B*%7D)%24%2C%20where%20%24%5Cdim%7BV%7D%20%3D%20k%24%2C%20prove%20that%20two%20ordered%20bases%20%24%5Clbrace%20v_1%2C%5Cdots%2Cv_k%20%5Crbrace%24%20and%20%24%5Clbrace%20v_%7B1'%7D%2C%20%5Cdots%2C%20v_%7Bk'%7D%20%5Crbrace%24%20for%20%24V%24%20are%20equivalently%20oriented%20if%20and%20only%20if%20%24T(v_1%2C%5Cdots%2Cv_k)%24%20and%20%24T(v_%7B1'%7D%2C%20%5Cdots%2C%20v_%7Bk'%7D)%24%20have%20the%20same%20sign**%3B%0A%20%20%20%202.%20**Suppose%20that%20%24V%24%20is%20oriented%2C%20show%20that%20the%20one-dimensional%20vector%20space%20%24%5Cwedge%5Ek(V%5E%7B*%7D)%24%20acquires%20a%20natural%20orientation%20by%20defining%20the%20sign%20of%20a%20non-zero%20element%20%24T%20%5Cin%5Cwedge%5Ek(V%5E%7B*%7D)%24%20to%20be%20the%20sign%20of%20%24T(v_1%2C%5Cdots%2Cv_k)%24%20for%20any%20positively%20oriented%20ordered%20basis%20%24%5Clbrace%20v_1%2C%5Cdots%2Cv_k%20%5Crbrace%24%20for%20%24V%24**%3B%0A%20%20%20%203.%20**Conversely%2C%20show%20that%20an%20orientation%20of%20%24%5Cwedge%5Ek(V%5E%7B*%7D)%24%20naturally%20defines%20an%20orientation%20on%20%24V%24%20by%20reversing%20the%20above**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20Say%20%24A%24%20is%20the%20linear%20operator%20that%20transform%20%24%5Clbrace%20v_1%2C%5Cdots%2Cv_k%20%5Crbrace%24%20to%20%24%5Clbrace%20v_%7B1'%7D%2C%20%5Cdots%2C%20v_%7Bk'%7D%20%5Crbrace%24%20(so%20that%20%24A%24%20is%20from%20%24V%24%20to%20%24V%24%2C%20and%20induces%20the%20linear%20operator%20%24A%5E%7B*%7D%24)%2C%20the%20two%20basis%20are%20equivalently%20oriented%20if%20and%20only%20if%20%24%5Cdet%7BA%7D%24%20is%20positive.%20By%20the%20Determinant%20Theorem%20we%20have%20%24T(v_%7B1'%7D%2C%20%5Cdots%2C%20v_%7Bk'%7D)%24%20%24%3DT(A(v_%7B1%7D%2C%20%5Cdots%2C%20v_%7Bk%7D))%24%20%24%3D%20A%5E%7B*%7DT(v_%7B1%7D%2C%20%5Cdots%2C%20v_%7Bk%7D)%24%20%24%3D%20%5Cdet%7BA%7D%20T(v_%7B1%7D%2C%20%5Cdots%2C%20v_%7Bk%7D)%24%2C%20so%20they%20have%20the%20same%20sign%3B%0A%20%20%20%202.%20Say%20%24A%24%20is%20a%20linear%20operator%20%24V%20%5Cto%20V%24%20between%20%24v_1%2C%5Cdots%2Cv_k%24%20to%20an%20equivalently%20oriented%20basis%20%24v_%7B1'%7D%2C%20%5Cdots%2C%20v_%7Bk'%7D%24%2C%20then%20%24T(v_%7B1'%7D%2C%5Cdots%2C%20v_%7Bk'%7D)%24%20%24%3D%20%5Cdet%7BA%7DT(v_1%2C%5Cdots%2Cv_k)%24%2C%20but%20since%20both%20basis%20are%20equivalently%20oriented%2C%20%24%5Cdet%7BA%7D%24%20must%20be%20positive%2C%20meaning%20that%20the%20sign%20of%20%24T(v_%7B1%7D%2C%5Cdots%2C%20v_%7Bk%7D)%24%20is%20independent%20from%20the%20choice%20of%20(same%20oriented)%20basis.%0A%20%20%20%20%09Also%20that%20in%20case%20that%20the%20two%20bases%20are%20reversely%20oriented%2C%20it%20happens%20if%20and%20only%20if%20%24%5Cdet%7BA%7D%24%20is%20negative%2C%20if%20and%20only%20if%20%24T(v_%7B1%7D%2C%5Cdots%2C%20v_%7Bk%7D)%24%20and%20%24T(v_%7B1'%7D%2C%5Cdots%2C%20v_%7Bk'%7D)%24%20have%20different%20signs.%20Thus%20we%20indeed%20have%20two%20different%20orientations%3B%0A%20%20%20%203.%20Define%20an%20equivalence%20relation%20as%20follow%3A%20two%20basis%20on%20%24V%24%2C%20%24v_1%2C%5Cdots%2Cv_k%24%20and%20%24v_%7B1'%7D%2C%5Cdots%2Cv_%7Bk'%7D%24%2C%20are%20equivalently%20oriented%20if%20%24T(v_1%2C%5Cdots%2Cv_k)%24%20and%20%24T(v_%7B1'%7D%2C%5Cdots%2Cv_%7Bk'%7D)%24%20have%20the%20same%20sign.%20This%20naturally%20gives%20two%20possible%20classes.%0A%20%20%20%20%09Since%20%24T(v_1%2C%5Cdots%2Cv_k)%24%20and%20%24T(v_%7B1'%7D%2C%5Cdots%2Cv_%7Bk'%7D)%24%20have%20the%20same%20sign%20if%20and%20only%20if%20%24%5Cdet%7BA%7D%24%20of%20the%20linear%20operator%20is%20positive%2C%20we%20can%20say%20%24v_%7B1%7D%2C%5Cdots%2Cv_%7Bk%7D%24%20and%20%24v_%7B1'%7D%2C%5Cdots%2Cv_%7Bk'%7D%24%20are%20equivalently%20oriented%20if%20and%20only%20if%20%24%5Cdet%7BA%7D%24%20is%20positive%2C%20but%20such%20an%20%24A%24%20is%20unique%20because%20it%20is%20a%20transformation%20between%20bases%2C%20and%20%24%5Cdet%7BA%7D%24%20is%20either%20positive%20or%20negative%2C%20but%20not%20both%2C%20so%20that%20any%20two%20basis%20cannot%20be%20both%20equivalently%20and%20reversely%20oriented.%0A%20%20%20%20%09Now%2C%20call%20%24v_1%2C%5Cdots%2Cv_k%24%20positive%20if%20%24T(v_1%2C%5Cdots%2Cv_k)%24%20positive%2C%20and%20the%20definition%20is%20well-define.%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%20Spring%20Semester%20Homework%2012%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%20Section%204.4%0A%0A%20%20%20%20%23%23%23%20Exercise%201%0A%0A%20%20%20%20**Let%20%24Z%24%20be%20a%20finite%20set%20of%20points%20in%20%24X%24%2C%20considered%20as%20a%20%240%24-manifold.%20Fix%20an%20orientation%20of%20%24Z%24%2C%20an%20assignment%20of%20orientation%20numbers%20%24%5Csigma(z)%20%3D%20%5Cpm%201%24%20to%20each%20%24z%20%5Cin%20Z%24.%20Let%20%24f%24%20be%20any%20function%20on%20%24X%24%2C%20considered%20as%20a%20%240%24-form%2C%20and%20check%20that%20%24%5Cint_Z%20f%20%3D%20%5Csum%5Climits_%7Bz%20%5Cin%20Z%7D%20%5Csigma(z)%5Ccdot%20f(z)%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20I%20think%20this%20comes%20purely%20from%20definition%3A%20since%20%24f%24%20is%20a%20(real-valued)%20function%2C%20the%20integral%20on%20each%20single%20point%20will%20be%20%24f(x)%24%20or%20%24-f(x)%24%20given%20the%20point%20is%20positively%20or%20negatively%20oriented%2C%20so%20integral%20on%20a%20finite%20set%20of%20points%20will%20be%20the%20sum%20of%20them%2C%20i.e.%20%24%5Csum%5Climits_%7Bz%20%5Cin%20Z%7D%20%5Csigma(z)%5Ccdot%20f(z)%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%203%0A%0A%20%20%20%20**Let%20%24c%3A%5Ba%2Cb%5D%20%5Cto%20X%24%20be%20a%20smooth%20curve%2C%20and%20let%20%24c(a)%20%3D%20p%24%2C%20%24c(b)%20%3D%20q%24%2C%20show%20that%20if%20%24w%24%20is%20the%20differential%20of%20a%20function%20on%20%24X%24%2C%20%24w%20%3D%20df%24%2C%20then%20%24%5Cint_a%5Eb%20c%5E%7B*%7D%20w%20%3D%20f(q)%20-%20f(p)%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20%24LHS%3D%20%5Cint_a%5Eb%20c%5E%7B*%7D%20w%24%20%24%3D%20%5Cint_%7B%5Ba%2Cb%5D%7Dc%5E%7B*%7Dw%24%20(nothing%20happens%20this%20step%2C%20just%20another%20way%20to%20write)%0A%0A%20%20%20%20%24%3D%20%5Cint_X%20w%24%20(this%20is%20from%20the%20change%20of%20variable%2C%20we%20'undo'%20the%20pull-back)%0A%0A%20%20%20%20%24%3D%20%5Cint_X%20df%24%2C%20and%20this%20is%20exactly%20%24f(q)%20-%20f(p)%24%2C%20assuming%20the%20'end%20points'%20of%20the%20curve%20of%20%24X%24%20are%20%24p%24%20and%20%24q%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%204%0A%0A%20%20%20%20**Let%20%24c%3A%5Ba%2Cb%5D%20%5Cto%20X%24%20be%20a%20smooth%20curve%2C%20and%20let%20%24f%3A%5Ba_1%2Cb_1%5D%20%5Cto%20%5Ba%2Cb%5D%24%20be%20a%20smooth%20map%20with%20%24f(a_1)%20%3D%20a%24%2C%20%24f(b_1)%20%3D%20b%24%2C%20show%20that%20the%20integrals%20%24%5Cint_a%5Eb%20c%5E%7B*%7Dw%24%20and%20%24%5Cint_%7Ba_1%7D%5E%7Bb_1%7D(c%5Ccirc%20f)%5E%7B*%7D%20w%24%20are%20the%20same**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20From%20the%20assumption%20we%20can%20use%20%24f%24%20(it%20is%20smooth)%20to%20get%20a%20pull%20back%20%24f%5E%7B*%7D%5Ccdot%24%20from%20%24%5Ba%2Cb%5D%24%20to%20%24%5Ba_1%2C%20b_1%5D%24%2C%20so%20we%20have%20%24%5Cint_a%5Eb%20c%5E%7B*%7Dw%24%20%24%3D%20%5Cint_%7Ba_1%7D%5E%7Bb_1%7Df%5E%7B*%7Dc%5E%7B*%7Dw%24%20(we%20also%20used%20the%20fact%20that%20%24f%24%20is%20orientation%20preserving%20here%2C%20because%20from%20assumption%20the%20order%20of%20%24a%2Cb%24%20do%20not%20change%E2%80%A6)%20%24%3D%5Cint_%7Ba_1%7D%5E%7Bb_1%7D(c%20%5Ccirc%20f)%5E%7B*%7Dw%24.%20We%20used%20the%20fact%20that%20%24(f%20%5Ccirc%20g)%5E%7B*%7D(%5Comega)%20%3D%20g%5E%7B*%7D(f%5E%7B*%7D(%5Comega))%24%20here.%0A%0A%20%20%20%20%23%23%23%20Exercise%208%0A%0A%20%20%20%20**Define%20a%20%241%24-form%20%24w%24%20on%20the%20punctured%20plane%20%24%5Cmathbb%7BR%7D%5E2%20-%20%5Clbrace%200%20%5Crbrace%24%20by%20%24w(x%2Cy)%20%3D%20%5Cfrac%7B-ydx%7D%7Bx%5E2%2By%5E2%7D%20%2B%20%5Cfrac%7Bxdy%7D%7Bx%5E2%2By%5E2%7D%24**.%0A%0A%20%20%20%201.%20**Calculate%20%24%5Cint_Cw%24%20for%20any%20circle%20%24C%24%20of%20radius%20%24r%24%20around%20the%20origin**%3B%0A%20%20%20%202.%20**Prove%20that%20in%20the%20half%20plane%20%24%5Clbrace%20x%20%3E%200%20%5Crbrace%24%2C%20%24w%24%20is%20the%20differential%20of%20a%20function**%3B%0A%20%20%20%203.%20**Why%20isn't%20%24w%24%20the%20differential%20of%20a%20function%20globally%20on%20%24%5Cmathbb%7BR%7D%5E2%20-%20%5Clbrace%200%20%5Crbrace%24**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20Let%20us%20use%20the%20standard%20way%20to%20parameterize%20a%20circle%3A%20let%20%24%5Cgamma%3A%5B0%2C2%5Cpi%5D%20%5Cto%20C%2C%20t%20%5Cto%20(r%5Ccos(t)%2C%20r%5Csin(t))%24%2C%20then%20we%20can%20write%20%24%5Cint_Cw%20%3D%5Cint_0%5E%7B2%5Cpi%7D%5Cgamma%5E%7B*%7Dw%24%20%24%3D%20%5Cint_0%5E%7B2%5Cpi%7D(%5Cfrac%7B-y%7D%7Bx%5E2%2By%5E2%7Dx'(t)%20%2B%20%5Cfrac%7Bx%7D%7Bx%5E2%2By%5E2%7Dy'(t))dt%24%2C%20now%20we%20can%20replace%20every%20%24x%2C%20y%24%20with%20%24r%5Ccos(t)%24%20and%20%24r%5Csin(t)%24%2C%20and%20do%20the%20calculation%3A%20%24%3D%20%5Cint_0%5E%7B2%5Cpi%7D(%5Cfrac%7Br%5E2(%5Csin%5E2(t)%20%2B%20%5Ccos%5E2(t))%7D%7Br%5E2(%5Ccos%5E2(t)%20%2B%20%5Csin%5E2(t))%7D)dt%24%2C%20so%20everything%20in%20the%20fraction%20got%20canceled%20out%2C%20and%20the%20result%20is%20%242%5Cpi%24%3B%0A%20%20%20%202.%20Let%20us%20just%20try%20the%20hint%2C%20and%20use%20the%20formula%20%24%5Carctan'%7Bx%7D%20%3D%20%5Cfrac%7B1%7D%7Bx%5E2%2B1%7D%24%3A%0A%20%20%20%20%091.%20%24%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial%20x%7D%5Carctan%7By%2Fx%7D%24%20%24%3D%20%5Cfrac%7B-%5Cfrac%7By%7D%7Bx%5E2%7D%7D%7B1%2B%5Cfrac%7By%5E2%7D%7Bx%5E2%7D%7D%20%3D%20%5Cfrac%7B-y%7D%7Bx%5E2%2By%5E2%7D%24%2C%20and%3B%0A%20%20%20%20%092.%20%24%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial%20y%7D%5Carctan%7By%2Fx%7D%24%20%24%3D%20%5Cfrac%7B1%2Fx%7D%7B1%20%2B%20%5Cfrac%7By%5E2%7D%7Bx%5E2%7D%7D%20%3D%20%5Cfrac%7Bx%7D%7Bx%5E2%2By%5E2%7D%24.%0A%0A%20%20%20%20%09And%20turns%20out%20they%20coincides%20with%20%24w%24%2C%20and%20thus%20%24w%24%20is%20the%20differential%20of%20%24%5Carctan%24%3B%0A%20%20%20%203.%20Because%20%24%5Carctan%7By%2Fx%7D%24%20is%20not%20continuous%20(not%20even%20defined)%20on%20the%20y-axis%2C%20i.e.%20%24x%3D%200%24.%0A%0A%20%20%20%20%23%23%20Section%204.5%0A%0A%20%20%20%20%23%23%23%20Exercise%201%0A%0A%20%20%20%20**Calculate%20the%20exterior%20derivatives%20of%20the%20following%20forms%20in%20%24%5Cmathbb%7BR%7D%5E3%24**%3A%0A%0A%20%20%20%201.%20%24w%20%3D%20z%5E2dx%20%5Cwedge%20dy%20%2B%20(z%5E2%2B2y)dx%20%5Cwedge%20dz%24%3B%0A%20%20%20%202.%20%24w%20%3D%2013xdx%20%2B%20y%5E2dy%20%2B%20xyzdz%24%3B%0A%20%20%20%203.%20%24w%20%3D%20fdg%24%2C%20where%20%24f%24%20and%20%24g%24%20are%20functions%3B%0A%20%20%20%204.%20%24w%20%3D%20(x%2B2y%5E3)(dz%20%5Cwedge%20dx%20%2B%20%5Cfrac%7B1%7D%7B2%7Ddy%20%5Cwedge%20dx)%24.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20%24dw%20%3D%20%5Cfrac%7B%5Cpartial%20z%5E2%7D%7B%5Cpartial%20z%7Ddz%5Cwedge%20dx%20%5Cwedge%20dy%20%2B%20%5Cfrac%7B%5Cpartial%20z%5E2%2B2y%7D%7B%5Cpartial%20y%7Ddy%5Cwedge%20dx%20%5Cwedge%20dz%24%20%24%3D(2z-2)dx%20%5Cwedge%20dy%20%5Cwedge%20dz%24%20(two%20flips%20in%20the%20first%20term%2C%20one%20in%20the%20second)%3B%0A%20%20%20%202.%20%24dw%20%3D%20(13%20dx)%5Cwedge%20dx%20%2B%20(2y%20dy)%20%5Cwedge%20dy%20%2B%20(yz%20dx%20%2B%20xz%20dy%20%2B%20xy%20dz)%5Cwedge%20dz%24%20%24%3Dyz%20dx%20%5Cwedge%20dz%20%2B%20xz%20dy%20%5Cwedge%20dz%24%3B%0A%20%20%20%203.%20%24dw%20%3D%20d(fdg)%20%3D%20dfdg%2Bfddg%24%20by%20the%20product%20rule%2C%20and%20we%20know%20%24ddg%20%3D%200%24%2C%20so%20%24dw%20%3D%20dfdg%24%3B%0A%20%20%20%204.%20%24dw%20%3D%206y%5E2%20dy%20%5Cwedge%20dz%20%5Cwedge%20dx%20%3D%206y%5E2%20dx%20%5Cwedge%20dy%20%5Cwedge%20dz%24.%0A%0A%20%20%20%20%23%23%23%20Exercise%202%0A%0A%20%20%20%20**Show%20that%20the%20vector%20field%20%24(%5Cfrac%7B-y%7D%7Bx%5E2%2By%5E2%7D%2C%20%5Cfrac%7Bx%7D%7Bx%5E2%2By%5E2%7D)%24%20has%20curl%20zero%2C%20but%20that%20it%20cannot%20be%20written%20as%20the%20gradient%20of%20any%20functions**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Since%20curl%20is%20defined%20in%20%24%5Cmathbb%7BR%7D%5E3%24%20we%20need%20to%20pad%20a%20%240%24%20to%20the%20field%2C%20i.e.%20let%20%24F%20%3D%20(%5Cfrac%7B-y%7D%7Bx%5E2%2By%5E2%7D%2C%20%5Cfrac%7Bx%7D%7Bx%5E2%2By%5E2%7D%2C%200)%24%2C%20then%20%24curl%7BF%7D%24%20is%20defined%20to%20be%20%24%5Cdet%7B%5Cbegin%7Bpmatrix%7D%20i%26j%26k%5C%5C%20%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial%20x%7D%26%20%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial%20y%7D%20%26%20%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial%20z%7D%20%5C%5C%20%5Cfrac%7B-y%7D%7Bx%5E2%2By%5E2%7D%20%26%20%5Cfrac%7Bx%7D%7Bx%5E2%2By%5E2%7D%20%26%200%5Cend%7Bpmatrix%7D%7D%24%2C%20we%20don't%20really%20have%20%24z%24%20here%20and%20the%20calculation%20is%20kind%20of%20simple%2C%20we%20have%20it%20%24%3D%20(0%2C0%2C%5Cfrac%7By%5E2-x%5E2%7D%7B(x%5E2%2By%5E2)%5E2%7D%20-%20%5Cfrac%7By%5E2-x%5E2%7D%7B(x%5E2%2By%5E2)%5E2%7D)%24%20and%20it%20is%20exactly%20the%20zero%20vector.%0A%0A%20%20%20%20It%20cannot%20be%20written%20as%20the%20gradient%20of%20some%20function%20because%20the%20vector%20field%20is%20not%20conservative%2C%20which%20comes%20from%20above%20exercise%204.4.8%20part%201%2C%20its%20integral%20is%20path-dependent%3A%20we%20integrated%20it%20along%20a%20closed%20curve%2C%20but%20the%20result%20is%20not%20%240%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%20Spring%20Semester%20Homework%2013%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%20Section%204.7%0A%0A%20%20%20%20%23%23%23%20Exercise%206%0A%0A%20%20%20%20**The%20Divergence%20Theorem%20is%20also%20useful%20in%20electrostatics%2C%20let%20%24D%24%20be%20a%20compact%20region%20in%20%24%5Cmathbb%7BR%7D%5E3%24%20with%20a%20smooth%20boundary%20%24S%24.%20Assume%20%240%20%5Cin%20%5Ctext%7Bint%7D(D)%24.%20If%20an%20electric%20charge%20of%20magnitude%20%24q%24%20is%20places%20at%20%240%24%2C%20the%20resulting%20force%20field%20is%20%24q%5Cvec%7Br%7D%2Fr%5E3%24%2C%20where%20%24%5Cvec%7Br%7D(x)%24%20is%20the%20vector%20to%20a%20point%20%24x%24%20from%20%240%24%20and%20%24r(x)%24%20is%20its%20magnitude.%20Show%20that%20the%20amount%20of%20charge%20%24q%24%20can%20be%20determined%20from%20the%20force%20on%20the%20boundary%20by%20proving%20Gauss's%20Law%3A%20%24%5Cint_S%20%5Cvec%7BF%7D%5Ccdot%20%5Cvec%7Bn%7DdA%20%3D%204%5Cpi%20q%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20First%20let%20us%20write%20down%20the%20full%20statement%20of%20the%20Divergence%20Theorem%20and%20check%20whether%20can%20we%20apply%20it%3A%0A%0A%20%20%20%20Suppose%20%24V%24%20is%20a%20subset%20of%20%24%5Cmathbb%7BR%7D%5En%24%20which%20is%20compact%20and%20has%20a%20piece-wise%20smooth%20boundary%20%24S%24.%20If%20%24%5Cvec%7BF%7D%24%20is%20a%20continuously%20differentiable%20vector%20field%20defined%20on%20a%20neighborhood%20of%20%24V%24%2C%20then%20%24%5Cint%5Cint%5Cint_Vdiv%7B%5Cvec%7BF%7D%7DdV%20%3D%20%5Cint%5Cint_S%5Cvec%7BF%7D%5Ccdot%20%5Cvec%7Bn%7DdS%24.%0A%0A%20%20%20%20By%20assumption%20we%20have%20%24%5Cvec%7BF%7D%20%3D%20q%5Cvec%7Br%7D%2Fr%5E3%24%20%24%3D(%5Cfrac%7Bq%7D%7B(x%5E2%2By%5E2%2Bz%5E2)%5E%7B3%2F2%7D%7Dx%2C%5Cfrac%7Bq%7D%7B(x%5E2%2By%5E2%2Bz%5E2)%5E%7B3%2F2%7D%7Dy%2C%20%5Cfrac%7Bq%7D%7B(x%5E2%2By%5E2%2Bz%5E2)%5E%7B3%2F2%7D%7Dz)%24%2C%20thus%20we%20have%20a%20problem%20at%20%240%24%2C%20the%20vector%20field%20is%20not%20differentiable%20there%2C%20we%20need%20to%20take%20%240%24%20out.%0A%0A%20%20%20%20Consider%20a%20small%20enough%20open%20ball%20%24B(0%2Cc)%20%5Csubseteq%20%5Ctext%7Bint%7D(D)%24%20(existence%20is%20by%20the%20assumption%20%240%20%5Cin%20int%7BD%7D%24)%2C%20let%20us%20denote%20its%20boundary%2C%20the%20sphere%2C%20%24S%5E2_%7Bc%7D%24.%20By%20assumption%20%24D%24%20is%20a%20compact%20domain%2C%20the%20boundary%20is%20(piece-wise)%20smooth.%20Now%20if%20we%20take%20%24B%20%3D%20B(0%2Cc)%24%20out%2C%20the%20remaining%20%24D%20-%20B%24%20is%20still%20a%20compact%20domain%2C%20and%20its%20boundary%20is%20%24S%20%5Ccup%20S%5E2_%7Bc%7D%24%20is%20still%20(piece-wise)%20smooth.%20Also%20now%20%24%5Cvec%7BF%7D%24%20is%20continuously%20differentiable%20in%20a%20neighborhood%20of%20%24D-B%24%20(the%20only%20trouble%20we%20may%20have%20was%20%240%24%20and%20we%20took%20it%20out)%2C%20thus%20we%20can%20apply%20the%20Divergence%20Theorem%20(%24S%24%20and%20%24S%5E2_%7Bc%7D%24%20are%20reversely%20oriented)%3A%0A%0A%20%20%20%20%24%5Cint%5Cint_%7BS-S%5E2_c%7D%20%5Cvec%7BF%7D%5Ccdot%20%5Cvec%7Bn%7DdA%24%20%24%3D%5Cint%5Cint%5Cint_%7BD%20-B%7Ddiv%7B%5Cvec%7BF%7D%7Ddxdydz%24.%0A%0A%20%20%20%20Let%20us%20calculate%20%24div%7B%5Cvec%7BF%7D%7D%20%3D%20q%5Cfrac%7B(-2x%5E2%2By%5E2%2Bz%5E2)%2B(-2y%5E2%2Bx%5E2%2Bz%5E2)%2B(-2z%5E2%2Bx%5E2%2By%5E2)%7D%7B(x%5E2%2By%5E2%2Bz%5E2)%5E%7B5%2F2%7D%7D%24%20thus%20it%20is%20constant%20zero%2C%20in%20other%20words%20%24%5Cint%5Cint%5Cint_%7BD%20-B%7Ddiv%7B%5Cvec%7BF%7D%7Ddxdydz%20%3D%200%24%2C%20and%20thus%20%24%5Cint%5Cint_%7BS%7D%20%5Cvec%7BF%7D%5Ccdot%20%5Cvec%7Bn%7DdA%20%3D%20%5Cint%5Cint_%7BS%5E2_c%7D%20%5Cvec%7BF%7D%5Ccdot%20%5Cvec%7Bn%7DdA%24.%0A%0A%20%20%20%20So%20we%20reduce%20the%20problem%20on%20some%20arbitrary%20domain%20to%20a%20problem%20on%20a%20sphere%2C%20where%20we%20simply%20have%20%24%5Cvec%7Bn%7D%20%3D%20%5Cvec%7Br%7D%2Fr%20%3D%20%5Cvec%7Bc%7D%2Fc%24%20since%20the%20radius%20is%20%24c%24.%20Similarly%20%24%5Cvec%7BF%7D%20%3D%20q%5Cvec%7Bc%7D%2Fc%5E3%24%20thus%20%24%5Cvec%7BF%7D%20%5Ccdot%20%5Cvec%7Bn%7D%20%3D%20q%2Fc%5E2%24%20(a%20constant)%20on%20%24S%5E2_c%24%2C%20and%20we%20have%20%24%5Cint%5Cint_%7BS%5E2_c%7D%20%5Cvec%7BF%7D%5Ccdot%20%5Cvec%7Bn%7DdA%24%20%24%3D%20%5Cint%5Cint_%7BS%5E2_c%7Dq%2Fc%5E2dA%24%2C%20now%20use%20the%20formula%20for%20sphere%20surface%20area%2C%20%24%3D%20(q%2Fc%5E2)%20%5Cpi%20c%5E2%204%20%3D%204%5Cpi%20q%24%20as%20desired.%0A%0A%20%20%20%20%23%23%23%20Exercise%208%0A%0A%20%20%20%20**Suppose%20that%20%24X%20%3D%20%5Cpartial%20W%24%2C%20%24W%24%20is%20compact%20and%20%24f%3AX%20%5Cto%20Y%24%20is%20a%20smooth%20map.%20Let%20%24w%24%20be%20a%20closed%20%24k%24-form%20on%20%24Y%24%2C%20where%20%24k%20%3D%20%5Cdim%7BX%7D%24%2C%20prove%20that%20if%20%24f%24%20extends%20to%20all%20of%20%24W%24%2C%20then%20%24%5Cint_Xf%5E%7B*%7Dw%20%3D%200%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20First%20a%20definition%20from%20section%204.6%20in%20the%20book%3A%20a%20%24p%24-form%20%24w%24%20on%20%24X%24%20is%20closed%20if%20(and%20only%20if)%20%24dw%20%3D%200%24.%0A%0A%20%20%20%20Now%2C%20by%20assumption%20%24W%24%20is%20an%20%24k%2B1%24%20manifold%2C%20so%20we%20can%20apply%20Stokes'%20Theorem%20to%20get%20%24%5Cint_Xf%5E%7B*%7Dw%20%3D%20%5Cint_%7B%5Cpartial%20W%7Df%5E%7B*%7Dw%24%20(nothing%20happens%20this%20step)%20%24%3D%20%5Cint_%7BW%7Dd(f%5E%7B*%7Dw)%24%20(apply%20the%20theorem)%20%24%3D%20%5Cint_Wf%5E%7B*%7D(dw)%24%20(by%20properties%20of%20the%20exterior%20derivative)%2C%20and%20by%20the%20definition%20of%20a%20closed%20differential%20form%20it%20equals%20%240%24%20as%20desires.%0A%0A%20%20%20%20%23%23%23%20Exercise%209%0A%0A%20%20%20%20**Suppose%20that%20%24f_0%2Cf_1%20%3A%20X%5Cto%20Y%24%20are%20homotopic%20maps%20and%20that%20the%20compact%2C%20boundary-less%20manifold%20%24X%24%20has%20dimension%20%24k%24%2C%20prove%20that%20for%20all%20closed%20%24k%24-forms%20%24w%24%20on%20%24Y%24%2C%20%24%5Cint_Xf_0%5E%7B*%7Dw%20%3D%20%5Cint_Xf_1%5E%7B*%7Dw%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Say%20the%20homotopy%20is%20given%20by%20%24F%3AX%20%5Ctimes%20%5B0%2C1%5D%20%5Cto%20Y%24%2C%20we%20know%20from%20previous%20materials%20that%20%24X%20%5Ctimes%20%5B0%2C1%5D%24%20is%20a%20%24k%24-manifold%20with%20boundary%20%24X%20%5Ctimes%20%5Clbrace%200%2C1%20%5Crbrace%24.%20By%20assumption%20(restriction%20of)%20%24F%24%20is%20smooth%20on%20%24X%20%5Ctimes%20%5Clbrace%200%2C1%20%5Crbrace%24%20and%20is%20defined%20on%20%24X%20%5Ctimes%20%5B0%2C1%5D%24.%20Also%20that%20%24w%24%20is%20closed%20by%20assumption%2C%20we%20can%20thus%20use%20the%20previous%20exercise%20to%20get%20that%20%24%5Cint_%7BX%20%5Ctimes%20%5Clbrace%200%2C1%20%5Crbrace%7DF%5E%7B*%7Dw%20%3D%200%24.%0A%0A%20%20%20%20While%20on%20the%20other%20hand%2C%20we%20can%20write%20%24%5Cint_%7BX%20%5Ctimes%20%5Clbrace%200%2C1%20%5Crbrace%7DF%5E%7B*%7Dw%24%20(the%20two%20parts%20have%20different%20orientations)%20%24%3D%20%5Cint_%7B-X%20%5Ctimes%20%5Clbrace%200%20%5Crbrace%7DF%5E%7B*%7Dw%20%2B%20%5Cint_%7BX%20%5Ctimes%20%5Clbrace%201%20%5Crbrace%7DF%5E%7B*%7Dw%24%20%24%3D%20-%20%5Cint_%7BX%20%5Ctimes%20%5Clbrace%200%20%5Crbrace%7DF%5E%7B*%7Dw%20%2B%20%5Cint_%7BX%20%5Ctimes%20%5Clbrace%201%20%5Crbrace%7DF%5E%7B*%7Dw%24%2C%20now%20by%20assumption%20of%20the%20homotopy%20we%20have%2C%20%24F%24%20restricted%20on%20%24X%20%5Ctimes%20%5Clbrace%200%20%5Crbrace%24%20is%20simply%20%24f_0%24%20and%20%24X%20%5Ctimes%20%5Clbrace%200%20%5Crbrace%24%20is%20just%20the%20same%20as%20%24X%24%20(respectively%2C%20%241%24).%20So%20we%20can%20write%20%24%3D%20-%5Cint_Xf%5E%7B*%7D_0w%20%2B%20%5Cint_Xf%5E%7B*%7D_1w%24.%20Recall%20that%20it%20equals%20%240%24%2C%20thus%20we%20have%20that%20%24%5Cint_Xf%5E%7B*%7D_0w%20%3D%20%5Cint_Xf%5E%7B*%7D_1w%24%20as%20desired.%0A%0A%20%20%20%20%23%23%23%20Exercise%2010%0A%0A%20%20%20%20**Show%20that%20if%20%24X%24%20is%20a%20simply%20connected%20manifold%2C%20then%20%24%5Coint_%7B%5Cgamma%7Dw%20%3D%200%24%20for%20all%20closed%20%241%24-forms%20%24w%24%20on%20%24X%24%20and%20all%20closed%20curves%20%24%5Cgamma%24%20in%20%24X%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20definition%20of%20simply%20connected%20manifold%2C%20let%20%24r%3AS%5E1%20%5Cto%20X%24%20be%20(the)%20smooth%20map%20with%20image%20%24%5Cgamma%24%2C%20it%20is%20homotopic%20to%20some%20constant%20map%20%24c%3A%20S%5E1%20%5Cto%20X%2C%20x%20%5Cmapsto%20c%24.%0A%0A%20%20%20%20Now%20%24S%5E1%24%20is%20a%20compact%2C%20boundary-less%20manifold%20with%20dimension%20%241%24%2C%20since%20%24w%24%20is%20a%20closed%20%241%24-form%2C%20we%20can%20apply%20exercise%209%20to%20get%20%24%5Coint_%7B%5Cgamma%7Dw%20%3D%5Cint_%7BS%5E1%7Dr%5E%7B*%7Dw%20%3D%20%5Cint_%7BS%5E1%7Dc%5E%7B*%7Dw%24%20(first%20equality%20by%20change%20of%20variable).%0A%0A%20%20%20%20Now%20consider%20%24D(0%2C1)%24%2C%20it%20has%20%24S%5E1%24%20as%20its%20boundary%2C%20%24D(0%2C1)%24%20is%20closed%20and%20bounded%20thus%20compact%2C%20%24c%24%20is%20a%20smooth%20(constant)%20map%20on%20%24S%5E1%24%2C%20and%20it%20can%20be%20easily%20extended%20to%20%24D(0%2C1)%24%2C%20still%20maps%20everything%20to%20%24c%24.%20Then%20for%20closed%20%241%24-form%20%24w%24%2C%20by%20exercise%208%20we%20have%20that%20%24%5Cint_%7BS%5E1%7Dc%5E%7B*%7Dw%20%3D%200%24%2C%20and%20thus%20we%20have%20the%20desired%20statement.%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