茶年 · 中文维基百科

迭代冪次

Wikipedia · 2025-12-22 维基百科 👁 1 阅读

在數學裡面，迭代冪次 （亦作超-4運算或四級運算），或可理解為迭代乘方、冪塔運算和超冪運算等等，是專指冪的下一個超運算級別，用以表示極大的數字。以下列舉了首四個超運算級別，其中迭代冪次為第四級，（后继函数，例如a' = a + 1即將a加上一，可理解為第零級運算，相關解釋參見皮亞諾公理）。範例如下：
#加法
#:a + n = a\!\underbrace{*{}^{\cdots}{}'}_n
#::a 的連續n 次後繼
#乘法
#:a \times n = \underbrace{a + a + \cdots + a}_n
#::a 連續加上自己n 次
#冪
#:a^n = \underbrace{a \times a \times \cdots \times a}_n
#::a 連續乘以自己n 次
#迭代冪次
#:{^{n}a} = \underbrace{a^{a^{\cdot^{\cdot^{a}}}}}_n
#::a 連續取冪於自己n 次

以上每一個運算級別皆被定義為對上一運算級別的迭代（迭代冪次的下一個運算級別為五級運算（超-5運算））。迭代冪次跟首三個超運算級別的一大不同之處在於首三個超運算級別中的n 可以是任意複數，而n 為任意複數的迭代冪次目前則未有一個概括的定義。另外，迭代冪次不屬於初等函數。

加法(a + n)是最基本的運算級別；乘法(a × n)亦是其中一種初等函數，在自然數的域當中，它可被視為a 的n 次鏈式加法；冪(a^n)則可被視為a 的n 次鏈式乘法。如此類推，迭代冪次({^{n}a})可被視為a 的n 次鏈式冪。當中，變量a 將會在下文被稱為底數，而變量n 則是此函數的高度值，在下文有時會被稱為上標數（早段提及的上標數皆為整數，而後則會擴展到分數、實數以及複數，如下所示）。

定義
對於任何正實數a ( a > 0 )及非負整數n ( n \ge 0 )，\,\! {^{n}a} 被定義為：
:{^{n}a} := \begin{cases} 1 &\text{if }n=0 \\ a^{\left[^{(n-1)}a\right]} &\text{if }n>0 \end{cases}

迭代乘方
從上述定義中可見，當計算被表達成冪塔的迭代冪次時，冪運算是先由最深層（以符號來表示，則最高級）的上標數做起。例子如下：
:\,\!\ ^{4}2 = 2^{2^{2^2}} = 2^{\left[2^{\left(2^2\right)}\right]} = 2^{\left(2^4\right)} = 2^{16} = 65,\!536

要注意，冪是不遵從結合律的，因此以其他順序來計算上述表達式將會出現不一樣的答案，例如：
:\,\! 2^{2^{2^2}} \ne \left[{\left(2^2\right)}^2\right]^2 = 2^{2 \cdot 2 \cdot2} = 256

因此，冪塔一定要從上而下（或從右至左）來運算。在電腦程式中，此制式稱為右結合律。

當a與n為互質時，我們可以透過歐拉定理來計算\scriptstyle\underbrace{a^{a^{\cdot^{\cdot^{a}}}}}_n的最後m個小數位值。

專門用語
迭代冪次在英文裡面稱作tetration，有時亦會被稱為superexponentiation及hyperpower（中文意譯超冪）等，這些詞語也可被用來表示這種運算模式。

迭代冪次有時會跟一些相關的函數及表達式混淆，這是因為在這些函數及表達式當中的大部分專門用語均適用於迭代冪次。以下列舉了一些相關用語：
:

在首兩種表達式當中的a 是底數，而a 出現的數目則是高度值（x 的出現使高度值 加1）。在第三種表達式當中，n 是高度值，但每一個底皆不相同。

要注意的是，迭代指數的形式有時也會被稱為迭代冪次。這是模稜兩可的，因為這可以指迭代乘方或迭代指數。

符號標示法
可以用來表示迭代冪次的符號有很多，當中有一些符號可用來表示更高級的迭代運算（hyper-5、hyper-6 等等）。
:

上述的迭代指數表示法中使用的迭代指數記號，一般被定義成：
:\exp_a^n(x) = a^{a^{\cdot^{\cdot^{a^x}}}}，當中包含n 個a。

以下是一些用以表示迭代指數的符號：
:

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

:

以較原始的函數來作逼近法
多項式逼近法
線性逼近法
以下是對迭代冪次函數的線性逼近法（以滿足連續函數的需要性，逼近法基於此函數的可微性質）的定義：
:{}^{x}a \approx \begin{cases}
\log_a(^{x+1}a) & x \le -1 \\
1 + x & -1
由此可得：
:
及其他逼近值。不過，這個函數只是分段可微的；在x為整數的時候，函數的導數要乘以\ln{a}。

例子
\begin{align}
{}^{\frac{1}{2}\pi}e &\approx 5.868...,\\
{}^{-4.3}0.5 &\approx 4.03335...
\end{align}

Hooshmand的手稿中有一個重要定理。

推廣
迭代冪次能被推廣至定義 {^n 0} 乃至其他定義域。

對底數定義域的推廣
推廣至底數為0
指數0^0 是不連續定義的。所以，迭代冪次\,{^n0} 於早期提出的公式中亦並不被清晰定義。不過，\lim_{x\rightarrow0}{^n}x 是定義良好的，並存在：
:\lim_{x\rightarrow0} {}^{n}x = \begin{cases} 1, & n \mbox{ even} \\ 0, & n \mbox{ odd} \end{cases}
所以我們能連續地定義{}^{n}0 = \lim_{x\rightarrow0} {}^{n}x。這等價於定義 0^0 = 1 。

在這推廣之下，{}^{0}0 = 1，所以最初定義出來的法則 {^{0}a} = 1 依然成立。

推廣至複數底
由於複數可以作為指數，迭代冪次的底數可以為\scriptstyle z \;=\; a + bi 的形式，當中的\scriptstyle i 是−1的平方根。舉例來說，設\scriptstyle z \;=\; i，對於\scriptstyle {}^{n}z，其迭代冪次可由自然對數中的來達成，並用歐拉公式得出以下關係：

:i^{a+bi} = e^{\frac{1}{2}{\pi i} (a+bi)} = e^{-\frac{1}{2}{\pi b}} \left(\cos{\frac{\pi a}{2}} + i \sin{\frac{\pi a}{2}}\right)

這表明了\scriptstyle {}^{(n+1)}i \;=\; a'+b'i 在任何\scriptstyle {}^{n}i \;=\; a+bi 的情況下的遞迴定義為：
:\begin{align}
a' &= e^{-\frac{1}{2}{\pi b}} \cos{\frac{\pi a}{2}} \\
b' &= e^{-\frac{1}{2}{\pi b}} \sin{\frac{\pi a}{2}}
\end{align}

從而導出以下的逼近值：

:

根據上一部分對於迭代冪次的逆向關係的定義，可得\scriptstyle \,{}^{0}i \;=\; 1 及\scriptstyle \,{}^{(-1)}i \;=\; 0，當中負值的n 在虛數軸上會得出無窮的結果。在複平面當中，整個序列成螺旋形地趨向於極限0.4383 + 0.3606i，這個極限可理解為n 為無窮時，函數相對應的值。

這樣的迭代冪次序列由歐拉時期已開始被研究，但是由於序列的雜亂性而難以被理解。歷史上大部分有正式發表的研究皆集中於冪塔函數的收歛性。高運算效率電腦連同計算機代數系統和分形幾何系統的出現大大地促進了近代對於迭代冪次的研究。現時對迭代冪次的研究均建基於複動力學的普遍知識及對指數映射的專門研究。

對高度值定義域的推廣
推廣至無窮高
迭代冪次可被推廣至無窮高（{}^{n}a 當中的n）。這是因為當底數在一個特定的區間之內而高度值趨向於無窮時，迭代冪次會收歛於一個有限的數值。舉例來說，\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\cdot^{\cdot^{\cdot}}}}} 收歛於2，因此可以說是等於2。對2的趨向性可從對以下小型有限冪塔的計算而看出來：

:\begin{align}
\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{1.414}}}}} &= \sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{1.63}}}} \\
&= \sqrt{2}^{\sqrt{2}^{\sqrt{2}^{1.76}}} \\
&= \sqrt{2}^{\sqrt{2}^{1.84}} \\
&= \sqrt{2}^{1.89} \\
&= 1.93
\end{align}

一般來說，有限冪塔x^{x^{\cdot^{\cdot^{\cdot}}}} （定義為當n 趨向於無窮時{}^{n}x 的極限）收歛於e−e ≤ x ≤ e1/e，大約是位於0.066和1.44之間的區間，這是由萊昂哈德·歐拉所證明的。如果存在一個極限，這會是一個對於方程式y = xy 的正實數解。所以，x = y1/y。根據這個極限的定義，當x > e1/e 時，x 的無窮迭代冪次不具收歛性，因為y1/y 的最大值為e1/e。

以上特性可以被推廣至複數底z，定義如下：

:{}^{\infty}z = z^{z^{\cdot^{\cdot^{\cdot}}}} = \frac{\mathrm{W}(-\ln{z})}{-\ln{z}}

當中的W（z）表示朗伯W函數。

由於極限y = ∞x （如果存在的話，即當e−e 1/e）必定滿足xy = y，因而得出x ↦ y = ∞x 是y ↦ x = y1/y 的反函數（較低枝）。

（有限地）推廣至負高
為了維持原有法則：
: {^{(k+1)}a} = a^{({^{k}a})}
當k 為負值時，必須用到以下的遞迴關係：
: {^{k}a} = \log_a \left( {^{(k+1)}a} \right)

所以：
: {}^{(-1)}a = \log_{a} \left( {}^{0}a \right) = \log_{a} 1 = 0

不過，當高度值為更小的負值時就不能以此方法良好地定義出來了，因為
: {}^{(-2)}a = \log_{a} \left( {}^{-1}a \right) = \log_{a} 0
這是定義不良好的。

更要注意的是，當 a = 1 時，任何根據法則對於\,\! {^{(-1)}1} 的定義都是一致的，因為
: {^{0}1} = 1 = 1^n 對於任何 \,\! n = {^{(-1)}1} 。

推廣至實高
當前還未有對於推廣迭代冪次至n 為實數或複數值的共識解。以下提到了兩種不同的逼近法。

一般來說，問題在於對任何實數a > 0，找出一個能滿足以下條件的超冪函數 \,f(x) = {}^{x}a ，當中x > -2 並為實數：
*\,{}^{(-1)}a = 0
*\,{}^{0}a = 1
\,{}^{x}a = a^{\left({}^{(x-1)}a\right)} 對所有實數x* > -1。
*第四個條件通常為以下其中一個：
:A的連續性 需要（通常是指在a 和x* 皆可變時，{}^{x}a 為連續，當中x > 0）。
:A的可微性 需要（可以是對於x 一次、二次、k* 次，或是無窮可微）。
:A的規律性 需要（僅當對於x* 二次可微），即是：
::\left( \frac{d^2}{dx^2}f(x) > 0\right) 對於所有 x > 0

對於第四個條件，不同的編者有不同的說法，而且亦視乎於採用何種逼近法。對於把迭代冪次推廣至實高，有兩種主要的逼近法，一種是建基於規律性 需要，另一種則建基於可微性 需要。這兩種逼近法似乎十分相異，皆因它們所得出的結果並不相符。

幸運地，任何在一段長度的區間內滿足到其中一種逼近法的解，皆能被推廣為一個對於所有正實數高度值的迭代冪次的通解。當\,{}^{x}a 在一段長度的區間內被定義，對任何x > -2，整個函數的後續將能被輕易地定義出來。

其中一个简单的推广方式为：

a[n]b = c

当且仅当cn = a, n>1 。可以判断，当n=2 、n=3 时，乘法和幂次成立：a\times b=c 当且仅当c\times(\frac{1}{b})=a;a^b=c 当且仅当c^{\frac{1}{b}}=a

举例，当n=4 时, 计算 {}^{\frac{1}{2}}256 和 {}^{\frac{3}{4}}256 ：
{}^{2}4=4^4=256, 则 {}^{\frac {1}{2}}256=4。
{}^{3}2={2}^{{2}^{2}}=16,则{}^{\frac{1}{3}}16=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.33723570143068940890i）。

相關條目

  • 阿克曼函數
  • 超運算

參考資料

外部連結

#指数 #数字运算 #大数

评论 (0)

  • 还没有评论，来抢沙发吧。