Path: ...!local-2.nntp.ord.giganews.com!Xl.tags.giganews.com!local-3.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 08 Nov 2024 17:03:11 +0000
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (doubling-spaces)
Newsgroups: sci.math
References: <vg7cp8$9jka$1@dont-email.me>
 <0e67005f-120e-4b3b-a4d2-ec4bbc1c5662@att.net> <vgab11$st52$3@dont-email.me>
 <ecffc7c0-05a2-42df-bf4c-8ae3c2f809d6@att.net> <vgb0ep$11df5$4@dont-email.me>
 <35794ceb-825a-45df-a55b-0a879cfe80ae@att.net> <vgfgpo$22pcv$1@dont-email.me>
 <40ac3ed2-5648-48c0-ac8f-61bdfd1c1e20@att.net> <vgg57o$25ovs$2@dont-email.me>
 <71fea361-0069-4a98-89a4-6de2eef62c5e@att.net> <vggh9v$27rg8$3@dont-email.me>
 <ff2c4d7c-33b4-4aad-a6b2-88799097b86b@att.net> <vghuoc$2j3sg$1@dont-email.me>
 <d79e791d-d670-4a5a-bd26-fdf72bcde6bc@att.net> <vgj4lk$2ova9$3@dont-email.me>
 <f154138e-4482-4267-9332-151e2fd9f1ba@att.net> <vgkoi7$b5pp$1@solani.org>
 <9pedneNzANYb37P6nZ2dnZfqn_qdnZ2d@giganews.com>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Fri, 8 Nov 2024 09:03:03 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <9pedneNzANYb37P6nZ2dnZfqn_qdnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <nPucnd0s2OPS2bP6nZ2dnZfqn_udnZ2d@giganews.com>
Lines: 80
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-RFciDEnKGYVGGMX6cMdJm/0jdpTLFVhYwCvu+VD6oge95wsYQe8di9QSMSFWL9AhChOXRtQTR/v9f/D!Pyr8vpP81mt5m9kR5O6o2oCqkjB7PWw68U3fEHe8hV6w5YUMGDpUjmxTJCCHTrZRFfgJRrZibOQ=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 5342

On 11/08/2024 08:55 AM, Ross Finlayson wrote:
> On 11/08/2024 02:18 AM, WM wrote:
>> On 08.11.2024 00:29, Jim Burns wrote:
>>  > On 11/7/2024 2:33 PM, WM wrote:
>>
>>  >> It is impossible however to cover
>>  >> the real axis (even many times) by
>>  >> the intervals
>>  >> J(n) = [n - 1/10, n + 1/10].
>>  >
>>  > Those are not the cleverly.re.ordered intervals.
>> They are the intervals that we start with.
>>  >> No boundaries are involved because
>>  >> every interval of length 1/5 contains infinitely many rationals and
>>  >> therefore is essentially covered by infinitely many intervals of
>>  >> length 1/5
>>  >> - if Cantor is right.
>>  >
>>  > I haven't claimed anything at all about
>>  > your all.1/5.length intervals.
>> Then consider the two only alternatives: Either by reordering (one after
>> the other or simultaneously) the measure of these intervals can grow
>> from 1/10 of the real axis to infinitely many times the real axis, or
>> not.
>>
>> My understanding of mathematics and geometry is that reordering cannot
>> increase the measure (only reduce it by overlapping). This is a basic
>> axiom which will certainly be agreed to by everybody not conditioned by
>> matheology. But there is also an analytical proof: Every reordering of
>> any finite set of intervals does not increase their measure. The limit
>> of a constant sequence is this constant however.
>>
>> This geometrical consequence of Cantor's theory has, to my knowledge,
>> never been discussed. By the way I got the idea after a posting of
>> yours: Each of {...,-3,-2,-1,0,1,2,3,...} is the midpoint of an interval.
>>
>> Regards, WM
>>
>
> Perhaps you've never heard of Vitali's doubling-space,
> the Vitali and Hausdorff's what became Banach-Tarski
> the equi-decomposability, the doubling in signal theory
> according to Shannon and Nyquist, and as with regards to
> the quasi-invariant measure theory, where: taking a
> continuum apart and putting it back together doubles things.
>
> It's part of continuum mechanics and as with regards to infinity.
> (Mathematical infinity.)
>

That's part of usually what's called "measure theory",
and even today physicists are quite agog about "the measure problem".

When Vitali showed his geometric and analytic result,
then set theory arrived at "non-measurable" or "un-measurable".
Yet, it's still good, and, shows that it's a real thing
that doubling and halving measures and spaces are mathematical.

So, the quantum theorists have got plenty problems
about what's continuous again. ("The measure problem.")

Then as well, this of course gets into the multiple law(s)
of large numbers, what's called "non-standard" probability
theory, analysis, models of integers, and so on.

It's quite sensible with an approach like mine with
the three definitions of continuous domains the line-reals,
field-reals, and signal-reals, and the doubling line-reals
and halving signal-reals, after of course an apologetics in
the mathematical foundations to explain the slate of
uncountability and logical paradoxes so that there are none,
my "slates", that I've written since a decade and decades.

So, it probably helps if you know Riemann and Lebesgue
and Cauchy and Seidel and all these things after Weierstrass
that Dirichlet and Poincare make all out as with regards
to Vitali and Hausdorff and the "re-Vitali-ization",
measure theory.