🔢 mathematics

Totalities of Infinite Sets

Die Arbeit stellt vier Konstruktionen vor, die Cantors Kardinalitätstheorie erweitern, indem sie den Begriff der „Totalität" einführen, um beliebige unendliche Mengen neu zu vergleichen und dabei unter anderem den äußeren Maßbegriff zur Beziehung zwischen Teilmengen eines metrischen Raums und seiner Potenzmenge heranzieht.

Ursprüngliche Autoren: William Johnston

Veröffentlicht 2026-04-24

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: William Johnston

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Die Größe des Unendlichen: Ein neuer Blick auf das Unendliche

Stellen Sie sich vor, Sie haben zwei Eimer. Der eine ist mit Sand gefüllt, der andere mit Wasser. In der klassischen Mathematik (seit Georg Cantor im 19. Jahrhundert) sagen wir: „Beide sind unendlich groß." Das ist wie zu sagen, beide Eimer sind „voll". Aber das sagt uns nichts darüber, wie voll sie sind oder ob einer vielleicht „dichter" gefüllt ist als der andere.

William Johnston, der Autor dieses Papers, fragt sich: Können wir das Unendliche nicht genauer vermessen? Er möchte nicht die alten Regeln von Cantor zerstören, sondern sie erweitern. Er führt das Konzept der „Totalität" ein.

Stellen Sie sich die Kardinalität (die alte Methode) wie einen einfachen Lichtschalter vor: An (unendlich) oder Aus (endlich).
Die Totalität ist wie ein Dimmer mit vielen Stufen. Sie erlaubt uns, zwischen verschiedenen Arten von „Unendlich" zu unterscheiden, ohne die alten Gesetze zu brechen.

Hier sind die vier Haupt-Ideen des Papers, erklärt mit einfachen Bildern:

1. Die Ergänzung: Nicht nur die Menge, sondern auch das, was fehlt

Stellen Sie sich eine riesige Bibliothek vor, die unendlich viele Bücher hat (die reellen Zahlen).

Die alte Sicht: Wenn ich 100 Bücher herausnehme, ist die Bibliothek immer noch „unendlich groß".
Johnstons neue Sicht (Definition 1): Er schaut sich nicht nur die Bücher an, die da sind, sondern auch die, die fehlen.
- Wenn ich nur ein paar Bücher (endlich viele) entferne, ist die Bibliothek immer noch riesig, aber sie hat eine andere „Totalität" als eine Bibliothek, bei der ich unendlich viele Bücher entfernt habe.
- Analogie: Stellen Sie sich einen Kuchen vor. Wenn Sie ein kleines Stück abschneiden, ist der Rest noch ein ganzer Kuchen. Wenn Sie aber die Hälfte wegnehmen, ist es immer noch ein Kuchen, aber er fühlt sich anders an. Johnston gibt diesen unterschiedlichen „Rest-Kuchen" neue Namen, damit wir sie unterscheiden können.

2. Der Schritt-für-Schritt-Filter (Die Omega-Maschine)

Stellen Sie sich vor, Sie haben einen riesigen Haufen Sand (unendliche Mengen). Sie wollen ihn sortieren.

Schritt 1: Sie werfen den Sand durch ein grobes Sieb. Alles, was durchfällt, ist „zählbar unendlich" (wie die ganzen Zahlen). Alles, was oben bleibt, ist „überzählbar unendlich" (wie die reellen Zahlen).
Schritt 2: Jetzt nehmen Sie das, was oben geblieben ist, und werfen es durch ein noch feineres Sieb.
- Manche Mengen sind so „dünn", dass sie in einem kleinen Loch verschwinden (wie die berühmte Cantor-Menge).
- Andere sind so „dicht", dass sie das ganze Loch füllen (wie ein ganzes Zahlenintervall).
Das Ergebnis: Mit jedem Schritt (Schritt 1, Schritt 2, Schritt 3...) erhalten Sie immer mehr Kategorien. Es ist wie ein Zoom-Objektiv: Je näher Sie heranzoomen, desto mehr Details sehen Sie. Johnston nennt diese feinen Kategorien Totalitäten (mit dem Symbol $\Omega$ ), um sie von den alten groben Kategorien ( $\aleph$ ) zu unterscheiden.

3. Der Maßstab für verschiedene Welten (Metrische Außenmaße)

Das ist der kreativste Teil. Wie vergleicht man Dinge, die gar nicht vom gleichen Typ sind?

Das Problem: Wie vergleicht man eine Menge von Zahlen (z. B. alle Zahlen zwischen 0 und 1) mit der Menge aller Teilmengen dieser Zahlen? Das ist wie zu versuchen, einen einzelnen Apfel mit einem ganzen Obstsalat aus Apfelscheiben zu vergleichen. Nach Cantor ist der Salat „größer".
Johnstons Lösung: Er benutzt einen Lineal-Maßstab (einen metrischen Raum).
- Er definiert die „Größe" einer Menge nicht durch das Zählen, sondern durch den Raum, den sie einnimmt.
- Die Analogie: Stellen Sie sich vor, Sie haben einen Ballon (die Menge). Wie viel Platz braucht dieser Ballon, wenn Sie ihn aufblasen?
- Johnston zeigt, dass man mit diesem Maßstab die „Größe" eines einzelnen Punktes und die „Größe" einer ganzen Sammlung von Punkten so vergleichen kann, dass sie manchmal gleich groß erscheinen, obwohl sie nach alten Regeln unterschiedlich sind. Es ist, als würde man sagen: „Ein einzelner großer Elefant hat das gleiche 'Gewicht' wie eine ganze Herde kleiner Mäuse, wenn man sie alle in eine bestimmte Box packt."

4. Das Unendliche als Grenzwert (Der unendliche Zoom)

Stellen Sie sich vor, Sie könnten diesen Schritt-für-Schritt-Prozess (Schritt 1, Schritt 2, Schritt 3...) unendlich oft wiederholen.

Am Ende erhalten Sie eine Totalität als Grenzwert.
Das ist wie eine Kamera, die sich unendlich oft zoomt. Irgendwann sehen Sie nicht mehr nur „Sand", sondern einzelne Sandkörner, dann Atome, dann noch kleinere Teilchen.
Johnston sagt: Selbst wenn wir unendlich oft zoomen, gibt es immer noch Lücken zwischen den Kategorien. Man kann immer noch feiner unterscheiden.
Die philosophische Pointe: Das Paper schließt mit einer spannenden Idee. In der Mathematik gibt es Dinge, die man nicht beweisen kann (wie die Kontinuumshypothese). Johnston schlägt vor: Vielleicht können wir diese unentscheidbaren Probleme nicht im großen System lösen, aber wir können unsere Definitionen Schritt für Schritt verfeinern. Indem wir die Definition immer genauer machen, lösen sich die Probleme auf der neuen, feineren Ebene auf.

Zusammenfassung in einem Satz

William Johnston schlägt vor, das Unendliche nicht als einen einzigen riesigen Ozean zu sehen, sondern als einen Ozean mit unzähligen, unterschiedlich tiefen Schichten, die wir durch immer feinere Messlatten (Totalitäten) entdecken können, ohne dabei die alten Gesetze der Mathematik zu verletzen.

Warum ist das cool?
Es gibt uns ein neues Werkzeug, um zu sagen: „Diese unendliche Menge ist zwar unendlich, aber sie ist anders unendlich als jene andere." Es macht die Mathematik „muskulöser", wie der Autor sagt, und erlaubt uns, mit unendlichen Mengen so zu spielen, als wären sie endlich und messbar.

Titel: Totalitäten unendlicher Mengen (Totalities of Infinite Sets)

1. Problemstellung

Das Papier adressiert die Limitierungen der klassischen Cantor'schen Kardinalitätstheorie. Nach Cantor haben zwei Mengen genau dann dieselbe Kardinalität, wenn eine Bijektion zwischen ihnen existiert. Im Zermelo-Fraenkel-System (ZF) unter der Annahme der Kontinuumshypothese besitzen unendliche reelle Mengen entweder die abzählbare Kardinalität $\aleph_0$ oder die überabzählbare Kardinalität $\aleph_1$ .

Das Hauptproblem besteht darin, dass diese binäre Unterscheidung (abzählbar vs. überabzählbar) keine feineren Vergleiche zwischen verschiedenen unendlichen Mengen zulässt, selbst wenn sie dieselbe Kardinalität haben. Beispielsweise sind die Menge der Normalzahlen und die Menge der irrationalen Zahlen beide überabzählbar ( $\aleph_1$ ), aber intuitiv und strukturell unterschiedlich "groß" oder "reichhaltig". Das Ziel des Autors ist es, eine Erweiterung (Enhancement) der Kardinalität zu schaffen, die Cantors Definition nicht ersetzt, sondern ergänzt, indem sie neue Vergleichsmöglichkeiten für beliebige unendliche Mengen bietet, ohne die Bijektions-Paradigmen vollständig aufzugeben.

2. Methodik

Der Autor entwickelt vier verschiedene Konstruktionen, die den Begriff der "Kardinalität" durch den Begriff der "Totalität" (Totality) erweitern oder ersetzen, um feinere Differenzierungen zu ermöglichen. Die Methodik stützt sich auf folgende Ansätze:

Definition 1 (Komplement-basierte Kardinalität):
Eine neue Notation wird eingeführt, die die Kardinalität einer Menge $A$ in Relation zu ihrer Komplementmenge $A^c$ setzt.
- Für überabzählbare Mengen $A$ wird die Kardinalität als $|A| = \aleph_1 \setminus \aleph_1$ notiert, falls das Komplement überabzählbar ist.
- Falls das Komplement abzählbar unendlich ist: $|A| = \aleph_1 \setminus \aleph_0$ .
- Falls das Komplement endlich mit Größe $n$ ist: $|A| = \aleph_1 \setminus n$ .
  Dies erzeugt eine Hierarchie: $n < \aleph_0 < \aleph_1 \setminus \aleph_1 < \aleph_1 \setminus \aleph_0 < \aleph_1 \setminus n$ .
Definition 2 (Schritt-für-Schritt-Paradigma):
Eine schrittweise Verfeinerung der Totalität, die Mengen mit gleicher Kardinalität weiter unterteilt.
- Schritt 1: Unterscheidung basierend auf der Abzählbarkeit des Komplements ( $\Omega_0, \Omega_{1/2}, \Omega_1$ ).
- Schritt 2: Unterscheidung basierend auf topologischen Eigenschaften (z. B. ob das Komplement in einem abgeschlossenen Intervall abzählbar oder überabzählbar ist). Dies teilt die Menge der überabzählbaren Mengen mit abzählbarem Komplement weiter auf (z. B. Cantor-Menge vs. Intervall).
Strategische Totalitätspaare (Theorem 1):
Um Mengen unterschiedlicher Typen zu vergleichen (z. B. Teilmengen eines metrischen Raums $X$ vs. Teilmengen seiner Potenzmenge $P(X)$ ), wird das Konzept des metrischen Außenmaßes (Metric Outer Measure) verwendet.
- Es wird ein Außenmaß $m$ auf einem metrischen Raum $(X, d)$ definiert, basierend auf der Überdeckung durch offene Kugeln.
- Auf der Potenzmenge $P(X)$ wird ein entsprechendes Außenmaß $\mu$ mittels der Hausdorff-Metrik definiert.
- Die Totalität wird als $\Omega_{m(A)}$ (für $A \subseteq X$ ) bzw. $\Omega_{\mu(P)}$ (für $P \subseteq P(X)$ ) definiert. Dies ermöglicht einen direkten Vergleich von "Größe" zwischen $X$ und $P(X)$ , obwohl Cantor besagt, dass $|P(X)| > |X|$ .
Totalität als Grenzwert (Theorem 2):
Eine unendliche Schrittfolge, bei der in jedem Schritt $n$ die Totalität durch die Länge von Überdeckungen mit offenen Intervallen bestimmt wird.
- Die Totalität wird durch die Summe der Längen der Überdeckungsintervalle in diskreten Schritten ( $k/2^n$ ) parametrisiert.
- Der Grenzwert $n \to \infty$ definiert eine kontinuierliche Totalität $\Omega_{s_\infty}$ .
- Die Totalitäten werden als $\Omega_a$ , $\Omega_M$ (mittlere Totalität) und $\Omega_{M-a}$ klassifiziert.

3. Wichtige Beiträge und Ergebnisse

Neue Hierarchie der Unendlichkeit: Das Papier etabliert eine feinere Skala für unendliche Mengen, die über $\aleph_0$ und $\aleph_1$ hinausgeht. Mengen mit gleicher Cantor-Kardinalität erhalten unterschiedliche Totalitäten (z. B. Normalzahlen vs. Irrationale Zahlen).
Vergleichbarkeit von $X$ und $P(X)$ : Ein zentrales Ergebnis ist Theorem 1, das zeigt, dass unter Verwendung von metrischen Außenmaßen und der Hausdorff-Metrik die Totalität einer Menge $A \subseteq X$ und ihrer Potenzmenge $P(A)$ gleich sein kann (z. B. $\Omega_2$ für das Intervall $(-1, 1)$ und dessen Potenzmenge), obwohl ihre Kardinalitäten unterschiedlich sind. Dies bietet eine neue Perspektive auf die "Größe" von Mengenstrukturen.
Topologische und Maßtheoretische Fundierung: Die Konstruktionen basieren streng auf topologischen Eigenschaften (Metrik, offene Kugeln) und Maßtheorie (Außenmaß), was eine objektive, nicht-arbiträre Definition der Totalität ermöglicht.
Dichte der Totalitäten: Theorem 2 zeigt, dass zwischen zwei beliebigen überabzählbaren Totalitäten immer eine weitere Totalität existiert, was auf eine dichte Struktur der neuen Skala hindeutet.
Beispielhafte Anwendung: Die Anwendung auf die Menge der Normalzahlen $N$ zeigt, dass $|N| = \aleph_1 \setminus \aleph_1$ ist, während die Menge der Irrationalen eine "größere" Totalität hat, was mit der Intuition übereinstimmt, dass Normalzahlen "selten" sind.

4. Signifikanz und Implikationen

Erweiterung der Mengenlehre: Die Arbeit bietet einen Weg, die Kontinuumshypothese und damit verbundene Unentscheidbarkeiten auf einer "Verfeinerungsebene" zu umgehen. Während die Hypothese im axiomatischen System (ZF) unentscheidbar bleibt, erlaubt die Definition der Totalität eine Unterscheidung, die innerhalb des Systems konsistent ist, aber mehr Information liefert.
Mathematische "Muskelkraft": Der Autor argumentiert, dass durch schrittweise Definitionen (Refinement) mathematische Systeme "muskulöser" werden und Unentscheidbarkeiten auf der Ebene der Definitionen aufgelöst werden können, ohne das zugrundeliegende Axiomensystem zu ändern.
Neue Vergleichsmöglichkeiten: Die Methode erlaubt es, Mengen unterschiedlicher "Typen" (z. B. Punkte vs. Mengen von Punkten) quantitativ zu vergleichen, was in der klassischen Kardinalitätstheorie nicht möglich ist. Dies könnte neue Einsichten in die Struktur von Funktionenräumen (wie $L^2(\mathbb{R})$ ) und deren Potenzmengen liefern.
Philosophische Dimension: Das Papier regt zum Nachdenken an, ob mathematische Unentscheidbarkeit ein fundamentales Hindernis ist oder ob sie durch immer feinere Definitionen innerhalb eines Systems "aufgelöst" werden kann, indem man die Definitionsebene verfeinert.

Zusammenfassend stellt das Paper einen innovativen Versuch dar, die starre Dichotomie der Cantor'schen Kardinalität durch ein dynamisches, metrisch fundiertes System von "Totalitäten" zu ersetzen, das tiefere Einblicke in die Struktur und relative Größe unendlicher Mengen ermöglicht.