Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: WM <wolfgang.mueckenheim@tha.de>
Newsgroups: sci.math
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
Date: Wed, 6 Nov 2024 11:35:36 +0100
Organization: A noiseless patient Spider
Lines: 80
Message-ID: <vgfgpo$22pcv$1@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 06 Nov 2024 11:35:36 +0100 (CET)
Injection-Info: dont-email.me; posting-host="985d4bef482e665fd2b5ab998c67740a";
	logging-data="2188703"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+srrVG585IrvmSoF/Oy6gKEkA7ztETzlQ="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DHac7mR5CKE/m+WtEqg0Uek8QsY=
Content-Language: en-US
In-Reply-To: <35794ceb-825a-45df-a55b-0a879cfe80ae@att.net>
Bytes: 3606

On 05.11.2024 18:25, Jim Burns wrote:
> On 11/4/2024 12:32 PM, WM wrote:

>> The intervals together cover a length of less than 3.
>> The whole length is infinite.
>> Therefore there is plenty of space for
>> a point not in contact with any interval.
> 
> ⎛ Assuming the covering intervals are translated
> ⎜ to where they are end.to.end.to.end,
> ⎜ there is plenty of space for
> ⎝ not.in.contact exterior points.

This plentiness does not change when the intervals are translated.
> 
> I mean 'exterior' in the topological sense.
> 
> For a point x in the boundary ∂A of set A
> each open set Oₓ which holds x
> holds points in A and points not.in A

The intervals are closed with irrational endpoints.
> 
> Each of {...,-3,-2,-1,0,1,2,3,...} is
> the midpoint of an interval.
> There can't be any exterior point
> a distance 1 from any interval.
> 
> There can't be any exterior point
> a distance ⅟2 from any interval.
> Nor ⅟3. Nor ⅟4. Nor any positive distance.

Nice try. But there are points outside of intervals, and they are closer 
to interval ends than to the interior, independent of the configuration 
of the intervals. Note that only 3/oo of the points are inside.
> 
> An exterior point which is not
> a positive distance from any interval
> is not an exterior point.

Positive is what you can define, but there is much more in smaller 
distance. Remember the infinitely many unit fractions within every eps > 
0 that you can define.
> 
> Therefore,
> in what is _almost_ your conclusion,
> there are no exterior points.

There are 3/oo of all points exterior.
> 
> Instead, there are boundary points.
>   For each x not.in the intervals,
>   each open set Oₓ which holds x
>   holds points in the intervals and
>   points not.in the intervals.
> x is a boundary point.

The intervals are closed
>> The rationals are dense
> 
> Yes.
> Each multi.point interval [x,x′] holds
> rationals.
> 
>> but the intervals are not.
> 
> No.

Therefore not all rationals are enumerated.
> ⎛ i/j ↦ kᵢⱼ = (i+j-1)(i+j-2)/2+i
> ⎜ k ↦ iₖ+jₖ = ⌈(2⋅k+¼)¹ᐟ²+½⌉
> ⎜  iₖ = k-(iₖ+jₖ-1)(iₖ+jₖ-2)/2
> ⎝  jₖ = k-iₖ
> proves that
> the rationals are countable.

Contradiction. Something of your theory is inconsistent.

Regards, WM