Satz von Lindemann-Weierstraß

Der Satz von Lindemann-Weierstraß ist ein zahlentheoretisches Lehrsatz über die Nichtexistenz von Nullstellen bei gewissen Exponentialpolynomen, woraus dann beispielsweise die Transzendenz der eulerschen Zahl $e$ und der Kreiszahl $\pi$ folgt. Er ist benannt nach den beiden Mathematikern Carl Louis Ferdinand von Lindemann und Karl Weierstraß.

Aussage

Der Satz besagt folgendes:

Für jede endliche Folge paarweise verschiedener algebraischer Zahlen ist die zugehörige Folge der unter der Exponentialfunktion aus diesen Zahlen gebildeten Funktionswerte linear unabhängig über dem Körper der algebraischen Zahlen.

Das bedeutet:

Hat man irgendeine natürliche Zahl $n>0$ und dazu zwei beliebige Folgen ${\left({\alpha }_j\right)}_{j=1,\dots ,n},{\left({\beta }_j\right)}_{j=1,\dots ,n}$ algebraischer Zahlen derart, dass für $i,j,\in \{1,\dots ,n\}$ aus $i\ne j$ stets ${\beta }_i\ne {\beta }_j$ folgt und mindestens ein ${\alpha }_j\ne 0$ ist, so gilt immer

$\sum _{j=0}^n{\alpha }_j{e}^{{\beta }_j}\ne 0$.

Historie

Den oben genannten allgemeinen Satz zeigte Lindemann für den Fall $n=2$. Dabei ging er aus von dem Beweis, den im Jahre 1873 Charles Hermite für seinen Satz von Hermite lieferte, wonach die eulersche Zahl $e$ transzendent ist. Zuvor hatte bereits im Jahre 1761 Johann Heinrich Lambert die Vermutung geäußert, dass die Kreiszahl ebenfalls transzendent sei. Lindemann gab damit im Jahre 1882 den endgültigen Beweis für den nach ihm benannten Satz von Lindemann, wonach $\pi$ eine transzendente Zahl und damit die Quadratur des Kreises unmöglich ist.

Obwohl Lindemann die Ausdehnung seines Resultats auf den allgemeinen Fall andeutete, legte er einen Beweis dafür nicht vor. Weierstraß gab dann im Jahr 1885 einen vollständigen Beweis, womit er die Sache vollendete. Dies erklärt, warum der oben dargestellte Satz den Namen Satz von Lindemann-Weierstraß erhielt.

Im Jahre 1893 griff David Hilbert die Arbeiten von Lindemann und Weierstraß auf und gab einen deutlich vereinfachten Beweis für die Transzendenz der Zahlen $e$ und $\pi$, aus dem sich wiederum auch der allgemeine Satz folgern lässt.

In den 1960er Jahren wurde von Stephen Schanuel die nach ihm benannte Vermutung von Schanuel formuliert, deren Bestätigung nicht nur den Lindemann-Weierstraß'schen Satz, sondern auch den Satz von Baker zur Folge hätte und darüber hinaus auch die offene Frage nach der Transzendenz der beiden Zahlen $e+\pi$ und $e\pi$ positiv beantwortete.

Folgerungen

Diese Ergebnisse folgen direkt aus dem obigen Satz.

Transzendenz von e

Wäre $e$ eine algebraische Zahl, so wäre $e$ Nullstelle eines normierten Polynoms mit rationalen Koeffizienten. Es gäbe also rationale Zahlen ${\beta }_0,\dots ,{\beta }_{n-1}$, so dass

$e^n+{\beta }_{n-1}{e}^{n-1}\cdots +{\beta }_1{e}^1+{\beta }_0{e}^0=0$.

Damit wären die ersten $n+1$ Potenzen von e linear abhängig über $\mathbb{Q}$ (und damit auch über $\bar{\mathbb{Q}}$) im Widerspruch zum Satz von Lindemann-Weierstraß.

Transzendenz von π

Um die Transzendenz der Kreiszahl $\pi$ zu zeigen, nehmen wir zunächst an, dass $\pi$ eine algebraische Zahl ist. Da die Menge der algebraischen Zahlen einen Körper bildet, müsste auch $\pi i$ algebraisch sein ($i$ bezeichnet hier die imaginäre Einheit). Nun ist aber

$e^{\pi i}+e^0=-1+1=0$

im Widerspruch zu linearen Unabhängigkeit von $e^{\pi i}$ und $e^0$.

Dies zeigt, dass unsere Annahme falsch war, die Kreiszahl $\pi$ muss also transzendent sein.

Transzendenz der natürlichen Exponential- und Logarithmusfunktion

${\mathrm{e}}^{\mathrm{\alpha }}$ ist für jede algebraische Zahl $\alpha \ne 0$ transzendent. Wenn dies nicht wäre, dann müsste eine algebraische Zahl $\beta$ existieren mit:

$e^{\alpha }=\beta$

Da die Menge der algebraischen Zahlen einen Körper bildet, ist für jedes algebraische $\beta$ auch $-\beta$ algebraisch. Nun ist aber:

$e^{\alpha }=\beta \iff e^{\alpha }-\beta =0\iff 1\cdot e^{\alpha }+(-\beta )\cdot e^0=0$

im Widerspruch zu linearen Unabhängigkeit von $e^{\alpha }$ und $e^0$.

Aus $e^{\alpha }=\beta \iff \ln (\beta )=\alpha$ folgt unmittelbar: $\ln (\beta )$ ist für jede algebraische Zahl $\beta \ne 1$, insbesondere jede positive rationale Zahl $\beta \ne 1$, transzendent.

Weil die Menge der algebraischen Zahlen einen Körper bildet, ist für jede algebraische Zahl $\alpha$ auch $\alpha i$ algebraisch und somit gilt auch:

$e^{\alpha i}$ ist für jede algebraische Zahl $\alpha \ne 0$ transzendent.

Insgesamt gilt:

Für jede komplexe Zahl $\kappa \ne 0$ ist eine der beiden Zahlen

$\kappa ,{\mathrm{e}}^{\kappa }$

transzendent. (Satz von Hermite-Lindemann)

Transzendenz der Hyperbelfunktionen

$\sinh (\alpha )$, $\cosh (\alpha )$, $\tanh (\alpha )$ und $\coth (\alpha )$ sind für jede algebraische Zahl $\alpha \ne 0$ transzendent.

Es gilt:

$\sinh (x)=\frac{e^x-e^{-x}}{2}=\frac{1}{2}\cdot e^x-\frac{1}{2}\cdot e^{-x}$

$\cosh (x)=\frac{e^x+e^{-x}}{2}=\frac{1}{2}\cdot e^x+\frac{1}{2}\cdot e^{-x}$

$\tanh (x)=\frac{\sinh (x)}{\cosh (x)}=\frac{e^x-e^{-x}}{e^x+e^{-x}}=\frac{e^{2x}-1}{e^{2x}+1}$

$\coth (x)=\frac{\cosh (x)}{\sinh (x)}=\frac{e^x+e^{-x}}{e^x-e^{-x}}=\frac{e^{2x}+1}{e^{2x}-1}$

Für $\sinh (x)$ und $\cosh (x)$ ist der Beweis derselbe wie für $e^x$. Angenommen $\sinh (\alpha )=\frac{e^{\alpha }-e^{-\alpha }}{2}$ oder $\cosh (\alpha )=\frac{e^{\alpha }+e^{-\alpha }}{2}$ wären für $\alpha \ne 0$ algebraisch, dann müsste eine algebraische Zahl $\beta$ existieren mit:

$\frac{e^{\alpha }\pm e^{-\alpha }}{2}=\beta$

Da die Menge der algebraischen Zahlen einen Körper bildet, sind für jedes algebraische $\beta$ auch $-\beta$ und $\pm 2\beta$ algebraisch. Nun ist aber:

$\frac{e^{\alpha }\pm e^{-\alpha }}{2}=\beta \iff e^{\alpha }\pm e^{-\alpha }=2\beta \iff e^{\alpha }\pm e^{-\alpha }-2\beta =0\iff 1\cdot e^{\alpha }+(\pm 1)\cdot e^{-\alpha }+(-2\beta )\cdot e^0=0$

im Widerspruch zu linearen Unabhängigkeit von $e^{\alpha }$, $e^{-\alpha }$ und $e^0$.

Für $\tanh (x)$ und $\coth (x)$ werden folgende Identitäten verwendet:

$\cosh (x)=\frac{1}{\sqrt{1-{\tanh }^2(x)}}$

$\coth (x)=\frac{1}{\tanh (x)}$

Angenommen, $\tanh (\alpha )$ wäre für eine algebraische Zahl $\alpha \ne 0$ algebraisch und die algebraische Zahl $\beta$. Die algebraischen Zahlen bilden einen Körper, in dem zusätzlich auch uneingeschränkt radiziert werden kann, d. h. jede Wurzel einer algebraischen Zahl ist selbst algebraisch. Das führt aber bei Verwendung der ersten Identität zu folgendem:

$\tanh (\alpha )=\beta \Rightarrow \cosh (\alpha )=\frac{1}{\sqrt{1-{\tanh }^2(\alpha )}}=\frac{1}{\sqrt{1-{\beta }^2}}$

Aufgrund der Körperaxiome der algebraischen Zahlen ist für jede algebraische Zahl $\beta$ der Bruch $\frac{1}{\sqrt{1-{\beta }^2}}$ algebraisch. Also folgt aus der Annahme, $\tanh (\alpha )$ für eine algebraische Zahl $\alpha \ne 0$ ist algebraisch, die Aussage $\cosh (\alpha )$ für eine algebraische Zahl $\alpha \ne 0$ ist algebraisch. Da letzteres bereits falsifiziert ist, gilt: $\tanh (\alpha )$ ist für jede algebraische Zahl $\alpha \ne 0$ transzendent.
Weil $\coth (\alpha )=\frac{1}{\tanh (\alpha )}$ gilt, folgt hieraus: $\coth (\alpha )$ ist für jede algebraische Zahl $\alpha \ne 0$ transzendent.

Transzendenz der trigonometrischen Funktionen

$\sin (\alpha )$, $\cos (\alpha )$, $\tan (\alpha )$ und $\cot (\alpha )$ sind für jede algebraische Zahl $\alpha \ne 0$ transzendent.

Es gilt:

$\sin (x)=\frac{e^{xi}-e^{-xi}}{2i}=\frac{1}{2i}\cdot e^{xi}-\frac{1}{2i}\cdot e^{-xi}$

$\cos (x)=\frac{e^{xi}+e^{-xi}}{2}=\frac{1}{2}\cdot e^{xi}+\frac{1}{2}\cdot e^{-xi}=\pm \frac{1}{\sqrt{1+{\tan }^2(x)}}$

$\tan (x)=\frac{\sin (x)}{\cos (x)}=\frac{e^{xi}-e^{-xi}}{(e^{xi}+e^{-xi})\cdot i}=\frac{e^{2xi}-1}{(e^{2xi}+1)\cdot i}$

$\cot (x)=\frac{\cos (x)}{\sin (x)}=\frac{(e^{xi}+e^{-xi})\cdot i}{e^{xi}-e^{-xi}}=\frac{(e^{2xi}+1)\cdot i}{e^{2xi}-1}=\frac{1}{\tan (x)}$

Man verwende, dass für jede algebraische Zahl $\alpha$ auch $-\alpha$ und $\pm \alpha i$ algebraisch sind, ebenso dass für jede algebraische Zahl $\beta$ auch $-\beta$ und $\pm \beta i$ algebraisch sind. Der rechnerische Beweis zur Transzendenz der trigonometrischen Funktionen erfolgt dann analog zum Beweis der Transzendenz der Hyperbelfunktionen.

Siehe auch

• Satz von Gelfond-Schneider

Weblinks

• Vorlage:MathWorld
• Vorlage:MathWorld

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Charles Hermite: Sur la fonction exponentielle. In: Comptes Rendus Acad. Sci. Paris 77, (1873), S. 18–24.
• Charles Hermite: Sur la fonction exponentielle. Gauthier-Villars, Paris (1874).
• David Hilbert: Ueber die Transcendenz der Zahlen e und $\pi$. In: Mathematische Annalen 43 (1893), S. 216–219.
• Ferdinand Lindemann: Über die Ludolph'sche Zahl. In: Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin 2 (1882), S. 679–682.
• Ferdinand Lindemann: Über die Zahl $\pi$. In: Mathematische Annalen 20 (1882), S. 213–225.
• Vorlage:Literatur
• Vorlage:Literatur
• Karl Weierstraß: Zu Lindemann's Abhandlung. „Über die Ludolph'sche Zahl“. In: Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin 5 (1885), S. 1067–1085.