Difference between revisions of "07081300/Homework Assignment 5"
(→Doing) 

(8 intermediate revisions by 2 users not shown)  
Line 1:  Line 1:  
{{07081300/Navigation}}  {{07081300/Navigation}}  
−  
−  
==Reading==  ==Reading==  
'''Read''' sections 13 of chapter V of Bredon's book three times:  '''Read''' sections 13 of chapter V of Bredon's book three times:  
Line 11:  Line 9:  
==Doing==  ==Doing==  
−  Solve all of the following problems, but submit only your solutions of problems  +  Solve all of the following problems, but submit only your solutions of problems 1, 3, 8, 9 and 10: 
'''Problem 1.''' Let <math>M^n</math> be a manifold. Show that the following definitions for the orientability of <math>M</math> are equivalent:  '''Problem 1.''' Let <math>M^n</math> be a manifold. Show that the following definitions for the orientability of <math>M</math> are equivalent:  
# There exists a nowhere vanishing <math>n</math>form on <math>M</math>.  # There exists a nowhere vanishing <math>n</math>form on <math>M</math>.  
−  # There exists an atlas <math>\{(U_\alpha,\phi_\alpha:U_\alpha\to{\mathbb R}^n)\}</math> for <math>M</math>, so that <math>\det(\phi_\alpha\  +  # There exists an atlas <math>\{(U_\alpha,\phi_\alpha:U_\alpha\to{\mathbb R}^n)\}</math> for <math>M</math>, so that <math>\det((d\phi_\alpha)(d\phi_\beta)^{1})>0</math> wherever that makes sense. 
'''Problem 2.''' Show that the tangent space <math>TM</math> of any manifold <math>M</math> is orientable.  '''Problem 2.''' Show that the tangent space <math>TM</math> of any manifold <math>M</math> is orientable.  
Line 26:  Line 24:  
'''Problem 5.''' Recall that a form is called closed if it is in the kernel of <math>d</math> and exact if it is in the image of <math>d</math>. Show that every exact form is closed.  '''Problem 5.''' Recall that a form is called closed if it is in the kernel of <math>d</math> and exact if it is in the image of <math>d</math>. Show that every exact form is closed.  
+  
+  '''Problem 6.''' Let <math>f:{\mathbb R}_t\to S^1\subset{\mathbb C}</math> be given by <math>f(t)=e^{it}</math>.  
+  # Show that there exists a unique <math>\omega\in\Omega^1(S^1)</math> such that <math>f^\star\omega=dt</math>.  
+  # Show that <math>\omega</math> is closed but not exact.  
+  
+  '''Problem 7.''' Show, directly from the definitions, that every closed 1form on <math>{\mathbb R}^2</math> is exact.  
+  
+  '''Problem 8.''' Compute the integral <math>\int_{S^2}zdx\wedge dy</math> twice:  
+  # Using Stokes' theorem.  
+  # Directly from the definition, by using a one or twochart atlas for <math>S^2</math> (or for <math>S^2</math> minus a single point).  
+  (Repeat 1 and 2 until they stop giving different answers).  
+  
+  '''Problem 9.''' Show that the form <math>\omega_0=xdy\wedge dz+ydz\wedge dx+zdx\wedge dy\in\Omega^2({\mathbb R}^3_{x,y,z})</math> is invariant under rigid orientationpreserving rotations of <math>{\mathbb R}^3</math>. That is, if <math>A</math> is such a rotation matrix (<math>AA^T=I</math> and <math>\det A=1</math>) considered also as a linear transformation <math>A:{\mathbb R}^3\to{\mathbb R}^3</math>, then <math>A^\star\omega_0=\omega_0</math>.  
+  
+  '''Problem 10.''' Let <math>\omega_\alpha</math> be the form <math>(x^2+y^2+z^2)^{\alpha/2}\omega_0</math> defined on <math>{\mathbb R}^3\backslash\{0\}</math>, where <math>\alpha</math> is a real number and <math>\omega_0</math> is the form from the previous question.  
+  # Find a number <math>\alpha</math> so that <math>\omega_\alpha</math> would be closed.  
+  # For that value of <math>\alpha</math>, compute <math>\int_S\omega_\alpha</math>, where <math>S</math> is the sphere of radius <math>r</math> around a point <math>p\in{\mathbb R}^3</math>. (If you end up writing complicated formulas, you missed the point).  
+  # For the same <math>\alpha</math>, is <math>\omega_\alpha</math> exact?  
==Due Date==  ==Due Date==  
Line 31:  Line 47:  
==Just for Fun==  ==Just for Fun==  
+  A planimeter is a (mechanical!) measuring instrument used to measure the area of an arbitrary twodimensional shape by tracing along its boundary; if you have a map of Ontario, for example, you can roll the measuring end of a planimeter counterclockwise around the borders of the province and the gadget will tell you its area. Figure out how a planimeter works, both on the mechanical level and on the mathematical level. Wikipedia has an [http://en.wikipedia.org/wiki/Planimeter explanation] which is is right in the spirit but wrong on the details. Fix it, if you feel inspired (and if you do right and let me know about it, it'll count as a good deed). 
Latest revision as of 11:17, 10 December 2007

Contents 
Reading
Read sections 13 of chapter V of Bredon's book three times:
 First time as if you were reading a novel  quickly and without too much attention to detail, just to learn what the main keywords and concepts and goals are.
 Second time like you were studying for an exam on the subject  slowly and not skipping anything, verifying every little detail.
 And then a third time, again at a quicker pace, to remind yourself of the bigger picture all those little details are there to paint.
Also, do the same with your own class notes  much of what we do for this part of the class is not in the textbook!
Doing
Solve all of the following problems, but submit only your solutions of problems 1, 3, 8, 9 and 10:
Problem 1. Let be a manifold. Show that the following definitions for the orientability of are equivalent:
 There exists a nowhere vanishing form on .
 There exists an atlas for , so that wherever that makes sense.
Problem 2. Show that the tangent space of any manifold is orientable.
Problem 3.
 Show that if and are orientable then so is .
 Show that if and are orientable then so is .
Problem 4. Show that is always orientable.
Problem 5. Recall that a form is called closed if it is in the kernel of and exact if it is in the image of . Show that every exact form is closed.
Problem 6. Let be given by .
 Show that there exists a unique such that .
 Show that is closed but not exact.
Problem 7. Show, directly from the definitions, that every closed 1form on is exact.
Problem 8. Compute the integral twice:
 Using Stokes' theorem.
 Directly from the definition, by using a one or twochart atlas for (or for minus a single point).
(Repeat 1 and 2 until they stop giving different answers).
Problem 9. Show that the form is invariant under rigid orientationpreserving rotations of . That is, if is such a rotation matrix ( and ) considered also as a linear transformation , then .
Problem 10. Let be the form defined on , where is a real number and is the form from the previous question.
 Find a number so that would be closed.
 For that value of , compute , where is the sphere of radius around a point . (If you end up writing complicated formulas, you missed the point).
 For the same , is exact?
Due Date
This assignment is due in class on Thursday December 6, 2007.
Just for Fun
A planimeter is a (mechanical!) measuring instrument used to measure the area of an arbitrary twodimensional shape by tracing along its boundary; if you have a map of Ontario, for example, you can roll the measuring end of a planimeter counterclockwise around the borders of the province and the gadget will tell you its area. Figure out how a planimeter works, both on the mechanical level and on the mathematical level. Wikipedia has an explanation which is is right in the spirit but wrong on the details. Fix it, if you feel inspired (and if you do right and let me know about it, it'll count as a good deed).