Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$f: M\to M$ an isometry between metric spaces, is $f$ bijective?

$f$ obviously is injective. I proved bijection for $M=\mathbb{R}^n$. But I'm not sure if is true in general metric spaces.

share|cite|improve this question
up vote 11 down vote accepted

Let $M = \mathbb{N}$ with the inherited metric from $\mathbb{R}$. Then the fuction $f(x) = x+1$ is an isometry, but is not surjective. As Yoni points out in the comments, one can use $(0,\infty)$ in place of $\mathbb{N}$ if, say, one wants a connected example.

Further, we can do a similar thing on any infinite space with discrete metric.

Incidentally, when $M$ is compact, any isometry must be surjective. See the corresponding question asked here.

share|cite|improve this answer
You can also take the positive ray $\Bbb{R}^+$, and the same function $f(x) = x+1$ is an injective isometry that is not surjective. – Yoni Rozenshein Mar 25 '13 at 4:28

Jasons answers give a very nice example, but there are even examples when you have much more than only a metric. Just giving an example for Hilbert spaces. Taking $\ell^2$ with the norm $$\|(a_k)_{k\in \mathbb{N}}\|=\sum_{k=0}^\infty |a_k|^2$$ (which is induced from the skalarproduct) $$\langle (a_k)_{k \in \mathbb{N}}, (b_k)_{k\in \mathbb{N}}\rangle= \sum_{k=0}^\infty a_k b_k $$ and taking something like a switch function so that $$f(a_0,a_1,a_2,\dots)=(0,a_0,a_1,a_2,\dots)$$ This one is obviously an isometry, but obviously not surjective.

For Hilbertspaces there are no finite dimensional examples, as with a scalarproduct ones always get that a isometry is affine linear (I will consider the linear cases which doesn't make a big difference), and as every isometry is injective the kernel is trivial (here I say it is linear) and hence the isometry is in finite dimensional case a bijection.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.