Skip to main content
3 of 5
replaced deprecated tag 'topology'; risked adding 'gt.geometric-topology' (I am not sure it is entirely appropriate)
Ricardo Andrade
  • 6.2k
  • 5
  • 42
  • 69

A function composed with itself produces the identity

Let $B$ be the closed unit ball in $\mathbb R^3$ and $f: B\to B$ continuous, such that $f\circ f$ is the identity (i.e., $f\circ f=\mathbb 1_B$) and $f$ restricted on $\partial B$ is also the identity (i.e., $f|_{\partial B}=\mathbb 1_{\partial B}$). Does that imply that $f$ is the identity on $B$?

smyrlis
  • 2.9k
  • 1
  • 22
  • 42