Drucken
Alles aufklappen

←   Die eulersche Zahl e und ihre Exponentialfunktion


Eigenschaften

Welche Erkenntnisse können wir aus den Superial-Zahlen lernen?


Die Superial-Zahlen, als aktual unendliche algebraische Gruppe, deren Basis über ein unendliches Primzahl-Produkt definiert ist, haben eine ganz besondere Struktur. Ihre Struktur ist dadurch tief mit den natürlichen Zahlen, den ganzen Zahlen und den Primzahlen verbunden und erweitern diese ins Aktual-Unendliche. Auch sind sie dadurch mit den Ordinalzahlen und im Besonderen mit den von mir entdeckten oder geschöpften Biordinalzahlen verwandt.

Ihre besonderen Eigenschaften versprechen uns deshalb neue Einblicke in die Struktur der Zahlen.

→  


Die sinnvollen Koeffizienten der Superial-Zahlen

ausblenden

←   Eigenschaften

Es sind im Grunde drei Bedingungen zu erfüllen, damit eine Zahl \( a \) ein sinnvoller Koeffizient der Superial-Zahlen sein kann.

Ihr Produkt mit der superialen Basis \( a \cdot \s \) darf nicht dazu führen, dass sich die aktual unendliche Größenordnung verändert, also die Potenz von \( \s \) im Wert des Produkts, weil die Koeffizienten sonst nicht wie sinnvolle Ziffern in einem Stellenwertsystem fungieren können. Das bedeutet, dass \( a \) eine endliche Zahl sein muss. Es muss also immer eine endliche ganze Zahl \( z_{k} \) existieren, die kleiner als \( a \) ist, und es muss auch immer eine endliche ganze Zahl \( z_{g} \) existieren, die größer als \( a \) ist.

Die größte mir bekannte Zahlenmenge, die diese Bedingung erfüllt ist die Menge der reellen Zahlen \( \mathbb{R} \):

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left( \exists z_{k}, z_{g} \in \mathbb{Z} \right) \left( \forall a \in \mathbb{R} \right) \left[\; z_{k}\;\;\;<\;\;\;a\;\;\;<\;\;\;z_{g} \;\right] } \] (SN.Eig.SK.1)

Weiterhin darf sich durch \( a \cdot \s \) keine endliche oder aktual unendliche Größenordnung des Stellenwertsystems verändern, außer die Stelle mit der Potenz Eins von \( \s \). Das heißt, dass \( a \) keine aktual unendlich kleinen Summanden enthalten darf.

Und \( a \cdot \s \) muss eine ganze Zahl sein. Sie muss gerundet also die gleiche Zahl bleiben. Denn nur dann lässt sich das Zählen bis ins aktual unendliche und darüber hinaus definieren. In unserem Fall ist die ganze Zahl \( a \cdot \s \) natürlich von der aktual unendlichen Größenordnung von \( \s \).


Es existiere also die Menge

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \exists \mathbb{A}_{\S}\!: \left( \forall a \in \mathbb{R}\!: a \cdot \s \in \mathbb{N}_{\infty}\;\;\;\Rightarrow\;\;\;a \in \mathbb{A}_{\S} \right) } \] (SN.Eig.SK.2)

der sinnvollen Koeffizienten der Superial-Zahlen.


Stellt sich also die Frage: Welche uns bekannte Menge entspricht \( \mathbb{A}_{\S} \) dann?

Wie wir sehen werden, ist diese Frage nicht so schnell ganz genau zu beantworten.

Entsprechen die sinnvollen Koeffizienten allen reellen Zahlen, also \( \mathbb{A}_{\S} = \mathbb{R} \)?
Eine Frage der Transzendenz

Das hängt davon ab, wie wir im Lichte der Superial-Zahlen beantworten, welche Zahlen wir zu den reellen Zahlen zählen. Wenn wir die Ableitung und das Integral über die Superial-Zahlen definieren und nicht, wie heute meistens üblich, über den Limes, und berechnen, welche Funktion abgeleitet sie selber ergibt, dann erhalten wir eine \( \e \)-Funktion und damit eine eulersche Zahl \( \e_{\s} \), die mehr Details ihrer Struktur offenbart, als die Zahl \( \e \), die wir über den Limes erhalten.

Die uns bekannte Zahl \( \e \) ist von der Zahl \( \e_{\s} \) nämlich nur der Summand endlicher größer. \( \e_{\s} \) enthält aber noch aktual unendlich viele, aktual unendlich kleine Summanden herunter bis zur Potenz \( \s^{-\s} \). Damit wäre die Zahl \( \e \) zwar theoretisch eine reelle Zahl und damit möglicherweise als Koeffizient der Superial-Zahlen geeignet. Aber im Rahmen der Superial-Zahlen macht die \( \e \)-Funktion nur mit der Basis \( \e_{\s} \) Sinn. \( \e_{\s} \) ist allerdings nicht einmal eine Superial-Zahl der hier definierten 1. Ordnung, weil sie aktual unendlich kleine Potenzen von \( \s \) enthält und die Superial-Zahlen nur endlich Potenzen von \( \s \) erlauben.

Damit würde ich \( \e_{\s} \) möglicherweise nicht zur Menge \( \mathbb{R} \) der reellen Zahlen zählen. In meinen Augen sind hier also noch Einigungen nötig, welche Zahlen wir sinnvollerweise zu \( \mathbb{R} \) hinzurechnen. Und wir müssen uns klar darüber werden, ob es Sinn macht \( \e \) weiterhin als eulersche Zahl anzusehen oder ob wir nur noch \( \e_{\s} \) als eulersche Zahl anerkennen sollten.

Sind die sinnvollen Koeffizienten alle algebraischen Zahlen, also \( \mathbb{A}_{\S} = \mathbb{A} \)?

(In Arbeit …)

→  

ausblenden

\( \mathbb{S} \) ist ein angeordneter Körper

ausblenden

←  

(Durch den Beweis der Überrationalitätsvermutung haben sich die Koeffizienten der Superial-Zahlen von den endlichen rationalen Zahlen auf die Koeffizienten der algebraischen Zahlen erweitert, was noch berücksichtigt werden muss.)
Die Menge der Superial-Zahlen \( \mathbb{S} \) ist in vielerlei Hinsicht etwas Besonderes.

Wir können nämlich für zwei Superial-Zahlen, die nicht gleich sind, immer herausfinden, welche größer als die andere ist, weil sie eine lexikografische Ordnung haben. \( \mathbb{S} \) ist nämlich ein angeordneter Körper. (Dies ist zu beweisen: die Körpereigenschaft und das Angeordnetsein.)

Ist \( \mathbb{S} \) ein archimedisch angeordneter Körper?

Es stellt sich die Frage, ob die Superial-Zahlen, also die Menge \( \mathbb{S} \), auch ein archimedisch angeordneter Körper sind.


Das archimedische Axiom besagt, dass in einem archimedisch angeordneten Körper \( \mathbb{K} \) immer eine natürliche Zahl existiert, die als Faktor jede Zahl einer Menge größer machen kann als eine andere Zahl der gleichen Menge:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left( \exists n \in \mathbb{N} \right) \left( \forall x, y \in \mathbb{K} \right) \left( y > x > 0 \right) \left[\; x \cdot n > y \;\right] } \] (SN.Eig.AK.1)

Es besagt also, dass alle Elemente des archimedisch angeordneten Körpers endlich sind, es jedoch unendlich viele davon gibt.

Dies gilt aber nicht für den angeordneten Körper der Superial-Zahlen, weil es Elemente einer Untermenge \( x \in \mathbb{Q} \) gibt, für das es keinen Faktor in \( \mathbb{N} \) gibt, um beides als Produkt größer als \( \s \) zu machen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left( \nexists n \in \mathbb{N} \right) \left( \forall q, x \in \mathbb{Q} \right) \left( q \cdot \s > x > 0 \right) \left[\; x \cdot n > q \cdot \s \;\right] } \] (SN.Eig.AK.2)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { q \cdot \s \in \mathbb{S} } \] (SN.Eig.AK.3)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Rightarrow \left( \nexists n \in \mathbb{N} \right) \left( \forall x, y \in \mathbb{S} \right) \left( y > x > 0 \right) \left[\; x \cdot n > y \;\right] } \] (SN.Eig.AK.4)

Denn \( \mathbb{S} \) enthält zum Beispiel mit \( q \cdot \s \) Elemente, die größer als jede endliche natürliche Zahl und damit unendlich groß sind.


Wie wir daran sehen, handelt es sich bei den Superial-Zahlen um eine ganz andere Menge, als bei Mengen endlicher Zahlen.

Gibt es eine größere geordnete Teilmenge der Superial-Zahlen, die auch unendliche Elemente oder Elemente mit solchen Anteilen, beinhaltet, die ein archimedisch angeordneter Körper ist?
(In Arbeit …)


Wie kann das archimedische Axiom für eine möglichst große Teilmenge von \( \mathbb{S} \) erfüllt werden? Es scheint mir, dass dies erfüllt wird, wenn es keine unendlich großen Summanden in den Elementen der Menge gibt. Sowohl \( x \) als auch \( y \) müssen zwischen den endlichen Zahlen liegen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{S}_{A}\;\;\;≔\;\;\;\left\{\; x ~\middle|~ \left( \exists n \in \mathbb{N} \right) \left( \forall x, y \in \mathbb{S} \right) \left( y > x > 0 \right) \left[ x \cdot n > y \right] \;\right\} } \] (SN.Eig.AK.5)

In Anlehnung an die Definition der Menge aller Superial-Zahlen in Formel SN.Form.1 können wir diese Menge auch so schreiben:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\mathbb{S}_{A}\;\;\;≔\;\;\;\left\{\; x ~\middle|~ \left( \forall d \in \mathbb{Z}_{0}^{-} \right) \left( \forall q_{d} \in \mathbb{Q} \setminus \{0\} \right) \left( \forall q_{i} \in \mathbb{Q} \right) \\ \qquad\qquad\qquad\qquad\qquad\qquad\qquad\; \left[ q_{d} \s^{d} + \sum_{( \forall i \in \mathbb{Z})[d > i]} q_{i} \s^{i} \right] \;\right\} } \] (SN.Eig.AK.6)

So enthalten diese Superial-Zahlen keine Summanden mit Potenzen von \( \s \), die größer als Null sind.


(In Arbeit …)

Aber \( \mathbb{S} \) ist bezüglich der natürlichen Superial-Zahlen \( \mathbb{S}_N \) ein archimedisch angeordneter Körper

(In Arbeit …)


(In Arbeit …)

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left( \exists n \in \mathbb{S}_{\N} \right) \left( \forall x, y \in \mathbb{S} \right) \left( y > x > 0 \right) \left[\; x \cdot n > y \;\right] } \] (SN.Eig.AK.7)

(In Arbeit …)


(In Arbeit …)

(In Arbeit …)

(In Arbeit …)

→  

ausblenden

Die Struktur von \( \s \)

ausblenden

←  

Die Beschäftigung mit der Struktur von \( \s \) ist sehr ergiebig in Bezug auf weitere tiefe Erkenntnisse.

Was lernen wir über die Größe von \( ω \) und die Struktur von \( \s \) über die Frage der Vorgänger?

In der Formale Entwicklung so formuliert:

Jede natürliche Superial-Zahl \( n \) hat so viele Vorgänger in \( \mathbb{S}_{\N} \), wie sie selber groß ist, wie bei den endlichen natürlichen Zahlen. Dies ist anders, als bei den von mir ebenfalls entdeckten und erforschten, auch ins Aktual-Unendliche gehenden Biordinalzahlen: Aktual unendliche Biordinalzahlen haben interessanter Weise mehr Vorgänger als ihr Wert groß ist. In mancherlei anderen Punkten können wir erkennen, dass sie die noch nicht so perfekten Vorläufer der Superial-Zahlen sind. Mathematisch gesehen sind die Biordinalzahlen eine Erweiterung der Ordinalzahlen zu einem algebraischen Ring.

Demnach hat \( \s \) also so viele Vorgänger, wie das Primzahl-Flächenprodukt groß ist. Die Anzahl der Vorgänger von \( \s \) ist dann:

Die Anzahl aller realen algebraischen Koeffizienten \( a \) von \( \s \), für die gilt: \( 0 \leq a < 1 \).

Multipliziert mit \( 2 \cdot ω \) für die Anzahl der endlichen ganzen Zahlen, siehe Eine fundamentale Asymmetrie, die ja zu jedem Koeffizienten addiert – und im Falle der negativen natürlich dann abgezogen – werden. Wobei im Falle von \( a = 0 \) nur natürliche Zahlen addiert und im Falle von \( a = 1 \) nur negative ganze Zahlen addiert, also effektiv abgezogen, werden.

So formulieren wir die Vorgänger von \( \s \) folgendermaßen:


Das Intervall der Vorgänger der superialen Einheit ist im Detail

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [ 0, \s [_{\mathbb{S}_{\N}}\;\;\;=\;\;\;\\ \quad \left\{\; x\;~\middle|~\;\left( \forall a \in [ 0, 1 ]_{\mathbb{A}_{\R}} \right) \left( \forall n \in \mathbb{N} \right) \left( \forall z \in \mathbb{Z} \right) \left( \forall z^{-} \in \mathbb{Z}^{-} \right) \\ \qquad\qquad\quad \left[\; x\;\;\;=\;\;\;\begin{cases} n & \text{ falls } a = 0 \\ a \cdot \s + z & \text{ falls } 0 < a < 1 \\ \s + z^{-} & \text{ falls } a = 1 \end{cases} \;\right] \;\right\} \;\; , } \] (SN.Eig.SVS.1)

unter Berücksichtigung der unterschiedlichen Fälle.


Für die Anzahl der Vorgänger finden wir dann:


Seien \( \rbrack a, b \lbrack_{\mathbb{A}_{\R}} \) und \( \lbrack a, b \lbrack_{\mathbb{A}_{\R}} \) Intervall-Mengen aus \( \mathbb{A}_{\R} \), dann ergibt sich \( \s \), nach vorstehendem Gedanken, zu

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;=\;\;\;\# \mathbb{N} + \# \left( ] 0, 1 [_{\mathbb{A}_{\R}} \right) \cdot \# \mathbb{Z} + \# \mathbb{Z^{-}} } \] (SN.Eig.SVS.2)
▼ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \# \mathbb{Z}\;\;\;=\;\;\;\# \mathbb{N} + \# \mathbb{Z^{-}} } \] (SN.Eig.SVS.3)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Rightarrow\hspace{10mm}\s\;\;\;=\;\;\;\# \mathbb{Z} + \# \left( ] 0, 1 [_{\mathbb{A}_{\R}} \right) \cdot \# \mathbb{Z} } \] (SN.Eig.SVS.4)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\s\;\;\;=\;\;\;\left( 1 + \# \left( ] 0, 1 [_{\mathbb{A}_{\R}} \right) \right) \cdot \# \mathbb{Z} } \] (SN.Eig.SVS.5)
▲ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\s\;\;\;=\;\;\;\# \left( [ 0, 1 [_{\mathbb{A}_{\R}} \right) \; \cdot \; \# \mathbb{Z} } \] (SN.Eig.SVS.6)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\s\;\;\;=\;\;\;\# \left( [ 0, 1 [_{\mathbb{A}_{\R}} \right) \; \cdot \; \left( 2 \cdot ω \right) } \] (SN.Eig.SVS.7)

was der Anzahl aller Realanteile der algebraischen Zahlen entspricht.
Denn mit

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\R}\;\;\;=\;\;\;\\ \qquad \left\{\; x\;~\middle|~\;\left( \forall z \in \mathbb{Z} \right) \left( \forall u \in [ 0, 1 [_{\mathbb{A}_{\R}} \right) \left[\; x = z + u \;\right] \;\right\} } \] (SN.Eig.SVS.8)

sind alle Realanteile der algebraischen Zahlen, ohne Redundanzen – also Doppelungen – und Lücken, definiert und es folgt daraus

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Rightarrow\hspace{10mm}\s\;\;\;=\;\;\;\# \mathbb{A}_{\R} \;\; , } \] (SN.Eig.SVS.9)

weil es in den Realanteilen der algebraischen Zahlen \( \mathbb{A}_{\R} \) das Interval \( \lbrack 0, 1 \lbrack_{\mathbb{A}_{\R}} \) für jede ganze Zahl in \( \mathbb{Z} \) gibt und sie damit vollständig beschrieben sind.

So gilt dann auch

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Rightarrow\hspace{10mm}\# [ 0, 1 [_{\mathbb{A}_{\R}}\;\;\;=\;\;\;\frac{ \s }{ 2 \cdot ω } } \] (SN.Eig.SVS.10)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\# [ 0, 1 [_{\mathbb{A}_{\R}}\;\;\;=\;\;\;\frac{ ω^{ω - 1} }{ 2 } \;\; , } \] (SN.Eig.SVS.11)

nach Umformung und mit Hilfe von Formel SN.PP.174.


Dies muss eine ganze Zahl sein und ist ein wichtiger Baustein der Primzahlprodukt-Vermutung.

(Können wir die Anzahl der rationalen Zahlen (oder der Realanteile der algebraischen Zahlen) quantifizieren? Zum Beispiel über den Calkin-Wilf-Baum(Verweis)?)

Ausgangspunkt der Primzahlprodukt-Vermutung

Und wir können sogar noch weiter gehen und feststellen, dass \( ω \) seine Primfaktoren mit \( \s \), siehe Formel SN.Ein.30, teilen muss, wenn die Anzahl der Realanteile der algebraischen Zahlen in \( \lbrack 0, 1 \lbrack_{\mathbb{A}_{\R}} \) aus Formel eine ganze Zahl sein soll. Weiter ist klar, dass \( ω \) aktual unendlich groß ist. Es kann also nur ein Produkt aus unendlich vielen endlichen Primzahlen sein.

Doch welches Teilprodukt aus \( \s \) ist es, wenn klar ist, dass \( \s \) unendlich viel größer ist als \( ω \). Schon der Turm der kleinsten Primzahl \( 2^{ω} \) ist definitiv sehr viel größer als \( ω \). Die einzelnen und kombinierten Türme aller Primzahlen \( p^{ω} \), mit \( p \in \mathbb{P} \), sind also ausgeschlossen.

Das unendliche Primzahlprodukt, dass auf den ersten Blick bleibt, ist schlicht die Zeile, die alle endlichen Primzahlen enthält, und lässt vermuten, dass \( ω \overset{?}{=} 2 \cdot 3 \cdot 5 \cdot 7 \cdot \cdots \) ist. Aber auch dieses Produkt erscheint auf den ersten Blick viel größer als die vollständige Induktion \( ω \) zu sein. Im Beweis der Primzahlprodukt-Vermutung gelingt es uns tatsächlich zu zeigen, dass wirklich \( ω = 2 \cdot 3 \cdot 5 \cdot 7 \cdot \cdots \) gilt.

Erklärung der Anzahl der endlichen ganzen Zahlen durch ihren ontologischen Ursprung in den Biordinalzahlen
Formulierung der Entstehung der negativen ganzen Zahlen durch Rückwärtszählen, ohne Umkehrung der Zählrichtung

Die vorstehend gemachten Aussagen sind entscheidend davon abhängig, wieviele endliche ganze Zahlen es gibt. Dies bestimmt zum einen, ob es wirklich eine ganze Anzahl an Realanteilen der algebraischen Zahlen in \( \lbrack 0, 1 \lbrack_{\mathbb{A}_{\R}} \) gibt. Und es bestimmt damit, ob \( ω \) gemeinsame Teiler mit \( \s \) hat.

Dies ist einer der Gründe, aus denen ich mich mit den Ordinalzahlen beschäftigt und diese auf die Biordinalzahlen erweitert und ein Stück weit erforscht habe. Darauf basierend haben wir eine fundamentale Asymmetrie herausgearbeitet, die der von uns gefundenen und oben verwendeten Anzahl der endlichen ganzen Zahlen \( 2 \cdot ω \) zugrunde liegt.

Diese Anzahl der endlichen ganzen Zahlen ergibt sich wegen der auch im Negativen vorhandenen Zählrichtung, die auch dort in Richtung der größer werdenden, und schließlich positiven Zahlen, ausgerichtet bleibt, weil alle Zahlen letztendlich aus dem Zählen hervorgehen. Siehe dazu auch die Operialtheorie.

Um auszudrücken, dass jeder negative Realanteilen einer algebraischen Zahl Teil eines an einer ganzen Zahl hängenden Zahlenintervalls ist, der jeweils aus einem Zahlenintervall an einer natürlichen Zahl entsteht, berücksichtigen wir im Ansatz die ontologische Vorstellung, dass es sich bei Zahlen quasi um Wellen – oder Sägezähne – von einer Zahl zur nächsten handelt. Diese Wellen hängen in Zählrichtung an den Zahlen.

Ontologie der ganzen Zahlen
Abbildung 1 New window: Es erscheint zunächst erstaunlich, dass die Symmetrie der Existenz der endlichen ganzen Zahlen bei \( -½ \) liegt. Wenn wir etwas über die Struktur der Zahlen und damit des Zählens, auch mit Hilfe der Biordinalzahlen, nachdenken, was ich in der Grafik verbildlicht habe, dann erscheint dies doch in sich plausibel. Denn die Null gehört strukturell zu den positiven Zahlen und aus denen entstehen dann die negativen durch Verschiebung. Diese Asymmetrie spielt vermutlich unter anderem in der Riemannschen Vermutung eine Rolle, wie ich noch ergründen werde.

Die negativen Zahlen entstehen also eigentlich nicht durch eine Spiegelung dieser Wellen, sondern durch deren Verschiebung. Und dies soll sich in der ersten Struktur der Formulierung ausdrücken, die wir auf Basis der Formel ansetzen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\R}^{-}\;\;\;=\;\;\;\left\{\; x\;~\middle|~\;\left( \forall n \in \mathbb{N} \right) \left( \forall u \in [ 0, 1 [_{\mathbb{A}_{\R}} \right) \\ \qquad\qquad\qquad\;\, \left[\; x = \left( n - \left( 2 \cdot n + 1 \right) \right) + u \;\right] \;\right\} } \] (SN.Eig.SVS.12)

Die Intervalle \( u \), die zwischen den Zahlen liegen, hängen an der vorstehenden ganzen Zahl und werden auf diese Weise mit verschoben. Daher steht quasi am „Beginn“ der endlichen negativen ganzen Zahlen auch der Punkt einer ganzen Zahl, was eben der Grund dafür ist, dass es eine endliche negative ganze Zahl mehr geben muss, als positive, ohne die Null (siehe ). Denn das Zählen ist die Grundlage aller Zahlen.

Wenn wir die Verschiebung vereinfachend umformen:

▼ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\mathbb{A}_{\R}^{-}\;\;\;=\;\;\;\left\{\; x\;~\middle|~\;\left( \forall n \in \mathbb{N} \right) \left( \forall u \in [ 0, 1 [_{\mathbb{A}_{\R}} \right) \\ \qquad\qquad\qquad\qquad\quad\;\;\, \left[\; x = \left( n - 2 \cdot n - 1 \right) + u \;\right] \;\right\} } \] (SN.Eig.SVS.13)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\mathbb{A}_{\R}^{-}\;\;\;=\;\;\;\left\{\; x\;~\middle|~\;\left( \forall n \in \mathbb{N} \right) \left( \forall u \in [ 0, 1 [_{\mathbb{A}_{\R}} \right) \\ \qquad\qquad\qquad\qquad\quad\;\;\, \left[\; x = \left( - n - 1 \right) + u \;\right] \;\right\} } \] (SN.Eig.SVS.14)
▲ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\mathbb{A}_{\R}^{-}\;\;\;=\;\;\;\left\{\; x\;~\middle|~\;\left( \forall n \in \mathbb{N} \right) \left( \forall u \in [ 0, 1 [_{\mathbb{A}_{\R}} \right) \\ \qquad\qquad\qquad\qquad\quad\, \left[\; x = - \left( n + 1 \right) + u \;\right] \;\right\} } \] (SN.Eig.SVS.15)

Mit Hilfe der Formeln und BO.Ein.NE.6 folgt dann:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \# \mathbb{N}\;\;\;=\;\;\;ω } \] (BO.Ein.NE.6)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Rightarrow\hspace{10mm}\# \mathbb{A}_{\R}^{-}\;\;\;=\;\;\;\# [ 0, 1 [_{\mathbb{A}_{\R}} \, \cdot \; ω } \] (SN.Eig.SVS.16)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\# \mathbb{A}_{\R}^{-}\;\;\;=\;\;\;\frac{ \s }{ 2 \cdot ω } \cdot ω } \] (SN.Eig.SVS.17)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\# \mathbb{A}_{\R}^{-}\;\;\;=\;\;\;\frac{ \s }{ 2 } } \] (SN.Eig.SVS.18)

So kann der Eindruck einer Spiegelung entstehen, wenn wir das Intervall nicht explizit dranhängen würden.

Demnach sind wir sicher, dass die Anzahl der endlichen ganzen Zahlen wirklich \( 2 \cdot ω \) ist.

Die superiale Basis \( \s \) und die Menge \( \mathbb{S} \) haben einen ganz bemerkenswerten Zusammenhang

Als wir die arithmetische Struktur der Geometrie untersuchten, haben wir eine Definition der superialen Basis \( \s \) durch die vollständige Teilung der Strecke von der Null bis zur Eins durch alle Primzahlen und deren Potenzen und Kombinationen gefunden. Vollständige Teilung soll hier bedeuten vollständig durch alle endlichen Primzahlen und vollständig induktiv durch alle ihre endlichen Potenzen.

Eine sehr bemerkenswerte Doppelung in Bezug auf \( \s \)
Unsere superiale Basis \( \s \) kommt nun in zwei etwas unterschiedlichen und sich auf den allerersten Blick auch etwas widersprechenden Zusammenhängen vor:

Zum einen beschreibt \( \s \) die arithmetische Struktur der Geometrie. Das bedeutet, die maximale normierte Teilung einer Strecke zwischen Null und Eins mit natürlichen endlichen Teilern ist \( \s \).

Zum anderen können wir aktual unendlich kleine ganze Zahlen mit den Superial-Zahlen definieren, mit denen wir in \( \s \) Schritten, die eine Größe von \( \s^{-1} \) haben, von Null bis an, aber ausschließlich der Eins zählen können. Das bedeutet, dass mit jedem Punkt, den wir mit dem Koeffizienten \( n \), \( z \) oder \( z^{-} \) von \( \s^{-1} \), also angelehnt an mit

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [0, 1[_{\mathbb{S}^{-1}_{\Z}}\;\;\;=\;\;\;\\ \quad \left\{\; x\;~\middle|~\;\left( \forall a \in [ 0, 1 ]_{\mathbb{A}_{\S}} \right) \left( \forall n \in \mathbb{N} \right) \left( \forall z \in \mathbb{Z} \right) \left( \forall z^{-} \in \mathbb{Z}^{-} \right) \\ \qquad\qquad\quad \left[\; x\;\;\;=\;\;\;\begin{cases} n \cdot \s^{-1} & \text{ falls } a = 0 \\ a + z \cdot \s^{-1} & \text{ falls } 0 < a < 1 \\ 1 + z^{-} \cdot \s^{-1} & \text{ falls } a = 1 \end{cases} \;\right] \;\right\} \;\; , } \] (SN.Eig.SVS.19)
In Stellenwert-Notation:
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [0, 1[_{\mathbb{S}^{-1}_{\Z}}\;\;\;=\;\;\;\\ \quad \left\{\; x\;~\middle|~\;\left( \forall a \in [ 0, 1 ]_{\mathbb{A}_{\S}} \right) \left( \forall n \in \mathbb{N} \right) \left( \forall z \in \mathbb{Z} \right) \left( \forall z^{-} \in \mathbb{Z}^{-} \right) \\ \qquad\qquad\quad \left[\; x\;\;\;=\;\;\;\begin{cases} .\!\left\langle n \right\rangle & \text{ falls } a = 0 \\ \left\langle a \right\rangle\!.\!\left\langle z \right\rangle & \text{ falls } 0 < a < 1 \\ \left\langle 1 \right\rangle\!.\!\left\langle z^{-} \right\rangle & \text{ falls } a = 1 \end{cases} \;\right] \;\right\} } \] (SN.Eig.SVS.20)

über \( 2 ω \) Schritte je Koeffizient \( a \) im Endlichen von Null bis ausschließlich Eins zählen. Dies wären dann aber \( 2 ω \cdot \s \) Schritte, wenn \( a \) jeden Punkt von \( \s \) adressieren würde. Angelehnt an Formel SN.AbIn.IN.1 können wir die Menge der Punktkoordinaten schreiben als:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [0, 1[_{\mathbb{S}^{-1}_{\Z}}\;\;\;=\;\;\;\\ \quad \left\{\; \quad\, 0, \s^{-1}, 2 \s^{-1}, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \tfrac{1}{2} - 2 \s^{-1},\; \tfrac{1}{2} - \s^{-1},\; \tfrac{1}{2},\; \tfrac{1}{2} + \s^{-1},\; \tfrac{1}{2} + 2 \s^{-1}, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \tfrac{2}{3} - 2 \s^{-1},\; \tfrac{2}{3} - \s^{-1},\; \tfrac{2}{3},\; \tfrac{2}{3} + \s^{-1},\; \tfrac{2}{3} + 2 \s^{-1}, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \, 1 - 3 \s^{-1}, 1 - 2 \s^{-1}, 1 - \s^{-1} \quad \right\} } \] (SN.Eig.SVS.21)
In Stellenwert-Notation:
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [0, 1[_{\mathbb{S}^{-1}_{\Z}}\;\;\;=\;\;\;\\ \quad \left\{\; \;\;\;\, .\!\left\langle 0 \right\rangle ,\; .\!\left\langle 1 \right\rangle ,\; .\!\left\langle 2 \right\rangle , \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \left\langle \tfrac{1}{2} \right\rangle\!.\!\left\langle -2 \right\rangle ,\; \left\langle \tfrac{1}{2} \right\rangle\!.\!\left\langle -1 \right\rangle ,\; \tfrac{1}{2},\; \left\langle \tfrac{1}{2} \right\rangle\!.\!\left\langle 1 \right\rangle ,\; \left\langle \tfrac{1}{2} \right\rangle\!.\!\left\langle 2 \right\rangle , \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \left\langle \tfrac{2}{3} \right\rangle\!.\!\left\langle -2 \right\rangle ,\; \left\langle \tfrac{2}{3} \right\rangle\!.\!\left\langle -1 \right\rangle ,\; \tfrac{2}{3},\; \left\langle \tfrac{2}{3} \right\rangle\!.\!\left\langle 1 \right\rangle ,\; \left\langle \tfrac{2}{3} \right\rangle\!.\!\left\langle 2 \right\rangle , \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \, \left\langle 1 \right\rangle\!.\!\left\langle -3 \right\rangle ,\; \left\langle 1 \right\rangle\!.\!\left\langle -2 \right\rangle ,\; \left\langle 1 \right\rangle\!.\!\left\langle -1 \right\rangle \quad \right\} } \] (SN.Eig.SVS.22)

Nun können es aber nur \( \s \) Zählschritte der Größe \( \s^{-1} \) von Null bis ohne Eins sein, wenn wir die Ableitungen und das Integral, wie geschehen, über die Superial-Zahlen definieren. Und dazu passend ist es auch offensichtlich, dass \( a \) nicht alle \( \s \) der Punkte kann:

So können zum Beispiel in der Menge der Superial-Zahlen nicht die Punkte \( \frac{ k }{ 2^{ω} } \) der arithmetischen Struktur der Geometrie adressiert werden, weil \( x \in \lbrack0, 1\lbrack_{\mathbb{S}^{-1}_{\Z}} \) diesen Wert wegen

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left( x \in [0, 1[_{\mathbb{S}^{-1}_{\Z}} \right) \left( k \in \mathbb{N}^{+} \right) \left[\; x\;\;\;\neq\;\;\;\frac{ k }{ 2^{ω} } \;\right] } \] (SN.Eig.SVS.23)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Rightarrow\hspace{10mm}\left( a \in [0, 1[_{\mathbb{A}_{\S}} \right) \left( z \in \mathbb{Z} \right) \left[\; a + z \cdot \s^{-1}\;\;\;\neq\;\;\;\frac{ k }{ 2^{ω} } \;\right] } \] (SN.Eig.SVS.24)
▼ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}a + \frac{ z }{ \s }\;\;\;\neq\;\;\;\frac{ k }{ 2^{ω} } } \] (SN.Eig.SVS.25)
▲ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}a + \frac{ z }{ 2^{ω} 3^{ω} 5^{ω} 7^{ω} 11^{ω} \cdots }\;\;\;\neq\;\;\;\frac{ k }{ 2^{ω} } } \] (SN.Eig.SVS.26)

nicht annehmen kann. Es kann zwar \( a = 0 \) sein, aber \( z \) kann nicht die unendlichen Potenzen der Primzahlen, außer \( 2^{ω} \), eliminieren.

Nach dem Beweis der Überrationalitätsvermutung ist zum Beispiel \( a = \sqrt{2} = \frac{ 2^{\frac{1}{2}} \cdot 2^{ω} }{ 2^{ω} } \) interessanterweise adressierbar.

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [0, 1[_{\mathbb{S}^{-1}_{\Z}}\;\;\;=\;\;\;\\ \quad \left\{\; \quad\, 0, \s^{-1}, 2 \s^{-1}, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \tfrac{\sqrt{2}}{2} - 2 \s^{-1},\; \tfrac{\sqrt{2}}{2} - \s^{-1},\; \tfrac{\sqrt{2}}{2},\; \tfrac{\sqrt{2}}{2} + \s^{-1},\; \tfrac{\sqrt{2}}{2} + 2 \s^{-1}, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \tfrac{\sqrt{3}}{2} - 2 \s^{-1},\; \tfrac{\sqrt{3}}{2} - \s^{-1},\; \tfrac{\sqrt{3}}{2},\; \tfrac{\sqrt{3}}{2} + \s^{-1},\; \tfrac{\sqrt{3}}{2} + 2 \s^{-1}, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \, 1 - 3 \s^{-1}, 1 - 2 \s^{-1}, 1 - \s^{-1} \quad \right\} } \] (SN.Eig.SVS.27)
In Stellenwert-Notation:
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [0, 1[_{\mathbb{S}^{-1}_{\Z}}\;\;\;=\;\;\;\\ \quad \left\{\; \;\;\;\, .\!\left\langle 0 \right\rangle ,\; .\!\left\langle 1 \right\rangle ,\; .\!\left\langle 2 \right\rangle , \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \left\langle \tfrac{\sqrt{2}}{2} \right\rangle\!.\!\left\langle -2 \right\rangle ,\; \left\langle \tfrac{\sqrt{2}}{2} \right\rangle\!.\!\left\langle -1 \right\rangle ,\; \tfrac{\sqrt{2}}{2},\; \left\langle \tfrac{\sqrt{2}}{2} \right\rangle\!.\!\left\langle 1 \right\rangle ,\; \left\langle \tfrac{\sqrt{2}}{2} \right\rangle\!.\!\left\langle 2 \right\rangle , \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \left\langle \tfrac{\sqrt{3}}{2} \right\rangle\!.\!\left\langle -2 \right\rangle ,\; \left\langle \tfrac{\sqrt{3}}{2} \right\rangle\!.\!\left\langle -1 \right\rangle ,\; \tfrac{\sqrt{3}}{2},\; \left\langle \tfrac{\sqrt{3}}{2} \right\rangle\!.\!\left\langle 1 \right\rangle ,\; \left\langle \tfrac{\sqrt{3}}{2} \right\rangle\!.\!\left\langle 2 \right\rangle , \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \, \left\langle 1 \right\rangle\!.\!\left\langle -3 \right\rangle ,\; \left\langle 1 \right\rangle\!.\!\left\langle -2 \right\rangle ,\; \left\langle 1 \right\rangle\!.\!\left\langle -1 \right\rangle \quad \right\} } \] (SN.Eig.SVS.28)

Welche Koeffizienten adressierbar sind, damit beschäftigen wir uns im ersten Abschnitt dieser Seite: . Wie wir oben in Formel schon festgestellt haben, müssen es genau \( \frac{ \s }{ 2ω } \) sein.

Es ist für mich nicht so einfach, diese vermeintliche Doppelung in Worte zu fassen, merke ich, aber ich versuche es nachfolgend. Zunächst möchte ich aber Sicherheit schaffen, dass beides einender entsprechen muss.

Woher wissen wir so sicher, wieviele Punkte der Teilung durch \( \s \) wir mit unseren Koeffizienten adressieren können?
Wir wissen, dass die Adressierung von \( \frac{ \s }{ 2ω } \) rein endlichen Koeffizienten von Null bis Eins korrekt sein muss, weil wir gezeigt haben,(Link zum Abschnitt) dass wir eine Ableitung durch ein Integral genau dann Rückgängig machen können, wenn wir davon ausgehen, dass wir über \( \s \) Summanden der Größe \( \s^{-1} \) pro Einheit Eins in diesen Schritten zählend summieren. Hätten wir mehr oder weniger Schritte als \( \s \), dann würde es nicht passen und die Integration wäre nicht die gesuchte Umkehrung der Ableitung.

Dass wir jedoch \( 2 \cdot ω \) aktual unendlich kleine ganze Schritte pro rein endlichem adressierten Koeffizienten haben, scheint mir unstrittig.

Wie können wir diese bizarr anmutende Doppelung von \( \s \) interpretieren und deuten?
In beiden Fällen teilen wir die Strecke zwischen Null bis ohne Eins in \( \s \) Teile ein. Beide Male hat die Einteilung den einheitlichen Abstand von \( \s^{-1} \).

Das bedeutet, dass in beiden Fällen die ersten von Null beginnenden Punkte der Teilung durch \( n \cdot \s^{-1} \), mit \( n \in \mathbb{N} \), zu adressieren sind. Nun gehen für \( n \) aber nach der ersten vollständigen Induktion die Elemente in \( \mathbb{N} \) aus, ohne, dass wir uns zu einem endlichen Koeffizienten vorgearbeitet hätten, der größer als Null wäre. Das Mysterium findet dann im Übergang der endlichen Koeffizienten zu den nächst höheren statt; aus der Sicht der unendlich kleinen Schritte dann im Übergang ins unendlich Große.

Aus der Perspektive der Teilung ist das alles sehr symmetrisch und harmonisch. Aus der Perspektive der Schritte und der Adressierung bekommen wir einen bemerkenswerten Mix von Koeffizienten der Mengen \( \mathbb{N} \), \( \mathbb{Z} \), \( \mathbb{Z}^{-} \) sowie \( \mathbb{A}_{\S} \), wobei letztere Menge teilweise oder sogar ganz für die realen Koeffizienten der algebraischen Zahlen steht. Durch Mengen lm{ \mathbb{N} } und \( \mathbb{Z}^{-} \), die sich schließlich zu \( \mathbb{Z} \) vereinigen, ergibt sich dann noch eine Asymmetrie, die dem Zählen geschuldet ist.

Der Teilung durch \( \s \) sind diese komplexen Zusammenhänge der Mengen und deren Asymmetrie sowie deren Mischung von aktual unendlichen und dann wieder endlichen Koeffizienten zunächst nicht anzusehen. Wir könnten glaube, diese Struktur ließe sich einfach so adressieren, wie endliche Strukturen oder Mengen von Punkten.

Und dann stellt sich wieder heraus, dass sich dies alles im wesentlichen wie endliche Zahlen verhält, nur im aktual unendlich Kleinen und Großen gemischt.

Es stellt sich auch die Frage im Sinne der Ordinalzahlen: Welche Zahlenmengen werden eigentlich zum Beispiel durch die Werte \( 2^{ω} \) und \( \s \) repräsentiert? (In Arbeit …)

Im Falle der Teilung der Strecke durch alle endlichen Primzahlen in der vollständigen induktiven Potenz \( ω \) haben die sich ergebenden Punkte keine aktual unendlichen Summanden. Und es werden alle Punkte der Teilung gezählt. (Das scheint mir verkehrt!)

Im Falle der Zählschritte zählen wir im Stellenwertsystem der Superial-Zahlen in der ersten aktual unendlich kleinen Potenz \( \s^{-1} \) in ganzzahligen Schritten je adressiertem Koeffizienten alle ganzen Zahlen und nur bei der Null die natürlichen Zahlen und bei der Eins nur die negativen ganzen Zahlen. Wir haben also aktual kleine Summanden. Aber wir adressieren dafür nicht alle Punkte der Teilung in \( \s \) Teile.

Die Teile des ersten entsprechen genau den Schritten des zweiten. Es ist, als wenn die theoretische Annäherung an die statische arithmetische Struktur der Geometrie genau der praktischen Umsetzung eines schrittweisen und damit dynamischen Prozesses (der Beschreibung) einer Berechnung entspricht. Und in der Berechnung wird auch noch der statische Wert der theoretischen Annäherung benutzt.

Fragen die bleiben sind:

Können wir noch besser verstehen, warum das so ist oder sein muss?

Hat diese Doppelung eventuell eine Verbindung zur analytischen Fortsetzung von Funktionen und damit zur Riemannschen Vermutung?

Es ist, als wenn die prozesshafte Beschreibung eine gewisse kleine Imbalance braucht, die dem Zählen ja auch schon innewohnt. Die Struktur, die \( \s \) beschreibt, verrutscht dabei zum einen ins aktual unendlich Große und zum anderen dann wieder ins aktual unendlich Kleine; beide Male kombiniert mit dem Endlichen.

Es erscheint ein wenig wie ein Wunder, dass beides exakt einander entspricht, ja entsprechen muss.

Die superiale Basis \( \s \) und die Ordinalzahl \( ω^{ω} \) im Strukturvergleich
Vom Wert her gleich und doch verschieden

Betrachten wir die arithmetische Struktur der Geometrie \( \s \) und die Adressierbarkeit ihrer Punkte, die durch die Teilung durch \( \s \) entstehen, dann ist es interessant, dass wir durch den Beweis der Primzahlprodukt-Vermutung auch in den Ordinalzahlen eine Wertgleichheit zu \( \s \) finden:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;=\;\;\;ω^{ω} } \] (SN.PP.174)

In der Menge der Ordinalzahlen \( \mathbb{On} \) hat \( ω^{ω} \) genau so viele Vorgänger, wie ihr Wert groß ist. Dies Gilt auch für \( \s \) in der Menge der natürlichen Superial-Zahlen \( \mathbb{S_{\N}} \). Diese Eigenschaft wird durch die Gleichheit ihres Wertes ausgedrückt.

In beiden Mengen haben alle Zahlen auch einen direkten Nachfolger.

Und trotzdem sind bei Mengen von ihren Elementen her nicht gleich, denn in \( \mathbb{S_{\N}} \) haben alle Zahlen einen direkten Vorgänger, außer die Null, hingegen gilt dies in \( \mathbb{On} \) nicht, weil nicht nur die Null keine Vorgänger hat, sondern alle sogenannten Limeszahlen, also auch \( ω \) und \( ω^{ω} \), haben ebenfalls keine Vorgänger:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [ 0, \s [_{\mathbb{S}_{\Z}}\;\;\;\neq\;\;\;ω^{ω} } \] (SN.Eig.SVS.29)

Der strukturelle Unterschied dieser beiden Mengen – hier werden nicht die Werte betrachtet –, trotz Wertgleichheit, ist sehr bemerkenswert und bedarf einer näheren Untersuchung.

Die beiden Mengen sehen konkret folgendermaßen aus:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [ 0, \s [_{\mathbb{S}_{\Z}}\;\;\;=\;\;\;\\ \quad \left\{\; \quad\, 0, 1, 2, \cdots n, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \tfrac{1}{2} \s + z^{-}, \cdots \tfrac{1}{2} \s - 1,\; \tfrac{1}{2} \s,\; \tfrac{1}{2} \s + 1, \cdots \tfrac{1}{2} \s + n, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \tfrac{2}{3} \s + z^{-}, \cdots \tfrac{2}{3} \s - 1,\; \tfrac{2}{3} \s,\; \tfrac{2}{3} \s + 1, \cdots \tfrac{2}{3} \s + n, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \, \s + z^{-}, \cdots \s - 2, \s - 1 \quad \right\} } \] (SN.Eig.SVS.30)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω^{ω}\;\;\;=\;\;\;[ 0, ω^{ω} [_{\mathbb{On}}\;\;\;=\;\;\;\\ \quad \left\{\; \quad\; 0, 1, 2, \cdots n, \cdots \\ \qquad\quad\; ω, ω + 1, ω + 2, ω + 3, \cdots ω + n, \cdots \\ \qquad\quad\; 2 ω, 2 ω + 1, 2 ω + 2, 2 ω + 3, \cdots 2 ω + n, \cdots \\ \qquad\quad\; 3 ω, 3 ω + 1, 3 ω + 2, 3 ω + 3, \cdots 3 ω + n, \cdots \\ \quad\quad\; \quad \vdots \\ \qquad\quad\;\, ω^{2}, ω^{2} + 1, ω^{2} + 2, ω^{2} + 3, \cdots ω^{2} + n, \cdots \\ \qquad\quad\; ω^{2} + ω, ω^{2} + ω + 1, ω^{2} + ω + 2, \cdots ω^{2} + ω + n, \cdots \\ \quad\quad\; \quad \vdots \\ \qquad\quad\;\, 2 ω^{2}, 2 ω^{2} + 1, 2 ω^{2} + 2, 2 ω^{2} + 3, \cdots 2 ω^{2} + n, \cdots \\ \quad\quad\; \quad \vdots \\ \qquad\quad\;\, 3 ω^{2}, 3 ω^{2} + 1, 3 ω^{2} + 2, 3 ω^{2} + 3, \cdots 3 ω^{2} + n, \cdots \\ \quad\quad\; \quad \vdots \\ \qquad\quad\;\, ω^{3}, ω^{3} + 1, ω^{3} + 2, ω^{3} + 3, \cdots ω^{3} + n, \cdots \\ \quad\quad\; \quad \vdots \\ \qquad\quad\;\, 2 ω^{3}, 2 ω^{3} + 1, 2 ω^{3} + 2, 2 ω^{3} + 3, \cdots 2 ω^{3} + n, \cdots \\ \quad\quad\; \quad \vdots \\ \qquad\quad\;\, 3 ω^{3}, 3 ω^{3} + 1, 3 ω^{3} + 2, 3 ω^{3} + 3, \cdots 3 ω^{3} + n, \cdots \\ \quad\quad\; \quad \vdots \quad \right\} } \] (SN.Eig.SVS.31)

Wir sehen: In der Menge \( \left\lbrack 0, \s \right\lbrack_{\mathbb{S}_{\Z}} \) sind Elemente der Menge \( \left\lbrack 0, ω^{ω} \right\lbrack_{\mathbb{On}} \), wie \( ω \), \( ω + 1 \) oder \( ω^{2} \), \( ω^{2} + 1 \) und so weiter, gar nicht enthalten. Umgekehrt gibt es in \( \left\lbrack 0, ω^{ω} \right\lbrack_{\mathbb{On}} \) keinen direkten Vorgänger von \( ω^{ω} \), wie es ihn in der Menge der natürlichen Superial-Zahlen vor \( \s \) mit \( \s - 1 \) gibt. Und auch Ausdrücke, wie \( \frac{1}{2} \s \) oder \( \frac{2}{3} \s + 1 \) können wir in \( \left\lbrack 0, ω^{ω} \right\lbrack_{\mathbb{On}} \) nicht benennen.

Genauer können wir sagen, außer allen natürlichen Zahlen gibt es keine einzige weitere Zahl, die wir in beiden Mengen explizit angeben können. Aber die Anzahl aller Zahlen, wie gesagt, und sogar ihre Summe, wie wir gleich sehen, sind in beiden Mengen gleich.

Summengleichheit trotz der strukturellen Unterschiede
Mit der angepassten Gaußschen Summenformel, damit auch die Berechnung von Summen unendlich großer Mengen, die kein größtes Element haben, möglich ist, können wir die Summen ganzer Zahlen von Null bis ohne \( \s \) oder \( ω^{ω} \) berechnen:
(Dies kann wohl in der ersten Formel mit \( \mathbb{N}_{\infty} \) nicht stimmen.)

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall i \in [ 0, n [_{\mathbb{N}_{\infty}} } \!\!\!\! i\;\;\;=\;\;\;\frac{ n^{2} - n }{ 2 } } \] (BO.Ein.NE.82)

Für die Summe aller endlichen natürlichen Zahlen erhalten wir beispielsweise:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall i \in ω } i\;\;\;=\;\;\;\frac{ ω^{2} - ω }{ 2 } } \] (BO.Ein.NE.84)

Für die beiden gleichwertigen Zahlen und die Summen der unendlich vielen positiven ganzen Zahlen, für die sie jeweils stehen, erhalten wir dann:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall i \in [ 0, \s [_{\mathbb{S}_{\Z}} } \!\!\! i\;\;\;=\;\;\;\frac{ \s^{2} - \s }{ 2 } } \] (SN.Eig.SVS.32)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall i \in [ 0, ω^{ω} [_{\mathbb{On}} } \!\!\!\! i\;\;\;=\;\;\;\frac{ \left( ω^{ω} \right)^{2} - ω^{ω} }{ 2 } } \] (SN.Eig.SVS.33)

Die Richtigkeit der Summe aller natürlichen Superial-Zahlen bis ohne \( \s \) ergibt sich aus zwei Dingen zusammen. Zum einen aus dem allgemeinen Beweis, dass das Integral die Umkehrung der Ableitung ist. Und zum anderen aus dem Beispiel der Integration der Ableitung von \( f(x) = x^{2} \), also von \( f'(x) = \left\langle 2 x \right\rangle\!. \left\langle 1 \right\rangle \), in dem genau die angepasste Gaußsche Summenformel zur korrekten Lösung angewandt wird.

Die Richtigkeit der Summe aller Ordinalzahlen bis ohne \( ω^{ω} \) ergibt sich ganz einfach aus der Definition der Ordinalzahlen, die dazu gemacht sind, solche Zusammenhänge über die vollständige Induktion der natürlichen Zahlen auszudrücken.

Aus der Wertgleichheit beider Werte in der Formel SN.PP.174 folgt dann

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Rightarrow\hspace{10mm}\sum_{ \forall i \in [ 0, \s [_{\mathbb{S}_{\Z}} } \!\!\! i\;\;\;=\;\;\;\sum_{ \forall i \in [ 0, ω^{ω} [_{\mathbb{On}} } \!\!\!\! i \;\; , } \] (SN.Eig.SVS.34)

und dies, obwohl die Mengen, deren Elemente hier summiert werden, ja recht unterschiedlich sind. Und genau hier kann die nähere Untersuchung interessant sein.

Wenn wir die Menge \( \left\lbrack 0, \s \right\lbrack_{\mathbb{S}_{\Z}} \) aller natürlichen Superial-Zahlen bis ohne \( \s \) mit \( ω^{ω} \) ausdrücken, dann erhalten wir:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [ 0, \s [_{\mathbb{S}_{\Z}}\;\;\;=\;\;\;\\ \quad \left\{\; \quad\, 0, 1, 2, \cdots n, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \tfrac{1}{2} ω^{ω} + z^{-}, \cdots \tfrac{1}{2} ω^{ω} - 1,\; \tfrac{1}{2} ω^{ω},\; \tfrac{1}{2} ω^{ω} + 1, \cdots \tfrac{1}{2} ω^{ω} + n, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \tfrac{2}{3} ω^{ω} + z^{-}, \cdots \tfrac{2}{3} ω^{ω} - 1,\; \tfrac{2}{3} ω^{ω},\; \tfrac{2}{3} ω^{ω} + 1, \cdots \tfrac{2}{3} ω^{ω} + n, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \, ω^{ω} + z^{-}, \cdots ω^{ω} - 2, ω^{ω} - 1 \quad \right\} } \] (SN.Eig.SVS.35)

Vergleichen wir ihre Elemente nun mit denen der davor stehenden Menge \( \left\lbrack 0, ω^{ω} \right\lbrack_{\mathbb{On}} \) in Formel so fällt auf, dass die aktual unendlich großen Elemente der Menge hier mit endlichen Faktoren vor \( ω^{ω} \) ausgedrückt werden, also quasi im Bereich von \( ω^{ω} \), während die genannte Menge \( \left\lbrack 0, ω^{ω} \right\lbrack_{\mathbb{On}} \) oben nur Elemente weiter unterhalb von \( ω^{ω} \) enthält, ohne \( ω^{ω} \) selbst in den Ausdrücken zu benutzen.

Umso erstaunlicher, dass beide Mengen nicht nur gleich viele Elemente, sondern auch die gleiche Summe haben, wie vorstehend gezeigt. Es stellt sich demnach so dar, dass beide Mengen trotz ihrer Unterschiede in gewisser Hinsicht äquivalent sind. Die endlichen Faktoren vor \( ω^{ω} \) beziehungsweise \( \s \) werden also in ihrer potenziellen Unendlichkeit doch sehr klein, während die Polynome des Wertes \( ω \) potenziell doch sehr groß werden.

Zur Berechnung der Summe dürfen wir die angepassten Gaußschen Summenformel einsetzen. Dies gilt, weil wir durch den allgemeinen Beweis der Umkehrung der Ableitung mittels Integration sowie durch ein konkretes Beispiel der Integration gezeigt haben, dass wir nur mit Hilfe der angepassten Gaußschen Summenformel die konkrete Ableitung umkehren können. Insofern ist die Berechnung der folgenden Summe nicht der Beweis dafür, dass diese Summe innerhalb der natürlichen Superial-Zahlen korrekt ist, denn das wussten wir zuvor schon, sondern die Probe, dass sich dies nach all unserem Wissen auch wirklich ergibt. Es ist ein Plausibilitäts-Check.


Wenn wir die Elemente der Menge \( \left\lbrack 0, \s \right\lbrack_{\mathbb{S}_{\Z}} \) summieren, ergibt sich nach der angepassten Gaußschen Summenformel für die erste Zeile, die alle endlichen natürlichen Zahlen enthält, die Summe:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall i \in \mathbb{N} } i\;\;\;=\;\;\;\sum_{ \forall i \in ω } i\;\;\;=\;\;\;\frac{ ω^{2} - ω }{ 2 } } \] (BO.Ein.NE.84)

Um die mittleren Zeilen der Gesamtsumme, ohne die erste und die letzte, zu berechnen, benötigen wir folgende Formeln:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \# \mathbb{Z}^{-}\;\;\;=\;\;\;\# \mathbb{N}\;\;\;=\;\;\;ω\;\;\;=\;\;\;\mathbb{N} } \] (BO.Ein.NE.6)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \# \mathbb{Z}\;\;\;=\;\;\;2 ω } \] (BO.Ein.NE.7)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall z \in \mathbb{Z}} z\;\;\;=\;\;\;- ω } \] (BO.Ein.NE.12)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall z^{-} \in \mathbb{Z}^{-} } z^{-}\;\;\;=\;\;\;- \frac{ ω^{2} - ω }{ 2 } - ω } \] (SN.Eig.SVS.36)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \# [ 0, 1 [_{\mathbb{A}_{\S}}\;\;\;=\;\;\;\frac{ \s }{ 2 ω } } \] ()
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\# ] 0, 1 [_{\mathbb{A}_{\S}}\;\;\;=\;\;\;\frac{ \s }{ 2 ω } - 1 } \] (SN.Eig.SVS.37)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall a \in [ 0, x [_{\mathbb{A}_{\S}}} \!\! a\;\;\;=\;\;\;\frac{ x^{2} \cdot \s }{ 4 ω } - \frac{ x }{ 2 } } \] (SN.AbIn.NU.39)

Für die mittleren Zeilen ergibt sich dann, wenn wir die Summe mit \( y \) zur Übersichtlichkeit substituieren:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \sum_{ \forall z \in \mathbb{Z} } \left( a \cdot ω^{ω} + z \right)\;\;\;=\;\;\;y } \] (SN.Eig.SVS.38)
▼ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;\sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \left( a \cdot ω^{ω} \cdot \# \mathbb{Z} + \! \sum_{ \forall z \in \mathbb{Z} } z \right) } \] (SN.Eig.SVS.39)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;\sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \left( a \cdot ω^{ω} \cdot 2 ω + \! \sum_{ \forall z \in \mathbb{Z} } z \right) } \] (SN.Eig.SVS.40)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;\sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \left( a \cdot ω^{ω} \cdot 2 ω + \left( - ω \right) \right) } \] (SN.Eig.SVS.41)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;\sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \left( a \cdot ω^{ω} \cdot 2 ω - ω \right) } \] (SN.Eig.SVS.42)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;\sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \!\! a \cdot ω^{ω} \cdot 2 ω \;\; - \!\! \sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \!\! ω } \] (SN.Eig.SVS.43)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;ω^{ω} \cdot 2 ω \cdot \!\! \sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \!\! a \;\; - \!\! \sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \!\! ω } \] (SN.Eig.SVS.44)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;ω^{ω} \cdot 2 ω \cdot \!\! \sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \!\! a \;\; - \;\; \left( \frac{ \s }{ 2 ω } - 1 \right) \cdot ω } \] (SN.Eig.SVS.45)
▲ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;ω^{ω} \cdot 2 ω \cdot \!\! \sum_{ \forall a \in ] 0, 1 [_{\mathbb{A}_{\S}} } \!\! a \;\; - \;\; \left( \frac{ ω^{ω} }{ 2 ω } - 1 \right) \cdot ω } \] (SN.Eig.SVS.46)

Um die noch enthaltene variable Summe zu berechnen, können wir, ohne sie zu verändern, die Null in ihre Basismenge integrieren und sie dann mit Hilfe von Formel SN.AbIn.NU.39 berechnen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;ω^{ω} \cdot 2 ω \cdot \!\! \sum_{ \forall a \in [ 0, 1 [_{\mathbb{A}_{\S}} } \!\! a \;\; - \;\; \left( \frac{ ω^{ω} }{ 2 ω } - 1 \right) \cdot ω } \] (SN.Eig.SVS.47)
▼ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;ω^{ω} \cdot 2 ω \cdot \!\! \sum_{ \forall a \in [ 0, 1 [_{\mathbb{A}_{\S}} } \!\! a \;\; - \;\; \left( \frac{ ω^{ω} \cdot ω }{ 2 ω } - ω \right) } \] (SN.Eig.SVS.48)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;ω^{ω} \cdot 2 ω \cdot \!\! \sum_{ \forall a \in [ 0, 1 [_{\mathbb{A}_{\S}} } \!\! a \;\; - \;\; \left( \frac{ ω^{ω} }{ 2 } - ω \right) } \] (SN.Eig.SVS.49)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;ω^{ω} \cdot 2 ω \cdot \!\! \sum_{ \forall a \in [ 0, 1 [_{\mathbb{A}_{\S}} } \!\! a \;\; - \;\; \frac{ ω^{ω} }{ 2 } \;\; + \;\; ω } \] (SN.Eig.SVS.50)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;ω^{ω} \cdot 2 ω \cdot \left( \frac{ \s }{ 4 ω } - \frac{ 1 }{ 2 } \right) \;\; - \;\; \frac{ ω^{ω} }{ 2 } \;\; + \;\; ω } \] (SN.Eig.SVS.51)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;ω^{ω} \cdot 2 ω \cdot \left( \frac{ ω^{ω} }{ 4 ω } - \frac{ 1 }{ 2 } \right) \;\; - \;\; \frac{ ω^{ω} }{ 2 } \;\; + \;\; ω } \] (SN.Eig.SVS.52)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;\frac{ ω^{ω} \cdot 2 ω \cdot ω^{ω} }{ 4 ω } - \frac{ ω^{ω} \cdot 2 ω }{ 2 } - \frac{ ω^{ω} }{ 2 } + ω } \] (SN.Eig.SVS.53)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;\frac{ \left( ω^{ω} \right)^{2} }{ 2 } - ω^{ω} \cdot ω - \frac{ ω^{ω} }{ 2 } + ω } \] (SN.Eig.SVS.54)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;\frac{ \left( ω^{ω} \right)^{2} - ω^{ω} }{ 2 } - ω^{ω} \cdot ω + ω } \] (SN.Eig.SVS.55)
▲ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}y\;\;\;=\;\;\;\frac{ \left( ω^{ω} \right)^{2} - ω^{ω} }{ 2 } - \left( ω^{ω} \cdot ω - ω \right) } \] (SN.Eig.SVS.56)

Die letzte Zeile summiert sich dann zu:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall z^{-} \in \mathbb{Z}^{-} } \left( ω^{ω} + z^{-} \right)\;\;\;=\;\;\;\sum_{ \forall z^{-} \in \mathbb{Z}^{-} } ω^{ω} \; + \! \sum_{ \forall z^{-} \in \mathbb{Z}^{-} } z^{-} } \] (SN.Eig.SVS.57)
▼ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\!\! \sum_{ \forall z^{-} \in \mathbb{Z}^{-} } \left( ω^{ω} + z^{-} \right)\;\;\;=\;\;\;ω^{ω} \cdot ω \; + \! \sum_{ \forall z^{-} \in \mathbb{Z}^{-} } z^{-} } \] (SN.Eig.SVS.58)
▲ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\!\! \sum_{ \forall z^{-} \in \mathbb{Z}^{-} } \left( ω^{ω} + z^{-} \right)\;\;\;=\;\;\;ω^{ω} \cdot ω + \left( - \frac{ ω^{2} - ω }{ 2 } - ω \right) } \] (SN.Eig.SVS.59)

Wenn wir alle drei Summen nun addieren

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ \forall i \in [ 0, \s [_{\mathbb{S}_{\Z}} } \!\!\! i\;\;\;=\;\;\;\frac{ ω^{2} - ω }{ 2 } \\ \qquad\qquad\quad\;\; + \frac{ \left( ω^{ω} \right)^{2} - ω^{ω} }{ 2 } - \left( ω^{ω} \cdot ω - ω \right) \\ \qquad\qquad\quad\;\; + ω^{ω} \cdot ω + \! \left( - \frac{ ω^{2} - ω }{ 2 } - ω \right) } \] (SN.Eig.SVS.60)
▼ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\!\! \sum_{ \forall i \in [ 0, \s [_{\mathbb{S}_{\Z}} } \!\!\! i\;\;\;=\;\;\;\frac{ \left( ω^{ω} \right)^{2} - ω^{ω} }{ 2 } - ω^{ω} \cdot ω + ω \\ \qquad\qquad\qquad\qquad\;\; + ω^{ω} \cdot ω - ω } \] (SN.Eig.SVS.61)
▲ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\!\! \sum_{ \forall i \in [ 0, \s [_{\mathbb{S}_{\Z}} } \!\!\! i\;\;\;=\;\;\;\frac{ \left( ω^{ω} \right)^{2} - ω^{ω} }{ 2 } } \] (SN.Eig.SVS.62)

ergibt sich auch tatsächlich das erwartete Ergebnis.


Unser Plausibilitäts-Check ist also positiv ausgefallen.

Die Wertgleichheit von \( \s \) und \( ω^{ω} \) sowie die Gleichheit der Summe ihrer natürlichen Vorgänger markiert die besondere Bedeutung ihres Werts

Notizen

• Mein Gefühl sagt mir, dass die Wertgleichheit von \( \s \) und \( ω^{ω} \) und deren unterschiedliche Zählstruktur etwas mit dem Zusammenhang zwischen den Nullstellen von Polynomen und deren Lösungen in Form von algebraischen Zahlen zu tun hat.
• Wir können auch sagen, dass die Superial-Zahlen eher mit den \( ω \)-ten Potenzen von Primzahlen oder natürlichen Zahlen in Verbindung stehen, während die Ordinalzahlen mit der Basis \( ω \) in natürlichen Potenzen im Zusammenhang stehen. Bei \( ω^{ω} \) treffen sich beide Perspektiven dann.

Das der Wert der aktual unendlichen geometrischen Teilung der Eins \( \s \) mit dem Wert der aktual unendlich möglichen Varianten an Polynomen \( ω^{ω} \) zusammenfällt, drückt seine besondere Bedeutung aus.

Es handelt sich nicht um irgendeinen Wert, sondern darum, wie oft wir die endlich lange Strecke von der Null bis zur Eins normiert teilen können, ohne zur Beschreibung der Teilungspunkte aktual unendlich kleine Summanden benutzen zu müssen, die selber wieder gebrochen sind. Wir kommen auf diese Weise so nämlich mit ganzen Zahlen im unendlich Kleinen aus und erhalten eine normierte Vorschrift, von einer Skala natürlicher oder ganzer Zahlen zur nächsten unendlich kleineren oder unendlich größeren zu gelangen. Und unser so definierter Skalenfaktor basiert auf der Menge aller endlichen Primzahlen \( \mathbb{P} \), die alle möglichen dieser Teilungen damit normiert vorgibt.

Gleichzeitig sehen wir, dass die Koeffizienten von \( \s \) in einer Fraktalebene , also mit elliptischen Kurven und abschließend mit algebraischen Kurven vollständig dargestellt werden können.

→  

ausblenden

Vergleich mit hyperreellen Zahlen

ausblenden

←  

Notizen

• Die Null ist in den Superial-Zahlen viel simpler definiert, als in den hyperreellen Zahlen.
• In den Superial-Zahlen brauchen wir nicht eine Reihe von unendlich vielen Zahlen, um infinite und infinitesimale Zahlen zu definieren.
– Wir können das Symbol \( \s \) für ein unendliches Flächenprodukt der Primzahlen nehmen, siehe oben, und dieses mit endlichen Symbolen, wie Brüchen, kombinieren.

(In Arbeit …)

(In Arbeit …)

(In Arbeit …)

→  

ausblenden

Untersuchungen zur Kontinuumshypothese

ausblenden

Die Mächtigkeit der reellen Zahlen

←  

Die Mächtigkeit der reellen Zahlen wird mit \( \mathfrak{c} \) bezeichnet:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathfrak{c}\;\;\;=\;\;\;\#\mathbb{R} } \] (SN.Eig.UK.1)

Es soll gezeigt werden können, dass die Mächtigkeit des Kontinuums der Potenzmenge von \( \mathbb{N} \) entspricht. Warum dies so ist und wie es gezeigt wird, hab ich noch nicht verstanden. Die Mächtigkeit des Kontinuums wird dann mit Hilfe von \( ω \) als \( \aleph_{1} \) formuliert:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \aleph_{1}\;\;\;=\;\;\;2^{\aleph_{0}} } \] (SN.Eig.UK.2)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \aleph_{0}\;\;\;=\;\;\;ω\;\;\;=\;\;\;\#\mathbb{N}\;\;\;=\;\;\;\vert \mathbb{N} \vert } \] (SN.Eig.UK.3)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Rightarrow\hspace{10mm}\aleph_{1}\;\;\;=\;\;\;2^{ω}\;\;\;=\;\;\;\vert \mathcal{P}(\mathbb{N}) \vert } \] (SN.Eig.UK.4)

Die Kontinuumshypothese vermutet dann offenbar, dass die reellen Zahlen die gleiche Mächtigkeit besitzen, wie das Kontinuum:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathfrak{c}\;\;\;\overset{?}{=}\;\;\;\aleph_{1} } \] (SN.Eig.UK.5)

Die Idee ist also, dass die Mächtigkeit der reellen Zahlen der Mächtigkeit der Potenzmenge der Menge \( \mathbb{N} \) der natürlichen Zahlen, also \( \vert \mathcal{P}(\mathbb{N}) \vert \), mit \( 2^{ω} \) entspricht. Die Mächtigkeit einer Menge ist dabei nicht unbedingt der Anzahl der Elemente dieser Menge gleich.

Dies möchte ich nicht bezüglich der Mächtigkeit grundsätzlich in Frage stellen, sondern in Bezug auf die mit den Superial-Zahlen gefundene Struktur des Unendlichen, vielleicht eher als Dichte oder Raster und mit der Arithmetik beschreiben sowie erneut beleuchten, um weitere Erkenntnisse zu gewinnen.

Mit der Kontinuumshypothese wird angenommen:

» Es gibt keine Menge, deren Mächtigkeit zwischen der Mächtigkeit der natürlichen Zahlen und der Mächtigkeit der reellen Zahlen liegt. «

Dies soll erst einmal so stehen bleiben, weil es hier nicht direkt um den Beweis oder die Widerlegung der Kontinuumshypothese geht.

Es soll vorerst darum gehen, die Struktur der Zahlen, bestenfalls der reellen Zahlen, tiefer zu beleuchten, um zu sehen, ob und, wenn ja, welche Erkenntnisse sich diesbezüglich ergeben.

Die Potenz \( 2^{ω} \) ist uns aus dem Primzahl-Flächenprodukt bereits bekannt

Die von uns bewiesene Primzahlprodukt-Vermutung zeigt, dass die Anzahl aller endlichen natürlichen Zahlen \( ω \) im Primzahl-Flächenprodukt zu finden ist. Und zwar in der Zeile, die das Produkt aller endlichen Primzahlen darstellt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\;\;\;=\;\;\;2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 13 \cdot 17 \cdot 19 \cdot 23 \cdot \cdots } \] (SN.PP.173)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;=\;\;\;ω^{ω} } \] (SN.PP.174)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\s\;\;\;=\;\;\;\left( 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 13 \cdot 17 \cdot 19 \cdot 23 \cdot \cdots \right)^{ω} } \] (SN.Ein.33)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\s\;\;\;=\;\;\;2^{ω} \cdot 3^{ω} \cdot 5^{ω} \cdot 7^{ω} \cdot 11^{ω} \cdot 13^{ω} \cdot 17^{ω} \cdot 19^{ω} \cdot 23^{ω} \cdot \cdots } \] (SN.Eig.UK.6)

Wir sehen die Potenz \( 2^{ω} \) als ersten Primzahlturm im Produkt von \( \s \).

Weiterhin ergibt sich die neue Erkenntnis, dass \( \aleph_{1} \) in seiner Potenz von \( 2 \) im Exponenten das Produkt aller Primzahlen enthält:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Rightarrow\hspace{10mm}\aleph_{1}\;\;\;=\;\;\;2^{ω}\;\;\;=\;\;\;2^{2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 13 \cdot 17 \cdot 19 \cdot 23 \cdot \cdots} } \] (SN.Eig.UK.7)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\aleph_{1}\;\;\;=\;\;\;\left( \left( \left( \left( \left( \left( 2^{ 2 } \right)^{ 3 } \right)^{ 5 } \right)^{ 7 } \right)^{ 11 } \right)^{ 13 } \right)^{ \cdots } } \] (SN.Eig.UK.8)

Dies sind Formulierungen, die neu sind, soweit mir bekannt.

Die Konstruktion und der Sinn von \( \s \) wirft Fragen bezüglich der Struktur der reellen Zahlen auf

Nun geht es bei der Kontinuumshypothese um die Mächtigkeit der reellen Zahlen und um die der natürlichen Zahlen; schließlich ja um die Frage, ob es noch eine Mächtigkeit zwischen denen dieser beiden Mengen gibt.

Die superiale Basis \( \s \) ist nun so konstruiert, dass ein Produkt mit ihr und jedem Realanteil einer algebraischen Zahl, eine ganze Zahl ergibt, wie wir durch den Beweis der Überrationalitätsvermutung wissen.

Offensichtlich können wir dies sehen, wenn es sich dabei um eine rationale Zahl handelt. Wir können daran erkennen, dass schon die Struktur der Realanteile der algebraischen Zahlen es erfordert, nicht nur \( 2^{ω} \), sondern auch \( 3^{ω} \) und ebenso alle anderen aktual unendlichen Potenzen endlicher Primzahlen bis ins Unendliche, einzubeziehen. Da scheint es offenbar, dass \( 2^{ω} \) nicht ausreichen kann, die Komplexität oder Feinheit der Struktur aller reellen Zahlen darzustellen. Dazu kommt, dass die reellen Zahlen auch noch alle transzendenten Zahlen enthalten sollen, woran es Zweifel geben darf, siehe Abschnitt .

Während die Mächtigkeit der Realanteile der algebraischen Zahlen, der der natürlichen Zahlen entspricht, weil sie abzählbar sind, ist die Mächtigkeit der transzendenten Zahlen überabzählbar. Durch die Superial-Zahlen sehen wir, dass die Anzahl der Realanteile der algebraischen Zahlen dem besagten aktual unendlichen Flächenprodukt \( \s \) geteilt durch die Anzahl der endlichen ganzen \( 2 \cdot ω \) entspricht, siehe Formel .

Wenn wir dies alles betrachten, bekomme ich den Eindruck, dass hier etwas nicht zusammenpasst.

Unabhängigkeit von der Mengenlehre (ZFC)
An dieser Stelle möchte ich darauf aufmerksam machen, dass die Kontinuumshypothese von der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC) insgesamt unabhängig ist. Dass bedeutet, die Mengenlehre – genauer die ZFC-Mengenlehre – gibt uns nicht die Möglichkeit zu entscheiden, ob die Kontinuumshypothese wahr oder falsch ist.

Hier kommen die auf diesen Seiten entwickelten Superial-Zahlen, und die mit ihnen verbundenen Biordinalzahlen, ins Spiel. Die Superial-Zahlen begründen das Aktual-Unendliche auf den endlichen Primzahlen und so auf der Arithmetik und bringen sie mit der Mengenlehre zusammen. Sie erweitern so die Realanteile der algebraischen Zahlen sogar auf einen aktual unendlichen angeordneten algebraischen Körper,. Das heißt, wir haben durch die Superial-Zahlen nicht nur die Mengenlehre, sondern auch eine Arithmetik des Aktual-Unendlichen mit ausgezeichneten Eigenschaften zur Verfügung.

Und dadurch konnten wir schon neue Erkenntnisse der Arithmetik des Aktual-Unendlichen gewinnen, wie eine neue Definition der Ableitung, des Integrals, also der Erweiterung des Zählens, und der Primzahlen, der Definition der vollständigen Induktion über endliche Primzahlen sowie der Definition von irrationalen Realanteilen der algebraischen Zahlen mit überratiionalen Brüchen, also Brüchen aus aktual unendlichen ganzen Zahlen, die irrationale Wurzeln und ähnliches beschreiben.

All dies steht offensichtlich in Beziehung zur Kontinuumshypothese und kann so zu deren besseren Verständnis herangezogen werden.

(In Arbeit …)

Transzendente Zahlen

Hinsichtlich der transzendenten Zahlen möchte ich am Beispiel der Eulerschen Zahl \( \e_\s \) zeigen, dass sich hier weitere Fragezeichen ergeben:

Auf der Seite Die eulersche Zahl e und ihre Exponentialfunktion kommen wir zu dem Schluss, dass die Eulersche Zahl keine irrationale Zahl ist, nicht einmal eine Superial-Zahl der auf dieser Seite definierten 1. Ordnung, weil sie unweigerlich aktual unendlich kleine Summanden der Größenordnung \( \s^{-\s} \) enthält, die nicht Null werden können. Wie gesagt, fällt sie hierdurch selbst aus der Menge \( \mathbb{S} \) der Superial-Zahlenheraus. Sie ist also keine rein endliche reelle Zahl, die nur aus Summanden endlicher Größe besteht.

An dieser Stelle würde ich sagen, dass zumindestens \( \e_\s \) keine reelle Zahl ist und die Frage im Raum steht, ob nicht auch alle anderen transzendenten Zahlen gar keine reellen Zahlen sind. Sondern, wir lassen uns vielleicht dadurch täuschen, dass wir glauben, transzendente Zahlen wären durch Dezimalzahlen mit unendlich vielen Nachkommastellen darstellbar, ohne zu beantworten, wie groß diese minimale Unendlichkeit denn eigentlich ist.

Schlussfolgerung zur Untersuchung der Kontinuumshypothese

Ich denke, wir sollten die Struktur der reellen Zahlen und ihre Aufteilung in Untermengen mit Hilfe der Primzahlen, und somit mit Hilfe der Superial-Zahlen, tiefer untersuchen und verstehen, damit wir in die Lage kommen, die Kontinuumshypothese im Detail zu verstehen und hoffentlich dann beantworten zu können.

→   Primzahlprodukt-Vermutung

ausblenden

Fußnoten

ausblenden
1. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Abelsche Gruppe.
2. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Ordinalzahl.
3. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Lexikographische Ordnung.
Vgl. Wikipedia, Stellenwertsystem, Lexikographische Ordnung.
4. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Geordneter Körper.
5. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Geordneter Körper, Strukturaussagen.
Vgl. Wikipedia, Archimedisches Axiom.
6. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Archimedisches Axiom.
7. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Ordinalzahl.
8. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Ring (Algebra).
9. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Unendlichkeitsaxiom, Formulierung; Bedeutung für die Mathematik, Natürliche Zahlen.
10. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Ordinalzahl.
11. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Ordinalzahl.
12. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Ordinalzahl, Motivation und Definition, Limes- und Nachfolgerzahlen.
13. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Gaußsche Summenformel.
14. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Unendlichkeitsaxiom, Formulierung; Bedeutung für die Mathematik, Natürliche Zahlen.
15. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Elliptische Kurve.
16. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Algebraische Kurve.
17. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Mächtigkeit.
18. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Kontinuumshypothese, Aussage, Einfache Kontinuumshypothese.
19. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Kontinuumshypothese, Aussage, Einfache Kontinuumshypothese.
20. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Kontinuumshypothese.
21. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Kontinuumshypothese, Aussage, Einfache Kontinuumshypothese.
22. Internet:
Wikipedia, Kontinuumshypothese, Aussage.
23. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Algebraische Zahl, Eigenschaften.
24. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Transzendente Zahl.
25. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Transzendente Zahl, Überabzählbarkeit.
26. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Kontinuumshypothese, Unabhängigkeit von ZFC.
27. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Körper (Algebra).
28. (Primärliteratur einfügen!)
Internet:
Vgl. Wikipedia, Algebraischer Zahlkörper.
ausblenden

Stand 05. September 2024, 14:00 CET.


  • Crowdfunding: Spenden