Difference between revisions of "0708-1300/justforfun6"

From Drorbn
Jump to: navigation, search
 
(One intermediate revision by one user not shown)
Line 3: Line 3:
 
On the other hand, to see that the complements of these links are diffeomorphic look at the following figure.
 
On the other hand, to see that the complements of these links are diffeomorphic look at the following figure.
  
[[Image:0708-1300linking.jpeg|thumb|center|240px|]]
+
[[Image:0708-1300linking.jpeg|thumb|center|500px|]]
  
 
In the first part of  the figure we can see the complement of <math>\gamma'_3</math>. Cut this along the disc which boundary is the horizontal circle and you will get something similar to the middle figure. The space that you see between the two discs is not space it is complete emptiness. Rotate the upper disc as indicated by the arrow and you will get the right part of the figure. Finally glue again the two discs and you will get the link <math>\gamma_3</math>.
 
In the first part of  the figure we can see the complement of <math>\gamma'_3</math>. Cut this along the disc which boundary is the horizontal circle and you will get something similar to the middle figure. The space that you see between the two discs is not space it is complete emptiness. Rotate the upper disc as indicated by the arrow and you will get the right part of the figure. Finally glue again the two discs and you will get the link <math>\gamma_3</math>.
  
 
This cut-and-pasting gives us a (maybe non-smooth) homeomorphism but, using the trick of immersing <math>\mathbb{R}^3</math> in <math>S^3</math>, using that this is compact to find a deformation of our map that is smooth we will get the desired diffeomorphism. Or even more simple, if a good drawer paints this picture again it will certainly be smooth enough.
 
This cut-and-pasting gives us a (maybe non-smooth) homeomorphism but, using the trick of immersing <math>\mathbb{R}^3</math> in <math>S^3</math>, using that this is compact to find a deformation of our map that is smooth we will get the desired diffeomorphism. Or even more simple, if a good drawer paints this picture again it will certainly be smooth enough.

Latest revision as of 17:43, 13 December 2007

We can see that the linking number of any pair of components in \gamma_3 is non zero while there is a pair of components of \gamma'_3 having linking number zero. For this we need to find a practical way to compute the linking number but this comes with the solution of problem 4.3 of this homework.

On the other hand, to see that the complements of these links are diffeomorphic look at the following figure.

0708-1300linking.jpeg

In the first part of the figure we can see the complement of \gamma'_3. Cut this along the disc which boundary is the horizontal circle and you will get something similar to the middle figure. The space that you see between the two discs is not space it is complete emptiness. Rotate the upper disc as indicated by the arrow and you will get the right part of the figure. Finally glue again the two discs and you will get the link \gamma_3.

This cut-and-pasting gives us a (maybe non-smooth) homeomorphism but, using the trick of immersing \mathbb{R}^3 in S^3, using that this is compact to find a deformation of our map that is smooth we will get the desired diffeomorphism. Or even more simple, if a good drawer paints this picture again it will certainly be smooth enough.