Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Moebius <invalid@example.invalid>
Newsgroups: sci.math
Subject: Re: how
Date: Tue, 11 Jun 2024 01:09:53 +0200
Organization: A noiseless patient Spider
Lines: 54
Message-ID: <v48141$lphl$2@dont-email.me>
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp>
 <1OhEiVGoZeYKAlHf40u0M-DGu74@jntp>
 <65e48016-ecea-4832-bcdb-a5e3d94a66cd@att.net>
 <52y9XpKJ6QVz6e8s5Hvt4WK1nmE@jntp>
 <04ac4aa5-f508-40e1-b14f-0fa9883ac4c0@att.net>
 <-YYjghxYEV4-kYQzyEEkdPOmx9g@jntp>
 <d8638801-fa89-4764-ab60-90c690a4dc53@att.net>
 <cAb6HQm9T104zE20oIGGcWLO1Hk@jntp>
 <b6b4d308-15de-40e6-9311-d71ae43a32c3@att.net> <v42tme$2v0o0$1@dont-email.me>
 <H-DXrebldhGX0fN4NMx7hZyVGP0@jntp> <v47uvb$lh4k$3@dont-email.me>
 <v47vpf$lphl$1@dont-email.me> <v47vua$lh4c$3@dont-email.me>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 11 Jun 2024 01:09:54 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="616f50ac1759f3a6ab49aa7b05529970";
	logging-data="714293"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19jxjGlYcS5sk2qik/oVAu/"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:19oMHEvGEtY3dVQawJ8FFgVSlzI=
In-Reply-To: <v47vua$lh4c$3@dont-email.me>
Content-Language: de-DE
Bytes: 2455

Am 11.06.2024 um 00:49 schrieb Chris M. Thomasson:
> On 6/10/2024 3:47 PM, Moebius wrote:
>> Am 11.06.2024 um 00:33 schrieb Chris M. Thomasson:
>>
>>> Crap, or really bad? What did I miss here?
>>
>> Math? :-)
>>
> 
> I was just thinking about,
> 
> [1, 2, 3, 4, ...]
> 
> applied to:
> 
> [1/2, 2/2, 3/2, 4/2, ...]
> 
> creates
> 
> [.5, 1, 1.5, 2, ...]

Ummm...

[1/2, 2/2, 3/2, 4/2, ...] = [.5, 1, 1.5, 2, ...].

Say, in the context of Q or IR (with decinal representation of numbers).

> Refining to all the naturals we get:
> 
> [1, 2, ...]

What do you "mean" be "refining"? :-P

I guess you mean some sort of ""reduction"" (or "filtering").

Actually, I've never heard about this (in a math context).

But it certainly can be defined.

Let's call this operation "nat".

Then

     nat [.5, 1, 1.5, 2, ...] = [1, 2, ...] .

And, say,

     nat [.5, 2, 1.5, 7, ...] = [2, 7, ...] .

Right?

> Make any sense?

Sure.