Potenzturm

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

In der Mathematik, insbesondere der Zahlentheorie, spricht man von einem Potenzturm, wenn der Exponent einer Potenz noch weitere Male potenziert wird und sich die Exponenten somit zu einem Turm addieren. Die Schreibweise wird üblicherweise für Zahlen verwendet bei denen der Exponent in normaler Schreibweise zu groß wäre, z. B.:

 2^{1.267.650.600.228.229.401.496.703.205.376}=2^{2^{100}}


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

 2^{2^{2^{2^{2^{2}}}}} = 2^{2^{2^{2^{4}}}} = 2^{2^{2^{16}}} = 2^{2^{65.536}}

Dabei ist zu beachten, dass Potenztürme von oben nach unten abgearbeitet werden, da

2^{2^{2^{2^{2^{2}}}}} \not= \left(\left(\left(\left(2^2\right)^2\right)^2\right)^2\right)^2 = 2^{2\cdot2\cdot2\cdot2\cdot2} = 2^{2^5} =4.294.967.296

Der Exponent dieser Zahl hätte, in normaler Exponentialschreibweise ausgedrückt, 19.728 Stellen. Die Zahl wäre damit kaum noch nutzbar oder verständlich. Mit Hilfe dieser Schreibweise lassen sich sehr große Zahlen 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)


  \begin{matrix}
   x\uparrow\uparrow k &  = & \underbrace{x^{x^{{}^{.\,^{.\,^{.\,^x}}}}}} 
\\  
    & & k\mbox{ Kopien von }x
    \end{matrix}

mit x \in \mathbb R^{\geq 0} und k \in \mathbb N stimmt mit dem Folgeglied a_{k}(x)  der Folge (a_{n}(x)) überein:

a_{n}(x):=\begin{cases} x, & \text{falls }n=1 \\ x^{a_{n-1}(x)}, & \text{falls }n>1 \end{cases}

Die Folge (a_{n} (x)) selbst wird als Partialturmfolge bezeichnet und mit dem unendlichen Potenzturm identifiziert (analog zum Begriff der unendlichen Reihe).

InfinitePowerTower.gif

Ist (a_{n} (x)) konvergent mit dem Grenzwert A(x), dann heißt der (unendliche) Potenzturm konvergent mit

x\uparrow\uparrow \infty   = x^{x^{{}^{.\,^{.\,^{.\, }}}}}= A(x).

Schon Leonhard Euler hat erkannt, dass der Potenzturm

 x \uparrow \uparrow \infty  = x^{x^{{}^{.\,^{.\,^{.\, }}}}} \qquad \text{f}\ddot{\text{u}}\text{r}\; x\in\mathbb R^{\geq 0}

genau dann konvergiert, wenn

0{,}065988 \approx \frac {1}{e^e} \le x\le e^{\frac{1}{e}} \approx 1{,}444668.


Ist   x = a^{\frac{1}{a}}    für ein a\in [\tfrac 1e ; e ], dann gilt:

   x\uparrow\uparrow \infty  = x^{x^{{}^{.\,^{.\,^{.\, }}}}}= a.

Siehe auch[Bearbeiten]

Weblinks[Bearbeiten]