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.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Constructing proofs denumerable Date
A How can we construct ordinals after large Veblen? Dec 11, 2017
I Constructing an Index May 26, 2017
B How to construct a proof? Jul 19, 2016
How to construct the natural numbers with hypersets May 13, 2015
Constructive Proof of Material Implication Jun 3, 2010