Satz von Gelfond-Schneider

Mithilfe des Satzes von Gelfond-Schneider konnte zum ersten Mal eine umfangreiche Klasse von transzendenten Zahlen erzeugt werden. Er wurde zuerst 1934 von dem russischen Mathematiker Alexander Gelfond und unabhängig davon ein Jahr später von Theodor Schneider bewiesen. Der Satz beantwortet Hilberts siebtes Problem.

Aussage des Satzes

Es seien \alpha und \beta algebraische Zahlen (mit \alpha \neq 0, 1). \beta sei darüber hinaus nicht rational.

Dann besagt der Satz von Gelfond-Schneider:

\, \alpha^{\beta} ist transzendent.

Für \alpha und \beta dürfen auch komplexe Zahlen eingesetzt werden. Dann gilt  \alpha^{\beta} = \exp (\beta \cdot \ln \alpha) . Der komplexe Logarithmus ist nur bis auf Vielfache von 2\pi\mathrm i eindeutig bestimmt. Der Satz ist für jede Wahl des Zweigs des Logarithmus richtig.

Er lässt sich auch so formulieren, dass für Logarithmen zweier algebraischer Zahlen aus der linearen Unabhängigkeit über den rationalen Zahlen die lineare Unabhängigkeit über den algebraischen Zahlen folgt. In dieser Formulierung ist der Satz von Gelfond-Schneider in den 1960er Jahren von Alan Baker erheblich erweitert worden.

Satz von Baker: Wenn die a_i \neq 0 algebraische Zahlen sind, die über den rationalen Zahlen linear unabhängig sind, dann sind {\displaystyle 1,\log a_{1},\cdot \cdot \cdot ,\log a_{n}} linear unabhängig über den algebraischen Zahlen.

Anwendungen

Aus dem Satz von Gelfond-Schneider folgt unmittelbar die Transzendenz der folgenden Zahlen:

Trenner
Basierend auf einem Artikel in: Extern Wikipedia.de
Seitenende
Seite zurück
© biancahoegel.de
Datum der letzten Änderung: Jena, den: 07.02. 2021