Deutsch   English   Français   Italiano  
<v7ab17$29gck$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Moebius <invalid@example.invalid>
Newsgroups: sci.math
Subject: =?UTF-8?Q?Re=3A_There_is_a_first/smallest_integer_=28in_M=C3=BCcken?=
 =?UTF-8?Q?land=29?=
Date: Thu, 18 Jul 2024 08:00:07 +0200
Organization: A noiseless patient Spider
Lines: 25
Message-ID: <v7ab17$29gck$1@dont-email.me>
References: <v78aei$1qhrg$2@dont-email.me> <v78ho8$1rucd$1@dont-email.me>
 <hkTLLEKjGrtEv-QUxN7BX0GQq58@jntp> <v78u39$1ubd0$1@dont-email.me>
 <Dt7UjtVV_Fl-l1XYEJYeiucc7v8@jntp>
 <41d2e5d4-8cb6-4edb-ae2c-77c0b64a6831@att.net> <v7aair$29gcl$1@dont-email.me>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 18 Jul 2024 08:00:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="81dea532a4e3121d1d5500e0d726c164";
	logging-data="2408852"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/wJaA8mNt0fy/R4RFPJxs3"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:01zXnSNsmrr/qOSGFlVD3g7XgJg=
Content-Language: de-DE
In-Reply-To: <v7aair$29gcl$1@dont-email.me>
Bytes: 2015

Am 18.07.2024 um 07:52 schrieb Moebius:
> Am 18.07.2024 um 06:30 schrieb Jim Burns:
>> On 7/17/2024 1:49 PM, WM wrote:
>>> Le 17/07/2024 à 19:13, FromTheRafters a écrit :
>>
>>>> Sure, it jumps because of your stepwise function.
>>>
>>> Of course it jumps, but what is the maximum size of a jump?
>>
>> |ℝ| is the maximum size of a jump.
> 
> Nope. |IN| (aleph_0) is "the maximum size of a jump", namely "the size" of the 
> jump "at" 0. (Hint: NUF has only one jump, namely "at" 0.)

Hint:   NUF(x) := |{u e {1/n : n e IN} : u <= x}| (x e IR) .

Hence

         NUF(x) = 0   for all x e IR, x <= 0
and
         NUF(x) = aleph_0   for all x e IR, x > 0 ,

as well as

	img(NUF) = {0, aleph_0} .