Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

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

  1. Feb 28, 2013 #1
    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. jcsd
  3. Mar 1, 2013 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Re: How to show that a locally diffeomorphic mapping from R to R is op

    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".
     
  4. Mar 1, 2013 #3

    Bacle2

    User Avatar
    Science Advisor

    Re: How to show that a locally diffeomorphic mapping from R to R is op

    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.
     
    Last edited: Mar 1, 2013
  5. Apr 7, 2013 #4

    Bacle2

    User Avatar
    Science Advisor

    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).
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: How to show that a locally diffeomorphic mapping from R to R is open?
Loading...