テトレーションテトレーションの概要

定義

任意の正の実数 $a > 0$ および非負整数 $n \geq 0$ に対し、次のようにテトレーション $n a$ を再帰的に定める。

{}^{n}a:={\begin{cases}1&{\text{if }}n=0\\a^{\left[{}^{(n-1)}a\right]}&{\text{if }}n>0\end{cases}}

冪乗の演算が右結合、すなわち $101010$ のように積みあがった指数の上側から計算していくように、テトレーションの計算も $n a$ に対する $n$ の部分から計算していく。

定義から直ちに、次の等式が成り立つ。

\log _{a}\left({}^{n+1}a\right)={}^{n}a

$a$ と $10$ が互いに素であるとき、 $n a$ の最後の $d$ 桁がオイラーの定理から求められる。

表記

テトレーションには多数の表記が存在する。テトレーションに使われる表記の中にはペンテーションやヘキセーションなど、より高次のハイパー演算の表記にも使用できるものもいくつかある。

名称	表記	説明
ルーディ・ラッカーの表記	${}^{n}a$	マウラー^[2]^[3]とグッドスタイン（英語版）^[1]によって導入され、ルーディ・ラッカーの『無限と心（英語版）』で広まった。
クヌースの矢印表記	$a\uparrow \uparrow n,a\uparrow ^{2}n$	矢印または添字を増やすことで拡張できる。
コンウェイのチェーン表記	$a\to n\to 2$	数字を増やす、またはチェーンを拡張することで拡張できる。
アッカーマン関数	${}^{n}2=\operatorname {Ack} (4,n-3)+3$	底が $2$ のときに限り、アッカーマン関数による表記が可能。
指数関数の反復合成による表示	${}^{n}a=\exp _{a}^{n}(1)$	右辺の表記に関しては後述。
フーシュマンドの表記	$\operatorname {uxp} _{a}(n),a^{\underline {n}}$	フーシュマンドの論文では「ultra power」（超冪）と書かれている^[4]。
ハイパー演算子表記	$a[4]n,H_{4}(a,n)$ $\operatorname {hyper} (a,4,n),\operatorname {hyper4} (a,n)$	数字を増やすことで拡張でき、一連のハイパー演算子を与える。
ASCII表記	`a^^n`	ASCII文字で表現する際、冪乗をキャレット`^`で表すことから。
バウアーズの配列表記	$\lbrace a,b,2\rbrace$	拡張配列表記へと一般化でき、さらにBEAFおよびバードの配列表記へと一般化される^[5]。

反復指数関数

反復指数関数（英: iterated exponential function）、あるいは反復冪（英: iterated exponential）とは指数関数の反復合成、あるいはその類似の関数およびその値を指して呼ばれる関数である^[6]^[7]。以降で表記を簡単にするため、非負整数 $n$ と正実数 $a$ の2つのパラメータを持つ実関数 $\mathop {\mathrm {exp} } \nolimits _{a}^{n}(x)$ を次のように定義する：

\exp _{a}^{n}(x)=a^{a^{\cdot ^{\cdot ^{a^{x}}}}}

（

n

個の

a

の上に

x

が乗っている）

この関数は他に次のような表記で書かれる。

名称	表記	説明
（指数の反復合成）	$\exp _{a}^{n}(x)$	指数関数の表記 $\exp _{a}(x)$ はオイラーによる。
クヌースの矢印表記	$\left(a{\uparrow }\right)^{n}(x)$	矢印の数を増やすことで拡張できる。en:Large numbersを参照。
ガリダキスの表記	${}^{n}(a,x)$	底の表記が小さくならない^[8]。
ASCII表記	`exp_a^n(x)`	標準的な表記をベースにASCII文字のみを使用した表記。
J言語表記^[9]	`x^^:(n-1)x`