Xem mã nguồn của Tetration

[[Hình:TetrationComplexColor.png|thumb|268px|[[Miền tô màu]] của [[Hàm chỉnh hình|chỉnh hình]] tetration <math>{}^{z}e</math>, với [[hue]] đại diện cho [[Đối số (Phân tích phức tạp)|đối số]] hàm và [[độ sáng]] đại diện cho độ lớn]]
[[Hình:TetrationConvergence2D.svg|thumb|<math>{}^{n}x</math>, với {{math|1=''n'' = 2, 3, 4, …}}, cho thấy sự hội tụ theo số mũ được lặp lại vô hạn giữa hai dấu chấm]]

Trong [[toán học]], '''tetration''' hoặc '''hyper-4''' trong [[hyperoperation]] là một [[phép toán]] dựa trên [[phép lặp]] hoặc sự lặp lại của [[Lũy thừa|luỹ thừa]], tetration được hiểu là "luỹ thừa chồng chất". 

Theo định nghĩa tetration là "luỹ thừa lặp" (hoặc "chồng") nên tetration là một [[phép toán hai ngôi]] được viết dưới dạng <math>{^{b}a}</math>, trong đó <math>a</math> được gọi là "cơ số" và <math>b</math> là số lần <math>a</math> luỹ thừa lặp chính nó (hoặc số lần lặp lại của <math>a</math>) được gọi là "chiều cao", tương tự như luỹ thừa. Như vậy, <math>{^{b}a}</math> sẽ được biến đổi thành một tháp luỹ thừa <math>{a^{a^{\cdot^{\cdot^{a}}}}}</math>và <math>b</math> là số tầng luỹ thừa của <math>a</math> tính từ cơ số và <math>{^{b}a}</math> sẽ được đọc là "tetration bậc <math>b</math> của <math>a</math>" hoặc "<math>a</math> tetration bậc <math>b</math>".  

Tetration là phép toán bậc tiếp theo sau lũy thừa, nhưng trước [[pentation]]. Thuật ngữ ''"tetration"'' theo tiếng Anh được [[Reuben Louis Goodstein]] đặt ra từ từ tetra- nghĩa là "bốn" trong [[Tiền tố số học|tiền tố Hy Lạp]] và itetration nghĩa là "sự lặp lại" để chỉ phép lặp tạm dịch là "sự lặp lại lần thứ bốn". 

Tetration cũng được định nghĩa đệ quy như

<math>{^{n}a}:= \begin{cases} 1 &\text{nếu }n=0 \\ a^{\left(^{(n-1)}a\right)} &\text{nếu }n>0 \end{cases} </math>

cho phép cố gắng mở rộng "chiều cao" của tetration thành các số không phải [[số tự nhiên]] chẳng hạn như [[số thực]] hoặc [[số phức]].

Hai phép toán [[Hàm ngược|nghịch đảo]] của tetration được gọi là [[Tetration (phép toán)#Siêu căn|siêu căn]] và [[siêu logarit]], tương tự như [[căn bậc n]] và hàm [[logarit]]. Không có hàm nào trong ba hàm này là [[hàm số sơ cấp]].

Tetration được sử dụng để [[ký hiệu các số rất lớn]].

==Giới thiệu==
Dưới đây là bốn phép toán đầu tiên, tetration được coi là phép toán thứ tư trong đó.<ref>{{Chú thích sách|url=https://books.google.com/books?id=EHjiBQAAQBAJ&pg=PA41|title=Fundamental Concepts of Mathematics|last=Goodstein|first=R. L.|publisher=Pergamon Press|year=1979|pages=41}}</ref><ref>{{Chú thích sách|url=https://books.google.com/books?id=b7AmEAAAQBAJ&pg=PA38|title=Critical Black Futures: Speculative Theories and Explorations|last=Butler|first=Philip|publisher=Springer Nature|year=2021|editor-last=Butler|editor-first=Philip|pages=38}}</ref> [[Phép toán một ngôi]] [[Hàm successor|successor]], được định nghĩa là <math>a' = a + 1</math>.

#[[Phép cộng]]
#:<math>a + n = a\!\underbrace{''{}^{\cdots}{}'}_n = a + \underbrace{1 + 1 + \cdots + 1}_n</math>
#::<math>n</math> là số lần cộng thêm 1 của <math>a</math>
#[[Phép nhân]]
#:<math>a \times n = \underbrace{a + a + \cdots + a}_n</math>
#::<math>n</math> là số lần <math>a</math> cộng lặp chính nó
#[[Lũy thừa|Luỹ thừa]]
#:<math>a^n = \underbrace{a \times a \times \cdots \times a}_n</math>
#::<math>n</math> là số lần <math>a</math> nhân lặp chính nó
#Tetration
#:<math>{^{n}a} = \underbrace{a^{a^{\cdot^{\cdot^{a}}}}}_n</math>
#::<math>n</math> là số lần <math>a</math> luỹ thừa lặp chính nó, tính từ phải sang trái.

Phép toán sau là sự lặp lại của phép toán liền trước đó.

Lưu ý rằng các số mũ chồng nhau được tính theo quy ước từ trên xuống: <math>{a^{b^c}}</math> có nghĩa là <math>a^{(b^c)}</math> chứ không phải <math>(a^{b})^{c}</math>.

Phép successor, <math>(a' = a + 1)</math> là phép toán cơ bản nhất; trong khi phép cộng <math>(a + n)</math>  là một phép toán chính, đối với phép cộng các số tự nhiên, nó có thể được coi là {{mvar|n}} chuỗi lặp lại các phép successor của {{mvar|a}}; phép nhân <math>(a \times n)</math> cũng là một phép toán chính mặc dù đối với các số tự nhiên, nó có thể được coi là một {{mvar|n}} chuỗi lặp lại các phép cộng của {{mvar|a}} với chính nó. Luỹ thừa <math>(a^n)</math> có thể được coi là {{mvar|n}} chuỗi lặp lại các phép nhân của {{mvar|a}} với chính nó và tetration <math>({^{n}a})</math> cũng được coi như {{mvar|n}} chuỗi lặp lại hay các tầng {{mvar|a}} luỹ thừa chính nó được xếp chồng lên nhau. Mỗi phép toán ở trên được xác định bằng cách lặp lại phép toán liền trước đó<ref name="uwu">Neyrinck, Mark. [http://skysrv.pha.jhu.edu/~neyrinck/extessay.pdf An Investigation of Arithmetic Operations.] Retrieved ngày 9 tháng 1 năm 2019.</ref>. Tuy nhiên, không giống như các phép toán trước nó, tetration không phải là một hàm số sơ cấp.

Tham số {{mvar|a}} được gọi là '''cơ số''', trong khi tham số {{mvar|n}} trong tetration có thể được gọi là '''chiều cao'''. Trong định nghĩa ban đầu của tetration, chiều cao phải là số tự nhiên; chẳng hạn, sẽ là không đúng nếu nói "ba tetration âm năm" hoặc "bốn tetration một phần hai". Tuy nhiên, cũng giống như phép cộng, phép nhân và lũy thừa có thể được định nghĩa theo những cách cho phép mở rộng lên số thực và số phức, một số nỗ lực đã được thực hiện để tổng quát hóa tham số chiều cao của tetration thành số âm, số thực và số phức. Một trong những cách làm như vậy là sử dụng một định nghĩa đệ quy cho tetration; đối với bất kỳ số thực <math>a>0</math> và [[số nguyên]] không âm <math>n\geqslant0</math>, chúng ta có thể xác định <math>{^{n}a}</math> đệ quy dưới dạng:<ref name="uwu" />

:<math>{^{n}a}:= \begin{cases} 1 &\text{nếu }n=0 \\ a^{\left(^{(n-1)}a\right)} &\text{nếu }n>0 \end{cases} </math>

Định nghĩa này tương đương với số lần lặp luỹ thừa cho các tham số chiều cao [[Số tự nhiên|tự nhiên]]. Tuy nhiên, định nghĩa này cho phép mở rộng lên các tham số chiều cao khác chẳng hạn như <math>^{0}a</math>, <math>^{-1}a</math>, và <math>^{i}a</math> - nhiều phần mở rộng trong số này là những mở rộng đang được nghiên cứu.

==Thuật ngữ==
Có rất nhiều thuật ngữ cho tetration, mỗi thuật ngữ đều có tính logic đằng sau nó, nhưng một số thuật ngữ đã không được sử dụng phổ biến vì lý do này hay lý do khác. Dưới đây là sự so sánh của từng thuật ngữ với cơ sở lý luận và phản biện của nó.
* Thuật ngữ ''tetration'', được giới thiệu bởi Goodstein trong bài báo ''Transfinite Ordinals in Recursive Number Theory''<ref>{{chú thích tạp chí|author=R. L. Goodstein|title=Transfinite ordinals in recursive number theory|jstor=2266486|journal=Journal of Symbolic Logic|volume=12|year=1947|issue=4|doi=10.2307/2266486|pages=123–129}}</ref> của mình năm 1947 (khái quát hóa biểu diễn cơ sở đệ quy được sử dụng trong [[định lý Goodstein]] để sử dụng các phép toán cao hơn), đã giành được ưu thế. Nó cũng được phổ biến trong cuốn ''[[Infinity and the Mind]]'' của nhà toán học [[Rudy Rucker]].
*Thuật ngữ ''superexponentiation'' ("siêu luỹ thừa") đã được Bromer xuất bản trong bài báo ''Superexponentiation'' của ông ấy năm 1987.<ref>{{chú thích tạp chí |author=N. Bromer |title=Superexponentiation |url=https://archive.org/details/sim_mathematics-magazine_1987-06_60_3/page/169 |journal=Mathematics Magazine |volume=60 |issue=3 |year=1987 |pages=169–174 |jstor=2689566}}</ref> Nó đã được sử dụng trước đó bởi Ed Nelson trong cuốn sách [[Dự đoán số học]], Nhà xuất bản Đại học Princeton, 1986.
*Thuật ngữ ''hyperpower'' ("siêu mũ")<ref>{{chú thích tạp chí |author=J. F. MacDonnell |title=Somecritical points of the hyperpower function <math>x^{x^{\dots}}</math> |journal=International Journal of Mathematical Education |year=1989 |volume=20 |issue=2 |pages=297–305 |mr=994348 |url=http://www.faculty.fairfield.edu/jmac/ther/tower.htm |doi=10.1080/0020739890200210}}</ref> là sự kết hợp tự nhiên của từ ''hyper'' và từ ''power'', được mô tả một cách chính xác về tetration. Vấn đề nằm ở ý nghĩa của từ ''hyper'' đối với dãy hyperoperation. Khi xem xét hyperoperation, thì thuật ngữ ''hyper'' đều đề cập đến tất cả các bậc phép toán của nó, và thuật ngữ ''super'' đề cập đến bậc 4, tức tetration. Vì vậy, theo những cân nhắc này ''hyperpower'' là sai lầm, vì nó chỉ đề cập đến tetration mà thôi.
*Thuật ngữ ''power tower'' ("tháp mũ")<ref>{{MathWorld |urlname=PowerTower |title=Power Tower}}</ref> đôi khi cũng được sử dụng, ở dạng "tháp mũ bậc {{mvar|n}}" cho <math>{\ \atop {\ }} {{\underbrace{a^{a^{\cdot^{\cdot^{a}}}}}} \atop n}</math>. Luỹ thừa dễ bị hiểu sai: lưu ý rằng phép nâng lên lũy thừa là phép kết hợp bên phải. Tetration phép ''lũy thừa'' lặp (gọi đây là phép toán [[Tính kết hợp|kết hợp bên phải]] ^), bắt đầu từ phía trên bên phải của biểu thức với a^a đầu tiên trên cùng (ta gọi giá trị này là c). Luỹ thừa số tiếp theo sang trái, a kế tiếp (ta gọi đây là "cơ số tiếp theo" b), được tính sang trái sau khi nhận được giá trị mới b^c. Tính ở bên trái, sử dụng a tiếp theo ở bên trái, làm cơ số b và đánh giá b^c mới. Lần lượt 'đi xuống tháp', với giá trị mới lớn hơn cho c ở bước đi xuống tiếp theo.

Do một phần thuật ngữ được chia sẻ và ký hiệu tượng trưng tương tự, tetration thường xuyên bị nhầm lẫn với các chức năng và biểu thức liên quan. Dưới đây là một số thuật ngữ liên quan:

:{|class="wikitable"
! Mẫu
! Thuật ngữ
|-
|<math>a^{a^{\cdot^{\cdot^{a^a}}}}</math>
|Tetration
|-
|<math>a^{a^{\cdot^{\cdot^{a^x}}}}</math>
|Số mũ lặp
|-
|<math>a_1^{a_2^{\cdot^{\cdot^{a_n}}}}</math>
|Số mũ lồng (Cũng gọi là tháp mũ)
|-
|<math>a_1^{a_2^{a_3^{\cdot^{\cdot^\cdot}}}}</math>
|Số mũ vô hạn (Cũng gọi là tháp mũ)
|}

Trong hai biểu thức đầu tiên <math>a</math> là ''cơ số'', và các tầng giá trị <math>a</math> là chiều cao (thêm một tầng cho giá trị <math>x</math>). Trong biểu thức thứ ba, <math>n</math> là chiều cao, nhưng mỗi tầng lại có giá trị khác nhau.

Cần lưu ý khi đề cập đến số mũ lặp, vì thông thường gọi biểu thức của dạng này là luỹ thừa lặp, đó là điều mơ hồ, bởi vì điều này có thể có nghĩa là [[Lũy thừa|mũ]] [[Phép lặp|lặp]] hoặc [[Hàm mũ|số mũ]] lặp.

==Kí hiệu==
Có rất nhiều kiểu ký hiệu khác nhau để diễn đạt tetration. Một số ký hiệu cũng có thể được sử dụng để mô tả các hyperoperation khác, trong khi một số chỉ giới hạn ở tetration và không có phần mở rộng ngay lập tức.
:{|class="wikitable"
! Tên ký hiệu
! Mẫu
! Mô tả
|-
| Ký hiệu Rudy Rucker
| <math>\,{}^{n}a</math>
| Được sử dụng bởi Maurer [1901] và Goodstein [1947]; Cuốn sách ''Infinity and the Mind'' của Rudy Rucker phổ biến các ký hiệu này.
|-
|Ký hiệu mũi tên lên Knuth
| <math>\begin{align}
  &a {\uparrow\uparrow} n \\[2pt]
  &a {\uparrow^{2}} n
\end{align}</math>
| Cho phép mở rộng bằng cách đặt nhiều mũi tên hơn hoặc thậm chí mạnh hơn, một mũi tên được lập chỉ mục.
|-
|[[Ký hiệu mũi tên xích Conway]]
| <math>a \rightarrow n \rightarrow 2</math>
| Cho phép mở rộng bằng cách tăng số 2 (tương đương với các mở rộng ở trên), nhưng, thậm chí nó còn mạnh mẽ hơn bằng cách mở rộng chuỗi
|-
|[[Hàm Ackermann]]
| <math>{}^{n}2 = \operatorname{A}(4, n - 3) + 3</math>
| Cho phép viết trường hợp đặc biệt <math>a=2</math> theo hàm Ackermann.
|-
| Ký hiệu số mũ lặp
| <math>\exp_a^n(1)</math>
| Cho phép mở rộng đơn giản đến số mũ lặp từ các giá trị ban đầu khác 1.
|-
| Ký hiệu Hooshmand<ref name="uxp">
 {{chú thích tạp chí
 | author=M. H. Hooshmand| year=2006
 | title=Ultra power and ultra exponential functions
 | journal=[[Integral Transforms and Special Functions]]
 | volume=17
 | issue=8
 | pages=549–558
 | doi= 10.1080/10652460500422247
 }}</ref>
| <math>\begin{align}
  &\operatorname{uxp}_a n \\[2pt]
  &a^{\frac{n}{}}
\end{align}</math>
| Được sử dụng bởi M. H. Hooshmand [2006].
|-
| Ký hiệu hyperoperation
| <math>\begin{align}
  &a [4] n \\[2pt]
  &H_4(a, n)
\end{align}</math>
| Cho phép mở rộng bằng cách tăng số 4 lên số lớn hơn để mô tả các toán tử bậc cao hơn.
|-
| Ký hiệu dấu mũ đôi
| <code>a^^n</code>
| Vì mũi tên lên được sử dụng giống hệt với dấu mũ (<code>^</code>), nên tetration được viết là (<code>^^</code>); thuận tiện cho [[ASCII]].
|}

Một ký hiệu ở trên sử dụng ký hiệu số mũ lặp, điều này được định nghĩa chung như sau:

:<math>\exp_a^n(x) = a^{a^{\cdot^{\cdot^{a^x}}}}</math> với {{mvar|n}} là số tầng của {{mvar|a}}.

Không có nhiều ký hiệu cho số mũ lặp, dưới đây là một vài ký hiệu được sử dụng để mô tả chỉ số lặp:

:{| class="wikitable"
! Tên ký hiệu
! Mẫu
! Mô tả
|-
| Ký hiệu tiêu chuẩn
|<math>\exp_a^n(x)</math>
|[[Leonhard Euler|Euler]] đặt ra ký hiệu <math>\exp_a(x) = a^x</math>, đặt <math>f(x)=\exp_a(x)</math>, sau đó <math>\exp_a^n(x)</math>có thể được biểu diễn dưới dạng [[ký hiệu lặp]] <math>f^n(x)</math>.
|-
| Ký hiệu mũi tên lên Knuth
|<math>(a{\uparrow})^n(x)</math>
| Cho phép tăng số lượng mũi tên để diễn tả độ mạnh (tetration) và siêu mũ (số mũ lặp), nó thường được sử dụng với [[số lớn]].
|-
| Ký hiệu văn bản
|{{code|2=tex|exp_a^n(x)}}
| Dựa trên ký hiệu chuẩn, thuận tiện cho ASCII.
|-
| Ký hiệu J
|{{code|2=j|x^^:(n-1)x}}
| Lặp lại phép luỹ thừa. Xem [[J (ngôn ngữ lập trình)]]<ref>{{chú thích web|title=Power Verb|url=http://www.jsoftware.com/help/dictionary/d202n.htm|work=J Vocabulary|publisher=J Software|access-date =ngày 28 tháng 10 năm 2011}}</ref>
|}

==Thí dụ==
Bởi vì tetration có sự gia tăng nhanh chóng, hầu hết các giá trị trong bảng sau đây là quá lớn để viết bằng ký hiệu khoa học. Trong những trường hợp này, ký hiệu số mũ lặp được sử dụng để thể hiện chúng trong cơ số 10. Các giá trị chứa dấu thập phân là gần đúng.

:{| class="wikitable"
! <math>x</math>
! <math>{}^{2}x</math>
! <math>{}^{3}x</math>
! <math>{}^{4}x</math>
|- align=right
| 1
| 1
| 1
| 1
|- align=right
| 2
| 4
| 16
| 65,536
|- align=right
| 3
| 27
| 7,625,597,484,987
| <math>\exp_{10}^3(1.09902)</math>
|- align=right
| 4
| 256
| <math>\exp_{10}^2(2.18788)</math>
| <math>\exp_{10}^3(2.18726)</math>
|- align=right
| 5
| 3,125
| <math>\exp_{10}^2(3.33931)</math>
| <math>\exp_{10}^3(3.33928)</math>
|- align=right
| 6
| 46,656
| <math>\exp_{10}^2(4.55997)</math>
| <math>\exp_{10}^3(4.55997)</math>
|- align=right
| 7
| 823,543
| <math>\exp_{10}^2(5.84259)</math>
| <math>\exp_{10}^3(5.84259)</math>
|- align=right
| 8
| 16,777,216
| <math>\exp_{10}^2(7.18045)</math>
| <math>\exp_{10}^3(7.18045)</math>
|- align=right
| 9
| 387,420,489
| <math>\exp_{10}^2(8.56784)</math>
| <math>\exp_{10}^3(8.56784)</math>
|- align=right
| 10
| 10,000,000,000
| <math>\exp_{10}^3(1)</math>
| <math>\exp_{10}^4(1)</math>
|}

==Tính chất==
Tetration có những tính chất tương tự như luỹ thừa, cũng như các thuộc tính cụ thể dành riêng cho nó và bị mất hoặc thu được từ lũy thừa. Bởi vì luỹ thừa không có [[Tính giao hoán|tính chất giao hoán]], kết quả và quy tắc không có sự tương tự với tetration, các câu <math display="inline">{}^a \left({}^b x\right) = \left({}^{ab} x\right)</math> and <math display="inline">{}^a \left(xy\right) = {}^a x {}^a y</math> không nhất thiết đúng với mọi trường hợp.<ref>Alexander Meiburg. (2014). [http://web.math.ucsb.edu/~padraic/ucsb_2013_14/mathcs103_s2014/mathcs103_s2014_alex_presentation.pdf Analytic Extension of Tetration Through the Product Power-Tower] {{Webarchive|url=https://web.archive.org/web/20181130071536/http://web.math.ucsb.edu/~padraic/ucsb_2013_14/mathcs103_s2014/mathcs103_s2014_alex_presentation.pdf |date=2018-11-30 }} Retrieved ngày 29 tháng 11 năm 2018</ref>

Tuy nhiên, tetration theo một tính chất khác, trong đó <math display="inline">{}^a x = x^{\left({}^{a-1} x\right)}</math>. Sự thật này được thể hiện rõ nhất bằng cách sử dụng định nghĩa đệ quy. Từ thuộc tính này, một mệnh đề theo sau <math>\left({}^b a\right)^{\left({}^c a\right)} = \left({}^{c+1} a\right)^{\left({}^{b-1} a\right)}</math>, cho phép chuyển đổi ''b'' và ''c'' trong các phương trình nhất định. Mệnh đề như sau:
: <math>\begin{align}
      &\left({}^b a\right)^{\left({}^c a\right)}         \\
  ={} &\left(a^{{}^{b-1} a}\right)^{\left({}^c a\right)} \\
  ={} &a^{\left({}^{b-1} a\right)\left({}^c a\right)}    \\
  ={} &a^{\left({}^c a\right)\left({}^{b-1} a\right)}    \\
  ={} &\left({}^{c+1} a\right)^{\left({}^{b-1} a\right)}
\end{align}</math>
Khi một số {{mvar|x}} và 10 là [[số nguyên tố cùng nhau]], có thể tính các chữ số thập phân {{mvar|m}} cuối cùng của <math>\,\!\ ^{a}x</math> bằng định lý Euler, cho bất kỳ số nguyên {{mvar|m}}.

===Hướng tính===
Khi biến đổi một biểu thức tetration ra một "tháp luỹ thừa", thì tháp lũy thừa ấy sau đó phải được tính ở tầng luỹ thừa trên cùng trước tiên (ở đỉnh) trong biểu thức. Ví dụ:
:<math>\,\!\ ^{4}2 = 2^{2^{2^2}} = 2^{\left(2^{\left(2^2\right)}\right)} = 2^{\left(2^4\right)} = 2^{16} = 65536</math>

Thứ tự này rất quan trọng vì lũy thừa không có tính kết hợp, và tính toán biểu thức theo thứ tự ngược lại sẽ cho ra một kết quả khác:
:<math>\,\! 2^{2^{2^2}} \ne \left({\left(2^2\right)}^2\right)^2 = 4^{2 \cdot2} = 256</math>

Tính toán biểu thức từ trái sang phải được coi là ít thú vị hơn, tính toán từ trái sang phải, mọi biểu thức <math>^{n}a\!</math> có thể được hạ xuống thành <math>a^{\left(a^{n-1}\right)}\!\!</math>.<ref name="tetration extensions">{{citeweb |url=http://www.mpmueller.net/reihenalgebra.pdf |last=Müller |first=M. |title=Reihenalgebra: What comes beyond exponentiation? |access-date=ngày 12 tháng 12 năm 2018 |archive-date=2013-12-02 |archive-url=https://web.archive.org/web/20131202235053/http://www.mpmueller.net/reihenalgebra.pdf |url-status=dead }}</ref> Bởi vì điều này, các tháp phải được tính từ phải sang trái (hoặc từ trên xuống dưới). Lập trình viên máy tính nhắc đến sự lựa chọn này như kết hợp phải.

==Mở rộng==
Tetration có thể được mở rộng theo hai cách khác nhau. Trong phương trình <math>^na\!</math>, cả cơ số {{mvar|a}} và chiều cao {{mvar|n}} có thể được khái quát bằng cách sử dụng định nghĩa và tính chất của tetration. Mặc dù cơ số và chiều cao có thể được mở rộng vượt ra ngoài các số nguyên dương đến các [[Tập xác định|miền]] khác, kể cả <math>{^n 0}</math>, các hàm phức như <math>{}^{n}i</math>, và chiều cao của vô hạn {{mvar|n}}, các tính chất hạn chế hơn của tetration làm giảm khả năng mở rộng tetration.

===Mở rộng miền cho cơ số===
====Cơ số không====
Số mũ <math>0^0</math> không được xác định nhất quán. Như vậy, các tetration <math>\,{^{n}0}</math> không được xác định rõ ràng bởi các công thức đưa ra trước đó. Tuy nhiên, <math>\lim_{x\rightarrow0} {}^{n}x</math> được xác định rõ, và tồn tại:<ref>{{chú thích web|url=https://math.blogoverflow.com/2015/01/05/climbing-the-ladder-of-hyper-operators-tetration/|title=Climbing the ladder of hyper operators: tetration « Stack Exchange Mathematics Blog|website=math.blogoverflow.com|access-date = ngày 25 tháng 7 năm 2019}}</ref>
:<math>\lim_{x\rightarrow0} {}^{n}x = \begin{cases}
  1, & n \text{ chẵn} \\
  0, & n \text{ lẻ}
\end{cases}</math>

Do đó, chúng ta có thể xác định nhất quán <math>{}^{n}0 = \lim_{x\rightarrow 0} {}^{n}x</math>. Điều này tương tự như việc định nghĩa <math>0^0 = 1</math>.

Theo phần mở rộng này, <math>{}^{0}0 = 1</math>, do đó, quy tắc <math>{^{0}a} = 1</math> từ định nghĩa ban đầu vẫn giữ.

====Cơ số phức====
[[Hình:Tetration period.png|thumbnail|tetration theo kỳ]]
[[Hình:Tetration escape.png|thumbnail|tetration bằng cách trốn thoát]]

Kể từ khi các số phức được nâng lên thành các mũ, tetration có thể được áp dụng cho ''các cơ số'' có dạng <math>z=a+bi</math> (trong đó <math>a</math> và <math>b</math> là số thực). Ví dụ, trong <math>{^{n}z}</math> với <math>z=i</math>, tetration đạt được bằng cách sử dụng các [[nhánh chính]] của logarit tự nhiên, sử dụng [[công thức Euler]] chúng ta được mối quan hệ:

:<math>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)</math>

Điều này cho thấy một định nghĩa đệ quy cho <math>{^{n+1}i} = a'+b'i</math> với bất kỳ <math>{^{n}i} = a+bi</math>:
:<math>\begin{align}
  a' &= e^{-\frac{1}{2}{\pi b}} \cos{\frac{\pi a}{2}} \\[2pt]
  b' &= e^{-\frac{1}{2}{\pi b}} \sin{\frac{\pi a}{2}}
\end{align}</math>

Các giá trị gần đúng sau đây có thể được lấy:
{| class="wikitable"
|-
! <math display="inline">{}^{n}i</math>
! Giá trị gần đúng
|-
| <math display="inline">{}^{1}i = i</math>
| {{math|''i''}}
|-
| <math display="inline">{}^{2}i = i^{\left({}^{1}i\right)}</math>
| {{math|0.2079}}
|-
| <math display="inline">{}^{3}i = i^{\left({}^{2}i\right)}</math>
| {{math|0.9472 + 0.3208''i''}}
|-
| <math display="inline">{}^{4}i = i^{\left({}^{3}i\right)}</math>
| {{math|0.0501 + 0.6021''i''}}
|-
| <math display="inline">{}^{5}i = i^{\left({}^{4}i\right)}</math>
| {{math|0.3872 + 0.0305''i''}}
|-
| <math display="inline">{}^{6}i = i^{\left({}^{5}i\right)}</math>
| {{math|0.7823 + 0.5446''i''}}
|-
| <math display="inline">{}^{7}i = i^{\left({}^{6}i\right)}</math>
| {{math|0.1426 + 0.4005''i''}}
|-
| <math display="inline">{}^{8}i = i^{\left({}^{7}i\right)}</math>
| {{math|0.5198 + 0.1184''i''}}
|-
| <math display="inline">{}^{9}i = i^{\left({}^{8}i\right)}</math>
| {{math|0.5686 + 0.6051''i''}}
|}

Giải quyết các quan hệ nghịch đảo, như trong phần trước, mang lại <math>{^{0}i}=1</math> và <math>{^{-1}i}=0</math>, với các giá trị âm của {{mvar|n}} cho kết quả vô hạn trên trục ảo. Vẽ sơ đồ trong [[mặt phẳng phức]], toàn bộ chuỗi xoắn ốc đến giới hạn <math>0.4383 + 0.3606i</math>, mà có thể được hiểu là giá trị trong đó <math>n</math> là vô hạn.

Trình tự tetration như vậy đã được nghiên cứu kể từ thời Euler, nhưng được hiểu một cách kém cỏi do hành vi hỗn loạn của chúng. Hầu hết các nghiên cứu được công bố trong lịch sử đã tập trung vào sự hội tụ của hàm số mũ lặp vô hạn. Nghiên cứu hiện tại đã được hưởng lợi rất nhiều từ sự có mặt của các máy tính mạnh mẽ với [[fractal]] và phần mềm toán học tượng trưng. Phần lớn những gì được biết về tetration xuất phát từ kiến thức chung về động lực học phức tạp và nghiên cứu cụ thể về bản đồ số mũ.

===Phần mở rộng của miền cho các chiều cao khác nhau===
====Chiều cao vô hạn====
[[Hình:Infinite_power_tower.svg|thumb|<math>\textstyle \lim_{n\rightarrow \infty} {}^nx</math> của các hàm số mũ lặp vô hạn hội tụ cho các cơ số <math>\textstyle \left(e^{-1}\right)^e \le x \le e^{\left(e^{-1}\right)} </math>]]
[[Hình:TetrationConvergence3D.png|thumbnail|Hàm <math>\left| \frac{\mathrm{W}(-\ln{z})}{-\ln{z}} \right|</math> trên mặt phẳng phức, hiển thị hàm số mũ lặp vô hạn có giá trị thực (đường cong màu đen)]]

Tetration có thể được mở rộng đến các chiều cao [[vô hạn]].<ref>{{chú thích web | url=http://math.blogoverflow.com/2015/01/05/climbing-the-ladder-of-hyper-operators-tetration/ | title=Climbing the ladder of hyper operators: tetration | publisher=George Daccache | date=ngày 5 tháng 1 năm 2015 | access-date =ngày 18 tháng 2 năm 2016}}</ref> Tức là, đối với một số giá trị {{mvar|a}} và {{mvar|n}} nhất định trong <math>{}^{n}a</math>, tồn tại một kết quả được xác định rõ ràng cho một {{mvar|n}} vô hạn. Điều này là vì các cơ số trong một khoảng nhất định, tetration hội tụ đến một giá trị hữu hạn khi chiều cao có xu hướng tiến đến vô cùng. Ví dụ, <math>\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\cdot^{\cdot^{\cdot}}}}}</math> hội tụ tại 2, và do đó, có thể nói là bằng 2. Xu hướng tới 2 có thể được nhìn thấy bằng cách đánh giá một tháp mũ hữu hạn nhỏ:

:<math>\begin{align}
  \sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{1.414}}}}}
    &\approx \sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{1.63}}}} \\
    &\approx \sqrt{2}^{\sqrt{2}^{\sqrt{2}^{1.76}}} \\
    &\approx \sqrt{2}^{\sqrt{2}^{1.84}} \\
    &\approx \sqrt{2}^{1.89} \\
    &\approx 1.93
\end{align}</math>

Nói chung, số mũ lặp lại vô hạn <math>x^{x^{\cdot^{\cdot^{\cdot}}}}\!\!</math>, được định nghĩa là giới hạn của <math>{}^{n}x</math> khi {{mvar|n}} tiến đến vô cùng, hội tụ cho {{math|''e''<sup>−''e''</sup> ≤ ''x'' ≤ ''e''<sup>1/''e''</sup>}}, đại khái khoảng từ 0.066 đến 1.44, một kết quả được hiển thị bởi [[Leonhard Euler]].<ref>Euler, L. "De serie Lambertina Plurimisque eius insignibus proprietatibus." ''Acta Acad. Scient. Petropol. 2'', 29–51, 1783. Reprinted in Euler, L. ''Opera Omnia, Series Prima, Vol. 6: Commentationes Algebraicae''. Leipzig, Germany: Teubner, pp. 350–369, 1921. ([http://math.dartmouth.edu/~euler/docs/originals/E532.pdf facsimile])</ref> Giới hạn, nó nên tồn tại, là một số thực dương của phương trình {{math|1=''y'' = ''x''<sup>''y''</sup>}}. Như vậy, {{math|1=''x'' = ''y''<sup>1/''y''</sup>}}. Giới hạn xác định tetration vô hạn của {{mvar|x}} không hội tụ cho {{math|''x'' > ''e''<sup>1/''e''</sup>}} bởi vì tối đa của {{math|''y''<sup>1/''y''</sup>}} là {{math|''e''<sup>1/''e''</sup>}}.

Điều này có thể được mở rộng thành số phức {{mvar|z}} với định nghĩa:
:<math>{}^{\infty}z = z^{z^{\cdot^{\cdot^{\cdot}}}} = \frac{\mathrm{W}(-\ln{z})}{-\ln{z}} ~,</math>
Trong đó W đại diện cho [[hàm W Lambert]].

Như giới hạn {{math|1=''y'' = <sup>∞</sup>''x''}} (nếu tồn tại, tức là cho {{math|''e''<sup>−''e''</sup> < ''x'' < ''e''<sup>1/''e''</sup>}}) phải thoả mãn {{math|1=''x''<sup>''y''</sup> = ''y''}} chúng ta thấy rằng {{math|1=''x'' ↦ ''y'' = <sup>∞</sup>''x''}} là (nhánh dưới của) hàm nghịch đảo của {{math|1=''y'' ↦ ''x'' = ''y''<sup>1/''y''</sup>}}.

====Chiều cao âm====
Chúng ta có thể sử dụng quy tắc đệ quy cho tetration,
:<math> {^{k+1}a} = a^{\left({^{k}a}\right)}, </math>

để chứng minh <math>{}^{-1}a</math>:
:<math> ^{k}a = \log_a \left(^{k+1}a\right);</math>

Thay −1 cho {{mvar|k}} sẽ cho
:<math> {}^{-1}a = \log_{a} \left({}^0 a\right) = \log_a 1 = 0</math>.<ref name="tetration extensions"/>

Các giá trị âm nhỏ hơn không thể được xác định rõ theo cách này. Thay −2 cho k trong cùng phương trình sẽ cho
:<math> {}^{-2}a = \log_{a} \left({}^{-1}a \right) = \log_a 0 </math>

mà không được xác định rõ. Họ có thể, tuy nhiên, đôi khi được coi là các bộ.<ref name="tetration extensions"/>

Đối với <math> n = 1 </math>, mọi định nghĩa của <math>\,\! {^{-1}1} </math> đều phù hợp với quy tắc bởi vì
:<math> {^{0}1} = 1 = 1^n </math> với mọi <math>\,\! n = {^{-1}1} </math>.

====Chiều cao thực====
Tại thời điểm này không có giải pháp thông thường được chấp nhận cho vấn đề chung là mở rộng tetration thành giá trị thực và phức của {{mvar|n}}. Tuy nhiên, đã có nhiều cách tiếp cận đối với vấn đề này và các cách tiếp cận khác nhau được nêu ra dưới đây.

Nói chung, vấn đề là tìm kiếm — với mọi số thực {{math|''a'' > 0}} — một ''hàm siêu mũ'' <math>\,f(x) = {}^{x}a</math> trên số thực {{math|''x'' > −2}} thỏa mãn
*<math>\,{}^{-1}a = 0</math>
*<math>\,{}^{0}a = 1</math>
*<math>\,{}^{x}a = a^{\left({}^{x-1}a\right)}</math>cho tất cả số thực <math>x > -1.</math><ref>{{chú thích web |url=https://www.researchgate.net/profile/Dmitrii_Kouznetsov/publication/265066072_5_methods_for_real_analytic_tetration/links/544e57db0cf26dda08900c3d.pdf|title=5+ methods for real analytic tetration|last=Trappmann|first=Henryk|last2=Kouznetsov|first2=Dmitrii||date=ngày 28 tháng 6 năm 2010|access-date= ngày 5 tháng 12 năm 2018}}</ref>

Để tìm thêm phần mở rộng số tự nhiên, thường cần một hoặc nhiều yêu cầu bổ sung. Điều này thường là một số tập hợp sau đây:
*Yêu cầu ''liên tục'' (thường chỉ là <math>{}^{x}a</math> là liên tục trong cả hai biến cho <math>x > 0</math>).
*Yêu cầu ''khả vi'' (có thể là một lần, hai lần, {{mvar|k}} lần, hoặc vô cùng khả vi trong x).
*Yêu cầu ''thường xuyên'' (ngụ ý hai lần vi phân trong {{mvar|x}}) rằng:
:<math>\left(\frac{d^2}{dx^2}f(x) > 0\right)</math> cho tất cả <math>x > 0</math>

Yêu cầu thứ tư khác nhau từ tác giả đến tác giả, và giữa các cách tiếp cận. Có hai cách tiếp cận chính để mở rộng tetration lên chiều cao thực, một là dựa trên yêu cầu ''thường xuyên'', và một là dựa trên yêu cầu ''khả vi''. Hai cách tiếp cận này dường như khác nhau đến mức chúng có thể không thể đối chiếu, vì chúng tạo ra kết quả không nhất quán với nhau.

Khi <math>\,{}^{x}a</math> được xác định cho một khoảng có độ dài một, toàn bộ hàm dễ dàng theo sau với tất cả {{math|''x'' > −2}}.

====Xấp xỉ tuyến tính cho chiều cao thực====
[[Hình:Real-tetration.png|thumbnail|<math>\,{}^{x}e</math> sử dụng xấp xỉ tuyến tính.]]
Một [[xấp xỉ tuyến tính]] (giải pháp cho yêu cầu liên tục, gần đúng với yêu cầu khả vi) được đưa ra bởi:
:<math>{}^{x}a \approx \begin{cases}
  \log_a\left(^{x+1}a\right) &  x \le -1 \\
                       1 + x & -1 < x \le 0 \\
    a^{\left(^{x-1}a\right)} &  0 < x
\end{cases}</math>

vì thế:
{| class="wikitable"
! Xấp xỉ
! Miền
|-
| <math display="inline">{}^x a \approx x + 1</math>
| for {{math|−1 < ''x'' < 0}}
|-
| <math display="inline">{}^x a \approx a^x</math>
| for {{math|0 < ''x'' < 1}}
|-
| <math display="inline">{}^x a \approx a^{a^{(x-1)}}</math>
| for {{math|1 < ''x'' < 2}}
|}

vân vân. Tuy nhiên, nó chỉ là khả vi, tại các giá trị nguyên của {{mvar|x}} đạo hàm được nhân với <math>\ln{a}</math>. Nó liên tục được khả vi cho <math>x > -2</math> khi và chỉ khi <math>a = e</math>. Ví dụ, sử dụng các phương pháp này <math>{}^\frac{\pi}{2}e \approx 5.868...</math> và <math>{}^{-4.3}0.5 \approx 4.03335...</math>

Một định lý chính trong bài báo Hooshmand<ref name="uxp"/> phát biểu: Đặt <math>0 < a \neq 1</math>. Nếu <math>f:(-2, +\infty)\rightarrow \mathbb{R}</math> là liên tục và thỏa mãn các điều kiện sau:

*<math>f(x) = a^{f(x-1)} \;\; \text{với mọi} \;\; x > -1, \; f(0) = 1,</math>
*<math>f</math> là khả vi trên {{math|(−1, 0)}},
*<math>f^\prime</math> là một hàm số không giảm hoặc không tăng trên {{math|(−1, 0)}},
*<math>f^\prime \left(0^+\right) = (\ln a) f^\prime \left(0^-\right) \text{ hoặc } f^\prime \left(-1^+\right) = f^\prime \left(0^-\right).</math>

thì <math>f</math> được xác định duy nhất thông qua phương trình
:<math>f(x) = \exp^{[x]}_a \left(a^{(x)}\right) = \exp^{[x+1]}_a((x)) \quad \text{for all} \; \; x > -2,</math>

trong đó <math> (x) = x - [x] </math> biểu thị phần phân số của <math> \exp^{[x]}_a </math> là <math> [x] </math>-[[hàm lặp]] của hàm <math> \exp_a </math>.

Bằng chứng là điều kiện thứ hai đến thứ tư ngụ ý tầm thường rằng {{mvar|f}} là hàm tuyến tính trên {{math|[−1, 0]}}.

Phép xấp xỉ tuyến tính với hàm tetration tự nhiên <math>{}^xe</math> liên tục được khả vi, nhưng đạo hàm thứ hai của nó không tồn tại ở các giá trị nguyên của đối số của nó. Hooshmand đã đưa ra một định lý duy nhất cho nó, trong đó nêu rõ:

Nếu <math> f: (-2, +\infty)\rightarrow \mathbb{R}</math> là một hàm liên tục thỏa mãn:

*<math> f(x) = e^{f(x-1)} \;\; \text{với mọi} \;\; x > -1, \; f(0) = 1,</math>
*<math>f</math> là lồi trên {{math|(−1, 0)}},
*<math>f^\prime \left(0^-\right) \leq f^\prime \left(0^+\right).</math>

sau đó <math>f = \text{uxp}</math>. [Ở đây <math>f = \text{uxp}</math> là tên của Hooshmand cho phép tính gần đúng tuyến tính với hàm tetration tự nhiên.]

Bằng chứng là giống như trước đây, phương trình đệ quy đảm bảo rằng <math>f^\prime (-1^+) = f^\prime (0^+),</math> và sau đó điều kiện lồi ngụ ý rằng <math>f</math> là tuyến tính trên {{math|(−1, 0)}}.

Do đó, phép xấp xỉ tuyến tính với tetration tự nhiên là giải pháp duy nhất của phương trình <math>f(x) = e^{f(x-1)} \;\; (x > -1)</math> và <math>f(0) = 1</math> là [[hàm lồi]] trên {{math|(−1, +∞)}}. Tất cả các giải pháp đủ khả vi khác phải có điểm uốn trên khoảng {{math|(−1, 0)}}.

====Xấp xỉ bậc cao hơn cho chiều cao thực====
[[Tập tin:Approximations of 0.5 tetratrated to the x.png|thumb|so sánh các xấp xỉ tuyến tính và xấp xỉ bậc hai (màu đỏ và màu xanh tương ứng) của hàm số <math>^{x}0.5</math>, từ {{math|1=''x'' = −2}} đến {{math|1=''x'' = 2}}.]]
Ngoài các xấp xỉ tuyến tính, [[Định lý Taylor|xấp xỉ bậc hai]] (theo yêu cầu khả vi) được đưa ra bởi:
:<math>{}^{x}a \approx \begin{cases}
  \log_a\left({}^{x+1}a\right) & x \le -1 \\
  1 + \frac{2\ln(a)}{1 \;+\; \ln(a)}x - \frac{1 \;-\; \ln(a)}{1 \;+\; \ln(a)}x^2 & -1 < x \le 0 \\
  a^{\left({}^{x-1}a\right)} & x >0
\end{cases}</math>

có thể phân biệt cho tất cả <math>x > 0</math>, nhưng không hai lần khả vi. Ví dụ, <math>{}^\frac{1}{2}2 \approx 1.45933...</math> Nếu <math>a = e</math> thì đây gần giống như xấp xỉ tuyến tính.<ref name="uwu"/>

Bởi vì cách tính toán, hàm này không "hủy bỏ", trái với số mũ, trong đó <math>\left(a^\frac{1}{n}\right)^n = a</math>. Cụ thể là,
:<math>
  {}^n\left({}^\frac{1}{n} a\right)
  = \underbrace{
      \left({}^\frac{1}{n}a\right)^{
        \left({}^\frac{1}{n}a\right)^{
          \cdot^{\cdot^{\cdot^{\cdot^{
            \left({}^\frac{1}{n}a\right)
          }}}}
        }
      }
    }_n
  \neq a
</math>.

Cũng như có một xấp xỉ bậc hai, xấp xỉ bậc ba và phương pháp để khái quát hóa cho xấp xỉ bậc {{mvar|n}} cũng tồn tại, mặc dù chúng khó sử dụng hơn nhiều.<ref name="uwu"/><ref name=SolveAnalyt>Andrew Robbins. [https://web.archive.org/web/20090201164821/http://tetration.itgo.com/paper.html Solving for the Analytic Piecewise Extension of Tetration and the Super-logarithm]. The extensions are found in part two of the paper, "Beginning of Results".</ref>

====Chiều cao phức====
[[Tập tin:Tetration analytic extension.svg|400px|right|thumb|Vẽ phần mở rộng phân tích <math>f = F(x+{\rm i}y)</math> của tetration cho mặt phẳng phức. Cấp độ <math>|f| = 1, e^{\pm 1}, e^{\pm 2}, \ldots</math> và các cấp <math>\arg(f) = 0, \pm 1, \pm 2, \ldots</math> được hiển thị với các đường cong dày.]]
Hiện tại đã chứng minh<ref name="PAU10">{{chú thích tạp chí
|author=W. Paulsen and S. Cowgill
|title=Solving <math>F(z+1) = b^{F(z)}</math> in the complex plane
|journal=Advances in Computational Mathematics
|pages=1–22
|date=March 2017
|url=http://myweb.astate.edu/wpaulsen/tetration2.pdf
|doi=10.1007/s10444-017-9524-1
|volume=43
}}</ref> rằng tồn tại một hàm {{mvar|F}} duy nhất là một nghiệm của phương trình {{math|1=''F''(''z'' + 1) = exp(''F''(''z''))}} và thỏa mãn các điều kiện bổ sung mà {{math|1=''F''(0) = 1}} và {{math|''F''(''z'')}} tiếp cận các [[Điểm cố định (toán học)|điểm cố định]] của logarit (khoảng {{math|0.318 ± 1.337''i''}}) khi {{mvar|z}} tiếp cận {{math|±''i''∞}} và {{mvar|F}} là [[Hàm chỉnh hình|biến hình]] trong toàn bộ mặt phẳng phức {{mvar|z}}-phức, ngoại trừ một phần của trục sô thực tại {{math|''z'' ≤ −2}}. Bằng chứng này xác nhận một [[phỏng đoán]] trước đó.<ref name="MOC09">{{chú thích tạp chí
|author=D. Kouznetsov
|title=Solution of <math>F(z + 1) = \exp(F(z))</math> in complex <math>z</math>-plane
|journal=[[Mathematics of Computation]]
|volume=78
|issue=267
|pages=1647–1670
|date=July 2009
|url=http://www.ams.org/mcom/2009-78-267/S0025-5718-09-02188-7/S0025-5718-09-02188-7.pdf
|doi=10.1090/S0025-5718-09-02188-7
}}</ref> Bản đồ phức của chức năng này được hiển thị trong hình bên phải. Bằng chứng cũng hoạt động cho các cơ số khác ngoài ''e'', miễn là cơ sở đó lớn hơn <math>e^\frac{1}{e}</math>.

Yêu cầu của tetration là chỉnh hình rất quan trọng cho tính độc đáo của nó. Nhiều chức năng {{mvar|S}} có thể được xây dựng như
: <math>S(z) = F\!\left(~z~
    + \sum_{n=1}^{\infty} \sin(2\pi nz)~ \alpha_n
    + \sum_{n=1}^{\infty} \Big(1 - \cos(2\pi nz)\Big) ~\beta_n
  \right)
</math>

trong đó {{mvar|α}} và {{mvar|β}} là các chuỗi thực sự phân rã đủ nhanh để cung cấp [[Giới hạn (toán học)|sự hội tụ của dãy liên tiếp nhau]], ít nhất là ở các giá trị vừa phải của {{math|Im ''z''}}.

Hàm {{mvar|S}} thỏa mãn các phương trình tetration {{math|1=''S''(''z'' + 1) = exp(''S''(''z''))}}, {{math|1=''S''(0) = 1}}, và nếu {{math|''α<sub>n</sub>''}} và {{math|''β<sub>n</sub>''}} tiếp cận 0 đủ nhanh nó sẽ được phân tích trên một vùng lân cận của trục số thực dương. Tuy nhiên, nếu một số phần tử của {{math|{''α''}<nowiki/>}} hoặc {{math|{''β''}<nowiki/>}} không bằng không, thì hàm {{mvar|S}} có vô số các điểm kỳ dị bổ sung và đường cắt trong mặt phẳng phức, do sự tăng trưởng theo cấp số nhân của sin và cos dọc theo trục tưởng tượng. Các hệ số {{math|{''α''}<nowiki/>}} và {{math|{''β''}<nowiki/>}} càng nhỏ thì, các điểm kỳ dị này càng xa trục thực.

Do đó, việc mở rộng tetration vào mặt phẳng phức là rất cần thiết cho sự độc đáo. tetration [[Hàm giải tích|phân tích thực]] không phải là duy nhất.

==Đệ quy phi cơ bản==
Tetration (bị giới hạn ở <math>\mathbb{N}^2</math>) không phải là một [[hàm đệ quy nguyên thủy]]. Người ta có thể chứng minh bằng cảm ứng rằng với mọi hàm đệ quy sơ cấp {{mvar|f}}, có một hằng số {{mvar|c}} sao cho
:<math>f(x) \leq \underbrace{2^{2^{\cdot^{\cdot^{x}}}}}_c.</math>
Chúng ta biểu thị phía bên tay phải bởi <math>g(c, x)</math>. Giả sử ngược lại rằng tetration là đệ quy sơ cấp. <math>g(x, x)+1</math> cũng là đệ quy sơ cấp. Theo bất đẳng thức trên, có một hằng số {{mvar|c}} sao cho <math>g(x,x) +1 \leq g(c, x)</math>. Bằng cách để <math>x=c</math>, chúng ta có <math>g(c,c) + 1 \leq g(c, c)</math>, một mâu thuẫn.

==Phép toán nghịch đảo==
Lũy thừa có hai phép toán nghịch đảo: căn và logarit. Tương tự, nghịch đảo của tetration thường được gọi là ''siêu căn'', và ''siêu logarit'' (Trong thực tế, tất cả các phép toán có bậc lớn hơn hoặc bằng 3 đều có phép nghịch đảo tương tự). Ví dụ, trong hàm <math>{^3}y=x</math>, hai nghịch đảo là siêu căn bậc 3 của {{mvar|y}} và siêu logarit cơ số {{mvar|y}} của {{mvar|x}}.

===Siêu căn===
Các siêu căn là phép toán nghịch đảo của tetration đối với cơ số: nếu <math>^n y = x</math>, thì {{mvar|y}} là siêu căn bậc {{mvar|n}} của {{mvar|x}} (<math>\sqrt[n]{x}_s</math> hoặc <math>\sqrt[n]{x}_4</math>).

Ví dụ,
:<math>^4 2 = 2^{2^{2^{2}}} = 65{,}536</math>

vì vậy 2 là siêu căn bậc 4 của 65,536.

===Siêu căn bậc 2===
[[Hình:The graph y = √x(s).png|thumb|right|Đồ thị <math>y = \sqrt{x}_s</math>.]]
''Siêu căn bậc 2'' có hai ký hiệu tương đương, <math>\mathrm{ssrt}(x)</math> và <math>\sqrt{x}_s</math>. Nó là nghịch đảo của <math>^2 x = x^x</math> và có thể được biểu diễn bằng hàm W Lambert:<ref name = "Corless">
{{chú thích tạp chí
 | last1 = Corless | first1 = R. M.
 | last2 = Gonnet | first2 = G. H.
 | last3 = Hare | first3 = D. E. G.
 | last4 = Jeffrey | first4 = D. J.
 | last5 = Knuth | first5 = D. E.
 | author5-link = Donald Knuth
 | title = On the Lambert W function
 | journal = Advances in Computational Mathematics
 | volume = 5
 | page = 333
 | year = 1996
 | url = http://www.apmaths.uwo.ca/~rcorless/frames/PAPERS/LambertW/LambertW.ps <!-- or http://www.apmaths.uwo.ca/~djeffrey/Offprints/W-adv-cm.pdf -->
 | format = [[PostScript]] <!-- or PDF -->
 | doi = 10.1007/BF02124750
| arxiv = 1809.07369
 }}</ref>

:<math>\mathrm{ssrt}(x)=e^{W(\ln x)}=\frac{\ln x}{W(\ln x)}</math>

Hàm này cũng minh họa bản chất phản xạ của hàm căn và hàm logarit vì phương trình dưới đây chỉ đúng khi <math>y = \mathrm{ssrt}(x)</math>:

: <math>\sqrt[y]{x} = \log_y x</math>

Giống như [[căn bậc hai]], siêu căn bậc hai của {{mvar|x}} có thể không có một giải pháp duy nhất. Không giống như căn bậc hai, việc xác định số lượng siêu căn bậc hai của {{mvar|x}} có thể khó khăn. Nói chung, nếu <math>e^{-1/e}<x<1</math>, thì {{mvar|x}} có hai siêu căn bậc hai dương giữa 0 và 1, thì {{mvar|x}} có một siêu căn bậc 2 dương lớn hơn 1. Nếu {{mvar|x}} là số dương và nhỏ hơn <math>e^{-1/e}</math> thì nó không có bất kỳ siêu căn bậc 2 [[Số thực|thực]] nào, nhưng công thức đã cho ở trên mang lại vô cùng nhiều công thức [[Số phức|phức]] cho bất kỳ {{mvar|x}} hữu hạn nào không bằng 1.<ref name = "Corless" /> Hàm đã được sử dụng để xác định kích thước của [[cụm dữ liệu]].<ref>Krishnam R. (2004), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.8594 Efficient Self-Organization Of Large Wireless Sensor Networks]" - Dissertation, BOSTON UNIVERSITY, COLLEGE OF ENGINEERING. pp. 37–40</ref>

Tại <math> x = 1 </math>:

<center><math> \mathrm{ssqrt}(x) = 1 + (x-1) -(x-1)^2 + \frac{3}{2} (x-1)^3 - \frac{17}{6} (x-1)^4 + \frac{37}{6}(x-1)^5 - \frac{1759}{120}(x-1)^6 + \frac{13279}{360} (x-1)^7 + \Omicron \left((x-1)^8 \right) </math></center>

===Các siêu căn khác===
[[Tập tin:Cube super root.png|thumb|Đồ thị <math>y=\sqrt[3]{x}_s</math>.]]
Đối với mỗi số nguyên {{math|''n'' > 2}}, hàm {{math|''<sup>n</sup>x''}} được xác định và tăng cho {{math|''x'' ≥ 1}}, và {{math|1=<sup>''n''</sup>1 = 1}}, sao cho siêu căn bậc {{mvar|n}} của {{mvar|x}}, <math>\sqrt[n]{x}_s</math>, tồn tại cho {{math|''x'' ≥ 1}}.

Tuy nhiên, nếu sử dụng [[Tetration#Xấp xỉ tuyến tính cho tham số chiều cao thực|xấp xỉ tuyến tính ở trên]], thì <math> ^y x = y + 1</math> nếu {{math|−1 < ''y'' ≤ 0}}, vì vậy <math> ^y \sqrt{y + 1}_s </math> không thể tồn tại.

Cũng giống như siêu căn bậc hai, thuật ngữ cho các siêu căn khác có thể dựa trên [[Căn bậc n|các căn thông thường]]:"siêu căn bậc 3" có thể được thể hiện như <math>\sqrt[3]{x}_s</math>, "siêu căn bậc 4" có thể được thể hiện như <math>\sqrt[4]{x}_s</math>, và "siêu căn bậc {{mvar|n}} là <math>\sqrt[n]{x}_s</math>. Lưu ý rằng <math>\sqrt[n]{x}_s</math> có thể không được xác định duy nhất, bởi vì có thể có nhiều hơn căn thứ {{mvar|n}}. Ví dụ, {{mvar|x}} có một siêu căn đơn (số thực) nếu {{mvar|n}} lẻ và lên đến hai nếu {{mvar|n}} chẵn.

Cũng giống như việc mở rộng tetration lên chiều cao vô hạn, siêu căn có thể được mở rộng đến {{math|1=n = ∞}}, được xác định rõ nếu {{math|1/''e'' ≤ ''x'' ≤ ''e''}}. Lưu ý rằng <math> x = {^\infty y} = y^{\left[^\infty y\right]} = y^x,</math> và do đó <math> y = x^{1/x} </math>. Do đó, khi nó được xác định rõ, <math> \sqrt[\infty]{x}_s = x^{1/x} </math> và, không giống như tetration thường, là một hàm số sơ cấp. Ví dụ, <math>\sqrt[\infty]{2}_s = 2^{1/2} = \sqrt{2}</math>.

Nó xuất phát từ [[Định lý Schelfider Schneider]] siêu căn  cho bất kỳ số nguyên dư<math>\sqrt{n}_s</math>ơng {{mvar|n}} là số nguyên hoặc [[số siêu việt]], và <math>\sqrt[3]{n}_s</math> là số nguyên hoặc không hợp lý. Vẫn còn là một câu hỏi mở cho dù các siêu căn phi lý có siêu việt trong trường hợp sau hay không.

===Siêu logarit===
Khi định nghĩa tăng liên tục (tính bằng <math>x</math>) của tetration, <math>^{x}a</math>, đã được chọn, siêu logarit tương ứng <math>\operatorname{slog}_a{x}</math> hoặc <math>\log^{4}_a{x}</math> được định nghĩa cho tất cả các số thực <math>x</math>, và <math>a>1</math>.

Hàm <math>\operatorname{slog}_a {x}</math> thỏa mãn:
:<math>\begin{array}{lcl}
\operatorname{slog}_a {^{x}a} &=& x \\
\operatorname{slog}_a {a^{x}} &=& 1 + \operatorname{slog}_a x \\
\operatorname{slog}_a {x} &=& 1 + \operatorname{slog}_a \log_a x \\
\operatorname{slog}_a {x} &>& -2
\end{array}
</math>

==Xem thêm==
*[[Hàm Ackermann]]
*[[Kí hiệu O lớn|Ký hiệu O lớn]]
*[[Hàm mũ đôi]]
*[[Hyperoperation]]
*[[Logarit lặp]]

==Tham khảo==
{{tham khảo}}

== Thư mục ==
* Daniel Geisler, ''[http://www.iteratedfunctions.com/ iteratedfunctions.com] {{Webarchive|url=https://web.archive.org/web/20190616233133/http://www.iteratedfunctions.com/ |date = ngày 16 tháng 6 năm 2019}}''
* Ioannis Galidakis, ''[https://web.archive.org/web/20090520164620/http://ioannis.virtualcomposer2000.com/math/exponents4.html On extending hyper4 to nonintegers]'' (undated, 2006 or earlier) ''(A simpler, easier to read review of the next reference)''
* Ioannis Galidakis, ''[https://web.archive.org/web/20060525195301/http://ioannis.virtualcomposer2000.com/math/papers/Extensions.pdf On Extending hyper4 and Knuth's Up-arrow Notation to the Reals]'' (undated, 2006 or earlier).
* Robert Munafo, ''[http://mrob.com/pub/math/hyper4.html#real-hyper4 Extension of the hyper4 function to reals]'' ''(An informal discussion about extending tetration to the real numbers.)''
* Lode Vandevenne, ''[http://groups.google.com/group/sci.math/browse_frm/thread/39a7019f9051c5d7/8c1c4facb7e4bd6d#8c1c4facb7e4bd6d Tetration of the Square Root of Two]'', (2004). ''(Attempt to extend tetration to real numbers.)''
* Ioannis Galidakis, ''[https://web.archive.org/web/20090420132250/http://ioannis.virtualcomposer2000.com/math/index.html Mathematics]'', ''(Definitive list of references to tetration research. Lots of information on the Lambert W function, Riemann surfaces, and analytic continuation.)''
* Galidakis, Ioannis and Weisstein, Eric W. [http://mathworld.wolfram.com/PowerTower.html Power Tower]
* Joseph MacDonell, ''[http://www.faculty.fairfield.edu/jmac/ther/tower.htm Some Critical Points of the Hyperpower Function] {{Webarchive|url=https://web.archive.org/web/20100117161604/http://www.faculty.fairfield.edu/jmac/ther/tower.htm |date=2010-01-17 }}''.
* Dave L. Renfro, ''[http://mathforum.org/discuss/sci.math/t/350321 Web pages for infinitely iterated exponentials]''
* {{chú thích tạp chí | author = Knobel R | year = 1981 | title = Exponentials Reiterated | url =https://archive.org/details/sim_american-mathematical-monthly_1981-04_88_4/page/235| journal = [[American Mathematical Monthly]] | volume = 88 | issue = | pages = 235–252 }}
* Hans Maurer, "Über die Funktion <math>y=x^{[x^{[x(\cdots)]}]}</math> für ganzzahliges Argument (Abundanzen)." ''Mittheilungen der Mathematische Gesellschaft in Hamburg'' '''4''', (1901), p.&nbsp;33–50. ''(Reference to usage of <math>\ {^{n} a}</math> from Knobel's paper.)''

{{Hyperoperation}}

[[Thể loại:Lý thuyết số]]
[[Thể loại:Toán học tổ hợp]]
[[Thể loại:Phép toán hai ngôi]]
[[Thể loại:Hàm mũ]]
[[Thể loại:Số lớn]]