8
$\begingroup$

Let $(M,d)$ be a compact metric space and $f: M \rightarrow M$ a continuous function. I'm trying to prove that if $d(f(x),f(y)) \geq d(x,y)$ for every $x,y \in M$, then $f$ is an isometry. This is how far I could get: Since $f$ is a continuous function, the set $\{(x,y) \in M \times M : d(f(x),f(y)) = d(x,y)\}$ is closed, and hence compact. By symmetry, it is of the form $N \times N$. Thus, $N$ (with the metric induced by $M$) is a compact metric space such that $d(f(x),f(y)) = d(x,y)$ for every $x,y \in N$. I already know that this implies that the restriction of $f$ to $N$ is an isometry of $N$, but how to prove that the open set $M \setminus N$ is empty?

  • 6
    Hint: suppose $x,y\in M$ are such that $d(fx,fy)>d(x,y)$. By induction, get a sequence of points $z_n$ such that $d(z_n,y)>d(z_{n-1},y)$ for all $n$. Combine with compactness of $M$.2011-07-14
  • 2
    A good exercise as a follow-up: prove that $f$ must also be surjective.2011-07-14

1 Answers 1