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

Constructing proofs of denumerable sets

  1. Feb 17, 2009 #1
    Hi, I am doing some self-studying on the topic of functional analysis, specifically set theory at the moment.

    Suppose that we want to show that some set is denumerable. Is it required that we directly show the one-to-one correspondence between the elements of the set and the set of natural numbers? This seems to be the method of proof employed in the text for the given theorems, but the results of the theorems themselves seem to offer hand-waving. For example, the set that consists of the sum of a denumerable number of denumerable sets is itself denumerable.

    Now suppose that the elements of some set that we are trying to prove is denumerable can be represented by a table of infinite elements. Must we use the "diagonal method" to prove that we can enumerate the elements of this set? Or is it sufficient to enumerate row by row, although the number of elements in each row of the table is infinite (we would never make it to the next row)?
  2. jcsd
  3. May 24, 2011 #2

    when constructing proofs for a denumerable number of denumerable sets you will need to use diagonal counting.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook