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

Homework Help: Real Analysis Question

  1. Oct 13, 2004 #1
    Show that the intervals (0,1) and [0,1] are equivalent. (Hint: consider rationals and irrationals separately).

    I'm able to find a function that shows a bijection between (0,1) an [0,1] under the irrationals, but i can't figure out the rationals. Also... the next step (i believe) would be to find a bijection between these two functions. If anybody can help me figure out an answer to this problem that would be so awesome! Thanks so much, guys!
  2. jcsd
  3. Oct 13, 2004 #2
    i'm not really good at this but i think this would be relevant to the proof

    In both cases the supremum (least upper bound) is 1 and the greatest lower bound is 0.

    Also for all x in (0,1) 0<x<1
    and for for all x in [0,1], 0<=x<=1, and it follows that 0<x<1 for this interval as well.

    Thus (0,1) is a subinterval of [0,1]

    If you are familiar with delta-epsilon proofs you might want to prove that

    0 + delta < x < 1 + delta is equivalent to 0<=x<=1 for a suitable delta > 0.
  4. Oct 13, 2004 #3


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    The set of rational numbers is countable. That means that the set of rationals in (0,1) can be arranged in a sequence, like this:

    [tex]r_2, r_3, r_4,\dots[/tex]

    If you define




    The function f defined by


    maps the rationals in [0,1] bijectively onto the rationals in (0,1).
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook