Date: Dec 30, 2012 9:50 PM
Subject: Re: Uncountable Diagonal Problem
On Dec 30, 6:01 pm, Virgil <vir...@ligriv.com> wrote:
> In article
> "Ross A. Finlayson" <ross.finlay...@gmail.com> wrote:
> > On Dec 30, 3:27 pm, Virgil <vir...@ligriv.com> wrote:
> > > In article
> > > <4036660e-9527-479d-9c47-a1adf9d34...@px4g2000pbc.googlegroups.com>,
> > > "Ross A. Finlayson" <ross.finlay...@gmail.com> wrote:
> > > > On Dec 30, 1:33 pm, Virgil <vir...@ligriv.com> wrote:
> > > > > In article
> > > > > <2fc759b9-3c22-4f0b-83e0-bf9814a3f...@y5g2000pbi.googlegroups.com>,
> > > > > "Ross A. Finlayson" <ross.finlay...@gmail.com> wrote:
> > > > > > Formulate Cantor's nested intervals with "mega-sequences" (or
> > > > > > transfinite sequence or ordinal-indexed sequence) instead of sequences
> > > > > > of endpoints. Well-order the reals and apply, that the sequences
> > > > > > converge yet have not emptiness between them else there would be two
> > > > > > contiguous points, in the linear continuum.
> > > > > Not possible with the standard reals without violating such properties
> > > > > of the reals as the LUB and GLB properties:
> > > > > Every non-empty set of reals bounded above has a real number LUB.
> > > > > Every non-empty set of reals bounded below has a real number GLB.
> > > > > --
> > > > Those are definitions, not derived. Maybe they're "wrong", of the
> > > > true nature of the continuum.
> > > if false for your "continuum" then that continuum is not the standard
> > > real number field.
> > > > A well ordering of the reals doesn't have uncountably many points in
> > > > their natural order.
> > > But, if one could find an explicit well-ordering of the reals, it would
> > > have to contain all those uncountably many reals in SOME order.
> > > --
> > So, the mega-sequences of the nested interval endpoints would end with
> > side-by-side endpoints? Or, does any ordinally-indexed sequence of
> > all of a segment of reals necessarily contain duplicates?
> I see no reason why either need occur even in an explicit well-ordering
> of the reals. Why do you?
This is from that, the constructed sequences (here ordinally-valued)
of nesting endpoints, of an interval, either meet or don't. If they
meet, they're either contiguous on the line, or identical. If they
don't, then the result is that there is an unmapped element, beyond
the sequence, or: Cantor's first, extended to the transfinite.
That's why - is that clear enough?
a) nesting leaves an empty interval (set between two points or two
copies of a point), and the mapping is onto, or
b) it doesn't, and there's an unmapped element to the sequence
ZFC has that the reals are well-orderable.
Simply in the course of passage of transfinite induction, the next
lower endpoint is the next in the well-order that is between the last
endpoints, as is the next upper. If a countable ordinal's worth can
have that intersection be empty, can it? Are there not points between
any two points in the Archimedean complete ordered field?
There are quite long discussions on this some years ago, in a variety
of details on structural consequences of well-ordering the reals vis-a-
vis Cantor's first.
So, well-order them. Are there not enough ordinals to map to them in
order? Because, each subset of the reals is well-orderable, too.