5

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.

Myshkin
  • 35,974
  • 27
  • 154
  • 332

1 Answers1

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