How to show that a locally diffeomorphic mapping from R to R is open?by Relative0 Tags: diffeomorphism, manifold, neighborhood, real line 

#1
Feb2813, 11:24 AM

P: 11

Let f: R > R be a local diffeomorphism (diffeomrophism in a neighborhood of each point). Show that the image of R under f is an open interval. Furthermore show that f is a diffeomorphism of R on to f(R).
Ok, here is what I am thinking.. that since we are dealing with a "diffeomorphism" we have a bijective differential morphism between manifolds whose inverse is also bijective (a differentiable homomorphism). Now since we are dealing with diffeomorphisms, we are dealing with manifolds (can I say this?). If we are dealing with manifolds then we have some sort of natural Topology on it (locally) as each point on the manifold can be mapped to Euclidean space of some dimension, and because of such we have an infinitely huge Open ball of a neighborhood?? but in this case an infinite line which is open. Now I am not sure what is meant by showing that "the image of R under f is an open interval"  I am guessing we are just dealing with the whole of R? and since R is infinite it is open and since mapping an open set gives an open set we have that f(R) is open? Please forgive the lack of equations in the above  but don't know how this would look. perhaps I should try to say something as f(ε,ε) → ℝ [itex]\forall[/itex] ε > 0. Now for the second part  to show that f is a diffeomorphism of R on to f(R). Now I don't know how to interpret that.. is f somehow going from R to f(R) which goes to R? I understand that both R and f(R) are on the real line and so it seems like I am just mapping it back to itself and can find an infinite amount of points (of the same cardinality of infinity) that map to one another. Any thoughts would be very appreciated, Brian 



#2
Mar113, 03:56 AM

Mentor
P: 16,565

You're only dealing with [itex]\mathbb{R}[/itex] here. This is a very simple space. There is no need to go talking about manifolds since that is a notion that is much more complex.
I would like to hear from you the exact, rigorous definition of "local diffeomorphism". 



#3
Mar113, 08:03 PM

Sci Advisor
P: 1,168

Edit: I am assuming the local diffeo means every point has a 'hood diffeo. to R^n. 



#4
Apr713, 12:33 PM

Sci Advisor
P: 1,168

How to show that a locally diffeomorphic mapping from R to R is open?
I thought of this some more:
Let R be the copy in thedomain and R' in the codomain If every x has a 'hood Ux ( we can take an open 'hood) and a local diffeo f_x : Ux>f(Ux)., then f(Ux) is open in R' . Then we only need to find a cover of f(R) by balls f(Ux_j), with Ux_j associated to xj as Ux is associated with Ux. Each f(Ux_j) is open in R' , and the union of f(Ux_j)'s should cover f(R). 


Register to reply 
Related Discussions  
Show that an analytic mapping is an open mapping  Calculus & Beyond Homework  6  
How to show 2tori is diffeomorphic to S^3  Differential Geometry  4  
An open mapping is not necessarily a closed mapping in functional analysis  Calculus  4  
Show R^2 is locally compact with nonstandard metric  Calculus & Beyond Homework  4  
Show R^2 is locally compact with nonstandard metric: I need help  Calculus & Beyond Homework  2 