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

Differentproof there are more irrational numbers than rational numbers

  1. Jul 6, 2013 #1
    you can list and match up all rational numbers with irrational numbers this way..

    lets say i have an irrational number 'c'.

    There exists an irrational number that is not on this matching, (not equal to any of the crx's)

    this irrational number can be made by multiplying c to another irrational number 'b'

    and I can prove that this is not on the list because cb never equals crx because b is irrational and rx is rational

    is this a valid proof?
  2. jcsd
  3. Jul 6, 2013 #2
    You also need to prove that the product of an irrational number and a rational number is irrational, otherwise it is possible that some of the numbers on the right hand side of the list are rational, and also that it is possible to select b such that bc is irrational, otherwise the fact that bc is not on the right hand side of the list means nothing.
    Last edited: Jul 6, 2013
  4. Jul 6, 2013 #3
    well, if we assume crx is rational then c must be rational which is not the case (proof by contradiction)
  5. Jul 6, 2013 #4


    User Avatar
    Science Advisor


    Try the same approach substituting "algebraic" for "irrational". The "proof" looks the same. However "algebraic" numbers form a countable set.
  6. Jul 6, 2013 #5

    This also does not address how to choose b.
  7. Jul 6, 2013 #6
    Actually Mathman is right - the whole approach is flawed. Just because one mapping from members of set A to set B does not span all the elements of set B does not prove that set B has a higher cardinality than set A.

    Take for instance the mapping of integers ## k ## to ## 2k ##. There are integers not on the right hand side, but this does not mean that there are more integers than there are integers!
  8. Jul 6, 2013 #7
    well, how did the diagonalization argument side-step this problem?

    if im not mistaken, you're saying that i need show there exists no bijection in any kind of listing?
  9. Jul 6, 2013 #8
    The diagonalization argument works because it considers every kind of listing. That is: you take an arbitrary listing, then diagonalization says it can't work. If the diagonalization argument only considered one specific listing, then it wouldn't work.
  10. Jul 7, 2013 #9
    that's absolutely right

    how can i show that without diagonalization?
  11. Jul 7, 2013 #10
    Show what?
  12. Jul 7, 2013 #11
    show something that can be generalized to every possible bijection (without the logic behind diagonalization).

    and also, can i show that one infinite set is bigger than the other if there is at least one matching that is infinite to one (for all elements).
  13. Jul 7, 2013 #12


    User Avatar
    Science Advisor

    Well, you can use your map to inject the rationals into the irrationals, but , if it were also possible to inject the irrationals into the rationals, you would have a bijection between the two--by Schroeder-Bernstein.
  14. Jul 8, 2013 #13
    can't I really do this? cause it really looks like i can

    i understand that everything that everyone above is true and im grateful for such smart replies

    but my intuition tells me that this is "kind of" valid

    for every rational, i can construct an irrational which gives a bijection
    there is NO WAY of creating another rational that is not accounted for
    and there are infinitely many ways of creating another irrational that is not yet accounted for

    it seems valid in the perspective of constructivism
  15. Jul 8, 2013 #14
    No you can't.

    No, that's an injection. A bijection goes both ways.

    So what? ## \aleph_0 + \aleph_0 = \aleph_0 ##.
  16. Jul 9, 2013 #15
    its a bijection f(x)=cx;
    unique rational <-maps-> unique irrational
  17. Jul 9, 2013 #16
    It's not a surjection. Not every irrational is mapped to.
  18. Jul 9, 2013 #17
    its a bijection only by that step
  19. Jul 9, 2013 #18
    Prove it. Take any irrational ##a##, what is the rational number ##x## such that ##f(x) = a##?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook