Register to reply

How to show that a locally diffeomorphic mapping from R to R is open?

Share this thread:
Relative0
#1
Feb28-13, 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
Phys.Org News Partner Science news on Phys.org
Scientists discover RNA modifications in some unexpected places
Scientists discover tropical tree microbiome in Panama
'Squid skin' metamaterials project yields vivid color display
micromass
#2
Mar1-13, 03:56 AM
Mentor
micromass's Avatar
P: 18,346
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".
Bacle2
#3
Mar1-13, 08:03 PM
Sci Advisor
P: 1,172
Quote Quote by Relative0 View Post
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
Think about the standard result that tells you when you have a local diffeomorphism, and see the obstacle to having the local diffeomorphism extended to a global diffeomorphism.

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

Bacle2
#4
Apr7-13, 12:33 PM
Sci Advisor
P: 1,172
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 2-tori 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 non-standard metric Calculus & Beyond Homework 4
Show R^2 is locally compact with non-standard metric: I need help Calculus & Beyond Homework 2