テトレーション：べき乗の次のハイパー演算

表記と例

一般的な表記には ^{n}a、a ↑↑ n（クヌースの二重上矢印）、および「底 a の n 番目のテトレーション」のような非形式的な呼び方がある。以下の例は、その急速な増大を示している。

• ^{1}a = a
• ^{2}a = a^a
• ^{3}a = a^{(a^a)}（(a^a)^a ではない）

小さな数値例として、^{3}3 = 3^{(3^3)} = 3^{27} = 7,625,597,484,987 である。n が増加すると、値がいかに急速に巨大化するかが分かる。

他の演算との関係

テトレーションは、ハイパー演算の階段における最初の4段階を完成させる。最初の4演算は次のように簡潔に示せる。

1. 加算：値を繰り返し1ずつ増加させること。
2. 乗算：加算の反復。
3. べき乗：乗算の反復。
4. テトレーション：べき乗の反復。

各段階で演算の増大率は劇的に高くなる。参照用として、上記でリンクしたハイパー演算の一覧を参照。

数学的性質と拡張

テトレーションは右結合的である。すなわち、多数の指数を積み重ねた式は上から下へ評価される。逆の概念には、「スーパー根」（^{n}x = a となる値 x）と「スーパーロガリズム」（しばしば slog と表記）がある。後者は、ある値に到達するまでにべき乗を何回適用すべきかを数えるよう、対数を一般化したものである。

重要な解析的課題の一つは、テトレーションを非整数の高さ（分数または実数の n）や複素数の底へ拡張することである。無限冪塔 a^{a^{a^{...}}} が収束するのは a の範囲が限られる場合だけであり、古典的な実数での収束領域はおおよそ e^{-e} と e^{1/e} によって境界付けられる。このとき極限 y は y = a^y を満たす。実数の整数の高さを超えて、テトレーションの連続的または正則な拡張を構成することは、複素力学系と関数方程式における活発な研究分野である。

歴史、表記の発展と用途

ハイパー演算列の体系的研究と「テトレーション」という名称は、数学者たちがべき乗を超える演算を形式化した20世紀半ばに生まれた。実用は主として理論的である。テトレーションは数論、組合せ論、大きな有限構造の研究において極端な例を与え、反復理論、関数方程式、解析接続の研究を促す。計算上は、小さなテトレーション値であっても通常の数値範囲を超えるため、テトレーションの扱いはしばしば記号的に、または特別に設計されたアルゴリズムによって行われる。

区別と注目すべき事実

テトレーションは、その規模と、定義域を拡張する際に慎重な解釈を必要とする点で、反復乗算や反復べき乗とは異なる。すべての整数または実数の底が、単純な無限冪塔や合意された解析的拡張を持つわけではない。整数以外で用いる異なる連続化の方法は、異なる関数を与え得る。関連する演算を文脈の中で説明する入門や一覧については、加算および乗算の項目を参照。