Skip to main content
2 of 2
added 62 characters in body
Andrej Bauer
  • 48.8k
  • 11
  • 131
  • 239

Is every 1-Lipschitz homeomorphism $f:X\to X$ from a compact metric space to itself an isometry?

I found a statement involving a homeomorphism $f:X\to X$ of a compact metric space $X$, with Lipshitz coefficient 1, i.e., a non-expansive map, and cannot think of an example where $f$ is not an isometry. Must it be?

Saúl RM
  • 10.6k
  • 2
  • 28
  • 48