Tétration

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant les mathématiques
Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

La tétration (ou encore nappe exponentielle, hyperpuissance, tour de puissance, super-exponentiation ou hyper4) est une « exponentiation itérative », le premier hyperopérateur après l'exponentiation.

Le mot-valise tétration a été forgé par Reuben Goodstein sur la base du préfixe tétra- (quatre) et itération. La tétration est utilisée pour l'écriture des grands nombres. Elle suit l'addition, la multiplication et l'exponentiation comme indiqué ci-après :

  1. addition
  2. multiplication
  3. exponentiation
  4. tétration

chaque opération étant définie par itération à partir de la précédente.

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 (ab) comme b itérations de l'opération multiplier par a appliquée à a. De manière analogue, la tétration (ba) peut être considérée comme b itérations de l'opération porter à la puissance a appliquée à a.

On remarquera que lorsque l'on évalue une exponentiation à niveaux multiples, l'exponentiation est effectuée au niveau le plus « profond » en premier lieu (en notation, au niveau le plus élevé). En d'autres termes :

n'est pas égal à .

Ceci est la règle générale pour l'ordre des opérations impliquant une exponentiation répétée.

Notation[modifier | modifier le code]

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 :

Donc, sa forme générale utilise toujours une notation d'exponentiation ordinaire.

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 : ba, utilisée en premier lieu par Hans Maurer ; cette notation a été popularisée par le livre de Rudy Rucker, Infinity and the Mind.
  • la notation des puissances itérées de Knuth : — 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 : — 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 : — peut-être étendue en augmentant le nombre 4; cela donne la famille des hyper opérateurs.

Pour la fonction d'Ackermann, nous avons : , i.e. .

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[modifier | modifier le code]

(Les exemples avec virgules sont approchés)

n = n↑↑1 n↑↑2 n↑↑3 n↑↑4
1 1 1 1
2 4 16 65 536
3 27 7,63×1012
4 256 1,34×10154
5 3 125 1,91×102 184
6 46 656 2,70×1036 305
7 823 543 3,76×10695 974
8 16 777 216 6,01×1015 151 335
9 387 420 489 4,28×10369 693 099
10 10 000 000 000 1010 000 000 000

Extension aux valeurs faibles du second opérande[modifier | modifier le code]

En utilisant la relation (déduite de la définition de la tétration), on peut dériver (ou définir) les valeurs pour pour .

Cela confirme la définition intuitive de comme étant simplement . Cependant, on ne peut plus définir plus de valeurs par itération supplémentaire de cette manière, puisque est indéfini.

De la même manière, puisque est aussi indéfini (), la dérivation au-dessus ne peut être produite lorsque = 1. Ainsi, doit rester une quantité non définie, bien que puisse être défini sans problème comme étant égal à 1.

Parfois, est considéré comme quantité indéfinie. Dans ce cas, les valeurs pour ne peuvent être définie directement. Cependant, est bien défini, et existe :

Cette limite est également valable pour négatif. pourrait être définie en termes de cette limite et devrait être en accord avec la définition de .

Tétration complexe[modifier | modifier le code]

Puisqu'un nombre complexe peut être élevé à la puissance, la tétration peut être appliquée aux nombres de la forme , dans lesquels est la racine carrée de -1. Ainsi par exemple, dans lequel , la tétration est effectuée en utilisant la branche principale du logarithme naturel, et on a la relation :

Ce qui suggère une définition récursive pour pour tout :

Les valeurs approximées suivantes peuvent en être déduites, pour lesquelles est l'exponentiation ordinaire (i.e. ).

La résolution de la relation conduit aux relations attendues et , avec des valeurs négatives de donnant des résultats infinis sur les axes imaginaires. Dans le plan complexe, la séquence entière converge en spirale vers la limite , ce qui peut être interprété comme la valeur pour laquelle est infini.

De telles séquences de tétration ont été étudiées depuis l'époque d'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[modifier | modifier le code]

L'extension de aux nombres réels est relativement simple et donne, pour chaque nombre naturel , une fonction super-puissance (le préfixe super est parfois remplacé par hyper : fonction hyper-puissance).

Comme indiqué précédemment, pour les entiers positifs , la fonction tend vers 1 pour tendant vers 0 si est pair, et vers 0 si est impair, alors que pour et , la fonction est constante, avec pour valeur 1 et 0, respectivement.

À 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 qui est une extension au réel de ce qui est défini précédemment, et qui satisfait (pour ) :

  • .
  • une croissance monotone.
  • une condition de continuité.

Lorsque est définie comme un intervalle de longueur unitaire, la fonction dans son ensemble convient facilement pour tout .

Une solution simple est donnée par pour , par conséquent pour , pour , etc.

Cependant, elle est différentiable par parties, à des valeurs entières de x, la dérivée est multipliée par : , , .

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 = 10:

  • (googol)
  • (googolplex)
  • Cela devient pour :

Lorsque l'on définit pour tout a, une autre condition requise peut être que est croissante monotone avec a.

Ces fonctions inverses sont appelées super-racines ou hyper-racines, et super-logarithme ou hyper-logarithme définie pour tous les nombres réels, y compris les nombres négatifs.

La fonction satisfait à :

Exemples:

Tours de puissance infiniment hautes[modifier | modifier le code]

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 : .

En général, la tour de puissance infinie converge si et seulement si . Pour un réel quelconque avec , puis , alors la limite est (démonstration[1]).

Cela peut être étendu aux nombres complexes avec la définition :

est la fonction W de Lambert.

Notes et références[modifier | modifier le code]

Voir aussi[modifier | modifier le code]

Article connexe[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

Liens externes[modifier | modifier le code]