Supereksponento: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Thijs!bot (diskuto | kontribuoj)
Neniu resumo de redakto
Linio 1:
[[Dosiero:Tetration large.png|thumb|400px|''<sup>n</sup>x'' por ''n'' = 2, 3, 4, 5, 6, 7]]
{{redaktata}}
[[Dosiero:Tetration large.png|thumbl|''<sup>n</sup>x'' por ''n'' = 2, 3, 4, 5, 6, 7]]
[[Dosiero:InfinitePowerTower.gif|thumb|Malfinia potenca turo]]
En [[matematiko]], '''supereksponento''' aŭ '''4-hiperoperatoro''' estas '''[[ripetita funkcio|ripetita]] [[eksponenta funkcio]]''', la sekva [[hiperoperatoro]] post [[potenco (matematiko)|potencigo]].
 
Linio 12 ⟶ 10:
* 3 [[Potenco (matematiko)|potencigo]]
*: <math>{{a^b = \ } \atop {\ }} {{\underbrace{a \times a \times \cdots \times a}} \atop b}</math>
* 4 '''supereksponentoSupereksponento'''
*: <math>{\ ^{b}a = \ \atop {\ }} {{\underbrace{a^{a^{\cdot^{\cdot^{a}}}}}} \atop b}</math>
 
Linio 21 ⟶ 19:
La unua tri operatoroj - adicio, multipliko kaj potencigo - povas esti ĝeneraligita por [[kompleksa nombro|kompleksaj]] valoroj de ambaŭ argumentoj. Sed por supereksponento ĉi tia bona regula ĝeneraligo ne estas ankoraŭ trovita. Iuj provoj de ĝeneraligo estas priskribitaj pli sube, sed ili ne estas sufiĉe bonaj. Tiel supereksponento ne estas konsiderata kiel [[elementa funkcio]].
 
Gravas ke en kalkulado de multnivela potencigo, la potencigo estas farita ekde la plej profunda nivelo (en la skribmaniero, ekde la plej supra nivelo):
 
:<math> ^{4}2 = 2^{2^{2^2}} = 2^{(2^{(2^2)})} = 2^{(2^4)} = 2^{16} = 65536</math>
 
Se fari la potencigon en la mala ordo rezultiĝas ĝenerale la alia valoro, ekzemple:
 
:<math>\,\!2^{2^{2^2}} \not= \,\! ({(2^2)}^2)^2 = 2^{2 \cdot 2 \cdot2} = 256</math>.
 
La alia varianto de supereksponento povas esti enkondukita por la dua varianto, tamen ĉi tiu okazo povas esti skribita kiel
:<math>({(2^2)}^2)^2 = 2^{2 \cdot 2 \cdot 2} = 2^{2^3}</math>
 
Estas ankaŭ la aliaj similaj al supereksponento esprimoj:
 
{| class="wikitable"
| <math>a^{a^{\cdot^{\cdot^{a^a}}}}</math>
| Supereksponento
| ''a'' estas la '''bazo''', kaj la kvanto de ''a'' estas la '''alto'''
|-
| <math>a^{a^{a^{\cdot^{\cdot^\cdot}}}}</math>
| Supereksponento de malfinia alto (vidu sube pli detale)
| ''a'' estas la bazo
|-
| <math>a^{a^{\cdot^{\cdot^{a^x}}}}</math>
| Ripetitaj eksponentoj
| ''a'' estas la bazo, kaj la kvanto de ''a'' plus 1 por ''x'' estas la alto
|-
| <math>a_1^{a_2^{\cdot^{\cdot^{a_n}}}}</math>
| Nestitaj eksponentoj
| ''n'' estas la alto, la bazoj ''a<sub>i</sub>'' povas estas malsamaj.
|-
| <math>a_1^{a_2^{a_3^{\cdot^{\cdot^\cdot}}}}</math>
| Malfiniaj nestitaj eksponentoj
|
|}
 
== Skribmaniero ==
 
La skribmanieroj por supereksponento estas:
 
{| class="wikitable"
! Nomo
! Skribo
! Priskribo
|-
| Norma skribmaniero
| ''<sup>b</sup>a''
|
|-
| [[Notacio de Knuth]]
| <math>a {\uparrow\uparrow} b = a {\uparrow^2} b</math>
| Permesas vastigaĵo per uzo de pli multaj sagoj, aŭ per indeksita sago.
|-
| [[Ĉena indikila skribmaniero de Conway]]
| <math>a \rightarrow b \rightarrow 2</math>
| Permesas vastigaĵon per uzo de pli granda nombro anstataŭ 2 en la fino (ekvivalento al la vastigaĵo pli supre), kaj ankaŭ per etendanta la ĉeno.
|-
| [[Akermana funkcio]]
| <math>{}^{b}2 = \operatorname{A}(4, b - 3) + 3</math>
| Taŭgas nur por parta okazo ''a=2''.
|-
| Ripetita eksponento
|<math>{}^{b}a = \exp_a^b(1)</math>
| Permesas simplan vastigaĵo al ripetitaj eksponentoj kun komenca valoro ne egala al 1. <br> Ĉi tie <math>\exp_a^n(x) = a^{a^{\cdot^{\cdot^{a^x}}}}</math> kun ''n'' fojoj de ''a''.
|-
| [[Hiperoperatoro]]
| <math>a^{(4)}b</math>
| Permesas vastigaĵo per uzo de pli granda nombro anstataŭ 4.
|-
| [[Askio|Askia]] skribmaniero de [[notacio de Knuth]]
| a^^b
| La supren-sago estas anstataŭigita per la ĉapelo ^.
|}
 
La skribmanieroj por ripetita eksponento estas:
 
{| class="wikitable"
! Nomo
! Skribo
! Priskribo
|-
| Norma skribmaniero
| <math>\exp_a^n(x)</math>
| Ĉi tie <math>\exp_a^n(x) = a^{a^{\cdot^{\cdot^{a^x}}}}</math> kun ''n'' fojoj de ''a''.
|-
| [[Notacio de Knuth]]
| <math>(a{\uparrow})^n(x)</math>
| Permesas vastigaĵo per uzo de pli multaj sagoj, aŭ per indeksita sago.
|-
| Skribmaniero de Ioannita Galidakis
| <math>\,{}^{n}(a, x)</math>
| Uzata en <ref>[http://ioannis.virtualcomposer2000.com/math/papers/Extensions.pdf]</ref>.
|-
| [[Askio|Askia]] helpa
| a^^n@x
| Bazita sur konsidero ke ripetita eksponenta funkcio estas ''helpa supereksponento''.
|-
| [[Askio|Askia]] norma
| exp_a^n(x)
| Bazita sur norma skribmaniero.
|}
 
== Ekzemploj ==
 
La valoroj enhavantaj dekuman komon estas proksimumaj.
 
{| class="wikitable"
! ''n''
! ''<sup>2</sup>n''
! ''<sup>3</sup>n''
! ''<sup>4</sup>n''
|-
| 0
| 1
| 0
| 1
|-
| 1
| 1
| 1
| 1
|-
| 2
| 4
| 16
| 65536
|-
| 3
| 27
| 7 625 597 484 987
| <math>\exp_{10}^3(1,09902)</math>
|-
| 4
| 256
| <math>\exp_{10}^2(2,18788)</math>
| <math>\exp_{10}^3(2,18726)</math>
|-
| 5
| 3125
| <math>\exp_{10}^2(3,33931)</math>
| <math>\exp_{10}^3(3,33928)</math>
|-
| 6
| 46656
| <math>\exp_{10}^2(4,55997)</math>
| <math>\exp_{10}^3(4,55997)</math>
|-
| 7
| 823543
| <math>\exp_{10}^2(5,84259)</math>
| <math>\exp_{10}^3(5,84259)</math>
|-
| 8
| 16 777 216
| <math>\exp_{10}^2(7,18045)</math>
| <math>\exp_{10}^3(7,18045)</math>
|-
| 9
| 387 420 489
| <math>\exp_{10}^2(8,56784)</math>
| <math>\exp_{10}^3(8,56784)</math>
|-
| 10
| 10 000 000 000
| <math>\exp_{10}^3(1)</math>
| <math>\exp_{10}^4(1)</math>
|}
 
== Vastigaĵoj ==
 
Vastigaĵo de ''<sup>b</sup>x'' al reelaj nombroj <math>x > 0</math> estas simpla. Por ĉiu natura nombro <math>b</math>, estas '''super-potenca funkcio''' ''f(x) = <sup>b</sup>x''.
 
=== Vastigaĵo al bazo 0 ===
 
Iam ''0<sup>0</sup>'' estas prenita al esti nedifinita valoro. En ĉi tiu okazo, valoro ''<sup>k</sup>0'' ne povas esti difinita rekte. Tamen, <math>\lim_{n\rightarrow0} {}^{k}n</math> estas bone difinita kaj ekzistas:
 
:<math>\lim_{n\rightarrow0} {}^{k}n = \begin{cases} 1, & k \mbox{ para } \\ 0, & k \mbox{ nepara } \end{cases} </math>
 
Ĉi tiu limigo veras ankaŭ por negativaj ''n''. ''<sup>k</sup>0'' povita esti difinita per ĉi tiu limigo kaj ĉi tio devus konsenti kun difino de <math>0^0 = 1</math>. Ĉi tiu limiga difino tenas por <math>{}^{2}0 = 1</math> ĉar 2 estas [para]], kaj tenas por <math>{}^{0}0 = 1</math> ĉar [[0 estas (eĉ, ebena, para)]].
 
=== Vastigaĵo al kompleksaj bazoj ===
 
Pro tio ke [[kompleksa nombro|kompleksaj nombroj]] povas esti altigita al potencoj, supereksponento povas esti aplikita al bazoj de formo ''z = a + bi'', kie ''i'' estas la [[imaginara unuo]].
 
Ekzemple, en kalkulo de ''<sup>k</sup>i'' per uzo de [[ĉefa branĉo]] de la natura logaritmo, kaj de [[eŭlera formulo]] rezultiĝas:
 
:<math> i^{a+bi} = e^{{i\pi \over 2} (a+bi)} = e^{-{b\pi \over 2}} (\cos{a\pi \over 2} + i \sin{a\pi \over 2}) </math>
 
Ĉi tio donas rikuran difinon por <math>{}^{(k+1)}i = a'+b'i</math> per <math>{}^{k}i = a+bi</math>:
 
:<math>a' = e^{-{b\pi \over 2}} \cos{a\pi \over 2}</math>
:<math>b' = e^{-{b\pi \over 2}} \sin{a\pi \over 2}</math>
 
{| class="wikitable"
! <math>{}^{k}i</math>
! Proksimuma valoro
|-
| <math>{}^{1}i = i</math>
| ''i''
|-
| <math>{}^{2}i = i^{({}^{1}i)}= i^i </math>
| 0,2079
|-
| <math>{}^{3}i = i^{({}^{2}i)}</math>
| 0,9472 + 0,3208i
|-
| <math>{}^{4}i = i^{({}^{3}i)}</math>
| 0,0501 + 0,6021i
|-
| <math>{}^{5}i = i^{({}^{4}i)}</math>
| 0,3872 + 0,0305i
|-
| <math>{}^{6}i = i^{({}^{5}i)}</math>
| 0,7823 + 0,5446i
|-
|<math>{}^{7}i = i^{({}^{6}i)}</math>
| 0,1426 + 0,4005i
|-
|<math>{}^{8}i = i^{({}^{7}i)}</math>
| 0,5198 + 0,1184i
|-
|<math>{}^{9}i = i^{({}^{8}i)}</math>
| 0,5686 + 0,6051i
|}
 
Solvante la inversan rilaton, rezultiĝas <math>\,{}^{0}i = 1</math> kaj <math>\,{}^{(-1)}i = 0</math>, kaj pluaj negativaj valoroj de ''k'' donas malfiniajn rezultojn sur la imaginara akso. Grafike prezentita en la [[kompleksa ebeno]], la tuta vico spiralas al la limigo ''0,4383 + 0,3606i'' kiu povis esti interpretita kiel la valoro se ''k'' estas malfinio.
 
Ĉi tiaj supereksponentaj vicoj estis studita ekde la tempo de [[Eŭlero]] sed estas malbone) komprenita pro sia kaosa konduto. Plej parto de publikaĵoj fokusiĝis sur la konverĝo de la potenca turo. Aktuala esplori grande plisukcesiĝis per uzo de komputiloj kun fraktala kaj signa matematika programaro. Multo de tio kio estas sciata pri supereksponento venas de ĝenerala scio de kompleksa dinamiko kaj specifa esploro de la eksponenta funkcia mapo.
 
=== Vastigaĵo al malfiniaj altoj ===
 
[[Dosiero:InfinitePowerTower.gif|thumb|220px|Supereksponento de malfinia alto de reela argumento.]]
[[Dosiero:TetrationConvergence3D.png|thumb|300px|[[Absoluta valoro]] de <math>-\frac{\mathrm{W}(-\ln{z})}{\ln{z}} </math> sur kompleksa ebeno. Nigra kurbo estas la supereksponento de malfinia alto de reela argumento.]]
 
Supereksponento povas esti etendita al [[malfinio|malfinia]] alto. Ĉi tio estas ĉar por bazoj en certa intervalo supereksponento [[konverĝo|konverĝas]] al finia valoro kiam la alto strebas al malfinio. Ekzemple, <math>\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\cdot^{\cdot}}}}</math> konverĝas al 2, kaj povas pro tio estas konsiderata kiel egala al 2. La tendenco al 2 povas vidiĝi per komputado de malgranda finia turo:
 
:<math>\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{1.41}}}}} = \sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{1,63}}}} = </math>
 
:<math>=\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{1,76}}} = \sqrt{2}^{\sqrt{2}^{1,84}} = </math>
 
:<math>= \sqrt{2}^{1,89} = 1,93</math>
 
Ĝenerale, la malfinia potenca turo <math>x^{x^{\cdot^{\cdot}}}</math>, difinita kiel la limigo de <math>{}^{n}x</math> kiam ''n'' iras al malfinio konverĝas por <math>e^{-e} < x < e^{1/e}</math>, proksimume en la intervalo 0,066 ... 1,44. Por ajna reela ''r'' kun ''0 < r < e'', estu <math>x = r^{1/r}</math>, tiam la limigo estas ''r''; ne estas konverĝo por <math>x > e^{1/e}</math> pro tio ke la maksimumo de <math>r^{1/r}</math> estas <math>e^{1/e}</math>.
 
Ĉi tio povas esti etendita al kompleksaj nombroj ''z'':
 
:<math>{}^{\infty}z = z^{z^{\cdot^{\cdot}}} = -\frac{\mathrm{W}(-\ln{z})}{\ln{z}} </math>
 
kie <math>\mathrm{W}(z)</math> estas [[W funkcio de Lambert]]. Pro tio ke la limigo <math>h(z)={}^{\infty}z</math> devas kontentigi <math>z^h(z)=h(z)</math>, ''h(z)'' estas la suba branĉo de la retroĵeto de <math>z\mapsto z^{1/z}</math>.
 
=== Vastigaĵo al negativaj altoj ===
 
Supereksponento povas esti etendita al negativaj altoj. Pro rilato:
 
:<math>{}^{k}n = \log_n ({}^{(k+1)}n)</math>
 
(kiu sekvas de la difino de supereksponento), eblas derivi (aŭ difini) valorojn de <math>{}^{k}n</math> kie <math>k \in \{-1, 0, 1\}</math>.
 
: <math> {}^{1}n = \log_n ({}^{2}n) = \log_{n} (n^n) = n \log_{n} n = n </math>
: <math> {}^{0}n = \log_{n} ({}^{1}n) = \log_{n} n = 1 </math>
: <math> {}^{(-1)}n = \log_{n}{}^{0}n) = \log_{n} 1 = 0 </math>
 
Ĉi tiu konfirmas la intuicia difinon de <math>{}^{1}n</math> kiel simple ''n''. Tamen, pluaj valoroj ne povas esti derivitaj per plua ripeto en ĉi tiu maniero ĉar <math>\log_n 0</math> estas nedifinita.
 
Simile, pro tio ke <math>\log_{1} 1</math> estas nedifinita:
 
:<math>\log_{1} 1 = \frac{\log_n 1}{\log_n 1} = \frac{0}{0}</math>
 
la derivaĵo pli supre ne validas se ''n'' = 1. Pro tio, <math>{}^{(-1)}1</math> devas resti nedifinita. Tamen <math>{}^{0}1</math> povas sekure esti difinita kiel 1.
 
=== Vastigaĵo al reelaj altoj ===
 
[[Dosiero:Real-tetration.png|thumbnail|<math>\,{}^{x}e</math> uzante linearan proksimumigon]]
 
Je ĉi tiu tempo ne estas kutime akceptita solvaĵo al la ĝenerala problemo de etendanta supereksponento al la reela aŭ kompleksaj valoroj de ''b'', kvankam ĝi estas sub aktiva esploro.
 
Ĝenerale la problemo estas trovado de supereksponenta funkcio <math>\,f(x) = {}^{x}a</math> super reela ''x > -2'' tia ke:
 
* <math>\,{}^{(-1)}a = 0</math>
* <math>\,{}^{0}a = 1</math>
* <math>\,{}^{b}a = a^{({}^{(b-1)}a)}</math>
* Kvara postulo estas kutime unu el:
*: '''[[Kontinueco]]''' - ke <math>{}^{x}a</math> estas kontinua je ambaŭ variabloj por ''x > 0''
*: '''[[Derivebleco]]''' - ĝi povas unufoje, dufoje, ''n''-foje, aŭ malfinie diferencialebla je ''x''.
*: '''[[Reguleco]]''' (enhavanta dufojan diferencialeblecon je ''x'')
*::<math>( \frac{d^2}{dx^2}f(x) > 0)</math> por ĉiuj ''x > 0''
 
La kvara bezono diferencas de aŭtoro al aŭtoro, kaj inter manieroj. Estas du ĉefa manieroj al etendo de supereksponento al reela altoj, unu estas bazita sur la reguleca postulo bezono, kaj unu estas bazita sur la derivebleca postulo. Ĉi tiuj du manieroj aspekti al esti tiel malsama ke ili povas ne esti kunigitaj, ĉar ili produktas rezultojn nekonsekvencajn unu kun la alia.
 
Solvaĵo kiu kontentigas iun el ĉi tiuj postuloj en intervalo de longo 1 povas esti etendita al solvaĵo por ĉiuj pozitivaj reelaj nombroj. Kiam <math>\,{}^{x}a</math> estas difinita por intervalo de longo unu, la tuta funkcio facile sekvas por ĉiuj ''x > -2''.
 
La '''lineara proksimumigo''' estas:
:<math>{}^{x}a \approx \begin{cases}
\log_a({}^{(x+1)}a) & x \le -1 \\
1 + x & -1 < x \le 0 \\
a^{({}^{(x-1)}a)} & x > 0
\end{cases}</math>
de ĉi tie:
 
{| class="wikitable"
|<math>\,{}^{x}a \approx x+1</math>
|por <math>-1<x<0</math>
|-
|<math>\,{}^{x}a \approx a^x</math>
|por <math>0<x<1</math>
|-
|<math>\,{}^{x}a \approx a^{a^{(x-1)}}</math>
|por <math>1<x<2</math>
|-
| colspan=2 | ...
|}
Ĝi estas kontunua sed nur popeca diferencialebla; je entjeraj valoroj de ''x'' la derivaĵo estas multiplikita per ''ln a''.
 
La '''kvadrata proksimuma kalkulado''' estas:
:<math>{}^{x}a \approx \begin{cases}
\log_a({}^{(x+1)}a) & x \le -1 \\
1 + \frac{2\log(a)}{1+\log(a)}x - \frac{1-\log(a)}{1+\log(a)}x^2 & -1 < x \le 0 \\
a^{({}^{(x-1)}a)} & x > 0
\end{cases}</math>
kiu estas diferencialebla por ĉiuj ''x > 0'', sed ne dufoje diferencialebla.
 
En difino de <math>{}^{x}a</math> por ĉiu a, alia ebla bezono povis esti ke ĝi estu monotone pligrandiĝanta kun ''a''.
 
=== Vastigaĵo al kompleksaj altoj ===
 
[[Dosiero:2008analuxpFig1d.jpg|400px|right|thumb|Desegnaĵo de la analitika vastigaĵo <math>f=F(x+{\rm i}y)</math> de supereksponento al la kompleksa ebeno. <br> Niveloj <math>|f|=1,e^{\pm 1},e^{\pm 2},\ldots</math> kaj <br> niveloj <math>\arg(f)=0,\pm 1,\pm 2,\ldots</math> estas montrita kiel dikaj kurboj.]]
 
Ekzisto de analitika vastigaĵo de <math>{}^{z}a</math> al kompleksaj valoroj de ''z'' estas ankoraŭ ne trovita. Por ''a=e'', ĝi povis esti solvaĵo de la [[funkcia ekvacio]] <math>F(z+1)=\exp(F(z))</math> kun aldonaj kondiĉoj ke ''F(0)=1'' kaj ''F(z)'' restas finia kiel <math>z\to\pm{\rm i}\infty</math>. Se tia vastigaĵo ekzistas, ĝi povus havi la formon montrita en la bildo dekstre. Ĉi tiu funkcio estas ne [[tuta funkcio|tuta]], ĉar estas specialaĵoj de ''F(z)'' sur la reela'' akso je la punktoj ''z = -2, -3, -4, ...''.
 
== Retroĵetoj ==
 
La [[retroĵeto]]j de supereksponento estas nomataj kiel '''[[superradiko]]''' aŭ '''hiper-4-radiko''' kaj la '''[[superlogaritmo]]''' aŭ '''hiper-4-logaritmo'''. La kvadrata superradiko ''ssqrt(x)'' kiu estas retroĵeto de <math>x^x</math> povas esti prezentita kun la [[W funkcio de Lambert]]:
 
:<math>\mathrm{ssqrt}(x)=e^{W(\mathrm{ln}(x))}=\frac{\mathrm{ln}(x)}{W(\mathrm{ln}(x))}</math>
 
La [[superlogaritmo]] <math>\mathrm{slog}_a b</math> estas difinita por ĉiuj pozitivaj kaj negativaj reelaj nombroj ''b''.
 
La funkcio <math>\mathrm{slog}_a</math> havas propraĵojn:
 
:<math>\mathrm{slog}_a a^b = 1 + \mathrm{slog}_a b</math>
:<math>\mathrm{slog}_a b = 1 + \mathrm{slog}_a \log_a b</math>
:<math>\mathrm{slog}_a b > -2</math>
 
La [[ripetita logaritmo]] estas iom simila al la superlogaritmo.
 
== Supereksponenta funkcia kreskado ==
 
Supereksponenta funkcio kreskas eĉ pli rapide ol [[duopa eksponenta funkcio]] <math>a^{a^x}</math>.
 
Ekzemple, por bazo 10 kun la lineara proksimumigo:
 
* <math>{}^{-1}10=0</math>
* <math>{}^{-0,7}10=0,3</math>
* <math>{}^{0}10=1</math>
* <math>{}^{0,3}10\approx2</math>
* <math>{}^{1}10=10</math>
* <math>{}^{1,3}10\approx100</math>
* <math>{}^{2}10=10^{10}</math>
* <math>{}^{2,3}10\approx10^{100}</math> ([[guglo]])
* <math>{}^{3}10=10^{10^{10}}</math>
* <math>{}^{3,3}10\approx10^{10^{100}}</math> ([[gugloplekso]])
 
<math>{}^{x}10 = 10^{10^x}</math> je ''x = 2,376''.
 
== Vidu ankaŭ ==
 
* [[Notacio de Knuth]]
* [[Akermana funkcio]], Inversa akermana funkcio
* [[Hiperoperatoro]]
* [[Superlogaritmo]]
* [[Superradiko]]
* [[Ripetita logaritmo]]
 
== Eksteraj ligiloj ==
 
<references/>
{{el}} http://www.tetration.org/ de Daniel Geisler
{{el}} [http://mathworld.wolfram.com/PowerTower.html Potenca turo] je MathWorld
{{el}} [http://tetration.itgo.com/ Pri supereksponento] Andrew Robbins
{{el}} [http://math.eretrandre.org/tetrationforum/index.php Supereksponenta forumo]
{{el}} [http://ioannis.virtualcomposer2000.com/math/exponents4.html Etendado hyper4 al neentjeroj] (nedatita, 2006 aŭ pli frua). Ioannis N. Galidakis.
{{el}} [http://ioannis.virtualcomposer2000.com/math/papers/Extensions.pdf Etendado hyper4 kaj supren-saga skribmaniero de Knuth al reelaj nombroj] (nedatita, 2006 aŭ pli frua). Ioannis N. Galidakis.
{{el}} [http://home.earthlink.net/~mrob/pub/math/ln-notes1.html#real-hyper4 Vastigaĵo de la hiper4 funkcio al reelaj nombroj]'' - neformala diskuto pri etendado de supereksponento al la reelaj nombroj. Robert Munafo.
{{el}} [http://groups.google.com/group/sci.math/browse_frm/thread/39a7019f9051c5d7/8c1c4facb7e4bd6d#8c1c4facb7e4bd6d Supereksponento de la kvadrata radiko de 2]'', (2004). Provo etendi supereksponenton al reelaj nombroj. Lode Vandevenne.
{{el}} [http://ioannis.virtualcomposer2000.com/math/] Definitiva listo de referencoj al supereksponentaj esploroj. Parceloj de informo sur la W funkcio de Lambert, rimanaj surfacoj, kaj analitika vastigado. Ioannis N. Galidakis.
{{el}} [http://www.faculty.fairfield.edu/jmac/ther/tower.htm Iuj kritikaj punktoj de la hiperpotenca funkcio], Joseph MacDonell.
{{el}} [http://mathforum.org/discuss/sci.math/t/350321 TTT-paĝoj por malfinie ripetitaj eksponentoj] - kompilaĵo de elementoj de demandoj pri supereksponento, Dave L. Renfro.
{{el}} [http://tetration.itgo.com Hejmo de supereksponento - malfinie diferencialebla vastigaĵo de supereksponento al reelaj nombroj, Andrew Robbins.
 
[[Kategorio:Specialaj funkcioj]]
[[Kategorio:Duumaj operacioj]]
[[Kategorio:Grandaj nombroj]]