表達式x[5]2的前三個值。3[5]2的值約為7.626×1012,更大的x因表達式的值太大而無法顯示在圖表上
在數學中,五級運算(亦稱超-5運算)是迭代冪次之後和六級運算之前的超運算。五級運算被定義為迭代冪次的迭代,如同迭代冪次是冪的迭代一樣。[1]以下為首五級超運算級別:
- 加法
![{\displaystyle a[1]b=a+b=a+\underbrace {1+1+\cdots +1} _{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21e53fce29fecbe59195931fe173cefeee38d9cd)
- 乘法
![{\displaystyle a[2]b=a\times b=\underbrace {a+a+\cdots +a} _{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12740de690c38c3c6afbd227771c42c2d632ec91)
- 冪
![{\displaystyle a[3]b=a^{b}=\underbrace {a\times a\times \cdots \times a} _{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e67bfdf37c9f2a01b5f1d34825c05f12f001b96)
- 迭代冪次
![{\displaystyle a[4]b={^{b}a}=\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbc2590075134b12b5e7fc022eedd3ab617fb90b)
- 五級運算
![{\displaystyle a[5]b={_{b}a}=\underbrace {^{^{^{^{^{^{a}}\cdot }\cdot }\cdot }a}a} _{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e43e56e5b28e031666eef605e344a70e84401cb)
以上每一級超運算都是對上一級的迭代。例如,將五級運算和迭代冪次用超運算符號表示,
意味着2連續迭代取冪自己3次,即
,可以計算出,
關於五級運算的符號幾乎沒有達成共識,因此,有許多不同的方法來表記。但是,有些符號的使用較其他符號更廣泛,有些符號具有明顯的優缺點。
- 五級運算可以超運算符號表示,如
。在這種表記方法中,
,即冪運算,可以解釋為函數
從1開始迭代
次的結果;類似地,迭代冪次
表示函數
從1開始迭代b次的結果;五級運算
表示函數
從1開始迭代b次的結果。[2][3]這也是本文大部分所使用的符號。
- 在高德納箭號表示法中,
表示為
或
。在這個記法中,
表示冪運算,而
代表迭代冪次。通過繼續添加箭頭,該記法可以輕鬆地表記更高級的超運算。
- 在康威連鎖箭號表示法中,
。[4]
- 另一個建議的符號是
,儘管這不能擴展到更高級的超運算。[5]
五級運算的值也可以從阿克曼函數的變量值表的第四行中的值中獲得:如果
由阿克曼遞歸關係
與初始條件
和
定義,那麼
。[6]
五級運算是迭代冪次的迭代,而其基本運算(迭代冪次)尚未擴展到非整數高度,所以五級運算
當前亦僅對整數a和b有定義,其中a>0且b≥-1,以及一些其他可能有唯一定義的整數值。與所有三級(冪)及更高級的超運算一樣,五級運算具有以下適用於所有定義域內a和b的值的基本恆等式:
![{\displaystyle 1[5]b=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efa921244f5a19ac238e1e5facbce803f7bd536a)
![{\displaystyle a[5]1=a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54b09635a9e2ad78029099d065c824340b94ee2c)
此外,我們還可以定義:
![{\displaystyle a[5]0=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ad5cdf53a1e0c4bd1ee33b75c0375f3c2be4bbe)
![{\displaystyle a[5](-1)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c38979a979502245eb33bd881f3b464e45adfea0)
五級運算生成大數的速度非常快,因此只有極少數非平凡的情況可以得出可以用常規符號表記的數,如下表所記,其中
。
|
|
|
|
1
|
1
|
1
|
1
|
2
|
4
|
65,536
|
|
3
|
7,625,597,484,987
|
|
|
4
|
(超過10153位)
|
|
|
5
|
(超過10102184.1257220888位)
|
|
|
相關條目[編輯]
參考文獻[編輯]
- ^ Perstein, Millard H., Algorithm 93: General Order Arithmetic, Communications of the ACM, June 1962, 5 (6): 344, doi:10.1145/367766.368160 .
- ^ Knuth, D. E., Mathematics and computer science: Coping with finiteness, Science, 1976, 194 (4271): 1235–1242, Bibcode:1976Sci...194.1235K, PMID 17797067, doi:10.1126/science.194.4271.1235 .
- ^ Blakley, G. R.; Borosh, I., Knuth's iterated powers, Advances in Mathematics, 1979, 34 (2): 109–136, MR 0549780, doi:10.1016/0001-8708(79)90052-5 .
- ^ Conway, John Horton; Guy, Richard, The Book of Numbers, Springer: 61, 1996 [2021-06-20], ISBN 9780387979939, (原始內容存檔於2021-07-04) .
- ^ 存档副本. [2021-06-20]. (原始內容存檔於2021-05-06).
- ^ Nambiar, K. K., Ackermann functions and transfinite ordinals, Applied Mathematics Letters, 1995, 8 (6): 51–53, MR 1368037, doi:10.1016/0893-9659(95)00084-4 .