Einleitung

←	Einleitung

In der Schule fand ich Ableitungen und Integrale immer sehr faszinierend. Es war für mich erstaunlich, wie man über die Unendlichkeit ganz neue Erkenntnisse und Formeln gewinnen konnte. Daraus hat sich damals ein tiefes Bedürfnis entwickelt zu verstehen, was dabei genau vor sich geht. Auch fand ich den dafür genutzten Limes nicht so intuitiv, obwohl er faszinierendes ermöglichte, und suchte einen einfachen und einsichtigeren Ansatz das gleiche zu erreichen.

Eine versunkene Welt

Ich spielte viel mit der Formel zur Definition der Ableitung herum, was schließlich dazu führte, dass ich begriff, dass der Limes nicht nur dazu führt, dass ein bestimmtes Glied der sich ergebenen Summe dominant in den Vordergrund tritt und das Ergebnis bestimmt. Mir wurde auch klar, dass all die anderen Summanden, die unendlich klein und damit scheinbar unbedeutend wurden, eine Welt darstellten, die so quasi im Nirvana versank.

Schätze aus der versunkenen Welt heben

Genau diese „versunkene“ Welt weckte mein Interesse. Irgendwie war ja auch klar, dass beim Integrieren, der Umkehrung der Ableitung, diese versunkene Welt schließlich wieder auftauchen musste. Wie könnte sie da unwiederbringlich „vernichtet“ worden sein? Durch das Herumspielen begriff ich: Wir können auch ins Unendliche gehen, ohne den Limes zu benutzen! Ohne, dass man die versinkenden Summanden wirklich zu Null werden lässt, wobei sie einfach pragmatisch als vernachlässigbar erklärt und weggeschmissen werden. Was in der Praxis legitim ist, sollte in der Theorie nicht vernachlässigt sondern erforscht werden, sprach mein Herz.

Meine ersten gefundenen Erkenntnisse teilte ich bald mit einem Professor der Hamburger Uni. Er empfahl in unserem Schriftwechsel, die superiale Basis $ \s $ nicht nur durch Relationen, sondern konkret zu definieren. Dadurch angeregt wurde mir klar, dass $ \s $ ein Primexponentenprodukt aller endlicher Primzahlen in aktual unendlicher ordinaler Potenz $ ω $ sein musste.

Diese Einsicht ermöglichte einen konkreten Zugang in eine faszinierende neue Welt auf Grundlage der so bedeutenden, wie zunächst auch recht einfach verständlichen Primzahlen. Die Struktur von $ \s $ fand ich, weil durch den Versuch die Summen der Integrale mit ihr zu beschreiben schnell klar wurde, dass alle rationalen Zahlen $ q $ im Produkt $ q \cdot \s $ ganze aktual unendlich große Zahlen sein mussten, damit eine ganze wenn auch unendliche Anzahl an Summanden in der Summe ist. Soweit recht simpel, aber mit großer Tragweite.

Die Fragen und Vermutungen jedoch, die sich daraus schließlich ergaben – die Superial-Zahlen sollten natürlich möglichst viel Sinn machen – hatten es in sich: Sind auch irrationale Wurzeln in einem solchen Produkt, wie $ \sqrt{2} \cdot \s $, ganzzahlig? Sind schließlich alle $ \sqrt[x]{n} \cdot \s $ ganzzahlig? Wie kann ich so etwas beweisen? Mein herumspielen mit den Superial-Zahlen ergab auch den Eindruck und die Abschätzung, dass es aus dieser neuen Perspektive Sinn machte, das von-Neumann-Ordinal4 mit einer multiplikativen Struktur kanonisch zu identifiziert. Immer mal wieder ergaben die Formeln den Hinweis, dass $ ω \equiv_{\mathrm{kan}} \left( 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 3 \cdot \cdots \;\right)_{\#} $ sein sollte. Kann das bewiesen werden?

All dies stärkte meine Neugier, mein Interesse und motivierte zu tieferer Erforschung.

Meine Ahnung der Bedeutung

Nach meiner Entdeckung des superialen Zahlensystems und als ich schließlich die Funktion und damit die sinnvolle innere Struktur der superialen Basis $ \s $ erkannte, wurde mir bald klar: Die Superial-Zahlen mussten eine Verbindung zur Struktur geometrischer Objekte haben und so auch mit der Kontinuumshypothese in Verbindung stehen.

Wie sagen wir so schön: »Lasst uns anfangen!« Oder im Englischen: »Lets go for it!«

→	Problemstellung und Zielsetzung

←	Motivation

Die klassische Analysis berechnet Ableitungen und Integrale über Grenzprozesse. Eine Ableitung wird nicht als Quotient zweier wirklich vorhandener infinitesimaler Größen verstanden, sondern als Grenzwert eines Differenzenquotienten:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { f'(x)\;\;\;=\;\;\;\lim\limits_{\Delta x \rightarrow +0}{ \frac{ f(x + \Delta x) - f(x) }{ \Delta x } } } \]

(SN.AbIn.1)

Ebenso wird das Integral als Grenzwert immer feinerer Summen aufgefasst. Diese Limes-Fundierung ist mathematisch äußerst erfolgreich und bildet die Grundlage der modernen Analysis. Sie hat jedoch einen entscheidenden Preis: Das infinitesimale Rechenelement selbst verschwindet aus der Theorie. Es gibt im klassischen reellen Zahlensystem kein von Null verschiedenes $ \Delta x $, das kleiner als jede positive reelle Zahl ist. Der Limes beschreibt daher ein Grenzverhalten, aber keinen aktual vorhandenen infinitesimalen Rechenschritt.

Historisch war genau dies eines der zentralen Spannungsfelder der Analysis. Newton, Leibniz, Fermat, Euler und andere rechneten mit unendlich kleinen Größen, Momenten, Fluxionen, Differentialen oder vernachlässigbaren Restgliedern. Die Ergebnisse waren oft korrekt und außerordentlich fruchtbar, doch die Grundlagen blieben lange umstritten: Darf man durch eine Größe teilen, die anschließend verschwindet? Ist ein Differential $ \mathrm{d} x $ gleich Null oder ungleich Null? Wie kann eine Fläche aus Linien oder eine Bewegung aus ausdehnungslosen Momenten entstehen?

Die moderne Limes-Analysis löst diese Probleme, indem sie die infinitesimalen Größen nicht mehr als Objekte zulässt. Dadurch wird die Rechnung streng, aber zugleich wird eine mögliche feinere Struktur unsichtbar. Restglieder, die im Grenzübergang verschwinden, werden nicht als eigenständige Bestandteile des Ergebnisses aufbewahrt. So liefert die klassische Analysis den Standardwert, nicht aber die vollständige Spur des infinitesimalen Rechenprozesses.

Die Superial-Zahlen setzen an dieser Stelle an. Ihr Ziel ist nicht, die klassische Analysis zu ersetzen, sondern sie durch eine aktual unendliche und infinitesimale Struktur zu verfeinern. An die Stelle eines bloß variablen Grenzparameters $ \Delta x \rightarrow +0 $ tritt eine ausgezeichnete infinitesimale Schrittweite:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1} } \]

Die zugehörige aktual unendliche Basis $ \s $ dient als normierendes Rechenelement. Dadurch können Ableitungen und Integrale nicht nur als Grenzwerte, sondern als konkrete superiale Werte mit sichtbarer Reststruktur formuliert werden. Für die Ableitung von $ f(x) = x^{2} $ entsteht zum Beispiel nicht unmittelbar nur der klassische Wert $ 2 x $, sondern zunächst der superiale Wert

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2 x + \s^{-1} } \]

Der klassische Ausdruck $ 2 x $ erscheint anschließend als Standardisierung dieses superialen Wertes. Der infinitesimale Rest $ \s^{−1} $ wird nicht vernichtet, sondern bleibt als Grenzwertspur erhalten.

Damit verfolgt diese Theorie drei Ziele.

Erstens soll ein Rechenraum beschrieben werden, in dem infinitesimale und aktual unendliche Größen nicht bloß heuristische Hilfsmittel sind, sondern algebraisch strukturierte Objekte. Die Basis $ \s $ übernimmt dabei die Rolle eines aktual unendlichen Stellenwertträgers, während $ \s^{−1} $ den kanonischen infinitesimalen Schritt der Analysis bildet.

Zweitens soll gezeigt werden, dass diese Basis nicht willkürlich eingeführt wird. Über die kanonische Primexponenten-Identifikation wird $ ω $ mit dem vollständigen Einheits-Primexponentenprodukt aller endlichen Primzahlen identifiziert. Die superiale Basis erhält dadurch die Struktur

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;=\;\;\;ω^{ω} } \]

(SN.ZFC.4)

beziehungsweise präziser

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;=\;\;\;\prodx_{ p \in \mathbb{P} } p^{ω} \;\; . } \]

(SN.ZFC.1)

Damit trägt jede endliche Primzahl im Primexponentenprodukt $ \s $ den aktual unendlichen Exponenten $ ω $:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left( \forall p \in \mathbb{P} \right) \left[\; v_{p}\left( \s \right)\;\;\;=\;\;\;ω \;\right] } \]

(SN.ZFC.3)

Die Basis $ \s $ ist somit nicht nur ein formales Symbol für „sehr groß“, sondern ein strukturiertes Primexponentenobjekt.

Drittens soll die klassische Analysis als Standardprojektion einer feineren superialen Analysis verstanden werden. Die gewöhnlichen Ableitungen und Integrale bleiben erhalten, erscheinen aber als standardisierte Schattenwerte einer reicheren Rechnung. Was der klassische Limes ausblendet, bleibt in der superialen Darstellung als infinitesimale oder aktual unendliche Schicht sichtbar.

Die zentrale Problemstellung lautet daher:

Kann eine Analysis formuliert werden, in der Ableitungen und Integrale nicht nur durch Grenzwerte bestimmt sind, sondern durch konkrete aktual unendliche und infinitesimale Rechenelemente, ohne die klassische Analysis zu verlieren?

Die Zielsetzung dieser Arbeit ist es, einen solchen Rechenrahmen zu entwickeln. Die Superial-Zahlen sollen einen geordneten, algebraisch stabilen und in der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC)5 modellierbaren Zahlenraum bereitstellen, in dem endliche, aktual unendliche und infinitesimale Anteile gemeinsam auftreten können. Die klassische Analysis wird dadurch nicht aufgehoben, sondern als Standardebene innerhalb einer feineren superialen Struktur rekonstruiert.

Kurz gesagt: Die Superial-Zahlen versuchen, den alten infinitesimalen Gehalt der Analysis wieder sichtbar zu machen — nicht als unklare Heuristik, sondern als kanonisch normierte, primexponentiell fundierte und algebraisch auswertbare Struktur.

→	Hauptergebnisse in der Übersicht

←	Problemstellung und Zielsetzung

Aus der in der Problemstellung beschriebenen Zielsetzung ergeben sich die folgenden zentralen Ergebnisse der Theorie.

1. Kanonische Primexponentenidentifikation von $ ω $

Der Beweis der Primzahlprodukt-Vermutung zeigt, dass das von-Neumann-Ordinal $ ω $ kanonisch mit dem vollständigen einpotenzigen Einheits-Primexponentenprodukt aller endlichen Primzahlen identifiziert werden kann:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\;\;\;\equiv_{\mathrm{kan}}\;\;\;ω\overline{\#} } \]

(SN.PP.295)

Zugleich wird die Primexponentenprodukt-Notation eingeführt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\overline{\#}\;\;\;=\;\;\;\prodx_{ p \in \mathbb{P} } p\;\;\;=\;\;\;(2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 13 \cdot \cdots)_{\#} } \]

(SN.PP.55)

Damit gelten die vereinbarten Kurzschreibweisen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\;\;\;=\;\;\;ω\overline{\#}\;\;\;=\;\;\;\prodx_{ p \in \mathbb{P} } p } \]	(SN.PP.297)
\[ \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.298)

Diese Schreibweisen bedeuten keine gewöhnliche extensionale Gleichheit des von-Neumann-Ordinals mit einem klassischen unendlichen Produkt, sondern die kanonische Identifikation von $ ω $ mit seinem vollständigen Einheits-Primexponentenprodukt.

Der Beweiskern liegt dabei in der Bestimmung des lückenlosen Zahlenwertes:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \lpr\left( ω\overline{\#} \right)\;\;\;=\;\;\;ω\;\;\;=\;\;\;\left\{ 0, 1, 2, 3, 4, 5, \cdots \right\} } \]

(SN.PP.244)

Der lückenlose Anfang des Primturm-Potenzrasters des vollständigen Einheits-Primexponentenprodukts umfasst genau alle endlichen natürlichen Zahlen. Die zweite Inklusionsrichtung wird über das Lückenabstiegsprinzip begründet: Oberhalb der endlichen natürlichen Zahlen werden im umgebenden Primexponenten-Termraum Lückenzeugen konstruiert, die nicht zum reinen Primturm-Potenzraster gehören. Die Identifikation ist daher keine naive Gleichsetzung von $ ω $ mit einem gewöhnlichen unendlichen Produkt, sondern die kanonische Identifikation mit diesem deduktiv bestimmten lückenlosen Zahlenwert.

2. Die superiale Basis $ \s $

Auf Grundlage dieser Identifikation wird die superiale Basis definiert durch:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;=\;\;\;ω^{ω} } \]

(SN.ZFC.4)

Präziser ist $ \s $ das vollständige $ ω $-Primexponentenprodukt aller endlichen Primzahlen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;≔\;\;\;\left( ω\overline{\#} \right)_{\#}^{ω}\;\;\;=\;\;\;\displaystyle \left( \prodx_{p \in \mathbb{P}} p \right)_{\#}^{ω}\;\;\;=\;\;\;\displaystyle \prodx_{p \in \mathbb{P}} p^{ω} } \]

(SN.ZFC.1)

Damit trägt jede endliche Primzahl $ p $ im Primexponentenprodukt $ \s $ den aktual unendlichen Exponenten $ ω $:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { v_{p}\left( \s \right)\;\;\;=\;\;\;ω } \]

(SN.ZFC.3)

Die Basis $ \s $ ist damit nicht einfach eine beliebige aktual unendliche Größe, sondern ein arithmetisch normiertes Primexponentenobjekt.

3. Superial-Zahlen als Stellenwertsystem zur Basis $ \s $

Die Superial-Zahlen bilden ein Stellenwertsystem6 zur Basis $ \s $. Eine Superial-Zahl besteht aus Schichten der Form

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { a_{k} \cdot \s^{k} } \]

Positive Potenzen von $ \s $ beschreiben aktual unendliche Anteile, die Potenz $ \s^{0} = 1 $ beschreibt die endliche Standardschicht, und negative Potenzen von $ \s $ beschreiben infinitesimale Anteile.

Damit entsteht ein geordneter Zahlenraum, in dem endliche, aktual unendliche und infinitesimale Bestandteile in einer gemeinsamen algebraischen Struktur auftreten.

4. Zentrale Normalform der Superial-Zahlen

Superial-Zahlen werden als nach oben beschränkte Schichtreihen zur Basis $ \s $ dargestellt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { x\;\;\;=\;\;\;\sum_{ \substack{k \in \mathbb{Z} \\ k \le m} } a_{k} \cdot \s^{k} } \]

Dabei ist $ m \in \mathbb{Z} $ die höchste besetzte Schicht, also der größte Index mit $ a_{m} \neq 0 $. Die Koeffizienten stammen aus dem Bereich der sinnvollen Koeffizienten, der später als Körper der reell algebraischen Zahlen bestimmt wird.

Die Potenz $ \s^{0} = 1 $ bildet die endliche Standardschicht. Potenzen $ \s^{k} $ mit $ k > 0 $ beschreiben aktual unendliche Schichten, Potenzen $ \s^{k} $ mit $ k < 0 $ infinitesimale Schichten.

Die größte nichtverschwindende Schicht bestimmt die Größenordnung der Superial-Zahl. Dadurch werden endliche, aktual unendliche und infinitesimale Bestandteile nicht vermischt, sondern in einer geordneten Stellenwertstruktur getrennt.

5. ZFC-interne Modellkonstruktion

Die Superial-Zahlen werden als ZFC-interne definitorische Modellkonstruktion formuliert. Die Axiome der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC)7 werden nicht verändert; vielmehr wird innerhalb des von Neumannschen Universums eine zusätzliche strukturierte Rechenumgebung definiert.

Die Modellkonstruktion verwendet insbesondere Hahn-Reihen8, lexikographische Ordnung9 und verallgemeinerte $ p $-adische Schichtbewertungen10. Dadurch erhält man einen geordneten und bewerteten algebraischen Rechenraum, in dem Addition, Multiplikation, Ordnung, Division und Schichtstruktur wohldefiniert zusammenwirken.

6. Algebraische Zahlen als sinnvolle Koeffizienten

Ein zentrales Ergebnis ist die Einbettung der reell algebraischen Zahlen11 $ \mathbb{A}_{\R} $ als sinnvolle Koeffizienten der Superial-Zahlen. $ \mathbb{A}_{\R} $ bezeichnet den Körper der reell algebraischen Zahlen, also die reellen Nullstellen nichttrivialer Polynome mit ganzzahligen Koeffizienten. Äquivalent sind dies die reellen Zahlen ohne die transzendenten Zahlen.

Eine Zahl $ a $ ist ein sinnvoller Koeffizient, wenn sie mit der superialen Basis zu einer ganzen superialen Zahl skaliert werden kann

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { a \cdot \s\;\;\;\in\;\;\;\mathbb{S}_{\Z,\{ 1 \}} \;\; , } \]

(SN.SinK.17)

wobei nur der Koeffizient der ersten unendlichen Schicht ungleich Null sein darf.

Für rationale Zahlen ergibt sich diese Eigenschaft aus endlicher Teilbarkeit. Durch den Beweis der Überrationalitätsvermutung und die darauf aufbauenden Argumente wird diese Ganzzahligkeit auf Radikale, Radikalformen und schließlich auf alle reell algebraischen Zahlen erweitert.

Damit werden die reell algebraischen Zahlen im Produkt mit $ \s $ zu aktual unendlichen ganzen Größen.

7. Reelle Zahlen in der superialen Darstellung

Innerhalb der Superial-Zahlen werden die reellen Zahlen nicht unterschiedslos als eine einheitliche Koeffizientenklasse behandelt. Vielmehr trennt sie die Theorie in reell algebraische und transzendente Zahlen.

Die reell algebraischen Zahlen bilden sinnvolle Koeffizienten der Superial-Zahlen. Transzendente Zahlen wie $ \e $ und $ π $ nehmen dagegen eine andere Rolle ein. Sie erscheinen nicht einfach als einzelne algebraische Koeffizienten, sondern benötigen eine mehrschichtige superiale Darstellung.

In dieser Darstellung besitzt die endliche Standardschicht einen reell algebraischen Wert, zugleich können aber auch negative, infinitesimale Schichten auftreten. Damit werden transzendente Zahlen nicht ausgeschlossen, sondern feiner innerlich strukturiert: Ihre klassische reelle Erscheinung ist die Standardschicht, während ihre superiale Struktur zusätzliche infinitesimale Anteile enthält.

Diese Unterscheidung bereitet insbesondere die spätere Behandlung von $ \e_{\s} $, $ π_{\s} $ und weiteren transzendenten Zahlen vor.

8. Ableitungen mit normierter infinitesimaler Schrittweite

Die Superial-Analysis verwendet die ausgezeichnete infinitesimale Schrittweite:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1} } \]

Dadurch wird die Ableitung als konkreter superialer Differenzenquotient formuliert:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{D}_{\s} f(x)\;\;\;=\;\;\;\frac{ f( x + \s^{-1} ) - f(x) }{ \s^{-1} } } \]

(SN.Std.1)

Für $ f(x) = x^{2} $ ergibt sich:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{D}_{\s} f(x)\;\;\;=\;\;\;2 x + \s^{-1} } \]

Der klassische Ableitungswert entsteht durch Standardisierung:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \operatorname{std}\left( 2 x + \s^{-1} \right)\;\;\;=\;\;\;2 x } \]

Damit bleibt der infinitesimale Rest in der superialen Rechnung sichtbar, während die klassische Analysis als Standardebene erhalten bleibt.

9. Integrale als aktual unendliche Summen

Auch Integrale werden in der Superial-Analysis nicht nur als Grenzwerte verstanden, sondern als aktual unendliche Summen über ein infinitesimales diskretes Raster, das die ganzen Superial-Zahlen ermöglichen.

Die Schrittweite ist:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1} } \]

Ein Intervall der Länge $ 1 $ enthält entsprechend $ \s $ normierte infinitesimale ganzzahlige Schritte. Das Integral wird dadurch als Summe über diese Schritte formuliert. Die klassische Integralrechnung erscheint wiederum als Standardisierung der superialen Summenstruktur.

10. Erzeugungsanzahl als Ergänzung zur Mächtigkeit

Neben der klassischen Mächtigkeit führt die Theorie die Erzeugungsanzahl ein. Sie misst nicht nur, ob zwei Mengen gleichmächtig sind, sondern wie ihre Elemente relativ zur vollständigen Induktion erzeugt werden.

Die Erzeugungsanzahl einer Menge $ A $ wird notiert als:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \overline{\#}_{\mathrm{erz}}\left( A \right) } \]

oder kurz:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \overline{\#} A } \]

Sie ergänzt die Kardinalität um einen erzeugungskombinatorischen und ordinalen Aspekt. Dadurch können unendliche Mengen feiner unterschieden werden, als es durch bloße Bijektivität möglich ist.

Die Erzeugungsanzahl steht dabei direkt mit der Erzeugungssumme in Verbindung, wie wir noch Beispielhaft zeigen.

11. Aktual unendliche Summen als neue Rechenobjekte

Die Superial-Zahlen machen nicht nur infinitesimale Differenzen und Integrale sichtbar, sondern eröffnen auch eine neue Betrachtung aktual unendlicher Summen, die in der klassischen Analysis nur indirekt über Grenzwerte, Reihenentwicklungen, Integralwerte oder gar nicht erscheinen

Eine zentrale Rolle spielt dabei die Erzeugungsstruktur. Wird über ein erzeugtes Mengenintervall $ I $ die konstante Funktion $ 1 $ mit der Erzeugungssumme summiert, so entsteht nicht bloß eine Kardinalitätsaussage, sondern die Erzeugungsanzahl dieses Intervalls:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ x \in I } 1\;\;\;=\;\;\;\overline{\#}_{\mathrm{erz}}\left( I \right) } \]

Aktual unendliche Summen zählen damit nicht nur Elemente, sondern bilden die Erzeugungslänge und die Ordnung des zugrunde liegenden Intervalls ab.

Darüber hinaus können auch Summen betrachtet werden, die in der klassischen Analysis nicht unmittelbar als Grenzwerte zugänglich sind. Dazu gehören etwa Summen über dicht liegende abzählbare Mengen wie die reell algebraischen Zahlen in einem Intervall. Klassisch besitzt eine solche Summe ohne zusätzliche Ordnung oder Summationsvorschrift im Allgemeinen keinen kanonischen Wert. In der Superial-Theorie kann sie dagegen als erzeugungsgeordnete aktual unendliche Summe untersucht werden.

So wird zum Beispiel die Frage nach einer Summe aller reell algebraischen Zahlen von $ 0 $ bis ausschließlich $ x $ nicht als gewöhnliche Grenzwertreihe verstanden, sondern als Summe entlang einer kanonischen Erzeugungsstruktur:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ a \in [ 0, x [_{\mathbb{A}_{\R}} } \!\! a\;\;\;=\;\;\;\frac{ x^{2} \cdot \s }{ 4 \cdot ω } - \frac{ x }{ 2 } } \]

(SN.AbIn.NU.39)

Solche Summen sind keine gewöhnlichen Reihen über beliebige Aufzählungen, sondern neue superiale Summenobjekte, deren Bedeutung aus der Erzeugungsstruktur des jeweiligen Zahlenbereichs stammt.

12. Neue Perspektive auf Kontinuum und Kontinuumshypothese

Die Superial-Zahlen führen neben der klassischen Mächtigkeit zusätzliche Strukturbegriffe ein: Schichten, infinitesimale Raster, Erzeugungsanzahl und primexponentielle Fundierung.

Dadurch kann die Frage nach dem Kontinuum nicht nur kardinal, sondern auch erzeugungs- und rasterstrukturell betrachtet werden. Die Theorie behauptet dabei keinen unmittelbaren Beweis und keine unmittelbare Widerlegung der Kontinuumshypothese. Sie eröffnet jedoch eine neue Perspektive darauf, was zwischen abzählbarer Erzeugung, reeller Dichte, infinitesimaler Struktur und aktual unendlichem Raster unterschieden werden kann.

Auch das Kontinuum als Eigenschaft einer kontinuierlichen, also ununterbrochen zusammenhängenden Geometrie, ohne und mit infinitesimalen Anteilen, ist Gegenstand und wird differenziert untersucht. Die gefundene aktual unendliche Teilungsperspektive auf Basis der endlichen Primzahlen (siehe Abschnitt ›Das analytische Kontinuum‹) führt direkt über geometrische Überlegungen zur Definition der superialen Basis $ \s $.

13. Erweiterung klassischer Zahlstrukturen

Aus der superialen Basis ergeben sich natürliche Superial-Zahlen, ganze Superial-Zahlen, infinitesimale Einheiten, aktual unendliche Einheiten und superiale Primzahlen.

Viele bekannte Eigenschaften endlicher Zahlen lassen sich dadurch in das aktual Unendliche und das aktual Infinitesimale fortsetzen: Teilbarkeit, Ganzzahligkeit, Gerade/Ungerade, Primartigkeit, Ordnung und algebraische Operationen erhalten superiale Entsprechungen.

14. Klassische Analysis als Standardebene

Die klassische Analysis bleibt innerhalb der Superial-Zahlen erhalten. Ihre Werte erscheinen als Standardwerte superialer Ausdrücke.

Was im klassischen Limes verschwindet, bleibt in der Superial-Rechnung als infinitesimale oder aktual unendliche Schicht sichtbar. Dadurch wird die klassische Analysis nicht ersetzt, sondern in eine feinere Struktur eingebettet.

Zusammenfassung

Die Hauptergebnisse der Theorie lassen sich in einer Kette zusammenfassen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\;\;\;\equiv_{\mathrm{kan}}\;\;\;ω\overline{\#}\;\;\;=\;\;\;\prodx_{p \in \mathbb{P}} p } \]
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;=\;\;\;ω^{ω}\;\;\;=\;\;\;\displaystyle \prodx_{p \in \mathbb{P}} p^{ω} } \]
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { v_{p}\left( \s \right)\;\;\;=\;\;\;ω } \]
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{D}_{\s} f(x)\;\;\;=\;\;\;\frac{ f( x + \s^{-1} ) - f(x) }{ \s^{-1} } } \]

Damit entsteht ein ZFC-intern modellierbarer, geordneter und bewerteter Zahlenraum, in dem endliche, aktual unendliche und infinitesimale Schichten gemeinsam algebraisch behandelt werden können.

Die Superial-Zahlen eröffnen darüber hinaus neue Untersuchungsrichtungen: aktual unendliche Summen können als eigene Rechenobjekte betrachtet werden, und Fragen nach Kontinuum, Erzeugung und Mächtigkeit können durch Schichtstruktur und Erzeugungsanzahl feiner differenziert werden.

→	Kurzdefinition der Superial-Zahlen

←	Hauptergebnisse in der Übersicht

Die Superial-Zahlen bilden ein transfinites Stellenwertsystem zur aktual unendlichen Basis $ \s $. Diese Basis ist nicht eine beliebig gewählte unendlich große Zahl, sondern wird aus der kanonischen Primexponentenstruktur aller endlichen Primzahlen gewonnen.

Aus der Primzahlprodukt-Vermutung ergibt sich die kanonische Identifikation

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\;\;\;\equiv_{\mathrm{kan}}\;\;\;ω\overline{\#}\;\;\;=\;\;\;\prodx_{p \in \mathbb{P}} p \;\; . } \]

(SN.PP.295/SN.PP.296)

Dabei bezeichnet $ \prodx $ kein gewöhnliches Produkt im klassischen Sinn und insbesondere kein analytisches unendliches Produkt, sondern ein Primexponentenprodukt: Jede endliche Primzahl $ p $ kommt darin genau einmal vor. Auf dieser Grundlage wird die superiale Basis definiert durch

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;≔\;\;\;\left( ω\overline{\#} \right)_{\#}^{ω}\;\;\;=\;\;\;\displaystyle \left( \prodx_{p \in \mathbb{P}} p \right)_{\#}^{ω}\;\;\;=\;\;\;\displaystyle \prodx_{p \in \mathbb{P}} p^{ω} } \]

(SN.ZFC.1)

Damit gilt für jede endliche Primzahl $ p $:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { v_{p}\left( \s \right)\;\;\;=\;\;\;ω } \]

(SN.ZFC.3)

Die Basis $ \s $ enthält also jede endliche Primzahl in aktual unendlicher Exponentenlänge. Genau dadurch kann $ \s $ endliche Nenner, Wurzeln und allgemeiner algebraische Primexponentenstrukturen aufnehmen.

Die ZFC-Modellkonstruktion macht diese Idee formal präzise. Das aktual unendliche Primexponentenprodukt wird dort nicht als gewöhnliches unendliches Produkt behandelt, sondern über einen Hahn-Reihen-Körper12 mit einer Familie verallgemeinerter $ p $-adischer Bewertungen13 operationalisiert. Der Körper der Superial-Zahlen wird definiert als

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{S}\;\;\;≔\;\;\;\mathbb{A}_{\R}\!\left(\left( \s^{\mathbb{Z}} \right)\right) } \]

(SN.ZFC.22)

Dabei bezeichnet $ \mathbb{A}_{\R} $ den Körper der reell algebraischen Zahlen und $ \mathbb{Z} $ die geordnete Wertegruppe der superialen Schichten. Eine Superial-Zahl ist also eine formale Reihe der Gestalt

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { x\;\;\;=\;\;\;\sum_{ k \in \mathbb{Z} } a_{k} \cdot \s^{k} } \]

(SN.Ein.Kurz.1)

mit Koeffizienten

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { a_{k}\;\;\;\in\;\;\;\mathbb{A}_{\R} \;\; . } \]

(SN.Ein.Kurz.2)

Der Träger

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \supp( x )\;\;\;≔\;\;\;\left\{\; k \in \mathbb{Z}\;~\middle|~\;a_{k} \neq 0 \;\right\} } \]

(SN.Ein.Kurz.3)

ist nach oben beschränkt. Es gibt also eine höchste besetzte Schicht. Nach unten kann eine Superial-Zahl dagegen infinitesimale Fortsetzungen besitzen. Anschaulich kann man eine Superial-Zahl daher schreiben als

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { x\;\;\;=\;\;\;a_{n} \s^{n} + a_{n - 1} \s^{n - 1} + \cdots \\ \qquad\qquad \cdots + a_{1} \s + a_{0} + a_{-1} \s^{-1} + a_{-2} \s^{-2} + \cdots \;\; . } \]

(SN.Ein.Kurz.4)

Die Potenzen von $ \s $ bilden die Schichten des superialen Stellenwertsystems. Positive Potenzen beschreiben aktual unendliche Größen, die Null-Schicht beschreibt den endlichen Hauptwert, und negative Potenzen beschreiben infinitesimale Anteile:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{1}\;\;\;=\;\;\;\s } \]	(SN.Ein.Kurz.5)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{0}\;\;\;=\;\;\;1 } \]	(SN.Ein.Kurz.6)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1}\;\;\;=\;\;\;\frac{ 1 }{ \s } } \]	(SN.Ein.Kurz.7)

Die Zahl $ \s^{-1} $ ist das normierte superiale Infinitesimal. Sie bildet die Schrittweite, die in der superialen Analysis an die Stelle des klassischen Grenzübergangs treten kann.

Zur besseren Lesbarkeit kann eine Superial-Zahl später auch in Stellenwertschreibweise mit spitzen Klammern notiert werden. Die vorstehende formale Reihe kann dann schematisch geschrieben werden als

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { x\;\;\;=\;\;\;\left\langle a_{n} \right\rangle _{n}\left\langle a_{n - 1} \right\rangle _{n - 1}\cdots\left\langle a_{1} \right\rangle \left\langle a_{0} \right\rangle\!.\!\left\langle a_{-1} \right\rangle \left\langle a_{-2} \right\rangle \cdots \;\; . } \]

(SN.Ein.Kurz.8)

Bei fortlaufender Stellenwertschreibweise können die Indizes entfallen; sie werden nur gesetzt, wenn die Schicht ausdrücklich kenntlich gemacht werden soll. Der Punkt markiert die Stelle unmittelbar hinter der Null-Schicht, also den Übergang zu den infinitesimalen Schichten. Ein Index nach einer spitzen Klammer gibt ihre Schicht explizit an, falls diese nicht erkennbar ist, also:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left\langle a_{k} \right\rangle _{k}\;\;\;=\;\;\;a_{k} \cdot \s^{k} } \]

(SN.Ein.Kurz.9)

Die Ordnung der Superial-Zahlen ist die lexikographische Ordnung14 des Stellenwertsystems. Entscheidend ist immer die höchste Schicht, in der sich zwei Zahlen unterscheiden. Für eine von Null verschiedene Superial-Zahl wird diese höchste besetzte Schicht durch die Schichtbewertung

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \ord_{\s}( x )\;\;\;≔\;\;\;\max( \supp( x ) ) } \]

(SN.Ein.Kurz.10)

bestimmt. Ist der führende Koeffizient positiv, so ist die Zahl positiv; ist er negativ, so ist die Zahl negativ. Infinitesimale Anteile können daher niemals den Wert einer höheren Schicht umkehren.

Formal wird die Superial-Struktur in der ZFC-Modellkonstruktion als geordneter Körper mit Schicht- und Primexponentenbewertung beschrieben:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathfrak{S}\;\;\;≔\;\;\;\left\langle \mathbb{S}, +, \cdot, 0, 1, \leq, \ord_{\s}, \left( v_{p} \right)_{p \in \mathbb{P}} \right\rangle } \]

(SN.ZFC.24)

Die Addition erfolgt schichtweise, die Multiplikation wie in einem Stellenwertsystem durch Faltung der Schichten. Da die Konstruktion als Hahn-Reihen-Körper über einem Körper von Koeffizienten erfolgt, besitzt $ \mathbb{S} $ die Struktur eines geordneten Körpers.

Die ganzen Superial-Zahlen $ \mathbb{S}_{\Z} $ bilden innerhalb von $ \mathbb{S} $ den Bereich derjenigen Superial-Zahlen, die keine nichtverschwindenden infinitesimalen Anteile besitzen und deren Null-Schicht klassisch ganzzahlig ist. Nach der Bestimmung der sinnvollen Koeffizienten durch die Algebraische-Koeffizienten-Vermutung und die Superiale-Transzendenz-Vermutung ergibt sich für die ganzen Superial-Zahlen die Form

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{S}_{\Z}\;\;\;=\;\;\;\left\{ z + \sum_{ k = 1 }^{ m } a_{k} \s^{k}\;~\middle|~\;z \in \mathbb{Z} ,\; m \in \mathbb{N} ,\; a_{k} \in \mathbb{A}_{\R} \right\} \;\; . } \]

(SN.Ein.Kurz.11)

Die Null-Schicht der ganzen Superial-Zahlen enthält also nur klassische ganze Zahlen. Positive Schichten dürfen reell algebraische Koeffizienten tragen. Negative Schichten müssen bei ganzen Superial-Zahlen verschwinden.

Damit lassen sich die Superial-Zahlen knapp zusammenfassen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{S}\;\;\;≔\;\;\;\mathbb{A}_{\R}\!\left(\left( \s^{\mathbb{Z}} \right)\right) } \]	(SN.ZFC.22)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { v_{p}\left( \s \right)\;\;\;=\;\;\;ω \;\; , } \]	(SN.ZFC.3)

für alle endlichen Primzahlen $ p $.

Die Superial-Zahlen sind somit ein ZFC-intern definierbarer, geordneter Hahn-Reihen-Körper mit aktual unendlicher Primexponentenbasis $ \s $. Sie erweitern die endlichen reell algebraischen Zahlen um aktual unendliche und infinitesimale Schichten und stellen dadurch einen normierten Rechenraum für eine transfinite Analysis bereit.

→	Illustrierende Rechenbeispiele

Funktionsweise in der Praxis

←	Kurzdefinition der Superial-Zahlen

Die folgenden Beispiele dienen zur ersten Orientierung. Sie sollen zeigen, wie die Superial-Zahlen als Stellenwertsystem zur aktual unendlichen Basis $ \s $ gelesen und verwendet werden können. Die formalen Definitionen, Rechenregeln und Beweise folgen in den späteren Kapiteln.

Inhalt

→	Die superiale Basis und ihr Infinitesimal
→	Schichten einer Superial-Zahl
→	Stellenwertschreibweise mit spitzen Klammern
→	Ganze und nichtganze Superial-Zahlen
→	Sinnvolle Koeffizienten
→	Beispiel einer superialen Ableitung und ihres Integrals
→	Beispiele für Erzeugungssummen und Erzeugungsanzahlen
→	Zusammenfassung der Beispiele

Die superiale Basis und ihr Infinitesimal

Die superiale Basis $ \s $ ist aktual unendlich groß. Ihr Kehrwert

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1}\;\;\;=\;\;\;\frac{ 1 }{ \s } } \]

(SN.Ein.Illu.Bas.1)

ist daher ein normiertes infinitesimales Element. Für jede endliche natürliche Zahl $ n \in \mathbb{N} $ gilt anschaulich:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;>\;\;\;n } \]

(SN.Ein.Illu.Bas.2)

und zugleich

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 0\;\;\;<\;\;\;\s^{-1}\;\;\;<\;\;\;\frac{ 1 }{ n } \;\; . } \]

(SN.Ein.Illu.Bas.3)

Damit wird $ \s^{-1} $ zur natürlichen infinitesimalen Schrittweite der superialen Analysis.

Schichten einer Superial-Zahl

Eine einfache Superial-Zahl kann zum Beispiel die Form

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { x\;\;\;=\;\;\;2 \, \s^{2} + \sqrt{2} \, \s + 3 + \frac{ 1 }{ 2 } \, \s^{-1} } \]

(SN.Ein.Illu.Sch.1)

haben. Die einzelnen Summanden liegen in verschiedenen Schichten. Der Term

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2 \, \s^{2} } \]

(SN.Ein.Illu.Sch.2)

gehört zur $ \s^{2} $-Schicht, der Term

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sqrt{2} \, \s } \]

(SN.Ein.Illu.Sch.3)

zur $ \s^{1} $-Schicht, die Zahl

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 3 } \]

(SN.Ein.Illu.Sch.4)

zur Null-Schicht und der Term

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \frac{ 1 }{ 2 } \, \s^{-1} } \]

(SN.Ein.Illu.Sch.5)

zur ersten infinitesimalen Schicht.

Die höchste besetzte Schicht bestimmt die Größenordnung der Superial-Zahl. In diesem Beispiel ist das die Schicht $ \s^{2} $. Der Koeffizient einer Schicht kann den Wert der Koeffizienten höherer Schichten nicht verändern oder gar umkehren.

Stellenwertschreibweise mit spitzen Klammern

In der Stellenwertschreibweise mit spitzen Klammern kann dieselbe Zahl schematisch notiert werden als

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { x\;\;\;=\;\;\;\left\langle 2 \right\rangle \left\langle \sqrt{2} \right\rangle \left\langle 3 \right\rangle\!.\!\left\langle \frac{ 1 }{ 2 } \right\rangle } \]

(SN.Ein.Illu.Stel.1)

Der Punkt markiert die Stelle unmittelbar hinter der Null-Schicht, also den Übergang zu den infinitesimalen Schichten. Jede spitze Klammer steht für eine einzelne besetzte Schicht. Allgemein bedeutet

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left\langle a \right\rangle _{k}\;\;\;=\;\;\;a \cdot \s^{k} \;\; . } \]

(SN.Ein.Illu.Stel.2)

Ganze und nichtganze Superial-Zahlen

Ein einfaches Beispiel für eine ganze Superial-Zahl ist

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { z_{\s}\;\;\;=\;\;\;\sqrt{2} \, \s^{2} + 3 \, \s + 5 \;\; . } \]

(SN.Ein.Illu.Ganz.1)

Diese Zahl besitzt keine negativen Schichten. Ihre Null-Schicht ist eine klassische ganze Zahl, und ihre positiven Schichten tragen reell algebraische Koeffizienten. Daher gilt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { z_{\s}\;\;\;\in\;\;\;\mathbb{S}_{\Z} } \]

(SN.Ein.Illu.Ganz.2)

Dagegen ist

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { x\;\;\;=\;\;\;\sqrt{2} \, \s^{2} + 3 \, \s + 5 + \frac{ 1 }{ \s } } \]

(SN.Ein.Illu.Ganz.3)

keine ganze Superial-Zahl, weil sie einen nichtverschwindenden infinitesimalen Anteil besitzt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \frac{ 1 }{ \s }\;\;\;=\;\;\;\s^{-1} } \]

(SN.Ein.Illu.Ganz.4)

Aber auch

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { x\;\;\;=\;\;\;\sqrt{2} \, \s^{2} + 3 \, \s + 5{,}4 } \]

(SN.Ein.Illu.Ganz.5)

ist keine ganze Superial-Zahl, weil sie im Endlichen gebrochen ist.

Die Beispiele zeigen den Unterschied zwischen dem gesamten superialen Zahlenraum

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{S} } \]

(SN.Ein.Illu.Ganz.6)

und dem Unterring der ganzen Superial-Zahlen

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{S}_{\Z} \;\; . } \]

(SN.Ein.Illu.Ganz.7)

Im gesamten superialen Zahlenraum dürfen infinitesimale Schichten auftreten. In den ganzen Superial-Zahlen müssen negative Schichten dagegen verschwinden und die endliche Schicht ganzzahlig sein.

Sinnvolle Koeffizienten

Die aktual unendliche Teilbarkeitsstruktur von $ \s $ erklärt, warum auch nichtganzzahlige algebraische Koeffizienten sinnvoll sein können. Da $ \s $ jede endliche Primzahl in aktual unendlicher Exponentenlänge enthält, kann $ \s $ endliche Nenner absorbieren. So gilt zum Beispiel:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \frac{ 1 }{ 2 } \, \s\;\;\;=\;\;\;\frac{ \s }{ 2 }\;\;\;\in\;\;\;\mathbb{S}_{\Z,\{ 1 \}} } \]

(SN.Ein.Illu.Sinn.1)

Auch ein irrationaler algebraischer Koeffizient wie $ \sqrt{2} $ kann sinnvoll in einer positiven superialen Schicht auftreten:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sqrt{2} \, \s\;\;\;\in\;\;\;\mathbb{S}_{\Z,\{ 1 \}} } \]

(SN.Ein.Illu.Sinn.2)

Die späteren Beweise zur Algebraischen-Koeffizienten-Vermutung und zur Superialen-Transzendenz-Vermutung zeigen allgemein, dass die sinnvollen reellen Koeffizienten der Superial-Zahlen genau die reell algebraischen Zahlen sind:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\S}\;\;\;=\;\;\;\mathbb{A}_{\R} } \]

(SN.STV.24)

Transzendente reelle Zahlen sind dagegen keine sinnvollen isolierten Koeffizienten einzelner superialer Schichten. Sie benötigen mehrschichtige superiale Darstellungen.

Beispiel einer superialen Ableitung und ihres Integrals

Die Grundidee der superialen Analysis lässt sich bereits an der Funktion

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { f( x )\;\;\;=\;\;\;x^{2} } \]

(SN.Ein.Illu.Diff.1)

illustrieren.

Superiale Ableitung

Die superiale Ableitung verwendet nicht einen bloß gedachten Grenzübergang, sondern die feste infinitesimale Schrittweite

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1} \;\; . } \]

(SN.Ein.Illu.Diff.2)

Unter Vereinbarung der Strichnotation für die superiale Ableitung

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { f_{\s}'( x )\;\;\;≔\;\;\;(\mathcal{D}_{\s} f)( x ) } \]

(SN.AbIn.3)

gilt daher:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { f_{\s}'( x )\;\;\;≔\;\;\;\frac{ f( x + \s^{-1} ) - f( x ) }{ \s^{-1} } } \]

(SN.AbIn.4)

Für

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { f( x )\;\;\;=\;\;\;x^{2} } \]

(SN.Ein.Illu.Diff.3)

ergibt sich:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { f_{\s}'( x )\;\;\;=\;\;\;\frac{ \left( x + \s^{-1} \right)^{2} - x^{2} }{ \s^{-1} } } \]

(SN.Ein.Illu.Diff.4)

Da

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left( x + \s^{-1} \right)^{2}\;\;\;=\;\;\;x^{2} + 2 x \, \s^{-1} + \s^{-2} } \]

(SN.Ein.Illu.Diff.5)

gilt, folgt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \frac{ 2 x \, \s^{-1} + \s^{-2} }{ \s^{-1} }\;\;\;=\;\;\;2 x + \s^{-1} \;\; . } \]

(SN.Ein.Illu.Diff.6)

Der klassische Ableitungswert

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { f'( x )\;\;\;=\;\;\;\operatorname{std}\left( f_{\s}'( x ) \right)\;\;\;=\;\;\;2 x } \]

(SN.Ein.Illu.Diff.7)

erscheint also als endlicher Hauptanteil. Zusätzlich bleibt die infinitesimale Spur

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1} } \]

(SN.Ein.Illu.Diff.8)

sichtbar. Sie verschwindet in der klassischen Standardbetrachtung, bleibt aber in der superialen Rechnung erhalten.

Superiales Integral

Nun integrieren wir diese superiale Ableitung über ein allgemeines superial fein unterteiltes Intervall

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [ a, b [_{\mathbb{S}_{\Z}^{-1}} \;\; . } \]

(SN.Ein.Illu.Diff.9)

Dieses Intervall enthält die Stützstellen von $ a $ bis unmittelbar vor $ b $ in Schritten der Länge

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1} \;\; . } \]

(SN.Ein.Illu.Diff.10)

Dabei bezeichnet

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{S}_{\Z}^{-1}\;\;\;=\;\;\;\left\{\; z_{\s} \cdot \s^{-1}\;~\middle|~\;z_{\s} \in \mathbb{S}_{\Z} \;\right\} } \]

(SN.Ein.Illu.Diff.11)

die um eine Schicht ins Infinitesimale skalierte Menge der ganzen Superial-Zahlen.

Für geeignete algebraische Intervallgrenzen $ a < b $ enthält das Intervall

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [ a, b [_{\mathbb{S}_{\Z}^{-1}} } \]

(SN.Ein.Illu.Diff.12)

genau

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { N\;\;\;=\;\;\;( b - a ) \cdot \s } \]

(SN.Ein.Illu.Diff.13)

infinitesimale Schritte beziehungsweise Stützstellen.

In superialen Summen über erzeugte aktual unendliche Indexbereiche schreiben wir aus Gründen der Lesbarkeit meist das gewöhnliche Summenzeichen $ \sum $. Gemeint ist dabei die erzeugungstheoretisch ausgewertete Summe $ \sumx $. Nur wenn die Erzeugungsstruktur ausdrücklich hervorgehoben werden soll, schreiben wir $ \sumx $.

Das superiale Integral der superialen Ableitung lautet daher:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;\sum_{ n \in [ a, b [_{\mathbb{S}_{\Z}^{-1}} } \!\!\! \left( 2 n + \s^{-1} \right) \cdot \s^{-1} } \]

(SN.Ein.Illu.Diff.14)

Ausmultipliziert ergibt sich so:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;2 \, \s^{-1} \cdot \!\!\! \sum_{ n \in [a,b[_{\mathbb{S}_{\Z}^{-1}} } \!\!\! n \;\; + \;\; \s^{-2} \cdot \!\!\! \sum_{ n \in [a,b[_{\mathbb{S}_{\Z}^{-1}} } \!\!\! 1 } \]

(SN.Ein.Illu.Diff.15)

Die Erzeugungsanzahl der Summanden ist ja $ N $, die Anzahl der Stützstellen, wie oben gezeigt, und so erhalten wir:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ n \in [a,b[_{\mathbb{S}_{\Z}^{-1}} } \!\!\! 1\;\;\;=\;\;\;N } \]	(SN.Ein.Illu.Diff.16)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\sum_{ n \in [a,b[_{\mathbb{S}_{\Z}^{-1}} } \!\!\! 1\;\;\;=\;\;\;( b - a ) \cdot \s } \]	(SN.Ein.Illu.Diff.17)

Für die Summe der Stützstellen gilt dann die skalierte und verschobene Gaußsumme:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ n \in [a,b[_{\mathbb{S}_{\Z}^{-1}} } \!\!\! n\;\;\;=\;\;\;a \cdot ( b - a ) \cdot \s + \frac{ ( b - a )^{2} \cdot \s - ( b - a ) }{ 2 } } \]

(SN.Ein.Illu.Diff.27)

Damit folgt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;\\ \qquad\qquad\quad 2 \, \s^{-1} \left( a \cdot ( b - a ) \cdot \s + \frac{ ( b - a )^{2} \cdot \s - ( b - a ) }{ 2 } \right) \\ \qquad\qquad\qquad + \;\; \s^{-2} \cdot ( b - a ) \cdot \s } \]

(SN.Ein.Illu.Diff.28)

Nun wird vereinfacht:

► einblenden
▼ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;\\ \qquad\qquad 2 a \cdot ( b - a ) + \frac{ 2 \, \s^{-1} \cdot ( b - a )^{2} \cdot \s - 2 \, \s^{-1} \cdot ( b - a ) }{ 2 } \\ \qquad\qquad\quad + \;\; \s^{-2} \cdot ( b - a ) \cdot \s } \]	(SN.Ein.Illu.Diff.29)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;\\ \qquad\qquad 2 a \cdot ( b - a ) + \s^{-1} \cdot ( b - a )^{2} \cdot \s - \s^{-1} \cdot ( b - a ) \\ \qquad\qquad\quad + \;\; ( b - a ) \cdot \s^{-1} } \]	(SN.Ein.Illu.Diff.30)
▲ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;2 a \cdot ( b − a ) + ( b − a )^{2} \\ \qquad\qquad\qquad\quad\;\; − ( b − a ) \cdot \s^{−1} + ( b − a ) \cdot \s^{−1} } \]	\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;2 a \cdot ( b − a ) + ( b − a )^{2} \\ \qquad\qquad\qquad\qquad\qquad\;\; − ( b − a ) \cdot \s^{−1} + ( b − a ) \cdot \s^{−1} } \]	(SN.Ein.Illu.Diff.31)

Die beiden infinitesimalen Korrekturterme heben sich exakt auf:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { − ( b − a ) \cdot \s^{−1} + ( b − a ) \cdot \s^{−1}\;\;\;=\;\;\;0 } \]

(SN.Ein.Illu.Diff.32)

Also bleibt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;2 a \cdot ( b − a ) + (b − a)^{2} } \]

(SN.Ein.Illu.Diff.33)

Und damit:

► einblenden
▼ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;2 a b − 2 a^{2} + (a^{2} − 2 a b + b^{2}) } \]	(SN.Ein.Illu.Diff.34)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;− a^{2} + b^{2} } \]	(SN.Ein.Illu.Diff.35)
▲ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;b^{2} − a^{2} } \]	\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;b^{2} − a^{2} } \]	(SN.Ein.Illu.Diff.36)

Da

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { f( b ) - f( a )\;\;\;=\;\;\;b^{2} − a^{2} } \]

(SN.Ein.Illu.Diff.37)

gilt, erhalten wir insgesamt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathcal{S}_{\s}( f_{\s}'; a, b )\;\;\;=\;\;\;f( b ) - f( a ) } \]

(SN.Ein.Illu.Diff.38)

Dieses Beispiel zeigt, dass das superiale Integral die superiale Ableitung von

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { f( x )\;\;\;=\;\;\;x^{2} } \]

(SN.Ein.Illu.Diff.39)

exakt zurückführt. Die infinitesimale Spur

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1} } \]

(SN.Ein.Illu.Diff.40)

in der Ableitung ist dabei kein störender Fehlerterm. Sie ist gerade der Term, der die infinitesimale Korrektur der linken Stützstellensumme ausgleicht.

So wird der Zusammenhang von Ableitung und Integral nicht nur als Grenzwertaussage sichtbar, sondern als aktual unendliche Summenidentität über dem Intervall

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [ a, b [_{\mathbb{S}_{\Z}^{-1}} \;\; . } \]

(SN.Ein.Illu.Diff.41)

Beispiele für Erzeugungssummen und Erzeugungsanzahlen

In unserem vorstehend gezeigten Beispiel zur Berechnung eines Integrals wird in einer Nebenrechnung die skalierte und verschobene Gaußsumme hergeleitet. Diese Summe und ihre Aspekte sind verbunden mit der Erzeugungsanzahl sowie der Erzeugungssumme und sollen nachfolgend näher beleuchtet werden.

Vom Aufsummieren superial infinitesimaler ganzer Zahlen zur Intervallsumme der reell algebraischen Zahlen

Als erstes Anschauungsbeispiel können wir hier beispielhaft zeigen, dass die im vorhergehenden Abschnitt errechnete Gaußsumme (Gaußsche Summenformel16), in Bezug auf die Superial-Zahlen, tiefer beleuchtet bei der Herleitung der Formel SN.AbIn.NU.1, die bei der Berechnung des Integralbeispiels in Formel SN.AbIn.IN.27 genutzt wird, sich auch folgendermaßen beschreiben lässt, wenn wir aus dem vorstehenden Beispiel die Differenz $ b - a $ gleich $ x $ setzen und ihren Bruch in zwei Teile zerlegen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sum_{ n \in [0,b - a[_{\mathbb{S}_{\Z}^{-1}} } \!\!\! n\;\;\;=\;\;\;\frac{ ( b - a )^{2} \cdot \s - ( b - a ) }{ 2 } } \]	(SN.Ein.Illu.Diff.23)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Rightarrow\hspace{10mm}\sum_{ n \in [0, x[_{\mathbb{S}_{\Z}^{-1}} } \!\! n\;\;\;=\;\;\;\frac{ x^{2} \cdot \s }{ 2 } - \frac{ x }{ 2 } } \]	(SN.AbIn.NU.1)

Diese Summe haben wir, wie gesagt, oben aus einfachen Überlegungen zur Gaußsumme in einer Nebenrechnung entwickelt.

Dabei besitzen die Zahlen der Menge $ \left\lbrack 0, x \right\lbrack_{\mathbb{S}_{\Z}^{-1}} $ über die summiert wird selber die innere Summenstruktur:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left( \forall x \in \mathbb{A}_{\R} \right) \left( \forall z \in \mathbb{Z} \right) \left[\; x + z \cdot \s^{-1}\;\;\;\in\;\;\;\mathbb{S}_{\Z}^{-1} \;\right] } \]

(SN.AbIn.NU.2)

Wir kommen zum gleichen Ergebnis, wenn wir die Gesamtsumme aus den Details dieser Struktur berechnen, wie wir es im Abschnitt ›Summen zur Integration von $ \langle 2 x\rangle .\!\langle 1\rangle $‹ in allen Einzelheiten tun.

In Kurzform gezeigt, können wir die gesuchte Gesamtsumme über die Detailsumme der Indizes umformulieren, wenn wir die Mengen-Intervall-Grenzen genau beachten. Diese Grenzen erkennen wir, wenn wir uns die Indexmenge im Einzelnen auflisten:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { [0, x[_{\mathbb{S}_{\Z}^{-1}}\;\;\;=\;\;\;\\ \quad \left\{\; \quad\, 0 \s^{-1}, 1 \s^{-1}, 2 \s^{-1}, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \frac{1}{2} x - 2 \s^{-1},\; \frac{1}{2} x - \s^{-1},\; \frac{1}{2} x,\; \frac{1}{2} x + \s^{-1},\; \frac{1}{2} x + 2 \s^{-1}, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \frac{2}{3} x - 2 \s^{-1},\; \frac{2}{3} x - \s^{-1},\; \frac{2}{3} x,\; \frac{2}{3} x + \s^{-1},\; \frac{2}{3} x + 2 \s^{-1}, \cdots \\ \quad\quad\; \quad \vdots \\ \quad \quad \cdots \, x - 3 \s^{-1}, x - 2 \s^{-1}, x - \s^{-1} \quad \right\} } \]

(SN.AbIn.IN.4)

Summieren wir alle Elemente, können wir die Summe wie folgt aufsplitten und berechnen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ n \in [0, x[_{\mathbb{S}_{\Z}^{-1}} } \!\!\!\! n\;\;\;=\;\;\;\sumx_{ n \in \mathbb{N} } \left( 0 + n \cdot \s^{-1} \right) \\ \qquad\qquad\quad\;\; \;\; + \;\; \!\!\!\! \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \sumx_{ z \in \mathbb{Z} } \left( a + z \cdot \s^{-1} \right) \\ \qquad\qquad\qquad\quad\, \;\; + \;\; \! \sumx_{ z \in \mathbb{Z}^{-} } \! \left( x + z \cdot \s^{-1} \right) } \]	(SN.Ein.Illu.Sum.1)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\sumx_{ n \in [0, x[_{\mathbb{S}_{\Z}^{-1}} } \!\!\!\! n\;\;\;=\;\;\;\sumx_{ n \in \mathbb{N} } \! n \cdot \s^{-1} \\ \qquad\qquad\qquad\qquad\; \;\; + \;\; \!\!\!\! \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \left( \sumx_{ z \in \mathbb{Z} } a \, + \sumx_{ z \in \mathbb{Z} } z \cdot \s^{-1} \right) \\ \qquad\qquad\qquad\qquad\quad\;\;\;\, \;\; + \;\; \! \sumx_{ z \in \mathbb{Z}^{-} } \! x \, + \! \sumx_{ z \in \mathbb{Z}^{-} } \! z \cdot \s^{-1} } \]	(SN.Ein.Illu.Sum.2)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\sumx_{ n \in [0, x[_{\mathbb{S}_{\Z}^{-1}} } \!\!\!\! n\;\;\;=\;\;\;\sumx_{ n \in \mathbb{N} } \! n \cdot \s^{-1} + \! \sumx_{ z \in \mathbb{Z}^{-} } \! z \cdot \s^{-1} \;\; + \;\; \! \sumx_{ z \in \mathbb{Z}^{-} } \! x \\ \qquad\qquad\qquad\qquad\; \;\; + \;\; \!\!\!\! \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \sumx_{ z \in \mathbb{Z} } \! a \, + \!\!\!\! \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \sumx_{ z \in \mathbb{Z} } \! z \cdot \s^{-1} } \]	(SN.Ein.Illu.Sum.3)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\sumx_{ n \in [0, x[_{\mathbb{S}_{\Z}^{-1}} } \!\!\!\! n\;\;\;=\;\;\;\s^{-1} \cdot \! \sumx_{ z \in \mathbb{Z} } \! z \;\; + \;\; \! \sumx_{ z \in \mathbb{Z}^{-} } \! x \\ \qquad\qquad\qquad\qquad\; \;\; + \;\; \!\!\!\! \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \sumx_{ z \in \mathbb{Z} } \! a \, + \!\!\!\! \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \sumx_{ z \in \mathbb{Z} } \! z \cdot \s^{-1} } \]	(SN.Ein.Illu.Sum.4)

Aus dieser Zerlegung erkennt man die drei verschiedenen Arten von Beiträgen zur Summe:

1.	die untere Randfaser bei $ 0 $,
2.	die inneren ganzzahligen Erzeugungsfasern über den reell algebraischen Zwischenwerten $ a $,
3.	die obere Randfaser unmittelbar unterhalb von $ x $.

Eine solche Erzeugungsfaser besteht aus allen infinitesimal verschobenen Punkten, die über demselben reell algebraischen Hauptwert liegen. Über einem inneren Wert $ a $ hat sie die Form

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left\{\; a + z \cdot \s^{-1}\;~\middle|~\;z \in \mathbb{Z} \;\right\} \;\; . } \]

(SN.Ein.Illu.Sum.5)

An den Rändern treten dagegen nur einseitige Fasern auf, die entweder über rein negative oder rein natürliche $ z $ gehen.

Die untere Randfaser (kleine Werte) und die negativen infinitesimalen Anteile der oberen Randfaser (große Werte) verbinden sich zur erzeugungshierarchischen Paar­ungs­summe

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ z \in \mathbb{Z} } z\;\;\;=\;\;\;-ω \;\; . } \]

(BO.Ein.FA.12)

Daher gilt für den ersten Summanden:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1} \cdot \! \sumx_{ z \in \mathbb{Z} } z\;\;\;=\;\;\;-ω \cdot \s^{-1} } \]

(SN.Ein.Illu.Sum.6)

Für die obere Randfaser gilt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \overline{\#}_{\mathrm{erz}}\!\left( \mathbb{Z}^{-} \right)\;\;\;=\;\;\;ω } \]

(SN.Ein.Illu.Sum.7)

Da dort in jedem Summanden der feste Wert $ x $ auftritt, erhalten wir

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ z \in \mathbb{Z}^{-} } x\;\;\;=\;\;\;x \cdot ω } \]

(SN.Ein.Illu.Sum.8)

Für eine innere ganzzahlige Erzeugungsfaser über einem reell algebraischen Wert $ a $ gilt einerseits

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \overline{\#}_{\mathrm{erz}}\!\left( \mathbb{Z} \right)\;\;\;=\;\;\;2 ω \;\; , } \]

(SN.Ein.Illu.Sum.9)

also

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ z \in \mathbb{Z} } a\;\;\;=\;\;\;2 a \cdot ω \;\; . } \]

(SN.Ein.Illu.Sum.10)

Andererseits gilt für die infinitesimalen Verschiebungen innerhalb derselben Faser

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ z \in \mathbb{Z} } z \cdot \s^{-1}\;\;\;=\;\;\;\s^{-1} \cdot \! \sumx_{ z \in \mathbb{Z} } z\;\;\;=\;\;\;-ω \cdot \s^{-1} \;\; . } \]

(SN.Ein.Illu.Sum.11)

Damit wird die Formel SN.Ein.Illu.Sum.4 zu

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ n \in [0, x[_{\mathbb{S}_{\Z}^{-1}} } \!\!\!\! n\;\;\;=\;\;\;-ω \cdot \s^{-1} \;\; + \;\; x \cdot ω \\ \qquad\qquad\qquad \;\; + \;\; 2 ω \cdot \!\!\! \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \!\! a \;\; - \;\; ω \cdot \s^{-1} \cdot \!\!\! \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \!\! 1 \;\; . } \]

(SN.Ein.Illu.Sum.12)

Nun berechnen wir die Erzeugungsanzahl des offenen inneren Intervalls

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \overline{\#}_{\mathrm{erz}}\!\left( ]0, x[_{\mathbb{A}_{\R}} \right) \;\; . } \]

(SN.Ein.Illu.Sum.13)

Wir kennen die Erzeugungsanzahl des halboffenen Intervalls und wissen, dass das offene Intervall ein Element weniger hat:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ a \in [0, x[_{\mathbb{A}_{\R}} } \!\! 1\;\;\;=\;\;\;\overline{\#}_{\mathrm{erz}}\!\left( [0,x[_{\mathbb{A}_{\R}} \right)\;\;\;=\;\;\;\frac{ x \cdot \s }{ 2 ω } } \]	(SN.AbIn.NU.5)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \!\! 1\;\;\;=\;\;\;\overline{\#}_{\mathrm{erz}}\!\left( ]0, x[_{\mathbb{A}_{\R}} \right)\;\;\;=\;\;\;\frac{ x \cdot \s }{ 2 ω } - 1 } \]	(SN.Ein.Illu.Sum.14)

Die Summe der inneren reell algebraischen Stützwerte ergibt sich durch die Symmetrie des Intervalls. Jeder innere Wert $ a $ kann mit dem Wert $ x - a $ gepaart werden; jedes solche Paar hat die Summe $ x $. Daher besitzt das innere Intervall den mittleren Wert $ x/2 $. Der mögliche Fixpunkt $ a = x/2 $ stört diese Symmetrie nicht, weil er selbst bereits den Mittelwert $ x/2 $ besitzt. Also gilt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \!\! a\;\;\;=\;\;\;\frac{ x }{ 2 } \cdot \left( \frac{ x \cdot \s }{ 2 ω } - 1 \right) } \]

(SN.Ein.Illu.Sum.15)

Damit erhalten wir

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \!\! a\;\;\;=\;\;\;\frac{ x^{2} \cdot \s }{ 4 ω } - \frac{ x }{ 2 } \;\; . } \]

(SN.Ein.Illu.Sum.16)

Nun setzen wir beide Werte ein:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ n \in [0, x[_{\mathbb{S}_{\Z}^{-1}} } \!\!\! n\;\;\;=\;\;\;-ω \cdot \s^{-1} \;\; + \;\; x \cdot ω \\ \qquad\qquad\qquad \;\; + \;\; 2 ω \cdot \left( \frac{ x^{2} \cdot \s }{ 4 ω } - \frac{ x }{ 2 } \right) \\ \qquad\qquad\qquad \;\; - \;\; ω \cdot \s^{-1} \cdot \left( \frac{ x \cdot \s }{ 2 ω } - 1 \right) } \]

(SN.Ein.Illu.Sum.17)

Die beiden noch auszuwertenden Terme vereinfachen sich zu:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2 ω \cdot \left( \frac{ x^{2} \cdot \s }{ 4 ω } - \frac{ x }{ 2 } \right)\;\;\;=\;\;\;\frac{ x^{2} \cdot \s }{ 2 } - x \cdot ω } \]	(SN.Ein.Illu.Sum.18)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { -ω \cdot \s^{-1} \cdot \left( \frac{ x \cdot \s }{ 2 ω } - 1 \right)\;\;\;=\;\;\;- \frac{ x }{ 2 } + ω \cdot \s^{-1} } \]	(SN.Ein.Illu.Sum.19)

Damit ergibt sich insgesamt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ n \in [0, x[_{\mathbb{S}_{\Z}^{-1}} } \!\!\! n\;\;\;=\;\;\;-ω \cdot \s^{-1} \;\; + \;\; x \cdot ω \\ \qquad\qquad\qquad \;\; + \;\; \frac{ x^{2} \cdot \s }{ 2 } \;\; - \;\; x \cdot ω \\ \qquad\qquad\qquad \;\; - \;\; \frac{ x }{ 2 } \;\; + \;\; ω \cdot \s^{-1} } \]

(SN.Ein.Illu.Sum.20)

Nun heben sich die erzeugungshierarchischen Randkorrekturen exakt auf:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { -ω \cdot \s^{-1} \;\; + \;\; ω \cdot \s^{-1}\;\;\;=\;\;\;0 } \]

(SN.Ein.Illu.Sum.21)

und

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { x \cdot ω \;\; - \;\; x \cdot ω\;\;\;=\;\;\;0 \;\; . } \]

(SN.Ein.Illu.Sum.22)

Übrig bleibt

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ n \in [0, x[_{\mathbb{S}_{\Z}^{-1}} } \!\!\! n\;\;\;=\;\;\;\frac{ x^{2} \cdot \s }{ 2 } - \frac{ x }{ 2 } } \]

(SN.Ein.Illu.Sum.23)

Damit erhalten wir genau die zuvor aus der skalierten Gaußsumme gewonnene Formel:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ n \in [0, x[_{\mathbb{S}_{\Z}^{-1}} } \!\!\! n\;\;\;=\;\;\;\frac{ x^{2} \cdot \s - x }{ 2 } } \]

(SN.Ein.Illu.Sum.24)

Diese Rechnung zeigt, dass die Formel nicht nur eine umgeschriebene Gaußsumme ist. Sie entsteht zugleich aus der Erzeugungsstruktur des superial fein unterteilten Intervalls: Die Erzeugungsanzahl $ 2 ω $ beschreibt die Größe jeder inneren ganzzahligen Erzeugungsfaser, während die erzeugungshierarchische Paar­ungs­summe

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ z \in \mathbb{Z} } z\;\;\;=\;\;\;-ω \;\; . } \]

(BO.Ein.FA.12)

den signierten infinitesimalen Versatz dieser Faser liefert. Genau dieser Versatz erzeugt den Korrekturterm

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { - \frac{ x }{ 2 } \;\; , } \]

(SN.Ein.Illu.Sum.25)

der später beim Integral durch die infinitesimale Spur der superialen Ableitung exakt ausgeglichen wird.

Intervallsumme der reell algebraischen Zahlen

Als Nebenresultat erhalten wir zugleich die Summe aller reell algebraischen Zahlen von der Null bis ausschließlich $ x $

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ a \in ]0, x[_{\mathbb{A}_{\R}} } \!\! a\;\;\;=\;\;\;\frac{ x^{2} \cdot \s }{ 4 ω } - \frac{ x }{ 2 } } \]	(SN.Ein.Illu.Sum.16)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\sumx_{ a \in [ 0, x [_{\mathbb{A}_{\R}}} \!\! a\;\;\;=\;\;\;\frac{ x^{2} \cdot \s }{ 4 ω } - \frac{ x }{ 2 } } \]	(SN.AbIn.NU.39)
► einblenden
▼ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\sumx_{ a \in [ 0, x ]_{\mathbb{A}_{\R}}} \!\! a\;\;\;=\;\;\;\frac{ x^{2} \cdot \s }{ 4 ω } - \frac{ x }{ 2 } + x } \]	(SN.Ein.Illu.Sum.26)
▲ ausblenden
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}\sumx_{ a \in [ 0, x ]_{\mathbb{A}_{\R}}} \!\! a\;\;\;=\;\;\;\frac{ x^{2} \cdot \s }{ 4 ω } + \frac{ x }{ 2 } \;\; , } \]	(SN.Ein.Illu.Sum.27)

aus der wir vorstehend auch die Summe aller reell algebraischen Zahlen von der Null bis einschließlich $ x $ herleiten konnten. Die Summe SN.AbIn.NU.39 wird in der Arbeit auch im Abschnitt ›Summe aller Koeffizienten von Null bis ausschließlich $ x $‹ berechnet.

Diese Beispiele zeigen, dass aktual unendliche Erzeugungssummen im Rahmen der Superial-Zahlen explizit als Zahlenwerte auftreten können, obwohl diese Erzeugungswerte nicht in jedem Fall selbst Elemente des superialen Zahlenkörpers $ \mathbb{S} $ sein müssen. Insbesondere werden sowohl Erzeugungsanzahlen von Intervallen reell algebraischer Zahlen als auch erzeugungshierarchische Summenwerte wie

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{ z \in \mathbb{Z} } z\;\;\;=\;\;\;-ω } \]

(BO.Ein.FA.12)

arithmetisch wirksam. Sie sind nicht nur formale Zusatzgrößen, sondern bestimmen konkrete Korrekturterme in der superialen Integralrechnung.

Zusammenfassung der Beispiele

Die Beispiele zeigen die Grundidee der Superial-Zahlen: Endliche, aktual unendliche und infinitesimale Anteile werden in einem gemeinsamen Stellenwertsystem dargestellt. Die Basis

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;≔\;\;\;\left( ω\overline{\#} \right)_{\#}^{ω}\;\;\;=\;\;\;\displaystyle \left( \prodx_{p \in \mathbb{P}} p \right)_{\#}^{ω}\;\;\;=\;\;\;\displaystyle \prodx_{p \in \mathbb{P}} p^{ω} } \]

(SN.ZFC.1)

trägt die aktual unendliche Primexponentenstruktur, während

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s^{-1} } \]

(SN.Ein.Illu.Zusa.1)

die normierte infinitesimal kleine Einheit der superialen Analysis bildet.

Zugleich wird sichtbar, warum die Superial-Zahlen als Zahlentheorie der Analysis verstanden werden können: Ableitungen und Integrale erscheinen nicht nur als Grenzprozesse, sondern als arithmetisch strukturierte Rechnungen mit aktual unendlichen Summen, infinitesimalen Schrittweiten und klar bestimmten Koeffizienten.

Die Beispiele zu den Erzeugungssummen zeigen darüber hinaus, dass aktual unendliche Summen selbst zu neuen Rechenobjekten werden. Wird über ein erzeugtes Intervall summiert, so beschreibt die Summe nicht nur eine klassische Kardinalität, sondern eine Erzeugungsanzahl. In dieser Form kann die Erzeugungsstruktur einer Menge arithmetisch sichtbar gemacht werden:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \sumx_{x\in I} 1\;\;\;=\;\;\;\overline{\#}_{\mathrm{erz}}( I ) } \]

(SN.Ein.Illu.Zusa.2)

Damit ergänzt die Erzeugungsanzahl die klassische Mächtigkeit um eine feinere strukturelle Information: Sie fragt nicht nur, ob zwei Mengen gleichmächtig sind, sondern wie ihre Elemente innerhalb der superialen Struktur erzeugt und summiert werden.

Gerade dadurch entstehen neue Perspektiven auf aktual unendliche Summen, auf Intervalle reell algebraischer Zahlen und auf den Zusammenhang von Analysis, Ordnung und Erzeugung. Die Rechenbeispiele sollen daher nicht nur einzelne Operationen vorführen, sondern auch zeigen, dass die Superial-Zahlen einen erweiterten arithmetischen Blick auf unendliche Summen, infinitesimale Raster und erzeugte Mengenintervalle eröffnen.

→	Beweisstrategien

←	Illustrierende Rechenbeispiele

Die entdeckten aktual unendlichen Primfaktorzerlegungen innerhalb der neuen, in der ZFC-Mengenlehre definierbaren Primexponentenstruktur offenbaren einen tiefen Zusammenhang zwischen den endlichen Primzahlen und dem aktual unendlichen von-Neumann-Ordinal17 $ ω $. Dieser Zusammenhang mündet in eine kanonische Identifikation des von-Neumann-Ordinals mit dem vollständigen Einheits-Primexponentenprodukt aller endlichen Primzahlen.

Aus der Rekonstruktion der Analysis, im Besonderen der Integrale als aktual unendlich schrittige Summen, ergibt sich die zentrale Frage, welche rein endlichen Koeffizienten $ a $ im Produkt mit der superialen Basis $ \s $ eine aktual unendliche ganze Zahl ergeben. Denn nur dann können die entsprechenden Integralsummen als aktual unendliche Summen mit ganzzahlig bestimmter Schrittzahl verstanden werden:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { a \cdot \s\;\;\;\in\;\;\;\mathbb{S}_{\Z,\{ 1 \}} } \]

(SN.SinK.7)

Diese Bedingung führt zur Definition der sinnvollen Koeffizienten der Superial-Zahlen.

Daraus ergeben sich weitere Vermutungen und Beweise, die tief in die Zahlentheorie reichen. Irrationale Wurzeln werden zu aktual unendlichen ganzen Zahlen, wenn sie mit der passenden Primexponentenstruktur von $ \s $ faktorisiert werden. Dies begründet der Beweis der Überrationalitätsvermutung.

Entsprechend zeigt die Algebraische-Koeffizienten-Vermutung, dass schließlich alle reell algebraischen Zahlen sinnvolle Koeffizienten der Superial-Zahlen sind.

Die Superiale-Transzendenz-Vermutung klärt abschließend die Grenze dieser Koeffizientenstruktur: Transzendente Zahlen sind keine sinnvollen Koeffizienten der Superial-Zahlen. Sie benötigen mehrere Schichten der Superial-Zahlen und sind daher nicht allein als Koeffizienten einer einzigen Schicht darstellbar.

All diese Zusammenhänge begründen die Superial-Zahlen als Zahlensystem der Analysis.

Inhalt

→	Beweisstrategie der Primzahlprodukt-Vermutung
→	Beweisstrategie der Überrationalitätsvermutung
→	Beweisstrategie der Algebraischen-Koeffizienten-Vermutung
→	Beweisstrategie der Superialen-Transzendenz-Vermutung

Beweisstrategie der Primzahlprodukt-Vermutung

Die Primzahlprodukt-Vermutung ist heute die Grundlage der Verankerung der Superial-Zahl-Definition in der ZFC-Mengenlehre. Dass ihr Beweis einigermaßen zeitnah erfolgt, war für viele Jahre seit ihrer Aufstellung, spätestens 2007, nicht selbstverständlich, weil die Vermutung recht erstaunlich ist:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\;\;\;\overset{?}{\equiv}_{\mathrm{kan}}\;\;\;ω\overline{\#}\;\;\;=\;\;\;(2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 13 \cdot \cdots)_{\#} } \]

(SN.PP.73/SN.PP.55)

Wie können das Zählen, für das das von-Neumann-Ordinal $ ω $ steht, und das Produkt immer größer werdender endlicher Primzahlen, das augenscheinlich viel schneller wächst als das Zählen, beim Übergang ins Aktual-Unendliche doch in ihrem Wert miteinander identifiziert werden?

Die folgenden Punkte geben nur die Beweisstrategie wieder; die formale Durchführung erfolgt auf der Seite der Primzahlprodukt-Vermutung.

Ansatz

Der Beweis gelingt schließlich über den Ansatz, dass der ›Satz des Euklid‹18 durch die Anwendung der Primfakultät19 zeigt, dass es bei einer gegebenen endlichen Primzahl immer wieder noch größere Primzahlen geben muss, als eine vermeintlich größte. Wir nutzen dies in einer glücklichen Kombination mit der von-Neumann-Ordinal-Identität20. In dieser werden die Werte endlicher und transfiniter natürlicher Zahlen mit ihrer Darstellung durch die Menge all ihrer Vorgänger, von der Null an, identifiziert. Auf diese Mengenstruktur abgestimmt definieren wir die Primfakultät als Mengen-Primfakultät: Sie bildet aus allen Primzahlen, die in der Mengendarstellung einer Ordinalzahl enthalten sind, ein Primexponentenobjekt mit erweiterter $ p $-adischer Primexponentenbewertungsstruktur21.

Generative Primzahl-Induktion

Auf diese Weise finden wir einen Zugang zur induktiven Erzeugung aller endlichen Primzahlen über das ›generative Primzahl-Induktions-Lemma‹:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { p_{i + 1}\;\;\;=\;\;\;\lpr\!\left( \left( p_{i} + 1 \right)\overline{\#} \right) } \]

(SN.PP.153)

Dabei läuft der Index $ i $ über alle endlichen Indizes

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { i\;\;\;<\;\;\;ω \;\; . } \]

(SN.Ein.Bew.Prim.1)

Der Übergang $ i \rightarrow ω $ bezeichnet daher keine letzte endliche Primzahlstufe, sondern die vollständige Gesamtheit aller endlichen Primzahlstufen.

Schritte hin zur generativen Primzahl-Induktion

Zu diesem Lemma sind wir gekommen, indem wir mehrere innovative Schritte gegangen sind, die auf Einsichten zur Erzeugung der endlichen natürlichen Zahlen aus Primzahlen basieren, welche auf dem ›Fundamentalsatz der Arithmetik‹22 und der Funktionsweise des Beweises des ›Satz des Euklid‹ beruhen:

•	Wir finden über die Primturmzerlegung $ \pt(n) $ jeder natürlichen Zahl eine Möglichkeit, ihre Primfaktorzerlegung als ihr entsprechende Primturmmenge darzustellen. In dieser sind ihre Primzahlpotenzen (Primzahltürme) als Wertelemente enthalten.
•	Dann erzeugen wir aus der Primturmmenge einer natürlichen Zahl ein ganzzahliges und transfinites Exponentenkombinationsraster ihrer Primzahltürme, ihr Primturm-Potenzraster $ \pr(n) $: also alle Primzahltürme in $ n $ in endlichen und transfiniten natürlichen Exponentenkombinationen.
•	Dafür nutzen wir ein neues Primexponentenprodukt: eine Primexponentenstruktur, in der auch transfinite Werte ZFC-intern beschreibbar werden, indem wir ihr Primexponentenprodukt über eine erweiterte $ p $-adische Primexponentenbewertung definieren.
•	Das lückenlose Primturm-Potenzraster $ \lpr(n) $ holt die Struktur des Primturm-Potenzrasters in die ordinale Mengenstruktur zurück, weil es nur den lückenlosen Anfang des Primturm-Potenzrasters betrachtet.
•	Damit ist das lückenlose Primturm-Potenzraster für endliche natürliche Zahlen dann maximal, wenn sie Primfakultäten sind. Das schließen wir aufgrund der Erkenntnis in Bezug auf den Fundamentalsatz der Arithmetik, dass jede natürliche Zahl größer gleich Zwei nur aus Primfaktoren bestehen kann, die kleiner oder gleich wie sie selber sind.
•	Der lückenlose Anfang des Primturm-Potenzrasters einer endlichen natürlichen Zahl enthält alle natürlichen Zahlen, einschließlich ihrer selbst, bis zu einer größten Zahl, die direkt vor der nächsten Primzahl liegt. Die sich ergebende Menge natürlicher Zahlen ist die von-Neumann-Darstellung dieser nächsten Primzahl.

All diese Erkenntnisse verweben wir nun weiter mit der von-Neumann-Mengendarstellung der endlichen und transfiniten Ordinalzahlen in der ZFC-Mengenlehre:

•	Dazu bilden wir die Primfakultät der Primzahlen, die Elemente der Mengendarstellung einer Ordinalzahl sind: ihre Mengen-Primfakultät $ n\overline{\#} $; ins Transfinite verallgemeinert mittels des neuen Primexponentenprodukts.
•	Wir stellen fest, wie zuvor gerade erklärt, dass uns das lückenlose Primturm-Potenzraster der Mengen-Primfakultät einer natürlichen Zahl zur nächst größeren Primzahl führt, wenn die natürliche Zahl selber noch keine Primzahl ist. So können wir über jede Primzahl plus Eins die nachfolgende erzeugen.

Damit sind wir nun beim generativen Primzahl-Induktions-Lemma angekommen.

Grenzübergang und Lückenabstieg der Mengen-Primfakultät

Mit Hilfe des generativen Primzahl-Induktions-Lemmas erreichen wir anschließend:

•	Die Konstruktion der Menge aller endlichen Primzahlen $ \mathbb{P} $ über die vollständige generative Primzahl-Induktion.
•	Die Rekonstruktion der Menge aller endlichen natürlichen Zahlen $ \mathbb{N} $ über die vollständige generative Primzahl-Induktion.
•	So den Nachweis, dass über die vollständige generative Primzahl-Induktion alle endlichen natürlichen Zahlen vom einpotenzigen Primturm-Potenzraster der aufsteigenden Mengen-Primfakultäten erfasst werden:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\;\;\;\subseteq\;\;\;\lpr\left( ω\overline{\#} \right) } \]

(SN.PP.222)

•	Die zweite Inklusionsrichtung folgt aus dem Lückenabstiegsprinzip, durch das nichtendliche Elemente des Primturm-Potenzrasters vom lückenlosen Anfang ausgeschlossen werden:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \lpr\left( ω\overline{\#} \right)\;\;\;\subseteq\;\;\;ω } \]

(SN.PP.236)

•	Zusammen den Nachweis:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \lpr\left( ω\overline{\#} \right)\;\;\;=\;\;\;ω } \]

(SN.PP.244)

Unabhängig von diesem $ \lpr $-Nachweis zeigt die von-Neumann-Mengendarstellung von $ ω $ eine weitere strukturelle Besonderheit: Für jede endliche Primzahl $ p $ zerfällt $ ω = \mathbb{N} $ kanonisch in $ p $ untereinander erzeugungshomogene Restklassen. Diese Restklassenstruktur beweist die Primexponentenidentifikation nicht selbst, bildet aber eine von der Primexponentendarstellung unabhängige strukturelle Kohärenz mit ihr.

Innere kanonische ZFC-Strukturidentifikation

Dieser deduktive Nachweis liefert die Grundlage der kanonischen Identifikation. Die zuvor gefundenen strukturellen Entsprechungen zeigen dazu eine zusätzliche mathematische Kohärenz zwischen der Mengen-Primfakultät, dem lückenlosen Anfang des Primturm-Potenzrasters und der vollständigen Induktion des Zählens des von-Neumann-Ordinals.

Da der lückenlose Anfang des generierten Primturm-Potenzrasters des vollständigen Einheits-Primexponentenprodukts nach dem $ \lpr $-Nachweis exakt den ordinalen Zahlenwert $ ω $ besitzt, ist die kanonische Identifikation innerhalb dieser Struktur nicht willkürlich, sondern durch diesen deduktiv bestimmten lückenlosen Zahlenwert begründet:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\;\;\;\equiv_{\mathrm{kan}}\;\;\;ω\overline{\#} } \]

(SN.PP.295)

Damit haben wir unsere Vermutung schließlich bewiesen.

Aufgrund der kanonischen Identifikation verwenden wir die vereinfachten Schreibweisen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\;\;\;=\;\;\;ω\overline{\#}\;\;\;=\;\;\;\prodx_{p \in \mathbb{P}} p } \]	(SN.PP.297)
\[ \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.298)

Bedeutung für die Superial-Zahlen

Die superiale Basis $ \s $ ist in ihrer ZFC-Modellkonstruktion darauf aufbauend definiert als:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;≔\;\;\;\left( ω\overline{\#} \right)_{\#}^{ω}\;\;\;=\;\;\;\displaystyle \left( \prodx_{p \in \mathbb{P}} p \right)_{\#}^{ω}\;\;\;=\;\;\;\displaystyle \prodx_{p \in \mathbb{P}} p^{ω} } \]

(SN.ZFC.1)

Aufgrund der kanonischen Identifikation verwenden wir die vereinfachten Schreibweisen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;=\;\;\;\left( ω\overline{\#} \right)_{\#}^{ω} } \]	(SN.Ein.Bew.Prim.2)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;=\;\;\;\left( 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 13 \cdot 17 \cdot 19 \cdot 23 \cdot \cdots \right)_{\#}^{ω} } \]	(SN.ZFC.2)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;=\;\;\;ω^{ω} } \]	(SN.ZFC.4)

Dieser Zusammenhang ist auch in unser Logo eingeflossen.

Beweisstrategie der Überrationalitätsvermutung

Die Überrationalitätsvermutung geht von einer einfachen Beobachtung aus: Der klassische Beweis der Irrationalität von Wurzeln zeigt nicht nur, dass bestimmte Wurzeln keine rationalen Zahlen sind. Er zeigt zugleich, warum ein endlicher rationaler Bruch scheitert.

Am Beispiel der Wurzel aus Zwei ergibt sich aus der Annahme

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left( \exists a \in \mathbb{N} \land b \in \mathbb{N}^{+} \right) \left[\; \left| \sqrt{ 2 } \,\right|\;\;\;=\;\;\;2^{\frac{ 1 }{ 2 }}\;\;\;=\;\;\;\frac{ a }{ b } \;\right] } \]

(SN.ÜV.3)

mit endlichen ganzen Zahlen $ a $, $ b $ die Gleichung

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2 \cdot b^{2}\;\;\;=\;\;\;a^{2} \;\; . } \]

(SN.ÜV.7)

Daraus folgt, dass Zähler und Nenner gleichzeitig immer weiter durch $ 2 $ teilbar sein müssten. Für endliche ganze Zahlen ist das unmöglich, denn ein endlicher Bruch lässt sich nur endlich oft kürzen. Genau daraus entsteht der klassische Widerspruch.

Die Beweisstrategie der Überrationalitätsvermutung besteht nun darin, diesen Widerspruch nicht nur negativ zu lesen. Er zeigt nicht bloß:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2^{\frac{ 1 }{ 2 }}\;\;\;\notin\;\;\;\mathbb{Q} } \]

(SN.Ein.Bew.ÜV.1)

Er zeigt vielmehr positiv, welche Eigenschaft ein Bruch besitzen müsste, um $ 2^{\frac{ 1 }{ 2 }} $ dennoch als Quotient ganzer Zahlen darstellen zu können: Zähler und Nenner müssten eine aktual unendliche Teilbarkeit durch $ 2 $ besitzen.

Daher wird die endliche Rationalitätsbedingung ersetzt durch eine überrationale Darstellungsbedingung. Statt eines endlichen Bruchs

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \frac{ a }{ b } } \]

(SN.Ein.Bew.ÜV.2)

mit endlichen ganzen Zahlen betrachtet man einen Bruch mit aktual unendlichem ganzem Zähler und Nenner. Für die Wurzel aus Zwei führt dies zur Struktur

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2^{\frac{ 1 }{ 2 }}\;\;\;=\;\;\;\frac{ 2^{\frac{ 1 }{ 2 }} \cdot 2^{ω} }{ 2^{ω} } } \]	(SN.ÜV.28)
\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Leftrightarrow\hspace{10mm}2^{\frac{ 1 }{ 2 }}\;\;\;=\;\;\;\frac{ 2^{ω + \frac{ 1 }{ 2 }} }{ 2^{ω} } \;\; . } \]	(SN.ÜV.29)

Der Nenner

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2^{ω} } \]

(SN.Ein.Bew.ÜV.3)

trägt die vollständige aktual unendliche Teilbarkeit durch $ 2 $. Der Zähler

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2^{\frac{ 1 }{ 2 }} \cdot 2^{ω}\;\;\;=\;\;\;2^{ω + \frac{ 1 }{ 2 }} } \]

(SN.Ein.Bew.ÜV.4)

trägt dieselbe aktual unendliche Teilbarkeitsstruktur, verschoben um den Wurzelexponenten. Dadurch wird genau die Bedingung erfüllt, die im endlichen rationalen Fall zum Widerspruch führte.

Der Beweis kehrt den klassischen Irrationalitätsbeweis also um: Was bei endlichen ganzen Zahlen unmöglich ist, wird im aktual unendlichen Bereich zur charakteristischen Struktur eines überrationalen Bruchs.

Für allgemeine irrationale Wurzeln

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { n^{\frac{ 1 }{ x }} } \]

(SN.Ein.Bew.ÜV.5)

wird diese Idee über den Primzahlträger von $ n $ formuliert. Die relevanten Primzahlen werden durch

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \rad( n ) } \]

(SN.Ein.Bew.ÜV.6)

erfasst. Die natürliche überrationale Darstellungsform lautet daher:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left| \sqrt[x]{ n } \,\right|\;\;\;=\;\;\;n^{\frac{ 1 }{ x }}\;\;\;=\;\;\;\frac{ n^{\frac{ 1 }{ x }} \cdot \rad(n)^{ω} }{ \rad(n)^{ω} } } \]

(SN.SinK.R.24)

Der Nenner enthält jede in $ n $ vorkommende Primzahl in aktual unendlicher Potenz. Der Zähler enthält dieselbe aktual unendliche Primexponentenstruktur, ergänzt um den Wurzelexponenten von $ n^{\frac{ 1 }{ x }} $. Damit werden Zähler und Nenner zu aktual unendlichen ganzen Zahlen in dem hierfür vorgesehenen erweiterten Zahlenraum.

Die Überrationalitätsvermutung behauptet somit nicht, dass irrationale Wurzeln rationale Zahlen sind. Sie behauptet vielmehr, dass irrationale Wurzeln als Quotienten aktual unendlich großer ganzer Zahlen darstellbar sind:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { n^{\frac{ 1 }{ x }}\;\;\;=\;\;\;\frac{ A }{ B } } \]

(SN.Ein.Bew.ÜV.7)

mit

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { A, B\;\;\;\in\;\;\;\mathbb{N}_{\infty} } \]

(SN.Ein.Bew.ÜV.8)

und

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { B\;\;\;=\;\;\;\rad(n)^{ω} \;\; . } \]

(SN.Ein.Bew.ÜV.9)

Die klassische Irrationalität bleibt erhalten: Es gibt keinen endlichen rationalen Bruch. Aber der klassische Widerspruch wird strukturell aufgelöst, sobald aktual unendlich teilbare Zähler und Nenner zugelassen werden.

Die Beweisstrategie besteht daher aus drei Schritten:

•	Erstens wird am klassischen Irrationalitätsbeweis sichtbar gemacht, dass endliche Zähler und Nenner an der geforderten unbegrenzten Teilbarkeit scheitern.
•	Zweitens wird diese unbegrenzte Teilbarkeit durch eine aktual unendliche Primexponentenstruktur normiert, insbesondere durch den Exponenten $ ω $.
•	Drittens wird gezeigt, dass dadurch eine überrationale Darstellung entsteht, deren Zähler und Nenner aktual unendliche ganze Zahlen sind, während ihr Quotient exakt die ursprüngliche irrationale Wurzel ergibt.

Damit wird die Irrationalität nicht aufgehoben, sondern erweitert: Eine irrationale Wurzel ist nicht rational, aber überrational darstellbar.

Bedeutung für die Superial-Zahlen

Mit dem Beweis der Überrationalitätsvermutung treten die tieferen Zusammenhänge zwischen klassischen Zahlbereichen und aktual unendlichen Primexponentenstrukturen hervor. Irrationale Wurzeln und Radikalformen erscheinen dabei nicht als äußere Fremdkörper, sondern als Zahlen, deren fehlende endliche Rationalität durch aktual unendliche Teilbarkeitsstrukturen aufgenommen werden kann.

In der klassischen Arithmetik scheitert eine Darstellung wie

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2^{\frac{ 1 }{ 2 }}\;\;\;=\;\;\;\frac{ a }{ b } } \]

(SN.Ein.Bew.ÜV.10)

an der endlichen Teilbarkeit von Zähler und Nenner. Im superialen Zusammenhang steht jedoch mit

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2^{ω} } \]

(SN.Ein.Bew.ÜV.11)

eine aktual unendliche Teilbarkeitsstruktur zur Verfügung. Dadurch kann die Wurzel aus Zwei überrational als Quotient aktual unendlich großer ganzer Zahlen dargestellt werden:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { 2^{\frac{ 1 }{ 2 }}\;\;\;=\;\;\;\frac{ 2^{\frac{ 1 }{ 2 }} \cdot 2^{ω} }{ 2^{ω} }\;\;\;=\;\;\;\frac{ 2^{ω + \frac{ 1 }{ 2 }} }{ 2^{ω}} } \]

(SN.Ein.Bew.ÜV.12)

Für die Superial-Zahlen ist dies grundlegend, weil die sinnvollen Koeffizienten über die aktual unendliche Ganzzahligkeit des Produkts

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { a \cdot \s } \]

(SN.Ein.Bew.ÜV.13)

bestimmt werden. Die Überrationalitätsvermutung liefert hier den ersten wichtigen Einstieg: Sie zeigt, wie irrationale Wurzeln durch die aktual unendliche Primexponentenstruktur der superialen Basis aufgenommen werden können.

Damit kommen auch die fundamentalen Ringaxiome ins Spiel, insbesondere die Abgeschlossenheit von Addition und Multiplikation bezüglich der Ganzzahligkeit. Von der überrationalen Darstellung einzelner Wurzeln führt der Weg dadurch weiter zur Radikal-Abgeschlossenheit: Radikale und Radikalformen können als sinnvolle Koeffizienten der Superial-Zahlen verstanden werden.

Die klassische Irrationalität wird dabei nicht aufgehoben. Eine irrationale Wurzel bleibt irrational. Sie wird jedoch im superialen Zahlenraum überrational darstellbar und dadurch als Koeffizient verwendbar. Damit bereitet der Beweis der Überrationalitätsvermutung die späteren Beweisstrategien zu den sinnvollen Koeffizienten der Superial-Zahlen vor, insbesondere den Übergang zur Aussage, dass Radikalformen und schließlich reell algebraische Zahlen sinnvolle Koeffizienten sind.

Beweisstrategie der Algebraischen-Koeffizienten-Vermutung

Die Algebraische-Koeffizienten-Vermutung erweitert die bisherigen Erkenntnisse über rationale Zahlen, Wurzeln und Radikalformen auf alle reell algebraischen Zahlen. Ziel ist zu zeigen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\R}\;\;\;\subseteq\;\;\;\mathbb{A}_{\S} } \]

(SN.AKV.26)

Das bedeutet: Jede reell algebraische Zahl $ \alpha \in \mathbb{A}_{\R} $ ist ein sinnvoller Koeffizient der Superial-Zahlen. In der Sprache der Superial-Zahlen heißt dies:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \alpha \cdot \s\;\;\;\in\;\;\;\mathbb{S}_{\mathbb{Z},\{ 1 \}} } \]

(SN.Ein.Bew.AKV.1)

Der Beweis nutzt nicht mehr nur einzelne Radikaldarstellungen, sondern die allgemeine algebraische Struktur reell algebraischer Zahlen. Der zentrale Gedanke ist, die Ganzzahligkeit in den Superial-Zahlen über Bewertungen23 zu kontrollieren.

Zunächst wird der Ring der ganzen Superial-Zahlen durch eine Schnittdarstellung beschrieben:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{S}_{\Z}\;\;\;=\;\;\;\bigcap_{ p \in \mathbb{P} } V_{p} } \]

(SN.Ein.Bew.AKV.2)

Dabei sind die $ V_{p} $ Bewertungsringe zu den endlichen Primzahlen $ p $. Ein Element ist also genau dann superial ganz, wenn es bezüglich jeder endlichen Primzahl keine negativen Primexponenten besitzt. Aus dieser Darstellung folgt, dass $ \mathbb{S}_{\Z} $ ganz abgeschlossen ist, denn Bewertungsringe sind ganz abgeschlossen und Schnitte ganz abgeschlossener Teilringe bleiben ganz abgeschlossen.24,25

Anschließend wird diese Ganz-Abgeschlossenheit auf algebraische Ganzzahlen angewendet. Ist $ \beta $ eine reell algebraische Ganzzahl, so erfüllt $ \beta $ eine monische Polynomgleichung mit ganzzahligen Koeffizienten. Setzt man

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { Y\;\;\;≔\;\;\;\beta \cdot \s \;\; , } \]

(SN.Ein.Bew.AKV.3)

so zeigt die Multiplikation der Polynomgleichung mit einer passenden Potenz von $ \s $, dass $ Y $ ganz über $ \mathbb{S}_{\Z} $ ist. Wegen der Ganz-Abgeschlossenheit von $ \mathbb{S}_{\Z} $ folgt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \beta \cdot \s\;\;\;\in\;\;\;\mathbb{S}_{\Z,\{ 1 \}} } \]

(SN.Ein.Bew.AKV.4)

Damit sind zunächst alle algebraische ganze Zahlen, also algebraische Integer, sinnvolle Koeffizienten.

Für eine beliebige reell algebraische Zahl $ \alpha $ wird anschließend ein klassischer Standardfakt aus der Algebra verwendet: Es gibt ein endliches $ m \in \mathbb{Z} \setminus \{ 0 \} $, sodass

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \beta\;\;\;≔\;\;\;m \cdot \alpha } \]

(SN.Ein.Bew.AKV.5)

eine algebraische Ganzzahl ist.

Nun folgt der entscheidende Nenner-Absorptionsschritt. Da die vorstehende Formel äquivalent ist mit

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \frac{ \beta }{ m }\;\;\;=\;\;\;\alpha \;\; , } \]

(SN.Ein.Bew.AKV.6)

erhalten wir

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \alpha \cdot \s\;\;\;=\;\;\;\frac{ \beta }{ m } \cdot \s\;\;\;=\;\;\;\beta \cdot \frac{ \s }{ m } \;\; . } \]

(SN.Ein.Bew.AKV.7)

Der endliche Nenner $ m $ wird von der superialen Basis $ \s $ absorbiert, denn $ \s $ enthält jede endliche Primzahl in aktual unendlicher Potenz. Daher gilt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \frac{ \s }{ m }\;\;\;\in\;\;\;\mathbb{S}_{\Z,\{ 1 \}} } \]

(SN.Ein.Bew.AKV.8)

Da $ \beta $ eine algebraische ganze Zahl ist, greift die zuvor bewiesene Ganzheitsaussage für algebraische ganze Koeffizienten. Somit liegt auch

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \beta \cdot \frac{ \s }{ m } } \]

(SN.Ein.Bew.AKV.9)

im Bereich der ganzen Superial-Zahlen der ersten Schicht. Also folgt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \alpha \cdot \s\;\;\;\in\;\;\;\mathbb{S}_{\Z,\{ 1 \}} } \]

(SN.Ein.Bew.AKV.10)

Damit ist gezeigt, dass auch eine beliebige reell algebraische Zahl $ \alpha $ ein sinnvoller Koeffizient der Superial-Zahlen ist.

Die Beweisstrategie besteht somit aus vier Schritten:

•	Zuerst wird Ganzzahligkeit über die $ p $-adischen Bewertungsringe charakterisiert.
•	Danach wird daraus die Ganz-Abgeschlossenheit der ganzen Superial-Zahlen gewonnen.
•	Anschließend werden algebraische Ganzzahlen26 durch Multiplikation mit $ \s $ in ganze Superial-Zahlen überführt.
•	Schließlich wird jede reell algebraische Zahl durch Multiplikation mit einem endlichen Nenner zu einer algebraischen Ganzzahl gemacht, während $ \s $ diesen endlichen Nenner wieder absorbiert.

Damit zeigt die Algebraische-Koeffizienten-Vermutung, dass nicht nur rationale Zahlen, Wurzeln und Radikalformen, sondern alle reell algebraischen Zahlen sinnvolle Koeffizienten der Superial-Zahlen sind.

Bedeutung für die Superial-Zahlen

Die Algebraische-Koeffizienten-Vermutung ist für die Superial-Zahlen von zentraler Bedeutung, weil sie den Kreis der sinnvollen Koeffizienten weit über rationale Zahlen, Wurzeln und einzelne Radikalformen hinaus erweitert. Sie zeigt, dass jede reell algebraische Zahl als Koeffizient der Superial-Zahlen verwendet werden kann.

Der Ausgangspunkt ist die Bedingung

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { a \cdot \s\;\;\;\in\;\;\;\mathbb{S}_{\Z,\{ 1 \}} \;\; . } \]

(SN.Ein.Bew.AKV.11)

Eine endliche Zahl $ a $ ist genau dann ein sinnvoller Koeffizient der Superial-Zahlen, wenn ihr Produkt mit der superialen Basis $ \s $ eine ganze Superial-Zahl ergibt. Die Algebraische-Koeffizienten-Vermutung zeigt, dass diese Bedingung für alle reell algebraischen Zahlen erfüllt ist:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\R}\;\;\;\subseteq\;\;\;\mathbb{A}_{\S} } \]

(SN.AKV.26)

Damit wird die superiale Basis $ \s $ als arithmetischer Träger sichtbar: Sie enthält jede endliche Primzahl in aktual unendlicher Potenz und kann dadurch endliche Nenner, algebraische Teilbarkeitsstrukturen und die in algebraischen Zahlen enthaltenen Primexponenten aufnehmen. Dieser Mechanismus verallgemeinert die bekannten Rechenprozesse der Zahlentheorie: Was bei rationalen Zahlen durch Kürzen und Erweitern geschieht und bei Wurzeln durch überrationale Brüche sichtbar wird, gilt nicht mehr nur für einzelne Zahlentypen, sondern für alle reell algebraischen Zahlen insgesamt.

Für die Superial-Zahlen bedeutet dies, dass ihre Koeffizientenstruktur nicht willkürlich gewählt ist. Sie ist algebraisch stabil: Rationale Zahlen, Radikale, Radikalformen und schließlich alle reell algebraischen Zahlen können als sinnvolle Koeffizienten auftreten, weil ihre Multiplikation mit $ \s $ in den Bereich der ganzen Superial-Zahlen führt.

Damit liefert die Algebraische-Koeffizienten-Vermutung einen entscheidenden Schritt zur algebraischen Fundierung der Superial-Zahlen. Sie zeigt, dass die Superial-Zahlen nicht nur ein Stellenwertsystem mit aktual unendlicher Basis sind, sondern ein Rechenraum, dessen einzelne Exponentenschichten die reell algebraischen Zahlen als natürliche Koeffizienten tragen können.

Zugleich bereitet dieses Ergebnis die Abgrenzung zur Superialen-Transzendenz-Vermutung vor. Während reell algebraische Zahlen sinnvolle Koeffizienten jeder einzelnen Schicht sind, benötigen transzendente Zahlen nach dieser späteren Vermutung zusätzliche superiale Schichten negativer Potenz von $ \s $. Die Algebraische-Koeffizienten-Vermutung markiert damit die positive algebraische Seite der Koeffizientenstruktur: Alle reell algebraischen Zahlen gehören zu den sinnvollen Koeffizienten der Superial-Zahlen.

Beweisstrategie der Superialen-Transzendenz-Vermutung

Die Superiale-Transzendenz-Vermutung bildet die Gegenrichtung zur Algebraischen-Koeffizienten-Vermutung. Während die Algebraische-Koeffizienten-Vermutung zeigt

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\R}\;\;\;\subseteq\;\;\;\mathbb{A}_{\S} } \]

(SN.AKV.26)

soll nun gezeigt werden:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\S}\;\;\;\subseteq\;\;\;\mathbb{A}_{\R} } \]

(SN.STV.23)

Zusammen ergibt sich dann die vollständige Bestimmung der sinnvollen reellen Koeffizienten der Superial-Zahlen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\S}\;\;\;=\;\;\;\mathbb{A}_{\R} } \]

(SN.STV.24)

Die Beweisstrategie beginnt mit einem beliebigen sinnvollen Koeffizienten

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \alpha\;\;\;\in\;\;\;\mathbb{A}_{\S} \;\; . } \]

(SN.Ein.Bew.STV.1)

Nach Definition bedeutet dies:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { T\;\;\;≔\;\;\;\alpha \cdot \s\;\;\;\in\;\;\;\mathbb{S}_{\Z, \left\{ 1 \right\}} } \]

(SN.Ein.Bew.STV.2)

Die Zahl $ \alpha $ wird also dadurch sinnvoll, dass ihr Produkt mit der superialen Basis $ \s $ eine ganze Superial-Zahl der Eins-Schicht ergibt.

Nun betrachten wir zu einem ganzzahligen Polynom

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { P(x)\;\;\;=\;\;\;\sum_{i = 0}^{d} c_{i} \cdot x^{i}\;\;\;\in\;\;\;\mathbb{Z}[x] } \]

(SN.Ein.Bew.STV.3)

den superial normierten Ausdruck

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \Phi_{P}(\alpha)\;\;\;≔\;\;\;P(\alpha) \cdot \s^{d}\;\;\;=\;\;\;\sum_{ i = 0 }^{ d } c_{i} \cdot T^{i} \cdot \s^{d - i} \;\; . } \]

(SN.Ein.Bew.STV.4)

Da sowohl $ T = \alpha \cdot \s $ als auch $ \s $ ganze Superial-Zahlen sind, enthält jeder Summand eine gleichmäßige aktual unendliche Teilbarkeitsstruktur. Daraus folgt der uniforme $ p $-adische Schub:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { v_{p}\left( \Phi_{P}( \alpha ) \right)\;\;\;\ge\;\;\;d } \]

(SN.Ein.Bew.STV.5)

für jede endliche Primzahl $ p $. Die Multiplikation mit $ \s^{d} $ hebt also jeden Polynomwert $ P( \alpha ) $ in eine stark teilbare superiale Ganzheitsstruktur.

Der nächste Schritt besteht darin, Polynome zu konstruieren, die bei $ \alpha $ archimedisch sehr kleine Werte annehmen und zugleich vorgegebene Kongruenzbedingungen erfüllen. Dies geschieht über ein Dirichlet–Siegel-Argument mit Restklassen. Dadurch erhält man eine Folge monischer Polynome

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { P_{k}\;\;\;\in\;\;\;\mathbb{Z}[x] } \]

(SN.Ein.Bew.STV.6)

mit

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left| P_{k}( \alpha ) \right|\;\;\;\le\;\;\;2^{-k} } \]

(SN.Ein.Bew.STV.7)

und gleichzeitig kohärenten Koeffizienten modulo wachsender Moduln

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { P_{k+1}\;\;\;\equiv\;\;\;P_{k} \pmod{M_{k}}. } \]

(SN.Ein.Bew.STV.8)

Die $ p $-adische Seite wird durch den uniformen Schub aus $ \s $ kontrolliert, während die archimedische Seite durch die Abschätzung

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \left| P_{k}( \alpha ) \right|\;\;\;\le\;\;\;2^{-k} } \]

(SN.Ein.Bew.STV.9)

gegen Null gedrückt wird.

Die Kongruenz-Kohärenz der Polynome erlaubt anschließend einen profiniten Diagonalschritt: Die Koeffizienten stabilisieren. Dadurch entsteht ein nichttriviales ganzzahliges Polynom

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { P\;\;\;\in\;\;\;\mathbb{Z}[x] \;\; , } \]

(SN.Ein.Bew.STV.10)

das als Grenzpolynom der $ P_{k} $ verstanden werden kann.

Da die Werte $ P_{k}( \alpha ) $ zugleich archimedisch gegen Null gehen, folgt im Grenzübergang:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { P( \alpha )\;\;\;=\;\;\;0 } \]

(SN.Ein.Bew.STV.11)

Damit erfüllt $ \alpha $ eine nichttriviale Polynomgleichung mit ganzzahligen Koeffizienten. Also ist $ \alpha $ reell algebraisch:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \alpha\;\;\;\in\;\;\;\mathbb{A}_{\R} } \]

(SN.Ein.Bew.STV.12)

Da $ \alpha \in \mathbb{A}_{\S} $ beliebig war, folgt:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\S}\;\;\;\subseteq\;\;\;\mathbb{A}_{\R} } \]

(SN.STV.23)

Zusammen mit der bereits bewiesenen Algebraischen-Koeffizienten-Vermutung

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\R}\;\;\;\subseteq\;\;\;\mathbb{A}_{\S} } \]

(SN.AKV.26)

ergibt sich:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\S}\;\;\;=\;\;\;\mathbb{A}_{\R} } \]

(SN.STV.24)

Damit sind die sinnvollen reellen Koeffizienten der Superial-Zahlen vollständig bestimmt: Sie sind genau die reell algebraischen Zahlen.

Transzendente Zahlen gehören daher nicht zu den sinnvollen reellen Koeffizienten einer einzelnen superialen Schicht. Sie können im superialen Zahlenraum zwar auftreten, jedoch nicht als isolierte Koeffizienten einer einzelnen Potenzschicht $ \s^{k} $. Vielmehr benötigen sie mehrschichtige superiale Darstellungen, etwa durch infinitesimale Grenzwertspuren oder weiterführende Schichtkorrekturen. Während reell algebraische Zahlen als sinnvolle Koeffizienten einzelner Schichten auftreten können, markieren transzendente Zahlen die Grenze dieser schichtweisen Koeffizientenstruktur.

Bedeutung für die Superial-Zahlen

Die Superiale-Transzendenz-Vermutung ist für die Superial-Zahlen von besonderer Bedeutung, weil sie die Grenze der sinnvollen reellen Koeffizienten bestimmt. Nachdem die Algebraische-Koeffizienten-Vermutung zeigt, dass alle reell algebraischen Zahlen sinnvolle Koeffizienten sind, klärt die Superiale-Transzendenz-Vermutung die Gegenrichtung: Transzendente Zahlen gehören in keiner einzelnen superialen Schicht zu den sinnvollen isolierten reellen Koeffizienten.

Damit ergibt sich die vollständige Abgrenzung:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\S}\;\;\;=\;\;\;\mathbb{A}_{\R} } \]

(SN.STV.24)

Die sinnvollen reellen Koeffizienten der Superial-Zahlen sind also genau die reell algebraischen Zahlen.

Für die Superial-Zahlen bedeutet dies, dass ihre schichtweise Koeffizientenstruktur algebraisch vollständig bestimmt ist. Im gesamten superialen Zahlenraum $ \mathbb{S} $ sind die sinnvollen reellen Koeffizienten jeder einzelnen Schicht genau die reell algebraischen Zahlen. Formal gesprochen gilt für jede einzelne Potenzschicht $ \s^{k} $:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { a \cdot \s^{k} \in \mathbb{S}_{\{ k \}}\;\;\;\Longleftrightarrow\;\;\;a \in \mathbb{A}_{\R} } \]

(SN.Ein.Bew.STV.13)

Transzendente Zahlen überschreiten diese schichtweise Koeffizientenebene. Sie lassen sich nicht als isolierte Koeffizienten einer einzelnen Potenzschicht $ \s^{k} $ auffassen, sondern benötigen mehrschichtige superiale Darstellungen.

Damit wird die Trennlinie zwischen reell algebraischen und transzendenten Zahlen im superialen Zahlenraum sichtbar: Reell algebraische Zahlen gehören zu den sinnvollen Koeffizienten einzelner Schichten, transzendente Zahlen benötigen zusätzliche superiale Schichten. Sie treten nicht als einfache Koeffizienten auf, sondern mit infinitesimalen Grenzwertspuren oder weiterführenden Schichtkorrekturen.

Gerade dadurch erhalten transzendente Zahlen eine neue Interpretation. Sie sind nicht bloß „nicht algebraisch“, sondern erscheinen im Blick der Superial-Zahlen als Zahlen, deren vollständige Darstellung über die algebraisch bestimmte Koeffizientenebene einzelner Schichten hinausgeht. Die Superial-Zahlen machen damit sichtbar, dass die Grenze zwischen algebraischen und transzendenten Zahlen zugleich eine Grenze zwischen einschichtigen und mehrschichtigen Darstellungen ist.

Für den Unterring der ganzen Superial-Zahlen $ \mathbb{S}_{\Z} $ gelten zusätzlich die besonderen Ganzheitsbedingungen: Die Null-Schicht enthält nur ganze Zahlen, negative Schichten enthalten nur den Nullanteil. Diese zusätzlichen Ganzheitsbedingungen ändern jedoch nicht die allgemeine Koeffizientenaussage im gesamten superialen Zahlenraum $ \mathbb{S} $: Als isolierte reelle Koeffizienten einzelner Schichten sind genau die reell algebraischen Zahlen zulässig.

→	Aufbau der Arbeit

←	Beweisstrategien

Die Darstellung der Superial-Zahlen ist so aufgebaut, dass zunächst die Grundidee und die arithmetische Motivation entwickelt werden, bevor die formale Struktur, die Rechenregeln und die Beweise der zentralen Vermutungen folgen.

Die ›Einleitung‹ führt in die leitende Idee ein: Die Superial-Zahlen sollen eine zahlentheoretische Tiefenstruktur der Analysis sichtbar machen. Grenzprozesse, Ableitungen und Integrale werden dabei nicht nur als klassische Grenzwertbildungen betrachtet, sondern als Strukturen, die durch aktual unendliche Schrittweiten, Summen und Primexponenten beschrieben werden können.

Auf der Seite ›Die arithmetische Struktur der Geometrie‹ wird die geometrische Motivation entfaltet. Dort wird gezeigt, wie Längen, Flächen, Volumina und analytische Größen mit arithmetischen Strukturen zusammenhängen und warum ein aktual unendliches Stellenwertsystem für die Analysis naheliegt.

Die algebraischen Grundlagen entwickeln anschließend die eigentliche Struktur der Superial-Zahlen. Dort werden die superiale Basis $ \s $, die Schichten $ \s^{k} $, die Stellenwertschreibweise, die Ordnung, die Rechenregeln und die wichtigsten algebraischen Normalformen eingeführt.

Die Seite ›Die sinnvollen Koeffizienten der Superial-Zahlen‹ untersucht die Frage, welche reellen Zahlen als Koeffizienten einzelner superialer Schichten auftreten dürfen. Diese Frage führt zu den reell algebraischen Zahlen als natürlicher Koeffizientenebene der Superial-Zahlen.

Die Seiten ›Ableitungen und Integrale‹ sowie ›Die eulersche Zahl e und ihre Exponentialfunktion‹ zeigen, wie sich klassische analytische Begriffe im superialen Zahlenraum darstellen lassen. Die normierte infinitesimale Schrittweite $ \s^{-1} $ tritt dabei an die Stelle eines bloß gedachten Grenzübergangs. Ableitungen, Integrale und klassische Konstanten erhalten dadurch eine Darstellung mit expliziter aktual unendlicher Struktur.

Die Seite ›Eigenschaften‹ sammelt die zentralen strukturellen Merkmale der Superial-Zahlen. Dazu gehören ihre Ordnung, ihre infinitesimalen und aktual unendlichen Schichten, ihre algebraischen Koeffizienten, ihre Ganzheitsbedingungen und ihre Rolle als Erweiterung der klassischen reell algebraischen Zahlen.

Die anschließenden Beweisseiten begründen die zentralen Vermutungen. Die ›Überrationalitätsvermutung‹ zeigt, wie irrationale Wurzeln über aktual unendliche Primexponentenstrukturen als Quotienten aktual unendlicher ganzer Zahlen darstellbar werden. Die ›Algebraische-Koeffizienten-Vermutung‹ erweitert dies auf alle reell algebraischen Zahlen. Die ›Superiale-Transzendenz-Vermutung‹ zeigt die Gegenrichtung und bestimmt damit die sinnvollen reellen Koeffizienten vollständig:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{A}_{\S}\;\;\;=\;\;\;\mathbb{A}_{\R} } \]

(SN.STV.24)

Die ›Primzahlprodukt-Vermutung‹ begründet die kanonische Identifikation des von-Neumann-Ordinals $ ω $ mit dem vollständigen Einheits-Primexponentenprodukt aller endlichen Primzahlen:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { ω\;\;\;\equiv_{\mathrm{kan}}\;\;\;ω\overline{\#}\;\;\;=\;\;\;\prodx_{p \in \mathbb{P}} p \;\; . } \]

(SN.PP.295/SN.PP.296)

Sie bildet damit die arithmetische Grundlage der superialen Basis

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \s\;\;\;≔\;\;\;\left( ω\overline{\#} \right)_{\#}^{ω}\;\;\;=\;\;\;\displaystyle \left( \prodx_{p \in \mathbb{P}} p \right)_{\#}^{ω}\;\;\;=\;\;\;\displaystyle \prodx_{p \in \mathbb{P}} p^{ω} } \]

(SN.ZFC.1)

Abschließend zeigt die ZFC-Modellkonstruktion, dass die Superial-Zahlen nicht nur heuristisch motiviert sind, sondern in einer ZFC-intern definierbaren Struktur modelliert werden können. Dort werden die Superial-Zahlen als geordneter Hahn-Reihen-Körper mit verallgemeinerten $ p $-adischen Bewertungen beschrieben:

\[ \definecolor{formcolor}{RGB}{0,0,0} \color{formcolor} { \mathbb{S}\;\;\;≔\;\;\;\mathbb{A}_{\R}\!\left(\left( \s^{\mathbb{Z}} \right)\right) } \]

(SN.ZFC.22)

Damit gliedert sich die Arbeit in drei Ebenen: Zunächst wird die Idee der Zahlentheorie der Analysis motiviert, dann wird der superiale Zahlenraum algebraisch und analytisch entwickelt, und schließlich werden die tragenden Vermutungen sowie die ZFC-Modellkonstruktion formal begründet.

→	Die arithmetische Struktur der Geometrie

1.	↑	Bischoff, »Neubau der Mathematik«
2.	↑	Vgl. Plichta, Gottes Geheime Formel, S. 263ff., 271ff. 306ff.. Internet: Vgl. Wikipedia, Sierpinski-Dreieck, Zusammenhang mit dem Pascalschen Dreieck.
3.	↑	Weyl, Die Stufen des Unendlichen.
4.	↑	Vgl. Cantor, »Beiträge zur Begründung der transfiniten Mengenlehre«, § 7. Geordnete Mengen und ihre Ordnungstypen. Internet: Vgl. Wikipedia, Ordinalzahl.
5.	↑	Vgl. Zermelo, »Untersuchungen über die Grundlagen der Mengenlehre Ⅰ«, §1 Grundlegende Definitionen und Axiome, S. 263–267. Internet: Vgl. Wikipedia, Zermelo-Fraenkel-Mengenlehre.
6.	↑	Vgl. Hahn, »Über die nichtarchimedischen Grössensysteme«, S. 601–655. Internet: Vgl. Wikipedia, Stellenwertsystem.
7.	↑	Vgl. Zermelo, »Untersuchungen über die Grundlagen der Mengenlehre Ⅰ«, §1 Grundlegende Definitionen und Axiome, S. 263–267. Internet: Vgl. Wikipedia, Zermelo-Fraenkel-Mengenlehre.
8.	↑	Vgl. Hahn, »Über die nichtarchimedischen Grössensysteme«. Internet: Vgl. Wikipedia, Hahn series.
9.	↑	Vgl. Cantor, »Beiträge zur Begründung der transfiniten Mengenlehre (Zweiter Artikel)«. Internet: Vgl. Wikipedia, Lexikographische Ordnung. Vgl. Wikipedia, Stellenwertsystem, Lexikographische Ordnung.
10.	↑	Vgl. Hensel, »Über eine neue Begründung der Theorie der algebraischen Zahlen«. Vgl. Kürschák, »Über Limesbildung und allgemeine Körpertheorie«. Internet: Vgl. Wikipedia, P-adische Zahl, Konstruktion, Analytische Konstruktion, Exponentenbewertung.
11.	↑	Vgl. Lejeune Dirichlet, Vorlesungen über Zahlentheorie, Supplement Ⅺ, Über die Theorie der ganzen algebraischen Zahlen, S. 434-647, § 160 Zahlenkörper, S. 452-456, § 173 Ganze algebraische Zahlen, S. 524-531. Internet: Vgl. Wikipedia, Algebraische Zahl.
12.	↑	Vgl. Hahn, »Über die nichtarchimedischen Grössensysteme«. Internet: Vgl. Wikipedia, Hahn series.
13.	↑	Vgl. Hensel, »Über eine neue Begründung der Theorie der algebraischen Zahlen«. Vgl. Kürschák, »Über Limesbildung und allgemeine Körpertheorie«. Internet: Vgl. Wikipedia, P-adische Zahl, Konstruktion, Analytische Konstruktion, Exponentenbewertung.
14.	↑	Vgl. Cantor, »Beiträge zur Begründung der transfiniten Mengenlehre (Zweiter Artikel)«. Internet: Vgl. Wikipedia, Lexikographische Ordnung. Vgl. Wikipedia, Stellenwertsystem, Lexikographische Ordnung.
15.	↑	Vgl. Gauss, Untersuchungen über höhere Arithmetik. Internet: Vgl. Wikipedia, Gaußsche Summenformel.
16.	↑	Vgl. Gauss, Untersuchungen über höhere Arithmetik. Internet: Vgl. Wikipedia, Gaußsche Summenformel.
17.	↑	Vgl. Cantor, »Beiträge zur Begründung der transfiniten Mengenlehre«, § 7. Geordnete Mengen und ihre Ordnungstypen. Internet: Vgl. Wikipedia, Ordinalzahl.
18.	↑	Vgl. Lorenz, Euklids Elemente, Buch Ⅸ, Der 20. Satz, S. 160. Internet: Vgl. Wikipedia, Satz des Euklid.
19.	↑	Vgl. Dubner, »Factorial And Primorial Primes«. Internet: Vgl. Wikipedia, Primorial.
20.	↑	Vgl. Cantor, »Beiträge zur Begründung der transfiniten Mengenlehre«, § 7. Geordnete Mengen und ihre Ordnungstypen. Internet: Vgl. Wikipedia, Ordinalzahl.
21.	↑	Vgl. Hensel, »Über eine neue Begründung der Theorie der algebraischen Zahlen«. Vgl. Kürschák, »Über Limesbildung und allgemeine Körpertheorie«. Internet: Vgl. Wikipedia, P-adische Zahl, Konstruktion, Analytische Konstruktion, Exponentenbewertung.
22.	↑	Vgl. Lorenz, Euklids Elemente, Buch Ⅶ, Der 30. Satz (Primteiler eines Produkts), S. 129. Vgl. Lorenz, Euklids Elemente, Buch Ⅸ, Der 14. Satz (eindeutige Primfaktorzerlegung), S. 157. Internet: Vgl. Wikipedia, Primfaktorzerlegung, Fundamentalsatz der Arithmetik.
23.	↑	Vgl. Hensel, »Über eine neue Begründung der Theorie der algebraischen Zahlen«. Vgl. Kürschák, »Über Limesbildung und allgemeine Körpertheorie«. Internet: Vgl. Wikipedia, P-adische Zahl, Konstruktion, Analytische Konstruktion, Exponentenbewertung.
24.	↑	Vgl. Krull, »Allgemeine Bewertungstheorie«. Internet: Vgl. Wikipedia, Integrality and valuation rings.
25.	↑	Vgl. Kürschák, »Über Limesbildung und allgemeine Körpertheorie«. Vgl. Krull, »Allgemeine Bewertungstheorie«. Internet: Vgl. Wikipedia, Valuation ring.
26.	↑	Vgl. Lejeune Dirichlet, Vorlesungen über Zahlentheorie, Supplement Ⅺ, Über die Theorie der ganzen algebraischen Zahlen, S. 434-647, § 160 Zahlenkörper, S. 452-456, § 173 Ganze algebraische Zahlen, S. 524-531. Internet: Vgl. Wikipedia, Algebraische Zahl.