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!

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

    Fredrik

    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

    [tex]r_0=0[/tex]

    and

    [tex]r_1=1[/tex]

    The function f defined by

    [tex]f(r_n)=r_{n+2}[/tex]

    maps the rationals in [0,1] bijectively onto the rationals in (0,1).
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Real Analysis Question
  1. Real easy question (Replies: 1)

  2. Real analysis (Replies: 2)

Loading...