1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Order isomorphism f:R->R

  1. Jan 4, 2009 #1
    order isomorphism f:R-->R

    let f is order isomorphism from (R,<) to (R,<). why f is continuous ?
    so f is bijection and a<b <--> f(a)<f(b), so what ?
  2. jcsd
  3. Jan 6, 2009 #2


    User Avatar
    Staff Emeritus
    Science Advisor

    Re: order isomorphism f:R-->R

    f maps the interval [a, a+ epsilon] one to one and onto the interval [f(a),f(a+ epsilon)]. As epsilong goes to 0, f(a+ epsilon) must go to a, hence continuity.
  4. Jan 7, 2009 #3
    Re: order isomorphism f:R-->R

    Another way of proving it is by showing that inverse images of open sets of R (in the order topology) are open. This is easy; testing just elements of a basis for the topology (such as the set of bounded open intervals) suffices. Given an open interval (c, d), c = f(a) and d = f(b) for some a and b, and it's easy to see that f-1((c, d)) = (a, b), which is open.

    (This works equally well for any ordered set.)
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Order isomorphism f:R->R
  1. Order isomorphism (Replies: 2)