Two algebraic proofs of the transcendence of $\mathrm{e}$ based on formal power series

Der Artikel präsentiert zwei algebraische Beweise der Transzendenz der Zahl $e$ unter Verwendung formaler Potenzreihen, die als Verbesserungen gegenüber Hilberts klassischem analytischen Beweis gelten.

Das Wesentliche

Die große Jagd nach der Unmöglichkeit: Warum $e$ kein "normaler" Zahl ist

Stellen Sie sich vor, die Zahlen sind wie eine riesige Bibliothek. In dieser Bibliothek gibt es zwei Arten von Büchern:

1. Die "normalen" Bücher (Algebraische Zahlen): Diese lassen sich mit einfachen Regeln bauen. Sie sind wie LEGO-Klötze, die man nach einem festen Bauplan zusammenstecken kann. Beispiele sind $2$,$-5$oder$\sqrt{2}$.
2. Die "magischen" Bücher (Transzendente Zahlen): Diese lassen sich nicht aus einfachen LEGO-Klötzen bauen. Sie sind wie ein einzigartiges, handgefertigtes Kunstwerk, das keine einfache Formel hat. Die Zahl $e$ (die Basis des natürlichen Logarithmus) ist so ein Kunstwerk.

Der Artikel von Martin Klazar dreht sich um einen alten Beweis, der zeigt, dass $e$ wirklich ein "magisches" Buch ist und kein "normales" LEGO-Buch.

---

Der alte Beweis (Hilberts Methode): Die unendliche Flut

Vor langer Zeit hat ein Mathematiker namens Hilbert bewiesen, dass $e$ transzendent ist.
Die Analogie:
Stellen Sie sich vor, Sie versuchen, $e$ mit einer einfachen Gleichung zu fangen (z. B. $a_0 + a_1e + a_2e^2 = 0$). Hilbert sagte: "Okay, nehmen wir an, das geht."
Dann schickte er eine riesige Welle aus Funktionen ($x^n e^{-x}$) auf diese Gleichung los. Diese Wellen sind wie unendliche Ozeane. Er berechnete die Fläche unter diesen Wellen (Integrale).

• Das Ergebnis: Die Rechnung zeigte, dass die Fläche einer Seite eine ganze Zahl sein muss, die Fläche der anderen Seite aber winzig klein ist (nahe Null). Eine ganze Zahl kann nicht gleichzeitig winzig klein und ungleich Null sein. Das ist ein Widerspruch. Also war die Annahme falsch: $e$ ist transzendent.

Das Problem:
Hilberts Beweis benutzt den "Ozean". In der Mathematik bedeutet das, er arbeitet mit überabzählbar unendlichen Mengen (wie alle reellen Zahlen auf einer Linie). Das ist wie wenn Sie versuchen, einen einzelnen Wassertropfen zu analysieren, indem Sie den gesamten Ozean untersuchen. Es funktioniert, aber es ist schwerfällig und benutzt "zu viel" Mathematik, als nötig.

---

Die neuen Beweise (Klazars Methode): Die Bausteine ohne Ozean

Martin Klazar sagt: "Warum müssen wir den ganzen Ozean untersuchen? Können wir das nicht nur mit einzelnen Bausteinen machen?"
Er bietet zwei neue Wege an, die keine unendlichen Mengen benutzen. Sie arbeiten stattdessen mit formalen Potenzreihen.

Was sind formale Potenzreihen?
Stellen Sie sich eine formale Potenzreihe nicht als Funktion vor, die auf einem Graphen läuft, sondern als eine unendliche Liste von Zahlen oder eine Reihe von Bausteinen.

• Statt zu sagen: "Berechne den Wert von $x$ für jede Zahl auf der Zahlengeraden", sagen wir: "Hier ist eine Liste von Koeffizienten: $1, 1, 1/2, 1/6, \dots$". Wir behandeln diese Liste wie ein Objekt, das wir manipulieren können, ohne uns jemals um den "Ozean" der reellen Zahlen zu kümmern.

Beweis 1: Der Erbe (Beukers, Bézivin und Robba)

Dieser Beweis ist wie ein Reparatur-Kit für ein komplexes Uhrwerk.

• Die Autoren haben gezeigt, dass man bestimmte mathematische Strukturen (rationale Funktionen) so zerlegen kann, dass man sieht, wie sie aufgebaut sind.
• Die Analogie: Stellen Sie sich vor, Sie haben ein Uhrwerk, das angeblich einfach läuft. Die neuen Mathematiker zerlegen es in seine Zahnräder (Partialbrüche). Sie zeigen: "Wenn dieses Uhrwerk so laufen würde, wie ihr behauptet, müssten die Zahnräder eine bestimmte Größe haben. Aber unsere Liste zeigt, dass sie viel zu groß sind."
• Der Beweis nutzt diese Listen, um zu zeigen, dass die Annahme, $e$ sei "normal", zu einem logischen Bruch führt.

Beweis 2: Der Erfinder (Klazar selbst)

Dies ist der kreativste Teil. Klazar nimmt Hilberts alten Beweis (die Ozean-Methode) und übersetzt ihn in die Sprache der Listen.

• Die "Semiformale Integration": Normalerweise integriert man Funktionen über einen Bereich. Klazar erfindet eine Art "formale Integration".
• Die Analogie: Stellen Sie sich vor, Sie haben einen Eimer mit Sand (die Funktion). Normalerweise wiegen Sie den Sand, indem Sie ihn auf eine Waage legen (Integration über den Ozean). Klazar sagt: "Nein, wir zählen einfach die Körner Sand in der Liste."
• Er definiert Regeln, wie man diese Listen "verschiebt" (z. B. $x$ wird zu $x+1$) und "integriert", ohne jemals den Ozean zu betreten.
• Er nutzt eine spezielle Identität (Eulers Identität), die besagt: "Wenn du diese Liste von Sandkörnern über die unendliche Zeit summierst, erhältst du genau $k!$ (Fakultät)."
• Am Ende führt er die gleiche Rechnung durch wie Hilbert: Er zeigt, dass eine Seite der Gleichung eine ganze Zahl sein muss, die andere aber zu klein ist. Aber diesmal geschah das alles nur mit Listen und algebraischen Regeln, ohne den "Ozean" der reellen Zahlen zu berühren.

Warum ist das wichtig?

Stellen Sie sich vor, Sie beweisen, dass ein Haus nicht brennbar ist.

• Hilberts Methode: Sie gießen das ganze Haus mit Wasser ab und schauen, ob es brennt. (Funktioniert, aber man benutzt viel Wasser).
• Klazars Methode: Sie analysieren die chemische Struktur jedes einzelnen Ziegelsteins im Labor und beweisen mathematisch, dass er nicht brennen kann. (Präziser, sauberer, und man benutzt kein Wasser).

Das Fazit:
Der Artikel zeigt, dass man die tiefsten Geheimnisse der Mathematik (wie die Transzendenz von $e$) auch beweisen kann, ohne auf die "schwere Artillerie" der unendlichen Mengen zurückzugreifen. Es ist ein Beweis dafür, dass man mit cleveren Listen und algebraischen Tricks oft eleganter und sauberer arbeiten kann als mit riesigen, unübersichtlichen Mengen. Es ist ein Sieg der "Kunst des Bauens" über die "Kraft des Ozeans".

Technische Zusammenfassung

Titel

Zwei algebraische Beweise der Transzendenz von $e$ basierend auf formalen Potenzreihen

1. Problemstellung und Motivation

Das zentrale Problem ist der Beweis der Transzendenz der Eulerschen Zahl $e$. Der klassische Beweis von Hilbert (basierend auf Hermite) verwendet analytische Methoden, die auf unendlichen Integralen über reelle Funktionen (insbesondere $x^n e^{-x}$ auf $[0, +\infty)$) beruhen.

• Das Kernproblem: Diese Beweise nutzen substantiell überabzählbare Mengen (die reellen Zahlen und Funktionenräume).
• Die Fragestellung: Ist es möglich, die Transzendenz von $e$ zu beweisen, ohne substantiell auf überabzählbare Mengen zurückzugreifen? Das Ziel ist eine rein algebraische oder zumindest auf abzählbaren Strukturen (wie formalen Potenzreihen) basierende Herleitung.
• Hintergrund: Ein solcher Ansatz wurde bereits 1990 von Beukers, Bézivin und Robba für den Lindemann-Weierstraß-Satz skizziert, ist aber in der mathematischen Gemeinschaft wenig bekannt.

2. Methodik

Der Autor stellt zwei Beweise vor, die beide die Sprache der formalen Potenzreihen verwenden, um die analytischen Werkzeuge des klassischen Beweises zu ersetzen.

A. Beweis 1: Spezialisierung des Beweises von Beukers, Bézivin und Robba

Dieser Beweis ist eine Vereinfachung des allgemeinen Lindemann-Weierstraß-Satzes auf den Fall der Transzendenz von $e$.

• Grundidee: Anstelle von Funktionen werden komplexe Folgen (formale Potenzreihen) betrachtet.
• Schlüsselkonzepte:
  • Rationale formale Potenzreihen: Eine Reihe ist rational, wenn sie als Quotient zweier Polynome dargestellt werden kann.
  • Partielle Brüche: Jede rationale Reihe lässt sich in eine Summe von Partialbrüchen zerlegen.
  • Proposition 2.1: Untersucht das Verhalten von Polen unter der Operation $p(x)A(x) + cx^m A'(x)$. Es zeigt sich, dass die Pole entweder verschwinden oder ihre Ordnung mindestens 2 erreichen.
  • Theorem 2.2: Zeigt, dass unter bestimmten Wachstumsbedingungen (Abschätzung der Koeffizienten) eine formale Potenzreihe rational sein muss.
• Ablauf:
  1. Man nimmt an, $e$ sei algebraisch, d.h. $\sum b_j e^{\alpha_j} = 0$ für ganze Zahlen $b_j, \alpha_j$.
  2. Man definiert Folgen $u_n$ und $v_n$ basierend auf diesen Koeffizienten.
  3. Man zeigt, dass die zugehörige formale Potenzreihe $V(x) = \sum v_n x^n$ rational sein muss (wegen der Wachstumsabschätzung).
  4. Durch Ableitung und Multiplikation entsteht eine Gleichung, die die Struktur der Pole von $V(x)$ verletzt (im Widerspruch zu Proposition 2.1).

B. Beweis 2: Der Beweis durch "semiformale Integration" (Eigenbeitrag des Autors)

Dieser Beweis übersetzt Hilberts ursprünglichen Integralbeweis direkt in die Sprache der formalen Potenzreihen.

• Grundidee: Definition von Operationen auf formalen Potenzreihen, die den analytischen Operationen (Verschiebung, Integration) entsprechen, aber rein algebraisch definiert sind.
• Definitionen:
  • Semiformale Verschiebung: $f(x+b)$ wird durch Taylor-Entwicklung definiert, wobei die Konvergenz der Reihe $f$ die Gültigkeit der Koeffizientenberechnung sichert.
  • Newton-Integral: Das Integral $\int_u^v f(x) dx$ wird als Differenz der Stammfunktion an den Stellen $v$ und $u$ definiert.
  • Uneigentliches Newton-Integral: $\int_u^{+\infty} f(x) dx$ wird als Grenzwert einer Folge von Partialintegrale definiert.
• Schlüsselidentitäten:
  • Es werden Eigenschaften wie Linearität, Additivität und Verschiebungseigenschaften ($\int f(x+b) = \int f(x)$ mit verschobenen Grenzen) bewiesen.
  • Eulersche Identität (Proposition 3.16): Es wird gezeigt, dass $\int_0^{+\infty} x^k \text{Exp}(-x) dx = k!$ gilt, wobei $\text{Exp}(x)$ die formale Exponentialreihe ist. Dies geschieht durch Induktion ohne Nutzung überabzählbarer Mengen.
• Ablauf:
  1. Annahme der algebraischen Abhängigkeit: $P = \sum a_i e^i = 0$.
  2. Multiplikation mit einem "formalen Integral" $\int_0^{+\infty} p_r(x) \text{Exp}(-x) dx$, wobei $p_r(x)$ ein spezielles Polynom ist.
  3. Aufteilung des Integrals in einen endlichen Teil ($A_r$) und einen unendlichen Teil ($B_r$).
  4. Widerspruch: $A_r$ ist exponentiell beschränkt, während $B_r$ ein ganzzahliges Vielfaches von $r!$ ist und für unendlich viele $r$ nicht null ist. Da $r!$ schneller wächst als jede Exponentialfunktion, führt dies zu einem Widerspruch ($A_r + B_r = 0$).

3. Wichtige Beiträge und Ergebnisse

1. Vermeidung überabzählbarer Mengen: Der Hauptbeitrag beider Beweise ist nicht die Verwendung formaler Potenzreihen an sich, sondern die Demonstration, dass die Transzendenz von $e$ ohne substantielle Nutzung überabzählbarer Mengen (wie reelle Funktionenräume oder Cantor'sche Mengen) bewiesen werden kann.
2. Algebraisierung des Hilbert-Beweises: Der zweite Beweis zeigt, wie der klassische analytische Beweis von Hilbert vollständig in ein algebraisches Framework (formale Potenzreihen) übersetzt werden kann, wobei die "Integrale" als formale Operationen interpretiert werden.
3. Neubewertung des Beukers-Bézivin-Robba-Beweises: Der Autor hebt die Bedeutung dieses 1990er Beweises hervor, der oft übersehen wurde, und stellt ihn in einer spezialisierten, zugänglicheren Form für den Fall von $e$ dar.
4. Technische Innovation: Die Einführung von "semiformalen" Operationen (wie Verschiebung und Integration auf konvergenten Reihen), die die Lücke zwischen rein algebraischen formalen Reihen und analytischen Funktionen schließen.

4. Signifikanz

• Fundamentale Bedeutung: Die Arbeit adressiert eine philosophische und methodologische Frage in der Zahlentheorie: Wie "rein" algebraisch kann ein Transzendenzbeweis sein? Sie zeigt, dass die Transzendenz von $e$ eine Eigenschaft ist, die bereits in der Struktur der formalen Potenzreihen und der Kombinatorik der Koeffizienten (Fakultäten) enthalten ist, ohne dass man auf die Topologie der reellen Zahlen zurückgreifen muss.
• Didaktischer Wert: Die Beweise bieten alternative Zugänge zu einem klassischen Ergebnis, die weniger auf Analysis und mehr auf Algebra und Kombinatorik basieren.
• Zukunftsausblick: Der Autor verweist darauf, dass diese Unterscheidung (Nutzung vs. Nicht-Nutzung überabzählbarer Mengen) für einen kleinen Kreis von Mathematikern (insbesondere im Kontext konstruktiver Mathematik oder Reverse Mathematics) von großer Bedeutung ist.

Fazit: Martin Klazar liefert zwei elegante Beweise, die die Transzendenz von $e$ etablieren, indem sie die analytischen Werkzeuge des 19. Jahrhunderts durch algebraische Strukturen formaler Potenzreihen ersetzen. Dies beweist, dass das Ergebnis unabhängig von der Theorie der überabzählbaren Mengen ist.