Date: Jan 5, 2013 7:19 PM
Subject: Re: Uncountably Nested Intervals

On Jan 5, 12:31 am, fom <> wrote:
> On 1/4/2013 8:23 PM, Ross A. Finlayson wrote:

> > On Jan 4, 11:04 am, fom <> wrote:
> <snip>

> >>> Here, the conundrum is that in ZFC there are uncountably many
> >>> irrationals, that there be uncountably many disjoint intervals, that
> >>> each contains a rational, which are countable in ZFC, which would be a
> >>> contradiction.

> >> ZFC does not say anything about the topology of the
> >> real line.

> >> There are better topologists out here than I.  But, while
> >> the reals are not compact, they are sigma compact.  Or, if
> >> I have that wrong, they have whatever compactness condition
> >> is required so that the second-countability of the space
> >> applies to your example.

> >> The identity criterion in set theory is not the identity
> >> criterion of the real numbers.  The latter come from the
> >> topological completeness by which is meant completeness
> >> relative to the rationals.  Thus, trichotomy of the
> >> rationals yields trichotomy in the reals.  Hence, the
> >> reals have an identity criterion based on their order
> >> relation

> >> x=y <-> (x<=y /\ x>=y)
> >> If you want to think about how the identity criterion
> >> of a logical system like ZFC is related to topology
> >> look at the difference between the axioms of a metric
> >> and a pseudometric.  For one you have,

> >> x=y<->d(x,y)=0
> >> and for the other you have
> >> x=y->d(x,y)=0
> >> The latter statement is what is involved with attaching
> >> metric structure (and, therefore, a metric based
> >> topology) to a logical system.

> >> The next step is to look at uniform spaces defined
> >> relative to uniformities.   That will give the first
> >> conditions for a system of relations to have
> >> a topology that may be metrizable.

> >> Finally, find a proof for the metrization of relations
> >> so that you can see what is involved with attaching a
> >> pseudometric to a logical system.  You can find one
> >> in Kelley's "General Topology".

> >> Curiously, it is circular when speaking to the
> >> metrization of the reals.  It invokes the least
> >> upper bound property.  Still, it is instructive.

> > These topological properties of density in the reals of the
> > irrationals and rationals build up from the density of the rationals,
> > the non-continuity of the rationals, and the irrationals being the
> > complement of the rationals, in the reals.

> Starting here, I have not yet read what follows.
> However, there is an issue of logical priority of
> definition.  The reals are defined as a logical type.
> In the case of Dedekind, it was cuts.  In the case of
> Cantor it was fundamental sequences.
> That is why the identity criterion of the real numbers
> follows from the trichotomy on the rationals.  It is not
> a topological property in the sense of the usual topology
> following from open sets defined by a metric.
> In other words, the irrationals are not simply the
> complement of the rationals.  They are infinite sets
> of rationals that have no limit point in the rationals.
> They are only the complement of "rationals" that have
> been defined as infinite sets of rationals having a
> limit point that is a rational.

> > The cardinal properties of the rationals and irrationals (here often
> > specifically for the unit interval instead of the entire set) follow
> > from ZFC and cardinality of the reals, and the general definition of
> > the rationals as integer ratios and reals as sufficiently represented
> > as infinite expansions or as Cauchy or as equivalence classes of
> > Cauchy sequences.

> I disagree that the general definition of the
> rationals in this context are integer ratios.
> In the definition of real numbers, the usual sequence
> of logical types takes the natural numbers as given:
> 0, 1, 2, 3, ...
> Integers are formed as infinite sets of ordered pairs
> such that "equivalent pairs have the same difference"
> (2,3) EQ (12,13)
> -((2,3) EQ (3,2))
> Rationals are formed according to the same trick.
> You are correct, ratios are involved.  But each rational
> is an infinite collection of ordered pairs of integers.
> There are no rational numbers in ZFC.  There is, however,
> a representation of the rationals along the lines given
> here.
> In each step, the order of the new logical type is
> related to the prior logical type.
> So, since 0<2 in the natural numbers, observe
> that the order in the ordered pair
> (0,2)
> is coherent with the order of the statement,
> let it be a representative from the equivalence
> class that shall correspond with +2.  By constrast,
> let
> (2,0)
> be a representative from the equivalence class
> that shall correspond with -2.
> For a proper fraction greater than zero, the
> numerator is strictly smaller than the denominator.
> So, let
> ((0,2),(0,3))
> be a representative of the equivalence class
> that shall correspond with 2/3 and let
> ((0,3),(0,2))
> be a representative of the equivalence class
> that shall correspond with 3/2.  Then either
> of
> ((2,0),(0,3)) or ((0,2),(3,0))
> are representatives of the equivalence
> class for -2/3.
> It has been a long time since I actually
> looked at published version of this
> construction.  I may have gotten part
> of it wrong (negative rationals?).  But,
> this should give you the general idea
> of my objection to what you have
> posited as the general definition
> of the rationals.
> This does not mean I am correct.  Just
> that we see things differently as to
> how the rationals are understood in
> ZFC.

> > I'm not familiar yet with "second-countability".  It might seem from
> > its statement an order type property, of the rationals as having order
> > type 2^w.  (As would (0,1)^w have were it countable.)

> >
> > Second-countability is a property of a space that it is completely
> > separable, that the topology of the space has a basis that is
> > countable.  This basically has that there aren't any open subsets that
> > aren't countable unions of some countable collection of open
> > subsets.

> I do not believe I have ever seen anyone talk
> about a topology in terms of order type unless
> they were talking specifically about a topology
> on the ordinals themselves.
> A topology is simply a partition of the power set
> for a given set that includes the null class and
> the given set itself among the members.  One
> can either call the sets open or closed and
> depending on that designation, they must satisfy
> certain axioms.  For open sets,
> 1. Every arbitrary union of open sets is open.
> 2. Every finite intersection of open sets is open.
> A basis for open sets is a collection of open
> sets such that for any given open set and any
> given element of that open set, there
> is a basis open set that is a subset of the
> given open set that also has the given
> element as an element.
> Because the rationals are countable and
> dense, open balls defined by the metric
> by rational numbers
> {y|d(x,y)<m/n, m,n integers}
> are a countable basis for the topology.

> > Then, while there's a countable cover of open subsets of R, here of
> > intervals, the point is that there are uncountably many points in R,
> > in ZFC, each defines an interval, closed with endpoints open without,
> > of the set between zero and it.  Where these are the irrationals then
> > R though completely separable, _does_ have uncountable unions of open
> > sets the union of which may be an open set that is not the entire
> > set.  It still may only take a countable union of open subsets to form
> > any open subset, but, open subsets of irrationals, can also be
> > considered uncountable unions of open sets, bounded by an irrational
> > but not rationals, simply as they would be.  Similarly closed sets
> > bounded on at least one side by an irrational may be the union of
> > uncountably many closed sets, bounded by an irrational but not
> > rationals (as there aren't uncountably many rationals).

> This sounds correct.  All of this falls under the
> term "arbitrary."

> > The reals as space aren't first-countable because there are
> > uncountably many neighborhoods for each point (in ZFC).

> No.  First countability is a countable local basis around
> each point.  Since the usual topology is defined in
> terms of the open epsilon balls strictly less than some
> given number at each point and the rational numbers are
> included among those given numbers, the usual topology
> is also first countable.

> > Here, each of
> > those (uncountably-many) delta-neighborhoods, open or closed, contains
> > rationals that each epsilon<delta-neighborhood does not.  Then we
> > would be arguing about first-countability.  There are uncountably many
> > neighborhoods of each point in topology in ZFC each contains rationals
> > that narrower neighborhoods do not, thus it is a contradiction that
> > there aren't uncountably many of those, at least a distinct one for
> > each.

> > There are and aren't:  contradiction.
> I understand what you are trying to say.  If it
> were not the case that the order relations organize
> the identity criteria in the hierarchy of logical
> types, I might agree.  But the reals are not distinct
> from their definition in terms of rationals understood
> as a lower logical type.

> > Is there a neighborhood with standardly-valued radius r of a point in
> > R without uncountably many neighborhoods with radius < r?  No.

> Correct.

> > Is it
> > so that for each ordinal gamma > beta that for diminishing values of r
> > through uncountably many ordinals that r_gamma contains irrationals
> > not in r_beta?

> Does such a sequence scatter the order topology inherited
> from the rationals of lower logical type?  By this, I
> mean that the usual topology is defined with respect to
> the inherited order and not by order-types associated
> with ordinal sequences.  At r_gamma you could have a
> very small radius but at r_gamma+1 you could have a huge
> radius.

> > Directly, yes, circuitously, no.  (This is where for
> > each r_beta there exists uncountably many values r_gamma that have via
> > Choice one of them, quantification over them.)

> > So, are there:
> >    a) uncountably many neighborhoods, some without distinct rationals?
> >    b) countably many neighborhoods?
> >    c) some other option consistent with the real space in topology and
> > sets of numbers in ZFC?
> >    d) other?

> Other.  Dependency on order inherited from the natural
> numbers through hierarchy of logical types.
> And, importantly, relative to this there is the algebraic
> notion of a norm on the rational numbers as an inner product
> space.  When an inner product space is transformed into a
> Euclidean point space, this is very similar to a metric
> but not the same.

> > Because, to be consistent: _all_ the properties hold _all_ the time.
> Sadly, it is such a huge jigsaw puzzle
> that we cannot seem to know Con(ZFC).
> I know that is not what you meant...

> > Countable additivity, of non-finite differentiable regions, is enough
> > for the integral calculus and its results that agree with geometry.

> Yes.  But Lebesgue measure has more to say
> toward the liberties taken by Vieta as opposed
> to the liberties taken by Descartes.

The irrationals are the rationals' complement in the reals. Each
rational has a particular representation as a reduced fraction. I
agree that's a general development. The rationals and irrationals
each have the properties of being dense in the reals and not
satisyfing continuity as the reals do, though some naive definitions
see the rationals meet the definition. The (standard) reals as set
setminus the (set of) rationals is the irrationals, and vice versa:
the irrationals' complement in the reals is the rationals.

I can see that each point in the space R has uncountably many
neighborhoods (in ZFC), and that for each neighborhood, as open, it is
covered by a union of elements from a countable collection of open
subsets of R, so it is first-countable, with only countably many
neighborhoods with that basis.

Ah, then for r_beta, here r_gamma is a next lesser element in the
normal ordering from R, from a new well-ordering of the radii less
than r_beta. Choice has that for each r_beta, from the uncountably
many r < r_beta, there is quantifiable one of those as r_gamma,
leaving uncountably many less than r_beta and r_gamma in the normal
ordering. In that sense it scatters the order topology, of a well-
ordering, from the existence of all the others, where the well-
ordering of the reals isn't unique. Yet, then arranging that into a
transfinite induction schema and finding more than countably many
r_alpha for ordinal alpha, that yields a contradiction that between
any r_beta and r_gamma there's a distinct rational. That would yield
a contradiction: there are and aren't uncountably many distinct
neighborhoods of a point in R, each with correspondingly distinct
elements of Q, and P.

Mutual consistency would have that _all_ the properties hold _all_ the
When they don't then yes that would be -Con(ZFC).

The irrationals are the rationals' complement in the reals, and the
rationals are dense in the reals.

Then, you seem to imply that the sets' elements: are dependent on
their order. Would you expand on that?

Viete as algebraic and Descartes as geometer: mutual consistency would
have _all_ the properties hold _all_ the time. I'd be interestes to
know what you saw as their liberties which gave us mathematical

The reals as continuum is a tremendously fascinating jigsaw puzzle,
flip all the pieces at once, can it still be assembled? This is a
reference to the analogy of real continuum of at once complete ordered
field, and, ring of iota-values, with a partial transfer principle.


Ross Finlayson