In some recent discussion about the well-ordering of sets dense in the
reals, concepts about the specificities of a "previous" and "next"
points on the real number line broaden and solidify.
Where the rationals and irrationals, eg numbers of the form a/b for
integer a, b as rational numbers and otherwise as irrational numbers
are complements the union of which is the set of real numbers and as
well each is dense in the real numbers, then a naive rationalization of
a given point, as a real or scalar number, and its immediate
neighborhood in terms of the finite set of points that are having the
least difference, with having rationals and irrationals alternate on
the real number line is that: a naive rationalization of the immediate
neighborhood of a point on the continuous real number line.
The irrationals may well be divided into two sets, each dense in the
irrationals and complements whose union is the irrationals: the
algebraic and transcendental irrational numbers, where the algebraic
irrationals are real solutions or roots of a polynomial with integer
coefficients that are not otherwise rational, and the transcendentals
are then the other irrationals.
Then, there are considerations of other ways to divide the sets that
are thus far to be determined to be separate, in that their
intersection is null, and complementary in that their ultimate union is
the set of reals which have the property of completeness and on the
line continuity, and dense in the reals where between any two
definitely valued numbered reals there are infinitely many members of
these sets: rationals, algebraic irrationals, and transcendentals.
To that end it is useful to determine further categorizations of these
subsets of the reals that share these three properties of being
nonintersecting, complementarily forming the reals, and each dense in
each other and the reals.
One possible consideration is that there are many ways to reorganize or
compose from the above sets’ definitions other definitions of sets that
can be said to comprise the reals. Where the above definitions might
seem to be the most distinct in the sense of immediacy, there are
further subcategorizations of the transcendentals as for example
Mahler’s S, T, and U transcendentals, if they are disjoint and dense in
the reals. As well, something like the rationals can be separated
into, for example, the rationals with even versus the rationals with
odd denominator, each dense in the reals with their union the
rationals. As well, where definitions as above form a tree structure
rooted at the reals, various subsets could be composed together in
their definition with for example the transcendentals unioned with the
rationals or rationals with even denominator unioned with the
irrationals: there are many ways to determine two, three, or more of
the nonintersecting, dense, completing subsets of the reals to be of
many various definitions.
Thus where a naive rationalization of the reals as alternating
rationals and irrationals from their properties of being
nonintersecting, dense(in each other and the reals), and completely
forming in their union the entire set of reals, those properties hold
for many other combinations of sets with those properties.
That naive rationalization might be along the lines that along the real
number line that rationals q in Q and irrationals p in P alternate as
so:
….pqpqpqpqpqpqpqpqpqp…
with the notion that given a selected distinct rational q, that the
immediate neighbor in that contiguous sequence is _not_ an element of
Q, and is in this case an element of P, the only other set considered.
Towards that rationalization if there are, for example, rationals q in
Q, algebraic irrationals in a in A, and transcendental irrationals t in
T, then that naive rationalization follows the the exact specific
number that is greater than a given q in Q and less than any other
specific number is _not_ an element of Q, but that it be either an
algebraic irrational or transcendental number. This is where the real
numbers are well-ordered by fiat or theorem. _If_ the next number is
an a, then the pattern thus follows:
…qatqatqatqat…
else
… qtaqtaqtaqta
Here, there should be a replacement of those letters that represent
specific set with the N, C, D properties for nonintersecting
(disjoint), completing, and dense, with a given number of digits that
represent how many of those sets are deemed to exist.
…012012012012…
…021021021021…
One problem with that is that the rationals, for example, can be broken
into, for example, numbers with even and odd denominators, or numbers
with denominators equal to 0, 1, 2 (mod 3), or 0, 1, …, n-1 (mod n).
Thus the rationals can be divided into n many NCD subsets, for n E Z+.
The algebraics can as well be broken into various definitions of
subsets with these properties, and the transcendentals may be possibly
divided into further subsets in these ways.
When there are four or more subsets, then the specific "next" element
is not predetermined by previous elements. That is because where there
is the negative condition that a successive element _not_ be of the
same categorization of the current, nor as possible previous, there are
more possibilities under those constraints implied by each’s density
within each other.
…012301230…
It would seem that that order would be fixed for any definition of
these sets numbered 0, 1, 2, and 3 with the NCD property. That is not
to say the order could not be:
…01320132…
…02130213…
…02310231…
…03210321…
…03120312…
but once a given permutation of (0, 1, 2, 3) was determined, it would
hold through all successions of those values. Equivalently, the sets
could be relabelled but the order would always be:
…01230123…
It might seem that for n > 3 that the order could vary, the fugue. By
fugue I mean that type zero elements would be each n’th element, but
the others would be arbitrary in their permutation except for that the
immediate neighbors of the type 0 elements would differ.
…0123013203120321023102130…
If you’ve read this far, then you might consider that the rationals and
irrationals alternate in the reals. Then again, by the same naive
rationalization algebraic and transcendentals would alternate, etcetera
etcetera for any pair of disjoint sets dense in each other, as ordered
fields, whose complement is the reals.
The vague fugue continues, and further methods to subcategorize NCD
sets would be a way to further explore this question: in the
well-ordered reals, what is the next?
It is regularly claimed that there is no "next" or "previous" due to
abscence of well-ordering. Where there is well-ordering, there is.
Besides the moduli of the denominator of the rational, also may be
considered various combinations to do with the coprimality of that
modulus of the numerator. For example: even and odd denominators and
even and odd numerators for the odd numbers. Combinatorially, the
number of ways to divide the rationals into these disjoint sets each
disjoint, dense in each other, and complementarily forming as their
union the rationals, explodes.
The algebraic irrationals have even further combinatoric possibilities
as a function of any number of finite integers as the order of the
polynomial increases past two, the least order of a polynomial with
possibly algebraic as opposed to necessarily rational roots. Indeed,
the least order to represent the polynomial the roots of which is a
given algebraic irrational is one possible jumping-off point to
asymptotically compare that variety.
The transcendentals again, as roots of power series for example with no
finite order, or more exploredly as non-algebraic irrationals, see
categorizations such as Liouville’s and Mahler’s S, T, and U types, are
readily subdivided.
That is all so, yet once again the real numbers are rationals and
irrationals, or algebraics and transcendentals, and where any of these
N, C, D sets is everywhere discontinuous, where the goal here is to
determine a specification of a point and finitely many of its nearest,
least different neighbors, all the possible nonintersecting,
completing, dense sets alternate.
That is a function of their density and disjointness, when infinitely
many of the contiguous elements of a well-ordered sequence of the reals
has that due to the density of each within the reals that deductively
finitely many of the contiguous elements would seem to _intuitively_
alternate. To consider finitely many elements of the sequence might
indeed lead to a deductive breakdown, where as there are infinitely
many ways to divide the reals into NCD sets that any finite sequence
would only have some few elements, and perhaps only one of each. Yet,
where the reals are comprised (a union) of only some finitely many
sets, then a finite sequence could contain one of each, again in each
subsequence of n elements one of the n subdivisions.
This discussion is self-contained among my various other arguments,
it’s specifically about this. Some choose to not even address the
concept.
That’s irrelevant, here are some questions: in what ways may the
rationals or generally algebraics, or transcendentals or generally
irrationals, be divided into nonintersecting (disjoint) sets each dense
in their union? Is it possible to describe and parameterize all
possible ways that they can be so subdivided?
Between any two rationals a/b and c/d, there is an irrational. Between
any two irrationals you might define as a decimal (ie Dedekind or
Cauchy), there is a rational.
(Infinite sets are equivalent.)
Infinite sets are equivalent for other reasons, eg induction shows that
an infinite set is inexhaustible, the binary case is sufficient and
certain composable monotonic mappings avoid contradictory functions,
and there can only be one proper class. Some theories do have a set of
all sets.
This consideration then of how to informedly guess what the "next"
element
…
read more »