Let $f:S^{1}\rightarrow S^{1}$ be a continous map such that $f$ is homotopic to a constant function $c_{x_{0}}$. Then $f$ has a fixed point.
I already know how to prove this using fixed point theorem, but I would like to try another approach.
We can lift $f$ to a map $\tilde{f} :S^{1}\rightarrow\mathbb{R}$ by considering the classical covering map
$$p:\mathbb{R}\rightarrow S^{1}.$$ The idea is that, since $p(\tilde{f}(x))=f(x)$, then $f(x)=x=e^{2\pi i\theta}$ if and only if $\tilde{f}(x)-\theta\in\mathbb{Z}$, but I don't see an easy way to prove this. Can someone help me?
Best Answer
Since each constant map $c : S^1 \to S^1$ trivially has a lift $\tilde c : S^1 \to \mathbb R$, the homotopy lifting theorem shows each $f$ which is homotopic to a constant map has a lift $\tilde f : S^1 \to \mathbb R$.
$\tilde f(S^1)$ is a compact connected subset of $\mathbb R$, thus a closed interval $J = [a,b]$. It may be degenerate ($a = b)$.
Consider the map $F : J \to J, F(t) = \tilde f(p(t))$. We have $$p(F(t)) = p(\tilde f(p(t)) = f(p(t)) . $$
$F$ has a fixed point $t_0 \in J$. For $a < b$ this is a consequence of the IVT. Let $z_0 = p(t_0)$. Then $$f(z_0) = f(p(t_0)) = p(F(t_0)) = p(t_0) = z_0 . $$