ペンテーションのソースを表示

'''ペンテーション''' ({{lang-en-short|pentation}}) は、[[テトレーション]]の次の、5番目の[[ハイパー演算]]である。つまり、自らのテトレーションを指定された回数反復する[[二項演算|演算]]である。<ref>{{citation
 | last = Perstein | first = Millard H.
 | date = June 1962
 | doi = 10.1145/367766.368160
 | issue = 6
 | journal = [[Communications of the ACM]]
 | page = 344
 | title = Algorithm 93: General Order Arithmetic
 | volume = 5}}.</ref>

第1から第5のハイパー演算は次のとおり。
* [[加算]] (hyper1)
*: <math>a + b = a + \underbrace{1 + 1 + \cdots + 1}_{\text{長 さ }b} </math>
* [[乗算]] (hyper2)
*: <math>a \times b = \underbrace{a + a + \cdots + a}_{\text{長 さ }b}</math>
* [[冪乗]] (hyper3)
*: <math>a^b = a \uparrow b = \underbrace{a \times a \times \cdots \times a}_{\text{長 さ }b}</math>
* [[テトレーション]] (hyper4)
*: <math>^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} </math>
* ペンテーション (hyper5)
*:<math>\begin{align}
_{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{align}</math>
{{mvar|a}} を底、 {{mvar|b}} を層数という。

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

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

:<math>\begin{align}
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{align}</math>

== 計算の順序 ==
:<math>\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 
    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{align}</math>

テトレーションは[[結合法則]]を満たさないため、計算の順序を変えると値が変わってしまうことに注意。
: <math>\begin{align}
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{align}</math>

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

== 歴史 ==
「ペンテーション」という言葉は、1947年に{{仮リンク|ルーベン・グッドスタイン|en|Reuben Goodstein}}によって"penta-"(5)と"iteration"の二つの語から作られたものである。これは、彼のハイパー演算に対する命名規則の中の一部である。<ref>{{citation
 | last = Goodstein | first = R. L. | authorlink = Reuben Goodstein
 | journal = [[The Journal of Symbolic Logic]]
 | mr = 0022537
 | pages = 123–129
 | title = Transfinite ordinals in recursive number theory
 | volume = 12
 | year = 1947}}.</ref>

== 表記 ==
ペンテーションを表すにはいくつか等価な表記がある。
:{|class="wikitable"
! 名称
! 表記
|-
| [[クヌースの矢印表記]]
| <math>a \uparrow\uparrow\uparrow n ,~ a \uparrow^3 n</math>
|-
| [[コンウェイのチェーン表記]]
| <math>a \rightarrow n \rightarrow 3</math>
|-
| [[ハイパー演算]]表記
|<math>a [5] n ,~ H_5(a, n)</math><br><math>\operatorname{hyper}(a, 5, n) ,~ \operatorname{hyper5}(a, n)</math>
|-
| バウアーズの[[配列表記]]
| <math>\lbrace a,b,3 \rbrace</math>
|-
| ハイパーE表記<ref>[https://sites.google.com/site/largenumbers/ One to Infinity: A Guide to the Finite]</ref>
| <math>E(a)1\#1\#n</math>
|}

== 例 ==
ペンテーション <math>_{b} a</math> の値は、次のように変形した[[アッカーマン関数]]の値の表の四行目から求められる。即ち、関数 <math>A</math> を漸化式 <math>A(n,m) = A(m-1, A(m,n-1))</math> および初期値 <math>A(1,n)=an ,~ A(m,1)=a</math> によって再帰的に定めるとき、<math> a \uparrow^3 b = A(4,b)</math> が成り立つ。<ref>{{citation
 | last = Nambiar | first = K. K.
 | doi = 10.1016/0893-9659(95)00084-4
 | issue = 6
 | journal = Applied Mathematics Letters
 | mr = 1368037
 | pages = 51–53
 | title = Ackermann functions and transfinite ordinals
 | volume = 8
 | year = 1995}}.</ref>

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

第三のハイパー演算（[[冪乗]]）およびそれ以上のハイパー演算と同様、ペンテーションは以下の自明な恒等式を満たす。
*<math>1 \uparrow^3 b = 1</math>
*<math> a \uparrow^3 1 = a</math>

また、次のように定めることができる。
*<math> a \uparrow^3 0 = 1</math>
*<math> a \uparrow^3 -1 = 0</math>

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

:{| class="wikitable"
! <math>x</math>
!<math> x \uparrow^3 2</math>
!<math> x \uparrow^3 3</math>
!<math> x \uparrow^3 4</math>
|- align=right
| 1
| colspan="3"|1
|- align=right
| 2
| 4 (それは<math>\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</math>であるため。なお<math>\rightarrow</math>は[[コンウェイのチェーン表記]])
| 65,536
| <math>\exp_{10}^{65533}(4.29508)</math>
|- align=right
| 3
| 7,625,597,484,987
| <math>\exp_{10}^{7,625,597,484,986}(1.09902)</math>
| 
|- align=right
| 4
| <math>\exp_{10}^3(2.19)</math> ({{Val|8072304726028225379382630397085399030071367921738743031867082828418414481568309149198911814701229483451981557574771156496457238535299087481244990261351117}}桁)
| 
| 
|- align=right
| 5
| <math>\exp_{10}^4(3.33928)</math> (10<sup>10<sup>2184.1257220888</sup></sup> 桁より大きい)
| 
| 
|}

== 脚注 ==
{{Reflist}}

{{二項演算}}

{{DEFAULTSORT:へんてしよん}}
[[Category:算術]]
[[Category:数学に関する記事]]