Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: sci.math
Subject: Re: Gaps... ;^)
Date: Tue, 10 Sep 2024 13:39:45 -0700
Organization: A noiseless patient Spider
Lines: 85
Message-ID: <vbqaqh$3527h$6@dont-email.me>
References: <vbnul9$2it6e$3@dont-email.me> <vbo3rs$2jh3v$1@dont-email.me>
 <vbq385$33j9p$1@dont-email.me> <vbq6ca$34b4u$1@dont-email.me>
 <vbqa3o$3527h$3@dont-email.me> <vbqak1$34b4u$8@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 10 Sep 2024 22:39:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0eac113f4bd26321cfce58ecec11144e";
	logging-data="3311857"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/uZ7tXXR9J4MWD8E3xzpERY/cC55xQZ/0="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:f5hQn6Imc196upy1g/7SufxmChE=
Content-Language: en-US
In-Reply-To: <vbqak1$34b4u$8@dont-email.me>
Bytes: 3559

On 9/10/2024 1:36 PM, Moebius wrote:
> Am 10.09.2024 um 22:27 schrieb Chris M. Thomasson:
>> On 9/10/2024 12:23 PM, Moebius wrote:
>>> Am 10.09.2024 um 20:30 schrieb Chris M. Thomasson:
>>>> On 9/9/2024 5:28 PM, Moebius wrote:
>>>>> Am 10.09.2024 um 00:59 schrieb Chris M. Thomasson:
>>>>>
>>>>>> Between zero and any positive x there is a unit fraction small 
>>>>>> enough to fit in the ["]gap["].
>>>>>
>>>>> Right. This follows from the so called "Archimedean property" of 
>>>>> the reals. From this property we get:
>>>>>
>>>>> For all x e IR, x > 0, there is an n e IN such that 1/n < x.
>>>>>
>>>>> See: https://en.wikipedia.org/wiki/Archimedean_property
>>>>>
>>>>> Of course, from this we get that there are infinitely many unit 
>>>>> fractions smaller than x, say, 1/n, 1/(n + 1), 1/(n + 2), 1/(n + 
>>>>> 3), ...
>>>>>
>>>>> We can even refer to such unit fraction "in terms of x":
>>>>>
>>>>> All of the following (infinitely many) unit fractions are smaller 
>>>>> than x: 1/ceil(1/x + 1), 1/ceil(1/x + 2),  1/ceil(1/x + 3), ...
>>>>>
>>>>>> Between x and any y that is different than it (x), there will be a 
>>>>>> unit fraction to fit into the gap. infinitely many.... :^)
>>>>>
>>>>> Nope. There is no unit fraction (strictly) between, say, 1/2 and 1/1.
>>>>
>>>> What about 1/4? Ahhhh! You mentioned the word _strictly_. Okay.
>>>>
>>>> Humm... Well, if we play some "games" ;^), then 1/4 would sit in the 
>>>> center of the gap between 1/2 and 1/1 where:
>>>
>>> Really?
>>>
>>> ??? 1/2 < 1/4 < 1/1 ???
>>>
>>> Are you sure?
>>>
>>> 0.5 < 0.25 < 1
>>>
>>> Hmmm...?
>>>
>>>>> In other words, there is no unit fraction u such that 1/2 < u < 1/1.
>>>
>>> Concerning 1/4, in my book (of numbers):
>>>
>>>      1/4 < 1/2 < 1/1. :-P
>>>
>>> It's clear that you have/had 3/4 in mind. (i.e. 1/2 + 1/4. :-)
>>>
>>> But 3/4 is't a unit fraction. :-P
>>>
>>>
>>
>> Still the gap between 1/1 and 1/2 is equal to 1/2.
> 
> I guess you mean the LENGTH of the gap.
> 
> Your "gap" is automatically translated to "interval" by me.
> 
>> There are infinite unit fractions that are smaller than the 
> 
> length of the
> 
>> gap [interval]?
> 
> RIGHT! :-)
> 
> 

Also, think about normalizing the gaps as in:

p0 = 1/2
p1 = 1/1
pdif = p1 - p0

the mid point would use the unit fraction 1/2 at:

pmid = p0 + pdif * 1/2

right?