11
$\begingroup$

We defined an isometry to be a bijection $f:X\rightarrow X'$ such that $d'(f(x_1),f(x_2))=d(x_1,x_2)$ $\forall x_1,x_2\in X$. Show that any isometry is a homeomorphism.

So my definition of homeomorphism is that a function $f:X\rightarrow X'$ is a homeomorphism if $f$ is a bijection and $f^{-1}$ is continuous. So I have to show that

(a) $f$ is continuous.

$\forall\epsilon>0$ pick $\delta=f^{-1}(\epsilon)$. Then it follows that $d(x_1,x_2)<\delta\implies d'(f(x_1),f(x_2))<\epsilon.$

(b) $f^{-1}$ is continuous. Is this just a reverse of (a)?

$\endgroup$
2
  • 3
    $\begingroup$ $\delta=f^{-1}(\epsilon)$ makes no sense. It seems you are making things way too complicated. $\endgroup$ Mar 15, 2012 at 16:26
  • 3
    $\begingroup$ That is not the definition of "homeomorphism". A homeomorphism is a continuous bijection whose inverse is continuous. $\endgroup$ Mar 15, 2012 at 17:30

1 Answer 1

16
$\begingroup$

$f^{-1}(\epsilon)$ does not make sense: $f^{-1}$ is a function that maps from $X$ to $X$, not from $\mathbb{R}$ to $\mathbb{R}$. So you certainly cannot pick $\delta=f^{-1}(\epsilon)$.

To show that $f$ is continuous, note that given $\epsilon\gt 0$ if $d(x_1,x_2)\lt\epsilon$ then $d'(f(x_1),f(x_2))=d(x_1,x_2) \lt \epsilon$; this proves that $f$ is (uniformly) continuous (with $\delta=\epsilon$).

To show that $f^{-1}$ is continuous, simply note that it is an isometry, so by the first part, it is continuous as well.

$\endgroup$
1
  • 3
    $\begingroup$ I think it should be $f^{-1}$ is a function that maps from $X'$ to $X$ $\endgroup$
    – cabmetric
    Nov 1, 2021 at 9:23

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .