ペンテーション

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

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

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

計算の順序[編集]

ペンテーション a \uparrow^3 n の値は、テトレーションを右から(上から)計算したものとなる。

\begin{align}
 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 
    \uparrow^2
    \bigl( a \uparrow^2 a \bigr)
  \Bigr)
 \biggr)
\\
 a \uparrow^3 n
 &=
 \underbrace{
 {^
  {^
   {^ {^ {^
    {^
     {
     a}
    a}
   \cdot}\cdot}\cdot}
  a}
 a}
 }_n
 =
 {^
  {\left({^
   {\left({^ {^ {^
    {\left({^
     {
     a}
    a}\right)}
   \cdot}\cdot}\cdot}\right)}
  a}\right)}
 a}
\end{align}

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

\begin{align}
2 \uparrow^2 \bigl( 2 {~\,} \uparrow^2 2 \bigr)
&= 2 \uparrow^2 4
 = 65536
\\
\bigl( 2 \uparrow^2 {~\,} 2 \bigr) \uparrow^2 2 {~\,}
&= 4 \uparrow^2 2
 = 256
\end{align}

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

歴史[編集]

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

表記[編集]

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

名称 表記
クヌースの矢印表記 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表記[3] E(a)1\#1\#n

[編集]

ペンテーション a \uparrow^{3} b の値は、次のように変形したアッカーマン関数の値の表の四行目から求められる。即ち、関数 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) が成り立つ。[4]

ペンテーションがベースとしているテトレーションが高さ非整数の場合へ拡張されていないので、今のところペンテーション 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 1 1
2 4 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) (10153 桁より大きい)
5 \exp_{10}^4(3.33928) (10102184 桁より大きい)

脚注[編集]

  1. ^ Perstein, Millard H. (June 1962), “Algorithm 93: General Order Arithmetic”, Communications of the ACM 5 (6): 344, doi:10.1145/367766.368160 .
  2. ^ Goodstein, R. L. (1947), “Transfinite ordinals in recursive number theory”, The Journal of Symbolic Logic 12: 123–129, MR0022537 .
  3. ^ One to Infinity: A Guide to the Finite
  4. ^ Nambiar, K. K. (1995), “Ackermann functions and transfinite ordinals”, Applied Mathematics Letters 8 (6): 51–53, doi:10.1016/0893-9659(95)00084-4, MR1368037 .