Is it true that there exist $x\in S^1$ such that $f(x)=x$ where $f:D\rightarrow S^1$ is a continuous map. $D$ is closed unit disk.
Asked
Active
Viewed 826 times
1 Answers
12
Yes, by the Brouwer fixed-point theorem (we consider $f$ to be a map from $D$ to $D$, which is OK, as $S^1 \subset D$, and the map remains continuous when we extend the codomain trivially like this). The promised fixed point must lie on $S^1$ (as all values of $f$).
Henno Brandsma
- 242,131