Re: how

On 6/10/2024 4:09 PM, Moebius wrote:

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, ...] .

For the filter, or refinement, yes. [.5, 2, 1.5, 7, ...] = [2, 7, ...]
Indeed.

 Right?
 

Make any sense?

 Sure.