Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: WM <wolfgang.mueckenheim@tha.de>
Newsgroups: sci.math
Subject: Re: How many different unit fractions are lessorequal than all unit
 fractions?
Date: Wed, 16 Oct 2024 10:24:38 +0200
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <vent86$2533b$3@dont-email.me>
References: <vb4rde$22fb4$2@solani.org> <vdmni6$3r0us$1@dont-email.me>
 <f2fd1874cd1db3afdce65e1fab820d103a648403@i2pn2.org>
 <vdodvf$5sti$5@dont-email.me> <53e48f71-1b93-4f2e-a21a-68a40b6ccefd@att.net>
 <vdpi26$bht3$1@dont-email.me>
 <0fe7418c059c5ae4c456927eed937f9df34bb7b4@i2pn2.org>
 <vdqud3$mnhe$1@dont-email.me> <vdr1om$n62q$3@dont-email.me>
 <74c23586-bae5-4ae7-a772-1eef6d50baa8@att.net> <vds4a1$s0e9$1@dont-email.me>
 <1a925120-7637-4eac-87bf-749f1befe54f@att.net> <ve30u8$24i4i$6@dont-email.me>
 <f1ba56d2-82cc-4e55-b90f-3e55d42b3e96@att.net> <ve5dr8$2j41n$1@dont-email.me>
 <50220be0d285ad5de75ca434c9ed9cbd22fa037a@i2pn2.org>
 <ve6065$2lk82$1@dont-email.me>
 <0c8510b5c103a422ce956b67789506f35ea9a9f4@i2pn2.org>
 <vee9dt$7raq$1@dont-email.me>
 <8b81d0868181160258bc1d137664f2d377d28223@i2pn2.org>
 <veg1oa$k41k$3@dont-email.me> <vejbv0$18aau$2@dont-email.me>
 <de1e730f-435a-4e85-9016-90302c54ee27@tha.de>
 <167e0bf0d29a3b8b8e9aaf2cddcaee453e776e67@i2pn2.org>
 <vem67s$1pc8f$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 16 Oct 2024 10:24:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="bdae612cd8a81ed65298b962abfb789c";
	logging-data="2264171"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX190zuryF4SmJG720HSnYQLIawzbkQLpqPA="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:pvlSERxARdsKJcINy3A/ywbMYps=
In-Reply-To: <vem67s$1pc8f$1@dont-email.me>
Content-Language: en-US
Bytes: 3475

On 15.10.2024 18:45, Moebius wrote:
> Am 15.10.2024 um 17:48 schrieb joes:

>>> Endsegmente bilden eine abnehmende Mengenfolge, wobei jedes Endsegment
>>> außer dem ersten, nämlich ℕ, ein Element weniger als sein Vorgänger
>>> besitzt. Man spricht auch von einer inklusionsmonoton abnehmenden
>>> Mengefolge. Jedes Endsegment besitzt also seinen gesamten Inhalt
>>> gemeinsam mit allen Vorgängern. Das ist für alle Endsegmente richtig und
>>> zeigt insbesondere, dass [jedes] Endsegment eine unendliche Menge
>>> gemeinsam mit allen [seinen] Vorgängern besitz[t].
> 
> Richtig.
> 
> Was es aber NICHT zeigt, ist, dass jedes Endsegment eine unendliche 
> Menge gemeinsam mit allen seinen Nachfolgern besitzt.

Richtig. Aber es zeigt, dass jedes unendliche Endsegment eine unendliche 
Menge gemeinsam mit jedem unendlichen Endsegment hat. Denn jedes 
unendliche Endsegment hat nur unendliche Vorgänger.
> 
> Wenn es zu jedem Endsegment so eine Menge gäbe, dann müsste insbesondere 
> das erste Endsegment so eine Menge gemeinsam mit allen seinen 
> Nachfolgern besitzen. Es müsste also eine unendliche Menge geben, die in 
> allen Endsegmenten (als Teilmenge) enthalten ist.
> 
> Tatsächlich gilt: Es gibt keine nicht-leere Menge, die als Teilmenge in 
> allen Endsegmenten enthalten ist.

Also gibt es ein leeres Endsegment. Oder sollten Endsegmente nur im 
Schnitt alle Zahlen verloren haben können?

Gruß, WM