超運算序列是數學中一種二元運算的序列，前三項分別為加法、乘法、冪，一般來說，除了序列中第一項的加法運算之外，序列中每一項的運算都是重複的前一項的運算（例如乘法是重複的加法：a cdot b underbrace a a a cdots a_b，冪是重複的乘法：ab underbrace a cdot a cdot a cdot ldots cdot a_b）。這些運算通稱為超運算（或稱為 hyper 運算子）。序列中的第 n 項稱為超 n 運算或第 n 級的超運算，其符號為 n。英文則由命名，當 n4 時，由 n 的希臘語字首加上字尾 ation 組成（例如超 4 運算稱為 tetration，超 5 運算稱為）。當 n3 時，使用高德納箭號表示法可將超 n 運算的符號表示為 n2 個箭頭。 超運算可透過遞迴進行定義，對於所有正整數 a，正整數 b 和正整數 n： a 1 b a b text for n 1 a n b underbrace a n1 a n1 a n1 cdots a n1 a n1 a_b cdots 除這一最常見的定義之外，超運算還有其他的變體。（見下文） 定義 超運算序列是定義在自然數集 mathbb N 上的一個序列，記為 H_n。前三項為加法（n1）、乘法（n2）和冪（n3）。高階超運算的引數與冪運算相似，即 a 稱為底數，b 稱為指數（或稱超指數），而 n 則稱為階數。 用高德納箭號表示法可以將超運算定義為 H_n abauparrown2 ba n bbegin cases b1n0 an1land b0 0n2land b0 1ngeq3land b0 H_n1aH_n ab1text otherwise end cases 注意到，對於序列的前三項有： a b 1 a b 1 a cdot b a a times b 1 a b a cdot a b 1 透過這樣的遞迴能夠定義出高階運算，從而輸入很小的數就可以產生非常大的數。 其實，某一超運算就是一種基於低一階超運算而進行數的複合的方法。我們可以以加法、乘法與冪的概念為例來說明。加法運算就是將指定次數的 1 加到原本的數上從而得到最終的結果（如 23 是將 1 三次加到 2 上），乘法運算就是將指定次數的某數通加（如 2 times 3 就是 3 個 2 相加），冪運算則是將指定次數的某數通乘（如 23 就是 3 個 2 相乘）。 例項 下表列出了前七個超運算： n 運算 定義 名稱 定義域 0 1b 1 underbrace 1 1 1 cdots 1_b 超 0 運算、後繼函式 任意 b 1 ab a underbrace 1 1 1 cdots 1_b 超 1 運算、加法 任意 2 a cdot b underbrace a a a cdots a atop b 超 2 運算、乘法 任意 3 a 3 bab underbrace a cdot a cdot a cdot a cdot ldots cdot a atop b 超 3 運算、冪 a 0，b 為實數；或 a not 0，b 為整數（某些情況下可擴充套件為複數） 4 a 4 bb a underbrace a 3a 3a 3cdots 3a 3a 3 acdots atop b 超 4 運算、迭代冪次（英文：tetration） a 0 b ge 1 且為整數（某些情況下可擴充套件） 5 a 5 b_b a underbrace a 4a 4a 4cdots 4a 4a 4 acdots atop b 超 5 運算、五級運算（英文：pentation） a 和 b 都為整數，且 a 0 b ge 0 6 a 6 b underbrace a 5a 5a 5cdots 5a 5a 5 acdots atop b 超 6 運算（英文：hexation） a 和 b 都為整數，且 a 0 b ge 0 n a n b underbrace a n1a n1a n1cdots n1a n1a n1 acdots atop b 超 n 運算（英文：hypern） a 和 b 都為整數，且 a 0 b ge 0 歷史 1914 年，阿爾伯特貝內特（Albert Bennett）最早提出了超運算，他發展出了一套交換超運算（見下文）的理論。12 年之後，威廉阿克曼定義了函式 phi a b n，和超運算序列已經有了某種程度上的相似。最早的使用三個自變數的阿克曼函式使用了同樣的遞迴法則，但有兩點與現在的超運算不同。一是它定義了 n0 時為加法、n1 時為乘法、n2 時為冪運算，二是由其對 phi 初始條件的定義能得到 phi a b 3 a 4 b 1，最後的運算結果與超運算不同。 1947 年，魯賓古德斯坦提出現在所使用的超運算序列，只是那時他使用記號 G nab 來表示，而非今天的 a n b。在 1947 年的論文中，古德斯坦還引進了冪運算之後超運算的英文名稱，即 tetration、pentation、hexation 等。 符號表示 下表列出了曾用來表示超運算的各種符號表示法： 名稱 符號表示 註解 高德納箭號表示法 a uparrown2 b 高德納使用（對於 n ge 3），也在相關參考書目中提及 古德斯坦表示法 G n a b 魯賓古德斯坦使用 初始阿克曼函式 A a b n1 與超運算並不完全相同 現代阿克曼函式 A n b 3 3 2 n b 和以 2 為底的超運算相同 南比爾表示法 a otimesn1 b 南比爾（K K Nambiar）使用（對於 n ge 1） 框表示法 chline nhlineend array b 魯佐勃夫（C A Rubtsov）與羅莫里奧（G F Romerio）使用 上標表示法 a n b 默納福（Robert Munafo）使用 下標表示法 a _n b 默納福用來表示低階超運算 方括號表示法 a n b 在一些線上論壇中使用，利於 ASCII 表示 康威鏈式箭號表示法 a to b to n2 約翰何頓康威使用（對於 n ge 3） 從 a 開始的變體形式 1928 年，威廉阿克曼提出了一個三自變數的函式 phi a b n，後來發展為現有的兩個自變數的阿克曼函式。初始的阿克曼函式與現在的超運算之間的區別更大，因為他當時使用了初始條件：對所有 n 2，有 phi a 0 n a。另外他還將 n 0 指定為加法、n 1 為乘法、n 2 為冪。因而，冪運算及更高階的運算就有了完全不同的結果。 n 運算 註釋 0 F_0 a b a b 1 F_1 a b ab 2 F_2 a b ab 3 F_3 a b a 4 b 1 類似超 4 運算，但其迭代函式比普通超 4 運算更為複雜 4 F_4 a b x mapsto a 4 x 1b a 不要與超 5 運算相混淆 路莎彼得（Rózsa Péter）還曾用 A 0 b 2 b 1 作初始條件，但無法形成一個超運算等級。 從 0 開始的變體形式 1984 年，CW 克萊恩肖（C W Clenshaw）和 FWJ 奧立弗（F W J Olver）開始討論如何使用超運算以防止計算機浮點數溢位。此後，很多人都開始對於超運算在浮點數表示中的應用產生興趣。在探討超 4 運算時，克萊恩肖等人曾令 F_n a 0 0 作為初始條件，這就產生了又一個超運算等級。 n 運算 註釋 1 F_1 a b a b 2 F_2 a b ab eln a ln b 3 F_3 a b ab ebln a 4 F_4 a b a 4 b 1 類似超 4 運算，但其迭代函式比普通超 4 運算更為複雜 5 F_5 a b x mapsto a 4 x 1b 0 不要與超 5 運算相混淆 交換超運算 1914 年阿爾伯特貝內特提出了超運算，很可能是關於超運算最早的嘗試。交換超運算透過以下遞迴法則定義： F_n1a b exp F_n ln a ln b 由於 a 和 b 的對稱性，意味著所有的超運算都是可交換的。但由於序列並不包括冪運算，因此也就不能成為一個超運算等級。 n 運算 註釋 0 F_0 a b ln ea eb 1 F_1 a b a b ln ea eb 2 F_2 a b ab eln a ln b 由對數性質而來 3 F_3 a b eln aln b 冪運算的可交換形式 4 F_4 a b eeln ln aln ln b 不要與超 4 運算相混淆 均衡超運算 均衡超運算於 1991 年首先由克萊門特弗拉皮耶（Clément Frappier）提出，這種超運算是基於函式 xx 的，因而與斯坦豪斯 莫澤表示法（SteinhausMoser notation）有關。均衡超運算的遞迴法則是 F_n1a b x to F_n x xlog_2 ba n 運算 註釋 0 不存在 1 F_1 a b a b 2 F_2 a b ab a 2log_2 b 3 F_3 a b ab a2log_2 b 就是冪運算 4 F_4 a b x to xxlog_2 ba 不要與超 4 運算相混淆 低階超運算 還有一種變化形式的特點是從左到右的順序進行求值，即： ab ab11 atimes b atimes b1a ab ab1times a 令（透過 或下標）a_n1 b a_n1b1_n a，有初始條件 a_1 b ab a _ 2 0 0，且對所有 n2 有 a _ n 0 1。 這樣所產生的一個問題是，在 4 階時它就與通常的定義不同：a_4 b aab1。出現這一問題的原因在於加法和乘法運算有一種稱為結合律的對稱性，但這在冪運算上並不成立。由於透過這種超運算所得到的結果在 3 階以上都比普通的超運算更小，因而把這種超運算稱為低階超運算。 n 運算 註釋 0 a 1 後繼函式 1 F_1 a b a b 2 F_2 a b ab 3 F_3 a b ab 冪運算 4 F_4 a b aab1 不要與超 4 運算相混淆 5 F_5 a b x to xxa1b1a 不要與超 5 運算相混淆 其他變體 在取不同的初始條件或不同的遞迴法則時，就會產生不同的運算。一些數學家擴展出了超運算的許多變體。 通常，超運算等級（hyperoperation hierarchy）SIF 是一個以集合 I 為索引集、基於集合 S 的二元運算族 F_n_n in I。對於 i j k in I，有： F_i a b a b（加法） F_j a b ab（乘法） F_k a b ab（冪） 如果不滿足最後一個條件的話，就能將交換超運算包括在內。當然，也可以明確地定義每一個超運算，但這就超出了我們討論的範圍。大多數的變體形式只包含了對於後繼函式（即加法）的定義，而乘法則由遞迴法則來進行定義。由於這屬於對超運算等級的定義，而非等級本身的性質，很難給出形式上的定義。 對於超運算，除了古德斯坦給出的定義外，還有很多其他可能性。如果對 F_n a 0 和 F_n a 1 採用不同的初始條件，則產生的超運算在比冪運算更高階時就會有不同的結果。現今的超運算定義的條件包括對所有 n ge 3 有 F_n a 0 1，而在其他形式中也有 F_n a 0 a 或 F_n a 0 0 的情況。 關於超運算的一個未解決問題是超運算等級 mathbb N mathbb N F 是否能推廣到 mathbb R mathbb R F 甚至 mathbb C mathbb C F，以及 mathbb C F_n 是否能成為一個擬群。 使用超運算的記數系統 使用超運算序列定義了一套能表達非負整數的記數系統。 參考文獻 Category 數字運算 Category 大數 Category1914 年面世