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!

An elementary analysis problem that I would like a hint on.

  1. Aug 14, 2013 #1
    I could probably find the answer to this problem easily by a quick google search, but I don't want to spoil it. Instead, could someone give me a hint in the right direction?



    rational_zpse301832c.png

    Ok, so it seems to me like a contradiction would work here. It seems like directly proving the existence of an irrational between two arbitrary real numbers would be impossible.

    Assuming that EVERY number between two arbitrary numbers is rational seems like a good ground for a contradiction. Now I thought of two things from here,

    Consider that [itex]a < (a + b)/2 < b[/itex] and show [itex](a + b)/2[/itex] is irrational. But that won't work because a and b could be rational.

    Next, I thought to consider the geometric mean [itex]a < \sqrt{ab} < b[/itex] and show that [itex]\sqrt{ab}[/itex] is irrational. But this is a problem because if one of a or b is negative, the geometric mean does not exist.

    Now I only have access to bare bones tools like the fact that the real numbers is a field, the axiom of completeness, and the Archimedean Principle.

    The Archimedean Principle appears useful, but I'm not sure how to cook up an irrational number using it.
     
  2. jcsd
  3. Aug 14, 2013 #2

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    ##\sqrt{ab}## is still a good place to start. Just use ##\pm\sqrt{|a|\,|b|}## instead, with the sign selected appropriately. Now the only problems are with a=0 or b=0, and those are easy special cases.
     
  4. Aug 14, 2013 #3

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Technically, you need to show that the square root exists.

    Also, what if ##a=1## and ##b=4##, for example?
     
  5. Aug 14, 2013 #4

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    What happens if you multiply every element of the rationals by a fixed irrational? What can you say about the resulting set?
     
  6. Aug 14, 2013 #5

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Did you prove that the rationals are dense in the reals yet? If not, you might want to do that first...
     
  7. Aug 14, 2013 #6

    jbunniii

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Another approach would be to use a cardinality argument. This assumes you have already established that ##\mathbb{Q}## is countable and ##\mathbb{R}## is uncountable. Given these facts, what can you say about the cardinality of the interval ##(a,b)##, and what can you conclude from that?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted