Der Hyper-Operator ist eine Familie von mathematischen Operatoren. Konkret ist der erste Operator die einstellige Verknüpfung, dann kommt die Addition, die Multiplikation, die Potenzierung usw. Der Hyper-Operator dient zur kurzen Darstellung großer Zahlen wie Potenztürmen. Es gibt verschiedene Schreibweisen:
![{\displaystyle \operatorname {hyper} {\mathit {n}}(a,b)=\operatorname {hyper} (a,n,b)=a^{(n)}b=a\uparrow ^{n-2}b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/146aa27297845b3f198f35a05624f30fc01de83c)
Herleitung der Notation
Ausgehend von den Beobachtungen
![{\displaystyle a+(b+1)=1+\left(a+b\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/642099b4c1fe9227b57e2d688eab17a9d2694d73)
![{\displaystyle a\cdot (b+1)=a+\left(a\cdot b\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eecb812df4e7bbec4f9f0a2e4bc88098e6e849d5)
![{\displaystyle a^{(b+1)}=a\cdot \left(a^{b}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c074e9fea9fb3b582ae0d2647f265aac5422733)
definiert man rekursiv einen dreistelligen Operator (mit
)
![{\displaystyle a^{(n)}b:={\begin{cases}b+1,&{\text{wenn }}n=0\\a,&{\text{wenn }}n=1,b=0\\0,&{\text{wenn }}n=2,b=0\\1,&{\text{wenn }}n>2,b=0\\a^{(n-1)}\left(a^{(n)}(b-1)\right)&{\text{sonst}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c488f35da0c446885685b0bd35c0f201cd094c6)
und führt folgende Bezeichnungen ein:
![{\displaystyle \operatorname {hyper} {\mathit {n}}(a,b)=\operatorname {hyper} (a,n,b)=a^{(n)}b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67ac88a4b7d8b81adf6e88d444689678b80728f0)
(Zu beachten ist bei dieser Schreibweise, dass die Zusammenschreibung von
und
keine Multiplikation darstellt, also jede tatsächlich vorkommende Multiplikation mit dem expliziten Operator
zu notieren ist. Ebenso ist
keine Potenzierung. Die Verwendung der Notation
schließt demgegenüber solche Verwechslungsmöglichkeiten aus.)
Somit ist hyper1 die Addition, hyper2 die Multiplikation und hyper3 die Potenzierung. hyper4 wird auch bezeichnet als Tetration oder Superpotenz und kann folgendermaßen notiert werden:
.
Allgemeinverständlicher könnte man auch sagen: Schreibe die Zahl
-mal hintereinander und füge jeweils dazwischen den Operator eine Stufe tiefer ein.
Die Familie wurde für
nicht für reelle Zahlen erweitert, weil es mehrere „offensichtliche“ Wege dazu gibt, die jedoch nicht assoziativ sind.
Knuths Pfeilnotation
→ Hauptartikel: Pfeilschreibweise
Eine andere Schreibweise für den Hyperoperator wurde von Donald Knuth entwickelt, welche als Pfeilnotation bekannt ist. Die Definition ist
![{\displaystyle a\uparrow ^{k}b\;:=\;a\mathbin {\underbrace {\uparrow \dotsb \uparrow } _{k{\mbox{ mal}}}} b\;:=\left\{{\begin{matrix}a^{b}&{\mbox{falls }}k=1\\[1em]\underbrace {a\underbrace {\uparrow \dotsb \uparrow } _{k-1{\mbox{ mal}}}a\underbrace {\uparrow \dotsb \uparrow } _{k-1{\mbox{ mal}}}\dotsb \underbrace {\uparrow \dotsb \uparrow } _{k-1{\mbox{ mal}}}a} _{b{\mbox{ Kopien von }}a}&{\mbox{sonst}}\end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d16bed26a495b1ebf9300cc81ab88af4955a732c)
Eine andere Notation verwendet statt des Pfeils
das Zeichen
. Mit der Definition gilt gerade
.
Diese Notation wird für die Darstellung von sehr großen Zahlen wie etwa Grahams Zahl benutzt.
Eine andere Erweiterung
Es gibt eine andere Möglichkeit, aus den Vorgaben eine allgemeinere Definition der Verknüpfung zu erhalten, denn es gilt auch
![{\displaystyle \,a+b=(a+(b-1))+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1fe7a3486dbf18243fbd5b83681e3f51520e3c9)
![{\displaystyle a\cdot b=(a\cdot (b-1))+a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/232936a7998431422dc33aab2fe8d7f1b9eed525)
,
weil die Verknüpfungen + und
kommutativ sind. Daraus ergibt sich die Definition
![{\displaystyle a_{(n)}b:={\begin{cases}a+b,&{\text{wenn }}n=1\\0,&{\text{wenn }}n=2,b=0\\1,&{\text{wenn }}n>2,b=0\\\left(a_{(n)}(b-1)\right)_{(n-1)}a,&{\text{sonst.}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/610d6dd587b59e8267e2c4ac647858c4eb27e9a7)
Diese Notation „kollabiert“ jedoch für
; sie ergibt im Gegensatz zu hyper4 keinen Potenzturm mehr:
![{\displaystyle a_{(4)}b=a^{\left(a^{(b-1)}\right)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd8be625a2d0e401eb294bed9eb56cd423a016ab)
Wie können sich
und
plötzlich für
unterscheiden? Das liegt an der Assoziativität, einer Eigenschaft, die die Operatoren
und
besitzen (siehe auch Körper), die aber dem Potenz-Operator fehlt. (Im Allgemeinen ist
.)
Die anderen Ebenen kollabieren nicht auf diese Weise, weshalb auch diese Operatorenfamilie, genannt „niedere Hyper-Operatoren“ von Interesse ist.
Beispiele
Addition
Multiplikation
Potenzierung
Tetration
Zu beachten ist hier, dass
gilt, siehe hierzu auch bei Potenzturm.
Weblinks (englisch)
- What Lies Beyond Exponentiation?
- The Tetration Forum