18
$\begingroup$

A continuous bijection $f:\mathbb{R}\to \mathbb{R}$ is an homeomorphism. With the usual metric structure.

I always heard that this fact is true, but anyone shows to me a proof, and I can't prove it. I was tried using the definition of continuity but it is impossible to me conclude that. I tried using the fact that $f$ bijective has an inverse $f^{-1}$ and the fact that $ff^{-1}$ and $f^{-1}f$ are continuous identity, but I can't follow.

  • 0
    @MichaelGreinecker Thanks for your answer. after hint, my question was much easier to prove, but Hint is not very hard to prove I think that I was proved correctly.2012-05-15

1 Answers 1

14

I think that I have the answer using Michael Greinecker hint. I'll first prove it, because I did not saw this theorem before.

Hint: A continuous injective function from the reals to the reals must be strictly increasing or strictly decreasing.

Proof: Let $I=[a,b]$ be a closed interval with $a then without loss of generality I can asume $f(a), I want to prove that $f|_{I}$ is strictly increasing. If not, there exists $x< y$ with $f(x)>f(y)$ by injectivity can't be the equality. If $f(a) intermediate value theorem give me $c\in(a,x)$ such that $f(c)=f(y)$ but it can't be by injectivity. If $f(y) is the same. Hint follows from the fact that if $f$ is strictly increasing in any closed interval, obviously so is in reals. Then $f$ is strictly increasing. $\square$

If image is all, I'll prove that $f^{-1}=g$ is continuous. Is well known that if $f$ is strictly increasing then $g$ so is. I'll prove continuity in some $a\in\mathbb{R}$. Let $\epsilon>0$ then $g(a)-\epsilon/2$ and $g(a)+\epsilon/2$ have preimages let $g(b)=g(a)-\epsilon/2$ and $g(c)=g(a)+\epsilon/2$ then $b by hint, then we obtain $\delta=\min\{|b-a|,|c-a|\}$ then $g$ is continuous, therefore $f$ is a homeomorphism.

  • 4
    I have an alternative proof of the hint here: http://mathoverflow.net/questions/26585/applications-of-connectedness/26619#266192012-05-15