5
$\begingroup$

Let $e^{2 \pi i k s} = f(s)$, $f \colon [0,1] \to S^1$ subset of Complex numbers ($S^1$ = unit circle at origin). So $f$ is a loop at the basepoint $1$ in $S^1$. Show that it is not homotopic to the constant loop $c(s) = 1$. This is obvious, but what is a more rigorous way of showing it. Oh yeah, $k$ is an an integer not equal to $0$.

Without reference to complex analysis (I'm looking for a really simple kid proof).

  • 0
    Actually, what do you mean by this? S^1 is nullhomotopic in the plane.2011-03-19
  • 0
    I mean if S^1 were treated as a topological space. What I am doing is making a really simplified proof that the fundamental group of S^1 is Z and the above is the last step.2011-03-19
  • 0
    Do you know the theory of covering spaces? Or are you looking for a proof without covering spaces?2011-03-19
  • 0
    I get to that next in my book, but no I am not familiar with it yet.2011-03-19
  • 1
    @user5237: I think if you wish to avoid complex analysis, arguments to show $\pi_1(S^1) \simeq \mathbb{Z}$ you would need to use path lifting - see for example Hatchers book, or Peter May's notes www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf or a wiki with pretty pictures (http://en.wikibooks.org/wiki/Topology/The_fundamental_group)2011-03-19
  • 0
    @user5237: I would also add - I kind of like the complex analysis proof using the winding number - it seems clearer to me than path lifting.2011-03-19
  • 1
    covering spaces are almost always introduced by looking at $\mathbb{R}$ over $S^1$ and proving $\pi_1(S^1)\cong\mathbb{Z}$. take a look at hatcher's free book. i would say there isnt a "simple kid proof", it takes a little work to prove this rigorously.2011-03-19

1 Answers 1