Search All of the Math Forum:

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Cantor's first proof in DETAILS
Replies: 34   Last Post: Dec 1, 2012 10:56 AM

 Messages: [ Previous | Next ]
 Uirgil Posts: 185 Registered: 4/18/12
Re: Cantor's first proof in DETAILS
Posted: Nov 13, 2012 5:11 PM

In article <k7udtq\$np6\$1@dont-email.me>,
"LudovicoVan" <julio@diegidio.name> wrote:

> "Uirgil" <uirgil@uirgil.ur> wrote in message
> news:uirgil-91F13B.13165013112012@BIGNEWS.USENETMONSTER.COM...
>

> > No values which are bounded below by a strictly increasing sequence and
> > bounded above by a strictly decreasing sequence are members of either
> > seequence.
> >
> > Thus proving that, given any sequence of values in R, there must be
> > values in R not appearing in that sequence.

>
> I'll have a look at Zuhair's follow-up as soon as I manage, but let me for
> now just point out that the above argument is obviously bogus: the rationals
> too are dense (have the IVP as Zuhair has called it) and, by the very same
> argument, we have proved that the rationals too are not countable... see?
>
> -LV
>

The difference being that a monotone but finitely bounded sequence of
rationals need not have a limit among the rationals but MUST have a
limit among the reals, a LUB or GLB.

Density is not enough distinguish between Q and R, but the GLB/ LUB
property is enough.

Any densely ordered interval of positive length having the GLB/LUB
property is uncountable.

Date Subject Author
11/12/12 Zaljohar@gmail.com
11/12/12 Zaljohar@gmail.com
11/12/12 Charlie-Boo
11/12/12 Zaljohar@gmail.com
11/13/12 Charlie-Boo
11/15/12 Zaljohar@gmail.com
12/1/12 Frederick Williams
11/12/12 LudovicoVan
11/12/12 LudovicoVan
11/12/12 Uirgil
11/12/12 Shmuel (Seymour J.) Metz
11/12/12 Uirgil
11/13/12 Zaljohar@gmail.com
11/13/12 LudovicoVan
11/13/12 Zaljohar@gmail.com
11/13/12 Zaljohar@gmail.com
11/13/12 Uirgil
11/13/12 LudovicoVan
11/13/12 Uirgil
11/13/12 LudovicoVan
11/13/12 Uirgil
11/13/12 Shmuel (Seymour J.) Metz
11/13/12 Zaljohar@gmail.com
11/13/12 LudovicoVan
11/13/12 Uirgil
11/14/12 Zaljohar@gmail.com
11/14/12 Uirgil
11/14/12 Zaljohar@gmail.com
11/14/12 Zaljohar@gmail.com
11/14/12 Uirgil
11/16/12 LudovicoVan
11/16/12 Uirgil
11/16/12 Zaljohar@gmail.com
11/16/12 LudovicoVan
11/13/12 Shmuel (Seymour J.) Metz