Difference between revisions of "07081300/Class notes for Tuesday, March 18"
Line 1:  Line 1:  
+  {{07081300/Navigation}}  
+  
==Typed Notes==  ==Typed Notes==  
+  
+  <span style="color: red;">The notes below are by the students and for the students. Hopefully they are useful, but they come with no guarantee of any kind.</span>  
===First Hour===  ===First Hour===  
Line 84:  Line 88:  
−  '''Corollary''' Every f:S^2\rightarrow S^2 has a fixed point, or an antipodal point. Ie. f(x) = x or f(x) = x for some value or x. (Note this is  +  '''Corollary''' Every <math>f:S^2\rightarrow S^2</math> has a fixed point, or an antipodal point. Ie. f(x) = x or f(x) = x for some value or x. (Note this is believed true for 2n not just 2, but the follow proof appears needs some modification to work in dimensions 2n) 
Line 94:  Line 98:  
'''Corollary'''  '''Corollary'''  
−  Every vector field on S^{2n} has a zero, i.e., "on earth there must be a windless points" or "you can't comb the hair on a coconut"  +  Every vector field on <math>S^{2n}</math> has a zero, i.e., "on earth there must be a windless points" or "you can't comb the hair on a coconut" 
''Proof'' A non zero vector field induces a homotopy of I to a which is impossible.  ''Proof'' A non zero vector field induces a homotopy of I to a which is impossible.  
Line 101:  Line 105:  
'''Theorem'''  '''Theorem'''  
−  If f:S^n\rightarrow S^n \ni y_0 is smooth (and every map may be approximated by one) and y_0\in S^n is a regular value (which occurs almost everywhere by Sard's Theorem) and f^{1}(y_0) = \{x_1,\cdots, x_n} then deg f = \sum_{j=1}^k \pm 1 = \sum sign (det  +  If <math>f:S^n\rightarrow S^n \ni y_0</math> is smooth (and every map may be approximated by one) and <math>y_0\in S^n</math> is a regular value (which occurs almost everywhere by Sard's Theorem) and <math>f^{1}(y_0) = \{x_1,\cdots, x_n\}</math> then deg f = <math>\sum_{j=1}^k \pm 1 = \sum</math> sign (det(<math>df_{x_i}</math>)) 
−  .ie. we get +1 if it preserves orientation and 1 if it reverses it. The latter term is done using an identification of the coordinates near x_i  +  .ie. we get +1 if it preserves orientation and 1 if it reverses it. The latter term is done using an identification of the coordinates near <math>x_i</math> with coordinates near <math>y_0</math> using an orientation preserving rotation of <math>S^n</math> 
''Examples''  ''Examples''  
−  1) S^1\rightarrow S^1 via z\mapsto z^k  +  1) <math>S^1\rightarrow S^1</math> via <math>z\mapsto z^k</math> 
This map wraps the circle around itself k times yielding k preimages for each point in the image, all with the same sign.  This map wraps the circle around itself k times yielding k preimages for each point in the image, all with the same sign.  
−  So, deg f = \sum_k +1 = k  +  So, <math>deg f = \sum_k +1 = k</math> 
−  2) Consider the map of a sphere where you place a plastic bag over a sphere, collect the bag at a pole, twist it once, rewrap the sphere, twist and rewrap again k times. Then the deg f = +1 1 +11\cdots = 0  +  2) Consider the map of a sphere where you place a plastic bag over a sphere, collect the bag at a pole, twist it once, rewrap the sphere, twist and rewrap again k times. Then the <math>deg f = +1 1 +11\cdots = 0</math> 
Line 121:  Line 125:  
−  1) Let T:\mathbb{R}^{n+1}\rightarrow\mathbb{R}^{n+1} be linear and norm preserving, T\in M_{n+1\times n+1} and T^{T}T = I. Then, deg T = det T  +  1) Let <math>T:\mathbb{R}^{n+1}\rightarrow\mathbb{R}^{n+1}</math> be linear and norm preserving, <math>T\in M_{n+1\times n+1}</math> and <math>T^{T}T = I</math>. Then, deg T = det T 
Proof: Every rigid rotation is a product of reflections.  Proof: Every rigid rotation is a product of reflections.  
−  2) Let A:\mathbb{R}^N\rightarrow\mathbb{R}^n be any n\times n non singular matrix so that A(\infty)=\infty so this induces a map \tilde{A}:S^n\rightarrow S^n. Then, deg\tilde{A} = sign(det A)  +  2) Let <math>A:\mathbb{R}^N\rightarrow\mathbb{R}^n</math> be any <math>n\times n</math> non singular matrix so that <math>A(\infty)=\infty</math> so this induces a map <math>\tilde{A}:S^n\rightarrow S^n</math>. Then, <math>deg\tilde{A} = sign(det A)</math> 
−  Proof: Gaussian elimination results in making A a product of "elementary matrices" which come in three types: A matrix with 1's along the diagonal except one diagonal entry being \lambda. A matrix which is the identity only with two rows interchanged. A matrix  +  Proof: Gaussian elimination results in making A a product of "elementary matrices" which come in three types: A matrix with 1's along the diagonal except one diagonal entry being <math>\lambda</math>. A matrix which is the identity only with two rows interchanged. A matrix which is the identity with a <math>\lambda</math> in some non diagonal location. 
−  The latter of these is clearly homotopic to the identity by simply turning the \lambda off.  +  The latter of these is clearly homotopic to the identity by simply turning the <math>\lambda</math> off. 
−  The middle of these is just a reflection. The former of these, if \lambda>0 it is clearly homotopic to the identity. But if \lambda<0 then it is homotopic to a reflection.  +  The middle of these is just a reflection. The former of these, if <math>\lambda>0</math> it is clearly homotopic to the identity. But if <math>\lambda<0</math> then it is homotopic to a reflection. 
−  3) f:\mathbb{R}^n\rightarrow\mathbb{R}^n such that f^{1}(0) = 0, df_0 = A non singular, f(\infty) = \infty so f defines \tilde{f}:S^n\rightarrow S^n then deg f = sign(det df_0)  +  3) <math>f:\mathbb{R}^n\rightarrow\mathbb{R}^n</math> such that <math>f^{1}(0) = 0</math>, <math>df_0 = A</math> non singular, <math>f(\infty) = \infty</math> so f defines <math>\tilde{f}:S^n\rightarrow S^n</math> then deg f = sign(det <math>df_0)</math> 
−  Proof: Consider for t\geq 1, f_t(x) := tf(x/1). Then, f_1 = f, f_{\infty}=A. This is a homotopy as it makes good sense for t\in[0,\infty]. So, deg f = deg\tilde{A}  +  Proof: Consider for <math>t\geq 1</math>, <math>f_t(x) := tf(x/1)</math>. Then, <math>f_1 = f</math>, <math>f_{\infty}=A</math>. This is a homotopy as it makes good sense for <math>t\in[0,\infty]</math>. So, <math>deg f = deg\tilde{A}</math> 
−  4) All that remains to prove the theorem is the shift from (0,0) to (x_0,y_0) which induces a rotation at <math>df_{x_0}</math>  +  4) All that remains to prove the theorem is the shift from (0,0) to <math>(x_0,y_0)</math> which induces a rotation at <math>df_{x_0}</math> 
Revision as of 12:25, 18 March 2008

Typed Notes
The notes below are by the students and for the students. Hopefully they are useful, but they come with no guarantee of any kind.
First Hour
Recall we had defined where ,
For , for and equals for
This homology definition satisfies the axioms with the following changes: Exactness only for and the dimension axiom being . Furthermore, instead of additivity we have, under mild conditions of and (ie non empty) define for a disjoint union. Then,
We can actually get the above isomorphism in the following way. There are natural projection maps and from to X and Y respectively that simply contract Y and X respectively to the glued base point. There are also natural inclusion maps and going the other way. Then, and are the two maps in the isomorphism. Proving they are in fact an isomorphism is a homework problem that uses excision to prove it.
is "kinda" natural:
We have a chain complex where where
We thus get that since vacuously.
Therefore,
So,
Note: We have never actually specified that p is positive axiomatically. In fact, for p=n and 0 for works fine for all p's. So, since the spaces we are going to be interested in are those that can be constructed from spheres we really will only encounter non trivial homologies for positive p.
Degrees
then get
We thus define:
has
2) = flip, ie
in all dimensions
deg = deg flip = 1
Proposition
Let be and for i>0
then def f= 1
Proof:
We get two rows of the following sequence, with the induced maps from f going vertically between them:
The resulting diagram from the two rows of the above sequence and the maps induced by f between them in fact commute at all places, where the left square commutes as a result of the properties of the connecting homomorphism
Propositions:
1) if then deg f = deg g
2) then
3) deg a where a is the antipodal map has on
Second Hour
Corollary
If n is even, a is not homotopic to I
Corollary Every has a fixed point, or an antipodal point. Ie. f(x) = x or f(x) = x for some value or x. (Note this is believed true for 2n not just 2, but the follow proof appears needs some modification to work in dimensions 2n)
Proof
Suppose f has no fixed points. Thus x and f(x) are distinct and define a great circle. Thus there is a shortest path from f(x) to x. This uniquely defines a homotopy between f and a. Suppose f also had no antipodal points. Then the same great circle defines a unique homotopy between f and I. But I is not homotopic to a, a contradiction. Q.E.D
Corollary
Every vector field on has a zero, i.e., "on earth there must be a windless points" or "you can't comb the hair on a coconut"
Proof A non zero vector field induces a homotopy of I to a which is impossible.
Theorem
If is smooth (and every map may be approximated by one) and is a regular value (which occurs almost everywhere by Sard's Theorem) and then deg f = sign (det())
.ie. we get +1 if it preserves orientation and 1 if it reverses it. The latter term is done using an identification of the coordinates near with coordinates near using an orientation preserving rotation of
Examples
1) via
This map wraps the circle around itself k times yielding k preimages for each point in the image, all with the same sign.
So,
2) Consider the map of a sphere where you place a plastic bag over a sphere, collect the bag at a pole, twist it once, rewrap the sphere, twist and rewrap again k times. Then the
Proof of Theorem
1) Let be linear and norm preserving, and . Then, deg T = det T
Proof: Every rigid rotation is a product of reflections.
2) Let be any non singular matrix so that so this induces a map . Then,
Proof: Gaussian elimination results in making A a product of "elementary matrices" which come in three types: A matrix with 1's along the diagonal except one diagonal entry being . A matrix which is the identity only with two rows interchanged. A matrix which is the identity with a in some non diagonal location.
The latter of these is clearly homotopic to the identity by simply turning the off.
The middle of these is just a reflection. The former of these, if it is clearly homotopic to the identity. But if then it is homotopic to a reflection.
3) such that , non singular, so f defines then deg f = sign(det
Proof: Consider for , . Then, , . This is a homotopy as it makes good sense for . So,
4) All that remains to prove the theorem is the shift from (0,0) to which induces a rotation at