In der Mathematik, insbesondere der Zahlentheorie, spricht man von einem Potenzturm, wenn der Exponent einer Potenz selbst als Potenz dargestellt wird. Dies kann sich dann wiederholen, indem auch der Exponent des Exponenten eine Potenz ist und so weiter, sodass sich die Basen zu einem Turm aufbauen, der vom (letzten) Exponenten abgeschlossen wird. Die Schreibweise wird üblicherweise für Zahlen verwendet, bei denen der Exponent in normaler Schreibweise zu groß wäre, z. B.:

x↑↑a für a = 2,3,4,5,6,7 und Grenzwerte für a gegen unendlich (grau)

Je größer die Zahl wird, desto deutlicher wird der Vorteil dieser verkürzenden Schreibweise.

Schon der Exponent dieser 2er-Potenz hätte, in Dezimalschreibweise notiert, 19.728 Stellen. Das Gesamtergebnis wäre damit kaum noch nutzbar oder verständlich.

Dabei gilt die Konvention, dass Potenztürme „von oben nach unten“ abgearbeitet werden, also mit der höchsten Potenz beginnend:
bedeutet daher und nicht .

Mit Hilfe dieser Schreibweise lassen sich sehr große Zahlen übersichtlich darstellen, die schnell jenseits jeder direkten Vorstellbarkeit liegen und die sich in absoluter Länge und als einfache Potenz nicht mehr oder nur umständlich darstellen lassen.

Dennoch gibt es Zahlen, die so groß sind, dass selbst diese Schreibweise nicht mehr ausreicht, um sie darzustellen. Wenn also ein Potenzturm zu viele Stufen hat, als dass man sie noch darstellen könnte, nutzt man alternative Schreibweisen wie den Hyper-Operator.

Darstellung mit Folgen und unendliche Potenztürme

Bearbeiten

Ein endlicher Potenzturm der Form (siehe auch Pfeilschreibweise)

 

mit   und   stimmt mit dem  -ten Glied   der durch

 

rekursiv definierten Folge   überein. Diese wird als Partialturmfolge bezeichnet und mit dem unendlichen Potenzturm identifiziert (analog zum Begriff der unendlichen Reihe).

 

Ist   konvergent mit dem Grenzwert   dann heißt der (unendliche) Potenzturm konvergent mit

 

Schon Leonhard Euler hat erkannt,[1] dass der Potenzturm

 

genau dann konvergiert, wenn

 

Die dadurch definierte Funktion

 

ist streng monoton wachsend und bijektiv. Ihre Umkehrfunktion ist gegeben durch[2]

 .

Siehe auch

Bearbeiten
Bearbeiten

Einzelnachweise

Bearbeiten
  1. Leonhard Euler: De serie Lambertina Plurimisque eius insignibus proprietatibus. [= Über die Lambertsche Reihe und ihre bemerkenswertesten Eigenschaften.] In: Acta Academiae Scientiarum Imperialis Petropolitanae 2 (1783), S. 29–51. Nachdruck in Leonhard Euler: Opera Omnia, Series Prima, Bd. 6: Commentationes Algebraicae. Leipzig: Teubner, 1921, S. 350–369.
  2. R. Arthur Knoebel: Exponentials Reiterated. In: The American Mathematical Monthly. Band 88, Nr. 4, April 1981, S. 235–252, doi:10.2307/2320546.