Tetración

En matemáticas, la tetración (o hiper-4) es el siguiente hiperoperador después de la exponenciación, y es definida como una exponenciación iterada. La palabra proviene de tetra (cuatro) y ción (iteración). La tetración es usada para la notación de los números muy grandes. Aquí se presentan ejemplos de los primeros cuatro operadores, con la tetración como el primer hiperoperador.

1. Adición

   ${\displaystyle a+n=a+\!\underbrace {1+1+...+1} _{n}}$

   la unidad 1 agregada a "a" n veces.

2. Multiplicación

   ${\displaystyle a\times n=\underbrace {a+a+\cdots +a} _{n}}$

   a sumado a sí mismo, n veces.

3. Exponenciación

   ${\displaystyle a^{n}=\underbrace {a\times a\times \cdots \times a} _{n}}$

   a multiplicado por sí mismo, n veces.

4. Tetración

   ${\displaystyle {^{n}a}=\underbrace {a^{a^{\cdot ^{\cdot ^{a}}}}} _{n}}$

   a exponenciado por sí mismo, n veces.

Donde cada operación es definida mediante la iteración de la operación previa (la siguiente operación en la sucesión es la pentación). La peculiaridad de la tetración entre estas operaciones es que para las tres primeras (adición, multiplicación y exponenciación) pueden ser generalizadas para valores complejo de n, mientras que para la tetración, tal generalización regular no ha sido todavía establecida; la tetración no es considerada una función elemental.

La adición (${\displaystyle a+n}$) es la operación más básica, la multiplicación (${\displaystyle an}$) es también una operación primaria, aunque para los números naturales puede ser pensada como una adición encadenada que implica n números a, y la exponenciación (${\displaystyle a^{n}}$) puede ser pensada como una multiplicación encadenada que implica n números a. Análogamente, la tetración (${\displaystyle ^{n}a}$) puede ser pensada como una potencia encadenada que implica n números a. El parámetro a puede ser llamado parámetro base en lo siguiente, mientras que el parámetro n puede llamarse en lo siguiente parámetro-altura (que es entero en primera aproximación, pero que puede ser generalizado a alturas fraccionales, reales y complejas, ver más abajo).

Definición

Para cualquier número real positivo ${\displaystyle a>0}$  y un número entero no negativo ${\displaystyle n\geq 0}$ , se define ${\displaystyle \,\!{^{n}a}}$  como:

${\displaystyle {^{n}a}:={\begin{cases}1&{\text{si }}n=0\\a^{\left[^{(n-1)}a\right]}&{\text{si }}n>0\end{cases}}}$ 

Potencias iteradas contra bases iteradas/potenciación

Como se puede ver de la definición, al evaluar la tetración, esta es expresada como una "torre de exponentes", la potenciación se realiza en el nivel más bajo primero. Dicho de otro modo:

${\displaystyle \,\!\ ^{4}2=((2^{2})^{2})^{2}=({4^{2}})^{2}=16^{2}=256}$ 

Nótese que la potenciación no es asociativa, así que evaluar la expresión en otro orden proporcionará una respuesta diferente además de incorrecta:

${\displaystyle \,\!^{4}2\neq \ 2^{(2^{(2^{2})})}=2^{(2^{4})}=2^{16}=65536}$ 

Por lo tanto, las torres exponenciales deben ser evaluadas de abajo a arriba (o de izquierda a derecha).

Hay un error aquí: De acuerdo a la definición recursiva de más arriba, las potencias deben ser evaluadas de derecha a izquierda y no al revés como se indica aquí.

Luego el resultado correcto es ⁴2=65536.

Y aquí un pequeño código en Python que utiliza la definición recursiva y calcula el caso particular de ⁴2, demostrando que efectivamente el valor correcto es 65536:

import math def Tetracion(base,numero): if numero==0: return 1 return pow(base,Tetracion(base,numero-1)) print (Tetracion(2,4)) 

Véase también

• Hiperoperación
• Pentación
• Hexación

Referencias

• Daniel Geisler, tetration.org
• Ioannis Galidakis, (undated, 2006 or earlier) (A simpler, easier to read review of the next reference)
• Ioannis Galidakis, (undated, 2006 or earlier).
• Robert Munafo, Extension of the hyper4 function to reals (An informal discussion about extending tetration to the real numbers.)
• Lode Vandevenne, Tetration of the Square Root of Two, (2004). (Attempt to extend tetration to real numbers.)
• Ioannis Galidakis, , (Definitive list of references to tetration research. Lots of information on the Lambert W function, Riemann surfaces, and analytic continuation.)
• Weisstein, Eric W. «Power Tower». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Joseph MacDonell, Some Critical Points of the Hyperpower Function.
• Dave L. Renfro, Web pages for infinitely iterated exponentials (Compilation of entries from questions about tetration on sci.math.)
• R. Knobel. "Exponentials Reiterated." American Mathematical Monthly 88, (1981), p. 235–252.
• Hans Maurer. "Über die Funktion ${\displaystyle y=x^{[x^{[x(\cdots )]}]}}$  für ganzzahliges Argument (Abundanzen)." Mittheilungen der Mathematische Gesellschaft in Hamburg 4, (1901), p. 33–50. (Reference to usage of ${\displaystyle \ {^{n}a}}$  from Knobel's paper.)
• Ripà, Marco (2011). La strana coda della serie n^n^...^n, Trento, UNI Service. ISBN 978-88-6178-789-6

Enlaces externos

• Daniel Geisler's site on tetration
• Tetration Forum
• tetration at citizendium
• Gottfried Helms' site on tetration

•   Datos: Q194324
•   Multimedia: Tetration