Tétration
1583902
31699799
2008-07-19T09:12:28Z
WikiDreamer Bot
366978
robot Ajoute: [[eo:Supereksponento]]
La '''tétration''' (ou encore ''nappe exponentielle'', ''hyperpuissance'', ''tour de puissance'', ''super-exponentiation'' ou ''hyper4'') est une {{guil|exponentiation itérative}}, le premier [[hyper opérateur]] après l'exponentiation. Le [[mot-valise]] '''tétration''' a été forgé par [[Reuben Louis Goodstein]] sur la base du préfixe [[tétra]]- (quatre) et [[itération]]. La tétration est utilisée pour l'écriture des [[grand nombre|grands nombres]]. Elle suit l'[[addition]], la [[produit (mathématiques)|multiplication]] et l'[[exposant (mathématiques)|exponentiation]] comme indiqué ci-après :
#addition
#:<math> {{a + b} \atop \,} {= \atop \,} {a \, + \atop \, } {{\underbrace{1 + 1 + \cdots + 1}} \atop b}</math>
#multiplication
#:<math>{{a \times b = \ } \atop {\ }} {{\underbrace{a + a + \cdots + a}} \atop b}</math>
#exponentiation
#:<math>{{a^b = \ } \atop {\ }} {{\underbrace{a \times a \times \cdots \times a}} \atop b}</math>
#tétration
#:<math>{\ ^{b}a = \ \atop {\ }} {{\underbrace{a^{a^{\cdot^{\cdot^{a}}}}}} \atop b}</math>
chaque opération étant définie par itération à partir de la précédente.<br>
L'addition (''a''+''b'') peut être définie comme ''b'' itérations de l'opération ''ajouter 1'' appliquée à ''a'', la multiplication (''a.b'') comme ''b'' itérations de l'opération ''ajouter a'' appliquée à ''a'', et l'exponentiation (<math>a^b</math>) comme ''b'' itérations de l'opération ''multiplier par a'' appliquée à ''a''. De manière analogue, la tétration (<sup>b</sup>a) peut être considérée comme ''b'' itérations de l'opération ''porter à la puissance a'' appliquée à ''a''.<br>
On remarquera que lorsque l'on évalue une exponentiation à niveaux multiples, l'exponentiation est effectuée à un niveau le plus {{guil|profond}} en premier lieu (en notation, au niveau le plus élevé). En d'autres termes :
:<math>\,\!\ ^{4}2 = 2^{2^{2^2}} = 2^{\left(2^{\left(2^2\right)}\right)} = 2^{\left(2^4\right)} = 2^{16} = 65536</math>
:<math>\,\!2^{2^{2^2}}</math> n'est '''pas''' égal à <math>\,\! \left({\left(2^2\right)}^2\right)^2 = 2^{2\times2\times2} = 256</math>.
Ceci est la règle générale pour l'ordre des opérations impliquant une exponentiation répétée.
== Notation ==
Afin de généraliser le premier cas au-dessus (tétration), une nouvelle notation est nécessaire (voir ci-dessous); cependant, le second cas peut-être également écrit :
:<math>\,\! \left(\left(2^2\right)^2\right)^2 = 2^{2 \cdot 2 \cdot 2} = 2^{2^3}</math>
Donc, ''sa'' forme générale utilise toujours une notation d'exponentiation ordinaire.<br>
Les notations dans lesquelles une tétration peut être notée (parmi celles permettant même des niveaux d'itérations plus élevés) incluent :
* la notation standard : <sup>b</sup>a, utilisée en premier lieu par [[Hans Maurer]]; cette notation a été popularisée le livre de [[Rudy Rucker]], ''Infinity and the Mind''.
* la [[notation des puissances itérées de Knuth]] : <math>a \uparrow\uparrow b</math> — peut être étendue en utilisant plus de flèches (ou de manière équivalente, une flèche indexée).
* la [[notation des flèches chaînées de Conway]] : <math>a \rightarrow b \rightarrow 2</math> — peut être étendue en augmentant le nombre 2 (équivalentes avec les extensions au-dessus), mais aussi, de manière plus performante, en étendant la chaîne.
* la notation hyper4 : <math>a^{(4)}b = \operatorname{hyper4}(a, b) = \operatorname{hyper}(a, 4, b)</math> — peut-être étendue en augmentant le nombre 4; cela donne la famille des [[hyper opérateur]]s.
Pour la [[fonction d'Ackermann]], nous avons : <math>2 \uparrow\uparrow b = \operatorname{A}(4, b - 3) + 3</math>, i.e. <math>\operatorname{A}(4, n) = 2 \uparrow\uparrow (n+3) - 3</math>.
La flèche vers le haut est utilisée de manière identique au signe d'omission, ce qui fait que l'opérateur tétration peut être écrit comme ^^ en [[ASCII]] : a^^b.
== Exemples ==
(Les exemples avec virgules sont approchées)
<table border>
<tr><th><var>n</var> = <var>n</var>↑↑1</th><th><var>n</var>↑↑2</th><th><var>n</var>↑↑3</th><th><var>n</var>↑↑4</th>
<tr><td>1</td><td>1</td><td>1</td><td>1</td></tr>
<tr><td>2</td><td>4</td><td>16</td><td>65,536</td></tr>
<tr><td>3</td><td>27</td><td>7,63×10<sup>12</sup></td><td><math>10^{3,64 \times 10^{12}}</math></td></tr>
<tr><td>4</td><td>256</td><td>1,34×10<sup>154</sup></td><td><math>10^{8,07 \times 10^{153}}</math></td></tr>
<tr><td>5</td><td>3 125</td><td>1,91×10<sup>2 184</sup></td><td><math>10^{1,34 \times 10^{2 184}}</math></td></tr>
<tr><td>6</td><td>46 656</td><td>2,70×10<sup>36 305</sup></td><td><math>10^{2,07 \times 10^{36 305}}</math></td></tr>
<tr><td>7</td><td>823 543</td><td>3.76×10<sup>695 974</sup></td><td><math>10^{3,18 \times 10^{695 974}}</math></td></tr>
<tr><td>8</td><td>16 777 216</td><td>6,01×10<sup>15 151 335</sup></td><td><math>10^{5,43 \times 10^{15 151 335}}</math></td></tr>
<tr><td>9</td><td>387 420 489</td><td>4,28×10<sup>369 693 099</sup></td><td><math>10^{4,09 \times 10^{369 693 009}}</math></td></tr>
<tr><td>10</td><td>10 000 000 000</td><td>10<sup>10 000 000 000</sup></td><td><math>10^{10^{10^{10}}}</math></td></tr></table>
== Extension aux valeurs faibles du second opérand ==
En utilisant la relation <math>n \uparrow\uparrow k = \log_n \left(n \uparrow\uparrow (k+1)\right)</math> (déduite de la définition de la tétration), on peut dériver (ou définir) les valeurs pour <math>n \uparrow\uparrow k</math> pour <math>k \in \{-1, 0, 1\}</math>.
<math>
\begin{matrix}
n \uparrow\uparrow 1
& = &
\log_n \left(n \uparrow\uparrow 2\right)
& = &
\log_{n} \left(n^n\right)
& = &
n \log_{n} n
& = &
n
\\
n \uparrow\uparrow 0
& = &
\log_{n} \left(n \uparrow\uparrow 1\right)
& = &
\log_{n} n
& & & = &
1
\\
n \uparrow\uparrow -1
& = &
\log_{n} \left(n \uparrow\uparrow 0\right)
& = &
\log_{n} 1
& & & = &
0
\end{matrix}
</math>
<!-- Not quite. Where's \begin{eqnarray}, anyway?
\begin{matrix}
n \uparrow\uparrow 1 &=& \log_n \left(n \uparrow\uparrow 2\right) &=& \log_n \left(n^n\right) &=& n \log_n n &=& n \\
n \uparrow\uparrow 0 &=& \log_n \left(n \uparrow\uparrow 1\right) &&&=& \log_n n &=& 1 \\
n \uparrow\uparrow -1 &=& \log_n \left(n \uparrow\uparrow 0\right) &&&=& \log_n 1 &=& 0 \\
\end{matrix}
-->
Cela confirme la définition intuitive de <math>n \uparrow\uparrow 1</math> comme étant simplement <math>n</math>. Cependant, on ne peut plus définir plus de valeurs par itération supplémentaire de cette manière, puisque <math>\log_n 0</math> est indéfini.<br>
De la même manière, puisque <math>\log_{1} 1</math> est aussi indéfini (<math>\log_{1} 1 = \begin{matrix}\frac{\log_n 1}{\log_n 1} = \frac{0}{0}\end{matrix}</math>), la dérivation au-dessus ne peut être produite lorsque <math>n</math> = 1. Ainsi, <math>1 \uparrow\uparrow {-1}</math> doit rester une quantité non définie, bien que <math>1 \uparrow\uparrow {0}</math> puisse être défini sans problème comme étant égal à 1.<br>
Parfois, <math>0^0</math> est considéré comme quantité indéfinie. Dans ce cas, les valeurs pour <math>0\uparrow\uparrow{k}</math> ne peuvent être définie directement. Cependant, <math>\lim_{n\rightarrow0} n\uparrow\uparrow{k}</math> est bien défini, et existe :
:<math>\lim_{n\rightarrow0} n\uparrow\uparrow k = \begin{cases} 1, & k \mbox{ pair} \\ 0, & k \mbox{ impair} \end{cases} </math>
Cette limite est également valable pour <math>n</math> négatif. <math>0 \uparrow\uparrow {k}</math> pourrait être définie en termes de cette limite et devrait être en accord avec la définition de <math>0^0 = 1</math> (si 0 est considéré comme pair).
==Tétration complexe==<!--
[[Image:Tetration period.gif|thumbnail|Tétration par période.]]
[[Image:Tetration escape.gif|thumbnail|Tétration par {{guil|fuite}}.]]-->
Puisqu'un [[nombre complexe]] peut être élevé à la puissance, la tétration peut être appliquée aux nombres de la forme <math>a + bi</math>, dans lesquels
<math>i</math> est la [[racine carrée]] de -1. Ainsi par exemple, <math>n \uparrow\uparrow k</math> dans lequel <math>n=i</math>, la tétration est effectuée en utilisant la [[branche principale (mathématiques)|branche principale]] du logarithme naturel, et on a la relation :
:<math>
i^{a+bi} = e^{{i\pi \over 2} (a+bi)} = e^{-{b\pi \over 2}} \left(\cos{a\pi \over 2} + i \sin{a\pi \over 2}\right)
</math>
Ce qui suggère une définition récursive pour <math>i \uparrow\uparrow (k+1) = a'+b'i</math> pour tout <math>i \uparrow\uparrow k = 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>
Les valeurs approximées suivantes peuvent en être déduites, pour lesquelles <math>i \uparrow n</math> est l'exponentiation ordinaire (i.e. <math>i ^ n</math>).
*<math>i \uparrow\uparrow 1 = i</math>
*<math>i \uparrow\uparrow 2 = i \uparrow\left(i \uparrow\uparrow 1\right) \approx 0,2079</math>
*<math>i \uparrow\uparrow 3 = i \uparrow\left(i \uparrow\uparrow 2\right) \approx 0,9472 + 0,3208i</math>
*<math>i \uparrow\uparrow 4 = i \uparrow\left(i \uparrow\uparrow 3\right) \approx 0,0501 + 0,6021i</math>
*<math>i \uparrow\uparrow 5 = i \uparrow\left(i \uparrow\uparrow 4\right) \approx 0,3872 + 0,0305i</math>
*<math>i \uparrow\uparrow 6 = i \uparrow\left(i \uparrow\uparrow 5\right) \approx 0,7823 + 0,5446i</math>
*<math>i \uparrow\uparrow 7 = i \uparrow\left(i \uparrow\uparrow 6\right) \approx 0,1426 + 0,4005i</math>
*<math>i \uparrow\uparrow 8 = i \uparrow\left(i \uparrow\uparrow 7\right) \approx 0,5198 + 0,1184i</math>
*<math>i \uparrow\uparrow 9 = i \uparrow\left(i \uparrow\uparrow 8\right) \approx 0,5686 + 0,6051i</math>
La résolution de la relation conduit aux relations attendues <math>i \uparrow\uparrow 0 = 1</math> et <math>i \uparrow\uparrow -1 = 0</math>, avec des valeurs négatives de <math>k</math> donnant des résultats infinis sur les axes imaginaires. Dans le [[plan complexe]], la séquence entière converge en spirale vers la limite <math>0,4383 + 0,3606i</math>, ce qui peut être interprété comme la valeur pour laquelle <math>k</math> est infini.
De telles séquences de tétration ont été étudiées depuis l'époque d'[[Leonhard Euler|Euler]] mais sont très peu comprises en raison de leur comportement chaotique. Les recherches les plus publiées se sont historiquement concentrées sur la convergence de la fonction de tour de puissance. La recherche actuelle a grandement bénéficié du progrès de puissantes stations de calcul avec des supports logiciel en mathématiques symboliques et fractales. La plupart de ce qui est connu sur la tétration vient de la connaissance générale de la dynamique complexe et de la recherche spécifique sur les nappes exponentielles.
==Extension aux nombres réels==
L'extension de <math>x \uparrow\uparrow b</math> to real numbers <math>x > 0</math> est relativement simple et donne, pour chaque nombre naturel <math>b</math>, une '''fonction super-puissance''' <math>\operatorname{f}(x) = x \uparrow\uparrow b</math> (le préfixe ''super'' est parfois remplacé par ''hyper'' : ''fonction hyper-puissance'').
Comme indiqué précédemment, pour les entiers positifs <math>b</math>, la fonction tends vers 1 pour <math>x</math> tendant vers 0 si <math>b</math> est pair, et vers 0 si <math>b</math> est impair, alors que pour <math>b = 0</math> et <math>b = -1</math>, la fonction est constante, avec pour valeur 1 et 0, respectivement.<br>
À ce jour, il n'existe pas de solution communément acceptée pour le problème général d'extension de la tétration aux nombres réels et complexes, bien que cela soit un champ de recherche actif.
Considérons le problème de trouver une ''fonction super-exponentielle'' ou une ''fonction hyper-exponentielle'' <math>\operatorname{f}(x) = a \uparrow\uparrow x</math> qui est une extension au réel <math>x > -2</math> de ce qui est défini précédemment, et qui satisfait (pour <math>a > 1</math>) :
* <math>a \uparrow\uparrow(b+1) = a^{\left(a\uparrow \uparrow b\right)}</math>.
* une croissance monotone.
* une condition de continuité.
Lorsque <math>a \uparrow\uparrow x</math> est définie comme un intervalle de longueur unitaire, la fonction dans son ensemble convient facilement pour tout <math>x > -2</math>.<br>
Une solution simple est donnée par <math>a \uparrow\uparrow x = x+1</math> pour <math>-1<x<0</math>, par conséquent <math>a \uparrow\uparrow x = a^x</math> pour <math>0<x<1</math>, <math>\,\!a \uparrow\uparrow x=a^{a^{(x-1)}}</math> pour <math>1<x<2</math>, ''etc.''<br>
Cependant, elle est différentiable par parties, à des valeurs entières de x, la dérivée est multipliée par <math>\log_n{a}</math>: <math>10 \uparrow\uparrow 0,99 = 9,77</math>, <math>10 \uparrow\uparrow 1 = 10</math>, <math>10 \uparrow\uparrow 1,01 = 10,55</math>.<br>
D'autres fonctions, plus compliquées, peuvent être plus douces et/ou satisfont des propriétés additionnelles.
Une fonction super-exponentielle croît plus vite qu'une [[fonction double exponentielle]]; par exemple, si <math>a</math> = 10:
* <math>\operatorname{f}(-1)=0</math>
* <math>\operatorname{f}(0)=1</math>
* <math>\operatorname{f}(1)=10</math>
* <math>\operatorname{f}(2)=10^{10}</math>
* <math>\operatorname{f}(2.3)=10^{100}</math> ([[googol]])
* <math>\,\!\operatorname{f}(3)=10^{10^{10}}</math>
* <math>\,\!\operatorname{f}(3.3)=10^{10^{100}}</math> ([[googolplex]])
* Cela devient <math>\,\!10^{10^x}</math> pour <math>x = 2,376</math>: <math>\operatorname{f}(x) \approx 4,83 \times 10^{237}</math>
Lorsque l'on définit <math>a \uparrow\uparrow x</math> pour tout a, une autre condition requise peut être que <math>a \uparrow\uparrow x</math> est croissante monotone avec a.<br>
Ces [[fonction inverse|fonctions inverses]] sont appelées '''super-racines''' ou '''hyper-racines''', et '''super-logarithme''' ou '''hyper-logarithme''' <math>\mathrm{slog}_a</math> définie pour tous les nombres réels, y compris les nombres négatifs.
La fonction <math>\mathrm{slog}_a</math> satisfait à :
:<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>
Exemples:
*<math>\mathrm{slog}_{10} -3 = -1 + \mathrm{slog}_{10} 0,001 = -1 + -0,999 = -1,999</math>
*<math>\mathrm{slog}_{10} 3 = \log_{10} 3 = 0,477</math>
*<math>\mathrm{slog}_{10} 10^{6\times 10^{23}} = 1 + \mathrm{slog}_{10} 6\times 10^{23} = 2 + \mathrm{slog}_{10} 23,778 = 3 + \mathrm{slog}_{10} 1,376 = 3 + \log_{10} 1,376 = 3,139</math>
==Tours de puissance infiniment hautes ==
<math>\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{..}}}}}}</math> converge vers 2, et peut être en réalité définie comme étant égale à 2. La tendance vers 2 peut être perçue en évaluant une petite tour finie :
<math>\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{1,41}}}}} = \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</math>.
En général, la tour de puissance infinie <math>x^{x^{x^{..}}}</math> converge pour <math>e^{-e} < x < e^{1/e}</math>. Pour un réel quelconque <math>r</math> avec <math>0 < r < e</math>, puis <math>x = r^{1/r}</math>, alors la limite est <math>r</math>. Il n'y a pas de convergence <math>x > e^{1/e}</math> (le maximum de <math>r^{1/r}</math> est <math>e^{1/e}</math>).
Cela peut être étendu aux nombres complexes <math>z</math> avec la définition :
: <math> z^{z^{z^{.^{.^{.}}}}} = -\frac{\mathrm{W}(-\ln{z})}{\ln{z}} </math>
où <math>\mathrm{W}(z)</math> est la [[fonction W de Lambert]].
==Voir aussi==
*[[Fonction d'Ackermann]]
==Références==
*[[Daniel Geisler]], ''[http://www.tetration.org/ tetration.org]''
*[[Ioannis Galidakis|I.N. Galidakis]], ''[http://ioannis.virtualcomposer2000.com/math/exponents4.html On extending hyper4 to nonintegers]'' (non daté, 2006 ou plus tôt) ''(Une {{guil|revue}} plus simple, plus facile à lire que la référence ci-dessous)''
*[[Ioannis Galidakis|I.N. Galidakis]], ''[http://ioannis.virtualcomposer2000.com/math/papers/Extensions.pdf On Extending hyper4 and Knuth's Up-arrow Notation to the Reals]'' (non daté, 2006 ou plus tôt).
* Robert Munafo, ''[http://home.earthlink.net/~mrob/pub/math/ln-notes1.html#real-hyper4 Extension of the hyper4 function to reals]'' ''(Discussion informelle de l'extension de la tétration aux nombres réels.)''
* Lode Vandevenne, ''[http://groups.google.com/group/sci.math/browse_frm/thread/39a7019f9051c5d7/8c1c4facb7e4bd6d#8c1c4facb7e4bd6d Tetration of the Square Root of Two]'', (2004). ''(Essai d'extension de la tétration aux nombres réels.)''
* [[Ioannis Galidakis|I.N. Galidakis]], ''[http://ioannis.virtualcomposer2000.com/math/ Mathématiques]'', ''(Liste définitive de références à la recherche sur la tétration. Informations nombreuses sur la fonction W de Lambert, les surfaces de Riemann et la continuation analytique.)''
*Galidakis, Ioannis and Weisstein, Eric W. [http://mathworld.wolfram.com/PowerTower.html Tour de puissance]
* Joseph MacDonell, ''[http://www.faculty.fairfield.edu/jmac/ther/tower.htm Des points critiques sur la fonction hyperpuissance]''.
* Dave L. Renfro, ''[http://mathforum.org/discuss/sci.math/t/350321 Web pages for infinitely iterated exponentials]'' ''(Compilation des entrées à partir des questions sur la tétration sur sci.math.)''
* Andrew Robbins, ''[http://tetration.itgo.com Home of Tetration]'' ''(Une extenstion infiniment différentiable sur la tétration des nombres réels.)''
* R. Knobel. "Exponentials Reiterated." ''[[American Mathematical Monthly]]'' '''88''', (1981), p. 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. 33-50. ''(Référence à l'utilisation de <math>\ ^ba</math> à partir de l'article de Knobel.)''
* [[Reuben Goodstein|Reuben Louis Goodstein]]. "Transfinite ordinals in recursive number theory." ''[[Journal of Symbolic Logic]]'' '''12''', (1947).
==Liens externes==
* [http://tetration.itgo.com/ Site on tetration]
* http://www.tetration.org/
{{Traduction/Référence|en|Tetration|130997827}}
{{Portail mathématiques}}
[[Catégorie:Arithmétique]]
[[Catégorie:Grand nombre]]
[[en:Tetration]]
[[eo:Supereksponento]]
[[hu:Tetráció]]
[[ru:Тетрация]]