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: Uncountable Diagonal Problem
Replies: 52   Last Post: Jan 6, 2013 2:43 PM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Uncountable Diagonal Problem
Posted: Jan 3, 2013 5:17 PM

In article
"Ross A. Finlayson" <ross.finlayson@gmail.com> wrote:

> Seems clear enough: in ZFC, there are uncountably many irrationals,
> each of which is an endpoint of a closed interval with zero. And,
> they nest. Yet, there aren't uncountably many nested intervals, as
> each would contain a rational.

While there is no SEQUENCE of uncountably may nested intervals, which
the very definition of sequence prohibits, there are certainly SETS of
uncountably many nested intervals.

EXAMPLE: For each real x in (0,1), [x, 2-x] is closed real interval and
the set of such intervals is both nested and uncountable.
But it is not a SEQUENCE of intervals.

So that what Ross thought was a paradox is just a kink in his thinker.
--