Can you summarize the following document?
        
  對於任何正實數"a" (formula_9)及非負整數"n" (formula_10),formula_11被定義為:

  從上述定義中可見,當計算被表達成冪塔的迭代冪次時,冪運算是先由最深層(以符號來表示,則最高階)的上標數做起。例子如下:  要注意,冪是不遵從結合律的,因此以其他順序來計算上述表示式將會出現不一樣的答案,例如:  因此,冪塔一定要從上而下(或從右至左)來運算。在計算機程式中,此制式稱為右結合律。  當"a"與"n"為互質時,我們可以透過尤拉定理來計算formula_15的最後"m"個小數碼值。

  迭代冪次在英文裡面稱作"tetration",有時亦會被稱為"superexponentiation"及"hyperpower"(中文意譯超冪)等,這些詞語也可被用來表示這種運算模式。  迭代冪次有時會跟一些相關的函式及表示式混淆,這是因為在這些函式及表示式當中的大部分專門用語均適用於迭代冪次。以下列舉了一些相關用語:  在首兩種表示式當中的"a" 是"底數",而"a" 出現的數目則是"高度值"("x" 的出現使"高度值" 加1)。在第三種表示式當中,"n" 是"高度值",但每一個底皆不相同。  要注意的是,迭代指數的形式有時也會被稱為迭代冪次。這是模稜兩可的,因為這可以指迭代乘方或迭代指數。

  可以用來表示迭代冪次的符號有很多,當中有一些符號可用來表示更高階的迭代運算(hyper-5、hyper-6 等等)。  上述的迭代指數表示法中使用的迭代指數記號,一般被定義成:  以下是一些用以表示迭代指數的符號:

  在下表,大部分數值大得連科學記數法也難以表示,因此使用了迭代指數記號,設底數為10來表示。包含小數點的數值是近似值。

  

  

  以下是對迭代冪次函式的"線性逼近法"(以滿足連續函式的需要性,逼近法基於此函式的可微性質)的定義: 由此可得: 及其他逼近值。不過,這個函式只是分段可微的;在x為整數的時候,函式的導數要乘以formula_18。

  formula_19  Hooshmand的手稿中有一個重要定理:設formula_20 是連續的並滿足以下條件:  由此,formula_22 可於以下方程式中獨特地定義出來:  當中,formula_29 標示x的分數部分,以及formula_30 是函式formula_31 的formula_32-迭代函式。  以上四個條件中的第二個條件僅當formula_22 在[-1, 0]之上是線性函式,由此可作為上述對formula_22 的定義的證明。  對自然迭代冪次函式formula_35 的線性逼近法是連續可微的,但其二階導數的輻角並不是整數值。Hooshmand為此匯出了以下的這一個獨特定理:  若formula_36 是一個連續函式並滿足以下條件:  那麼formula_41。(這裡的formula_41 是Hooshmand給予自然迭代冪次函式的線性逼近法的名稱。)  這個定理的證明跟之前提到的證明法十分相似;遞迴方程式保證了formula_43,而formula_22 的凸函式的性質僅當formula_22 在(-1, 0)之上是線性的。  所以,自然迭代函式的線性逼近法是凸於formula_46 之上的方程式formula_47 的唯一解。所有其他充足可微的解在區間(-1, 0)之上必定存在一個拐點。

  以下是對a ≠ e的迭代冪次函式的"二次逼近法"(逼近法基於此函式的可微性質)的定義: 這對所有formula_49 可微,但並不二次可微。若formula_50,應採用線性逼近法。  有關於三次逼近法,以及一個能歸納出"n" 次逼近法的方法,詳見:。

  迭代冪次能被推廣至定義formula_51 乃至其他定義域。

  

  指數formula_52 是不連續定義的。所以,迭代冪次formula_53 於早期提出的公式中亦並不被清晰定義。不過,formula_54 是定義良好的,並存在: 所以我們能連續地定義formula_56。這等價於定義formula_57。  在這推廣之下,formula_58,所以最初定義出來的法則formula_59 依然成立。

  由於複數可以作為指數,迭代冪次的底數可以為formula_60 的形式,當中的formula_61 是−1的平方根。舉例來說,設formula_62,對於formula_63,其迭代冪次可由自然對數中的主枝來達成,並用尤拉公式得出以下關係:  這表明了formula_65 在任何formula_66 的情況下的遞迴定義為:  從而匯出以下的逼近值:  根據上一部分對於迭代冪次的逆向關係的定義,可得formula_68 及formula_69,當中負值的"n" 在虛數軸上會得出無窮的結果。在複平面當中,整個序列成螺旋形地趨向於極限formula_70,這個極限可理解為"n" 為無窮時,函式相對應的值。  這樣的迭代冪次序列由尤拉時期已開始被研究,但是由於序列的雜亂性而難以被理解。歷史上大部分有正式發表的研究皆集中於冪塔函式的收歛性。高運算效率電腦連同計算機代數系統和分形幾何系統的出現大大地促進了近代對於"迭代冪次"的研究。現時對迭代冪次的研究均建基於復動力學的普遍知識及對指數對映的專門研究。

  

  迭代冪次可被推廣至無窮高(formula_71 當中的"n")。這是因為當底數在一個特定的區間之內而高度值趨向於無窮時,迭代冪次會收歛於一個有限的數值。舉例來說,formula_72 收歛於2,因此可以說是等於2。對2的趨向性可從對以下小型有限冪塔的計算而看出來:  一般來說,有限冪塔formula_74 (定義為當"n" 趨向於無窮時formula_75 的極限)收歛於"e" ≤ "x" ≤ "e",大約是位於0.066和1.44之間的區間,這是由萊昂哈德·尤拉所證明的。如果存在一個極限,這會是一個對於方程式"y" = "x" 的正實數解。所以,"x" = "y"。根據這個極限的定義,當"x" > "e" 時,"x" 的無窮迭代冪次不具收歛性,因為"y" 的最大值為"e"。  以上特性可以被推廣至複數底"z",定義如下:  當中的"W"("z")表示朗伯W函式。  由於極限"y" = "x" (如果存在的話,即當"e" < "x" < "e")必定滿足"x" = "y",因而得出"x" ↦ "y" = "x" 是"y" ↦ "x" = "y" 的反函式(較低枝)。

  為了維持原有法則: 當formula_78 為負值時,必須用到以下的遞迴關係:  所以:  不過,當高度值為更小的負值時就不能以此方法良好地定義出來了,因為 這是定義不良好的。  更要注意的是,當formula_82 時,任何根據法則對於formula_83 的定義都是一致的,因為

  當前還未有對於推廣迭代冪次至formula_86 為實數或複數值的共識解。以下提到了兩種不同的逼近法。  一般來說,問題在於對任何實數"a" > 0,找出一個能滿足以下條件的"超冪函式" formula_87,當中formula_88 併為實數:  對於第四個條件,不同的編者有不同的說法,而且亦視乎於採用何種逼近法。對於把迭代冪次推廣至實高,有兩種主要的逼近法,一種是建基於"規律性" 需要,另一種則建基於"可微性" 需要。這兩種逼近法似乎十分相異,皆因它們所得出的結果並不相符。  幸運地,任何在一段長度的區間內滿足到其中一種逼近法的解,皆能被推廣為一個對於所有正實數高度值的迭代冪次的通解。當formula_96 在一段長度的區間內被定義,對任何formula_88,整個函式的後續將能被輕易地定義出來。  其中一個簡單的推廣方式為:  formula_98  當且僅當formula_99 。可以判斷,當formula_100、formula_101時,乘法和冪次成立:formula_102 當且僅當formula_103;formula_104 當且僅當formula_105  舉例,當formula_106 時, 計算 formula_107 和 formula_108 : formula_109, 則 formula_110。 2^^3 = 2^(2^2) = 16, 則 16^^(1/3) = 2; 由 256= 16^2 = 16^(16^^(1/3)) = 16^^(1+1/3) = 16^^(4/3) 得 256^^(3/4) = 16。

  以下為有關猜想:函式"F" 為方程式 的解並滿足以下附加條件:當"z"逼近於±"i" ∞及"F" 在整個複數"z" 平面當中為全純函式,"F"(0)=1 及"F"("z")逼近於對數的不動點 (大約為 0.31813150520476413531 ± 1.33723570143068940890"i")。
在數學裡面,迭代冪次 (亦作超-4運算或四級運算),或可理解為迭代乘方、冪塔運算和超冪運算等等,是專指冪的下一個超運算級別,用以表示極大的數字。以下列舉了首四個超運算級別,其中迭代冪次為第四級,(後繼函式,例如formula_1即將formula_2加上一,可理解為第零級運算,相關解釋參見皮亞諾公理)。範例如下: