Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Topic: Objection to Cantor's First Proof
Replies: 107   Last Post: Sep 6, 2012 5:16 PM

 Messages: [ Previous | Next ]
 Virgil Posts: 4,655 Registered: 1/6/11
Re: Objection to Cantor's First Proof
Posted: Jul 25, 2012 12:54 AM

In article <junnm3\$28t\$1@speranza.aioe.org>,
"LudovicoVan" <julio@diegidio.name> wrote:

> "LudovicoVan" <julio@diegidio.name> wrote in message
> news:junlnt\$ugh\$1@speranza.aioe.org...
>

> > Then, we have the property:
> >
> > (1) E m : A n : n>m -> ~ ( x_n e [ a_n, b_n ] )
> >
> > i.e. the property that "for every n, x_n does not belong to the interior
> > of [a_n, b_n]."

>
> Should be:
>
> (1) E m : A n : n>m -> ~ ( x_n e ] a_n, b_n [ )
>
> -LV
>

*********************************************
A PROOF OF THE UNCOUNTABILITY OF THE REALS
(A variation on Cantor's FIRST proof)

ASSUMPTIONS:

(1) the intersection of a strictly nested sequence of closed real
intervals (the endpoints of each interval being interior points of the
previous interval) is not empty.

(2) A strictly increasing sequence of naturals does not have a natural
as its limit,

(3a) A strictly increasing but bounded sequence of reals has a real
number as a limit, its least upper bound, different from every member of
the sequence.

(3b) A strictly decreasing but bounded sequence of reals has a real
number as a limit, its greatest lower bound, different from every member
of the sequence.

Proof:

If the reals are countable then we may assume each real can be and has
been paired with a natural so that different reals are paired with
different naturals with none of either left out.

Assuming this has been done, take the two reals corresponding to the
lowest naturals as endpoints of a real interval.

It is clear that all the interior points of this real interval must be
paired with naturals larger that paired with its endpoints.

Now take the two reals with the lowest naturals INTERIOR to the previous
interval to be the endpoints of a subinterval of that interval.

It is clear that the interior points of this real interval must be
paired with naturals larger than the naturals paired with its endpoints.

By repeating this process one generates a decreasing, but never empty,
sequence of closed real intervals each of which contains only points
with higher attached naturals than its endpoints have.

The intersection of such a nested sequence of closed intervals is not
empty, but the natural associated with any of its members is necessarily
larger than all of the infinitely many natural numbers associated with
those infinitely many endpoints.

But there is no natural number larger than infinitely many different
natural numbers.

This is a contradiction which can only have been caused by our original
assumption that the reals were countable, so it proves they are not
countable.

QED!

NOTE: While I have never seen this particular proof in the literature of
countability,
it is so obvious that I doubt that it is original with me.
--

Date Subject Author
7/24/12 LudovicoVan
7/24/12 LudovicoVan
7/24/12 LudovicoVan
7/24/12 LudovicoVan
7/25/12 Virgil
7/26/12 LudovicoVan
7/26/12 Virgil
7/26/12 LudovicoVan
7/26/12 Virgil
7/27/12 LudovicoVan
7/27/12 Mike Terry
7/27/12 LudovicoVan
7/28/12 Virgil
7/28/12 Mike Terry
7/28/12 LudovicoVan
7/28/12 Virgil
7/28/12 Virgil
7/28/12 Virgil
7/29/12 Shmuel (Seymour J.) Metz
7/25/12 David C. Ullrich
7/26/12 LudovicoVan
7/26/12 Shmuel (Seymour J.) Metz
7/26/12 Gus Gassmann
7/26/12 LudovicoVan
7/26/12 Gus Gassmann
7/26/12 LudovicoVan
7/26/12 LudovicoVan
7/26/12 gus gassmann
7/26/12 David C. Ullrich
7/26/12 Shmuel (Seymour J.) Metz
7/26/12 LudovicoVan
7/27/12 Frederick Williams
7/27/12 Jesse F. Hughes
7/27/12 Frederick Williams
7/27/12 dilettante
7/27/12 David C. Ullrich
7/27/12 gus gassmann
7/27/12 Frederick Williams
7/27/12 dilettante
7/29/12 Shmuel (Seymour J.) Metz
8/9/12 Pubkeybreaker
8/9/12 LudovicoVan
7/26/12 Shmuel (Seymour J.) Metz
7/26/12 LudovicoVan
7/25/12 Shmuel (Seymour J.) Metz
7/28/12 LudovicoVan
7/28/12 Virgil
7/28/12 Mike Terry
7/28/12 ross.finlayson@gmail.com
7/28/12 LudovicoVan
7/28/12 ross.finlayson@gmail.com
7/28/12 Virgil
7/29/12 ross.finlayson@gmail.com
7/29/12 Virgil
7/30/12 LudovicoVan
7/30/12 Virgil
7/30/12 ross.finlayson@gmail.com
7/30/12 Virgil
7/30/12 ross.finlayson@gmail.com
7/31/12 Virgil
7/28/12 LudovicoVan
7/28/12 Virgil
7/29/12 David C. Ullrich
7/30/12 LudovicoVan
7/30/12 Virgil
7/29/12 David C. Ullrich
7/30/12 LudovicoVan
7/30/12 Shmuel (Seymour J.) Metz
7/30/12 David C. Ullrich
7/30/12 Virgil
7/31/12 LudovicoVan
7/31/12 LudovicoVan
7/31/12 Virgil
7/31/12 LudovicoVan
7/31/12 Virgil
7/31/12 ross.finlayson@gmail.com
7/31/12 Virgil
7/31/12 William Hughes
8/1/12 Shmuel (Seymour J.) Metz
7/31/12 Virgil
7/31/12 ross.finlayson@gmail.com
7/31/12 Virgil
8/1/12 ross.finlayson@gmail.com
8/2/12 Virgil
8/9/12 Pubkeybreaker
9/6/12 ross.finlayson@gmail.com
8/1/12 LudovicoVan
8/1/12 Jim Burns
8/1/12 LudovicoVan
8/1/12 William Hughes
8/1/12 LudovicoVan
8/1/12 William Hughes
8/1/12 Virgil
8/1/12 Jim Burns
8/1/12 LudovicoVan
8/1/12 LudovicoVan
8/2/12 Jim Burns
8/2/12 Virgil
8/1/12 Virgil
8/1/12 hagman
8/1/12 LudovicoVan
8/2/12 Virgil
8/2/12 Shmuel (Seymour J.) Metz
8/3/12 ross.finlayson@gmail.com
8/2/12 David C. Ullrich
8/1/12 Virgil
7/29/12 Shmuel (Seymour J.) Metz
7/30/12 Marshall