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

Canter's method

  1. Nov 18, 2005 #1
    Can anybody tell me the Canter Method of proving that certain sets are infinite? It is called as "Diagonal Method".
  2. jcsd
  3. Nov 18, 2005 #2


    User Avatar
    Science Advisor
    Homework Helper

  4. Nov 19, 2005 #3
    Hey thanks, Zurtex! But from the first link, it does not become clear why it is called "Diagonal Method". Also, can you explain the link between first proof and second proof, please? Also, please tell me how to construct a bijection between Rationals & Reals.
  5. Nov 19, 2005 #4


    User Avatar
    Science Advisor
    Homework Helper

    See the wiipedia article, step 5 in the proof singles out the 'diagonal' terms of the list. I only count one proof in the links he gave.

    There isn't one. The diagonal argument shows the reals are uncountable while the rationals are countable.
  6. Nov 21, 2005 #5
    Oh! I'm sorry for saying reals & rationals! It's integers and rationals! And why do you count only one proof?
  7. Nov 21, 2005 #6

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    The rationals are famously countable, try constructing the proof yourself. There are two variants. One is anothert kind of diagonal argument, and the other is by remembering that rational numbers are a subset of the pairs of integers.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook