0708-1300/Hawaiian Earring

From Drorbn
Revision as of 18:24, 10 January 2008 by Franklin (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.