PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] local homeomorphisms between real numbers (Theorem)

Proposition. Let $I$ be an open interval and $f:I\to\mathbb{R}$ be a continuous map. Then $f$ is a local homeomorphism if and only if $f$ is a homeomorphism onto image.

Proof. ,,$\Leftarrow$ '' If $f$ is a homeomorphism onto image, then (in particular) $f$ is monotonic and continuous, thus $f(I)$ is open in $\mathbb{R}$ (please, see this entry for more details). It is easy to see that therefore $f$ is a local homeomorphism.

,,$\Rightarrow$ '' Assume that $f$ is not a homeomorphism onto image. It is well known, that this implies that $f$ is not injective (please, see this entry for more details). Let $x,y\in I$ be such that $x<y$ and $f(x)=f(y)$ . Then there exists $c\in I$ such that $x<c<y$ and $c$ is a local maximum of $f$ . Thus (since $f$ is a Darboux function) for any $\varepsilon>0$ there are points $x_{\varepsilon}, y_{\varepsilon}\in(c-\varepsilon,c+\varepsilon)$ such that $f(x_{\varepsilon})=f(y_{\varepsilon})$ . This obviously implies that $f$ cannot be locally inverted around $c$ . $\square$




"local homeomorphisms between real numbers" is owned by joking.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: points, function, local maximum, injective, implies, easy to see, open, monotonic, image, onto, homeomorphism, local homeomorphism, continuous map, open interval, proposition

This is version 2 of local homeomorphisms between real numbers, born on 2009-04-18, modified 2009-04-19.
Object id is 11744, canonical name is LocalHomeomorphismsBetweenRealNumbers.
Accessed 417 times total.

Classification:
AMS MSC54C05 (General topology :: Maps and general types of spaces defined by maps :: Continuous maps)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)