ペンテーション

ペンテーション (英: pentation) は、テトレーションの次の、5番目のハイパー演算である。つまり、自らのテトレーションを指定された回数反復する演算である。

第1から第5のハイパー演算は次のとおり。

• 加算 (hyper1)

  $a+b=a+\underbrace {1+1+\cdots +1} _{{\text{長 さ }}b}$

• 乗算 (hyper2)

  $a\times b=\underbrace {a+a+\cdots +a} _{{\text{長 さ }}b}$

• 冪乗 (hyper3)

  $a^{b}=a\uparrow b=\underbrace {a\times a\times \cdots \times a} _{{\text{長 さ }}b}$

• テトレーション (hyper4)

  $^{b}a=a\uparrow \uparrow b=\underbrace {a\uparrow a\uparrow \cdots \uparrow a} _{{\text{長 さ }}b}=\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{{\text{高 さ }}b}$

• ペンテーション (hyper5)

  ${\begin{aligned}_{b}a&=a\uparrow \uparrow \uparrow b=\underbrace {a\uparrow \uparrow a\uparrow \uparrow \cdots \uparrow \uparrow a} _{{\text{長 さ }}b}=\underbrace {^{^{^{^{^{a}\cdot }\cdot }\cdot }a}a} _{{\text{高 さ }}b}\\&\left.{\begin{matrix}=&\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{{\text{高 さ }}\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{\underbrace {\vdots } _{{\text{高 さ }}\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{{\text{高さ}}a}}}}\end{matrix}}\right\}{\text{下 か ら }}b{\text{層}}\end{aligned}}$

a を底、 b を層数という。

ペンテーションは底 a を固定するごとに初等帰納的関数であるが、 a を変数と見なすと初等的ではない。

ちなみにペンテーションの反復による演算（6番目のハイパー演算）はヘキセーションと呼ばれる。

${\begin{aligned}a\uparrow ^{4}b&=a\uparrow \uparrow \uparrow \uparrow b=\underbrace {a\uparrow \uparrow \uparrow a\uparrow \uparrow \uparrow \cdots \uparrow \uparrow \uparrow a} _{{\text{長 さ }}b}=\underbrace {_{_{_{_{_{a}\cdot }\cdot }\cdot }a}a} _{{\text{高 さ }}b}\\&\left.{\begin{matrix}=&\underbrace {^{^{^{^{^{a}\cdot }\cdot }\cdot }a}a} _{{\text{高 さ }}\underbrace {^{^{^{^{^{a}\cdot }\cdot }\cdot }a}a} _{\underbrace {\vdots } _{{\text{高 さ }}\underbrace {^{^{^{^{^{a}\cdot }\cdot }\cdot }a}a} _{{\text{高さ}}a}}}}\end{matrix}}\right\}{\text{下 か ら }}b{\text{層}}\end{aligned}}$

計算の順序

${\begin{aligned}a\uparrow ^{3}n&=\underbrace {a\uparrow ^{2}a\uparrow ^{2}\cdots \uparrow ^{2}a\uparrow ^{2}a} _{n}=a\uparrow ^{2}{\biggl (}a\uparrow ^{2}{\Bigl (}\cdots a\uparrow ^{2}{\bigl (}a\uparrow ^{2}a{\bigr )}{\Bigr )}{\biggr )}\\&=a\uparrow ^{2}\underbrace {a\uparrow ^{2}a\uparrow ^{2}\cdots \uparrow ^{2}a\uparrow ^{2}a} _{n-1}=a\uparrow ^{2}a\uparrow ^{3}\left(n-1\right)\\a\uparrow ^{3}n&=\underbrace {^{^{^{^{^{^{a}a}\cdot }\cdot }\cdot }a}a} _{{\text{高 さ }}n}={^{\left({^{\left({^{^{^{\left({^{a}a}\right)}\cdot }\cdot }\cdot }\right)}a}\right)}a}\end{aligned}}$

テトレーションは結合法則を満たさないため、計算の順序を変えると値が変わってしまうことに注意。

${\begin{aligned}3\uparrow ^{2}\left(3\uparrow ^{2}2\right)=&3\uparrow ^{2}\left(3\uparrow 3\right)=3\uparrow ^{2}27=\underbrace {3^{3^{3^{\cdot ^{\cdot ^{\cdot ^{3^{3^{3}}}}}}}}} _{{\text{高 さ }}27}\\\left(3\uparrow ^{2}3\right)\uparrow ^{2}2{~\,}=&\left(3\uparrow 3\uparrow 3\right)\uparrow ^{2}2=7625597484987\uparrow ^{2}2\\=&\left(3\uparrow 3\uparrow 3\right)\uparrow \left(3\uparrow 3\uparrow 3\right)=3\uparrow \left(3\uparrow 3\times \left(3\uparrow 3\uparrow 3\right)\right)=3\uparrow \left(3\uparrow \left(3+3\uparrow 3\right)\right)\\=&3\uparrow \left(3\uparrow \left(3+27\right)\right)=3\uparrow \left(3\uparrow 30\right)\end{aligned}}$

二番目の式のように左から（下から）計算したものは、五階の下付きハイパー演算 $a{_{(5)}}n$ となる。

歴史

「ペンテーション」という言葉は、1947年にルーベン・グッドスタインによって"penta-"(5)と"iteration"の二つの語から作られたものである。これは、彼のハイパー演算に対する命名規則の中の一部である。

表記

ペンテーションを表すにはいくつか等価な表記がある。

名称	表記
クヌースの矢印表記	$a\uparrow \uparrow \uparrow n,~a\uparrow ^{3}n$
コンウェイのチェーン表記	$a\rightarrow n\rightarrow 3$
ハイパー演算表記	$a[5]n,~H_{5}(a,n)$ $\operatorname {hyper} (a,5,n),~\operatorname {hyper5} (a,n)$
バウアーズの配列表記	$\lbrace a,b,3\rbrace$
ハイパーE表記	$E(a)1\#1\#n$

例

ペンテーション $_{b}a$ の値は、次のように変形したアッカーマン関数の値の表の四行目から求められる。即ち、関数 $A$ を漸化式 $A(n,m)=A(m-1,A(m,n-1))$ および初期値 $A(1,n)=an,~A(m,1)=a$ によって再帰的に定めるとき、$a\uparrow ^{3}b=A(4,b)$ が成り立つ。

ペンテーションがベースとしているテトレーションが高さ非整数の場合へ拡張されていないので、今のところペンテーション $a\uparrow ^{3}b$ が定義されているのは整数 $a>0,~b>0$ の場合に限られているが、その他にも一意に値が定義できるような整数が存在するかもしれない。

第三のハイパー演算（冪乗）およびそれ以上のハイパー演算と同様、ペンテーションは以下の自明な恒等式を満たす。

• $1\uparrow ^{3}b=1$
• $a\uparrow ^{3}1=a$

また、次のように定めることができる。

• $a\uparrow ^{3}0=1$
• $a\uparrow ^{3}-1=0$

ペンテーションは極めて急速に値が増大するため、値を従来の表記法で書き下せるのは一部の場合に限られている。

$x$	$x\uparrow ^{3}2$	$x\uparrow ^{3}3$	$x\uparrow ^{3}4$
1	1
2	4 (それは$\lim _{x\to 0}\left(2\uparrow ^{\frac {1}{x}}2\right)=\lim _{x\to 0}\left(2\rightarrow 2\rightarrow {\frac {1}{x}}\right)=4$であるため。なお$\rightarrow$はコンウェイのチェーン表記)	65,536	$\exp _{10}^{65533}(4.29508)$
3	7,625,597,484,987	$\exp _{10}^{7,625,597,484,986}(1.09902)$
4	$\exp _{10}^{3}(2.19)$ (8072304726028225379382630397085399030071367921738743031867082828418414481568309149198911814701229483451981557574771156496457238535299087481244990261351117桁)
5	$\exp _{10}^{4}(3.33928)$ (10102184.1257220888 桁より大きい)