Difference between revisions of "0708-1300/Hawaiian Earring"

From Drorbn
Jump to: navigation, search
 
 
Line 1: Line 1:
 +
{{0708-1300/Navigation}}
 +
Back to [[0708-1300/Homework Assignment 7]].
 +
 
Assume <math>r\in[0,1)</math> and <math>r=0.a_1a_2...</math> is a decimal expansion without an infinite tail of nines.
 
Assume <math>r\in[0,1)</math> and <math>r=0.a_1a_2...</math> is a decimal expansion without an infinite tail of nines.
 
Let <math>\gamma</math> be a path that goes around the first (the largest) circle <math>a_1</math> times, then <math>a_2</math> times around the second and so on. Observe that thanks to the shrinking of the circles it is possible the continuity of the curve at time <math>1</math> for the irrational numbers. Proving that two such curves belongs to different homotopy classes tell us that the number of homotopy classes is uncountable.
 
Let <math>\gamma</math> be a path that goes around the first (the largest) circle <math>a_1</math> times, then <math>a_2</math> times around the second and so on. Observe that thanks to the shrinking of the circles it is possible the continuity of the curve at time <math>1</math> for the irrational numbers. Proving that two such curves belongs to different homotopy classes tell us that the number of homotopy classes is uncountable.
  
 
Now, assume that two such curves, corresponding to two different real numbers, are homotopic. Let <math>k</math> be the first decimal digit in which the numbers differ and <math>P_k</math> the quotient map of identifying all the circles but the <math>k</math>-th one to the joint point. if <math>H</math> is a homotopy of the curves then <math>P_k\circ H</math> is a homotopy of the projection of the curves which winds a different number of times. But this contradict the computation of the fundamental group o the circle.
 
Now, assume that two such curves, corresponding to two different real numbers, are homotopic. Let <math>k</math> be the first decimal digit in which the numbers differ and <math>P_k</math> the quotient map of identifying all the circles but the <math>k</math>-th one to the joint point. if <math>H</math> is a homotopy of the curves then <math>P_k\circ H</math> is a homotopy of the projection of the curves which winds a different number of times. But this contradict the computation of the fundamental group o the circle.

Latest revision as of 11:23, 24 April 2008

Announcements go here

Back to 0708-1300/Homework Assignment 7.

Assume r\in[0,1) and r=0.a_1a_2... is a decimal expansion without an infinite tail of nines. Let \gamma be a path that goes around the first (the largest) circle a_1 times, then a_2 times around the second and so on. Observe that thanks to the shrinking of the circles it is possible the continuity of the curve at time 1 for the irrational numbers. Proving that two such curves belongs to different homotopy classes tell us that the number of homotopy classes is uncountable.

Now, assume that two such curves, corresponding to two different real numbers, are homotopic. Let k be the first decimal digit in which the numbers differ and P_k the quotient map of identifying all the circles but the k-th one to the joint point. if H is a homotopy of the curves then P_k\circ H is a homotopy of the projection of the curves which winds a different number of times. But this contradict the computation of the fundamental group o the circle.