Transzendente Zahl

In der Mathematik heißt eine reelle Zahl (oder allgemeiner eine komplexe Zahl) transzendent, wenn sie nicht Nullstelle eines (vom Nullpolynom verschiedenen) Polynoms mit ganzzahligen Koeffizienten ist. Andernfalls handelt es sich um eine algebraische Zahl. Jede transzendente Zahl ist überdies irrational.

Definition

Eine komplexe Zahl Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} heißt transzendent, wenn sie keine algebraische Zahl ist, also wenn kein Polynom

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p(x) = a_{n}x^{n} + \dots + a_{1}x + a_{0} \qquad (n \ge 1, \, a_0,\dotsc,a_n \in \Z , a_n \ne 0)}

existiert mit Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p(b) = 0} .

Geschichtliche Entwicklung des Transzendenzbegriffs

Die Vorstellung der mathematischen Transzendenz kam im Laufe des 18. Jahrhunderts ganz allmählich in den Überlegungen großer Mathematiker wie Gottfried Wilhelm Leibniz (omnem rationem transcendunt) und Leonhard Euler auf, die zwar keine strenge Definition dieses Begriffs besaßen, sich aber trotzdem sicher waren, dass es solche mathematisch „schwer fassbaren“ Zahlen geben müsse, von denen Euler schrieb, sie „überschreiten […] die Wirksamkeit algebraischer Methoden“. 1748 behauptete Euler in seinem Lehrbuch Introductio in Analysin Infinitorum sogar, dass bei positivem rationalem Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \neq 1} und natürlichem Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} , das keine Quadratzahl ist, die Zahl Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^{\sqrt{b}}} nicht rational ist, aber auch „nicht mehr irrational“ sei (wobei er unter „irrationale Zahlen“ den heute algebraische Zahlen genannten Zahlenbereich verstand). Tatsächlich wurde diese Transzendenzvermutung 1934 als Spezialfall eines Resultats des russischen Mathematikers Alexander Ossipowitsch Gelfond sowie des deutschen Mathematikers Theodor Schneider in ihrer Richtigkeit bestätigt. Ihre Beweise unterscheiden sich in wesentlichen Punkten.

Joseph Liouville konnte 1844 als Erster die Existenz transzendenter Zahlen beweisen und mittels seiner konstruktiven Beweismethode explizite Beispiele liefern. In seiner Arbeit konnte er zeigen, dass es für jede algebraische Zahl Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} vom Grad Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n\ge 2} eine Konstante Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c>0} gibt, so dass für jede rationale Approximation Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p/q} :

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left|x-\frac{p}{q}\right|>\frac{c}{q^n}}

gilt. Daraus folgt, dass die Liouville-Zahl

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L = \sum_{k=1}^{\infty} 10^{-k!} = 0{,}110001000000000000000001000\dots}

transzendent ist.

Siehe Beweis des Approximationssatz von Liouville im Beweisarchiv.

Im Jahr 1874 konnte Georg Cantor nicht nur abermals die Existenz von transzendenten Zahlen beweisen, sondern sogar zeigen, dass es „mehr“ transzendente als algebraische Zahlen gibt. Im Gegensatz zu Liouville verwendete Cantors Existenzbeweis für transzendente Zahlen keine zahlentheoretischen Eigenschaften der algebraischen Zahlen, sondern ist (aus heutiger Sicht) rein mengentheoretischer Natur. Die mathematisch exakte Formulierung des Begriffs ‚mehr‘ war aber sicherlich das wichtigste Ergebnis von Cantors Arbeit, weil es das Wissen über das reelle Zahlensystem revolutionär vertiefte. Allerdings konnten sich seine neuartigen Ideen gegen einflussreiche konservative Kritiker wie Leopold Kronecker lange Zeit nicht durchsetzen. Cantor bewies, dass die Menge der algebraischen reellen Zahlen (in moderner Sprechweise) abzählbar ist, während die Menge aller reellen Zahlen überabzählbar (unendlich, aber nicht abzählbar) ist. Daraus folgt auch leicht, dass die Menge aller transzendenten Zahlen gleichmächtig mit der Menge aller reellen Zahlen (insbesondere: ebenfalls überabzählbar) ist.

Dieser Sachverhalt kann mengensprachlich wie folgt formuliert werden:

Wenn Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{T}} die Menge der transzendenten Zahlen und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{R}} die Menge der reellen Zahlen bezeichnet, dann gilt:

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hbox{card} \, \mathbb{T} = \hbox{card} \, \mathbb{R} = 2^{\aleph_0} }

Hierbei ist Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^{\aleph_0} } das mengentheoretische Symbol für die Mächtigkeit von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{R} } ; Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\aleph_0} } (sprich „Aleph null“) ist das mengentheoretische Symbol für die Mächtigkeit einer abzählbar unendlichen Menge, insbesondere von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{N} } .

Transzendenzbeweise von e und π

Die ursprünglichen Beweise der Transzendenz von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e} und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi} stammen von Charles Hermite bzw. von Ferdinand von Lindemann. Die Beweise sind allerdings nur sehr schwer nachzuvollziehen. Im Laufe der Zeit gab es aber immer wieder Vereinfachungen dieser Beweise. Einen sehr „eleganten“ Beweis veröffentlichte der berühmte Mathematiker David Hilbert (1862–1943) im Jahre 1893 in seinem Aufsatz „Über die Transcendenz der Zahlen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e} und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi} “.

Siehe Beweis der Transzendenz von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e} und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi} im Beweisarchiv.

Beispiele für transzendente Zahlen

• Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi = 3{,}1415926535897932384626433832795\ldots}

Die Transzendenz von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi} , die von Carl Louis Ferdinand von Lindemann bewiesen wurde, ist auch der Grund für die Unlösbarkeit der Quadratur des Kreises mittels Zirkel und Lineal.

• Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e = 2{,}7182818284590452353602874713526\ldots} ,

die Eulersche Zahl, deren Transzendenz 1873 von Charles Hermite bewiesen werden konnte.

• Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e^a} für algebraisches Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \ne 0} . Siehe auch Satz von Lindemann-Weierstraß.
• Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^{\sqrt{2}}} . Allgemeiner konnten Gelfond 1934 sowie Theodor Schneider 1934 unabhängig voneinander mit verschiedenen Methoden zeigen: Ist Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 \ne a \ne 1} , Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} algebraisch, Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} algebraisch und irrational, dann ist Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^b} eine transzendente Zahl. Dies ist eine Teillösung von Hilberts siebtem Problem. Für transzendente Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} gilt dieser Satz offensichtlich nicht, da z. B. Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 3^{\log_32} = 2} (siehe auch Satz von Gelfond-Schneider).
• Der Sinus von 1.
• Der Logarithmus Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ln(a)} einer rationalen positiven Zahl Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a\ne 1} .
• Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Gamma(\tfrac13)} und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Gamma(\tfrac14)} (siehe Gammafunktion)
• Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle \sum_{k=0}^{\infty}10^{-\lfloor\beta^{k}\rfloor}} , Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \beta > 1} . Die Klammer Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lfloor . \rfloor} ist hierbei die Gaußklammer.

Verallgemeinerung

Im Kontext allgemeiner Körpererweiterungen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L/K} betrachtet man ebenfalls Elemente in Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L} , die algebraisch oder transzendent über Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} sind. Siehe dazu Algebraisches Element.

Siehe auch

• Liste besonderer Zahlen
• Vermutung von Schanuel

Literatur

• Alan Baker: Transcendental number theory. Reprinted edition. Cambridge University Press, London u. a. 1990, ISBN 0-521-39791-X (Ein anspruchsvolles Standardwerk, das tiefgreifende Theoreme entwickelt, aber profundes Vorwissen voraussetzt).
• Peter Bundschuh: Einführung in die Zahlentheorie. 4., überarbeitete und aktualisierte Auflage. Springer, Berlin u. a. 1998, ISBN 3-540-64630-2 (Bietet einen einführenden Überblick zum Thema „transzendente Zahlen“ an).
• David Hilbert: Ueber die Transcendenz der Zahlen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e} und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi} . In: Mathematische Annalen. Bd. 43, Nr. 2/3, 1893, S. 216–219, doi:10.1007/BF01443645.
• Arthur Jones, Sidney A. Morris, Kenneth R. Pearson: Abstract Algebra and Famous Impossibilities. Corrected 2nd printing. Springer, New York u. a. 1994, ISBN 0-387-97661-2 (Enthält eine ausführliche Schritt-für-Schritt-Erläuterung des Lindemannschen Transzendenzbeweises für Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi).} .)
• Oskar Perron: Irrationalzahlen. (= Göschens Lehrbücherei. Gruppe 1: Reine Mathematik. Bd. 1, ZDB-ID 503797-9). de Gruyter, Berlin u. a. 1921.
• Theodor Schneider: Einführung in die transzendenten Zahlen. (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Bd. 81, ISSN 0072-7830). Springer, Berlin u. a. 1957.
• Andrei Borisovich Shidlovskii: Transcendental numbers. (= De Gruyter Studies in Mathematics. Bd. 12). de Gruyter, Berlin u. a. 1989, ISBN 3-11-011568-9 (Besser lesbar als das Buch von Baker, dennoch ähnlich fundiert).

Weblinks

• Proof that $e$ is transcendental
• Der Beweis von Hermite-Lindemann, dass $\pi$ und $e$ transzendent sind (PDF, 170 kB)
• Der Beweis (nach Hilbert) von Fritsch, dass $e$ transzendent ist (PDF, 177 kB)
• Der Beweis (nach Hilbert) von Fritsch, dass $\pi$ transzendent ist (PDF, 78 kB)