Tetración

Coloreado del dominio de la tetración definida como función holomorfa ${}^{z}e$, con el tono representando el argumento y el brillo representando el módulo.

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.

Introducción

Para entender la tetración hay que entender la relación jerárquica que tienen la suma, la multiplicación y la exponenciación: las multiplicaciones pueden entenderse como sumar repetidas, la exponenciación como multiplicaciones repetidas y la tetración como exponenciaciones repetidas. Todas estas operaciones repetidas forman una jerarquía de "hiperoperaciones" que consisten en repetir cierto número de veces la operación de nivel inferior. Aquí se presentan ejemplos de los primeros cuatro operadores, con la tetración como el primer hiperoperador.

1. Adición

   $a+n=a+\underset{n}{\underbrace{1+1+...+1}}$

   la unidad 1 agregada a "a" n veces.

2. Multiplicación

   $a\times n=\underset{n}{\underbrace{a+a+\cdots +a}}$

   a sumado a sí mismo, n veces.

3. Exponenciación

   $a^n=\underset{n}{\underbrace{a\times a\times \cdots \times a}}$

   a multiplicado por sí mismo, n veces.

4. Tetración

   ${}^{n}a=\underset{n}{\underbrace{a^{a^{{\cdot }^{{\cdot }^a}}}}}$ Faltan los paréntesis en los exponentes

   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 ($a+n$) es la operación más básica, la multiplicación ($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 ($a^n$) puede ser pensada como una multiplicación encadenada que implica n números a. Análogamente, la tetración ($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 $a>0$ y un número entero no negativo $n\ge 0$, se define ${}^{n}a$ como:

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

Ejemplos de 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 alto primero para que esta sea irreducible. Dicho de otro modo:

${}^{4}2=2^{(2^{(2^2)})}=2^{(2^4)}=2^{16}=65536$

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:

${}^{4}2=((2^2{)}^2{)}^2=(4^2{)}^2=16^2=256$

Se simplificaría a 2^(2^(4-1))=2^(2^3)=2^8=256, que es una doble exponencial.

Por lo tanto, las torres exponenciales deben ser evaluadas de arriba abajo (o de derecha a izquierda), ya que la tetración es una función exponencial iterada.

Propiedades

La tetración tiene varias propiedades que son similares a la exponenciación, así como propiedades que son específicas de la operación y que se pierden o ganan con la exponenciación. Debido a que la exponenciación no es conmutativa, las reglas del producto y de la potencia no tienen un análogo con la tetración; las afirmaciones ${}^a\left({}^{b}x\right)=\left({}^{ab}x\right)$ y ${}^a\left(xy\right)={}^{a}x{}^{a}y$ no son ciertas para la mayoría de los casos.

Sin embargo, la tetración sigue una propiedad diferente, en donde ${}^{a}x=x^{\left({}^{a-1}x\right)}$. Este hecho se ve más claramente usando una definición recursiva. De esta propiedad, se sigue que ${\left({}^{b}a\right)}^{\left({}^{c}a\right)}={\left({}^{c+1}a\right)}^{\left({}^{b-1}a\right)}$, lo que permite intercambiar b y c en ciertas ecuaciones. La demostración de este hecho va como sigue:

$\begin{array}{cc}& {\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{array}$

Cuando un número x y 10 son coprimos, entonces es posible computar las últimas m cifras decimales de ${}^{a}x$ usando el teorema de Euler, para cualquier entero m. Esto es cierto también en otras bases: por ejemplo, las últimas m cifras octales de ${}^{a}x$ pueden ser calculadas cuando x y 8 son coprimos.

Generalizaciones

La tetración puede generalizarse de dos maneras diferentes; en la ecuación $n^{}a!$, tanto la base Plantilla:Mvar como la altura Plantilla:Mvar pueden generalizarse utilizando la definición y las propiedades de la tetración. Aunque la base y la altura pueden generalizarse más allá de los enteros no negativos a diferentes dominios, incluyendo ${}^{n}0$, funciones complejas como ${}^{n}i$, y alturas de infinito Plantilla:Mvar, las propiedades más limitadas de la tetración reducen la capacidad de generalizarla.

Base cero o compleja

Base cero

La exponencial $0^0$ no está definida de forma consistente. Por lo tanto, las tetraciones ${}^{n}0$ no están claramente definidas por la fórmula dada anteriormente. Sin embargo, $\underset{x\to 0}{\lim }{}^{n}x$ está bien definida, y existe:

$\underset{x\to 0}{\lim }{}^{n}x=\{\begin{array}{cc}1,& n\text{ par}\\ 0,& n\text{ impar}\end{array}$

Por lo tanto, podríamos definir consistentemente ${}^{n}0=\underset{x\to 0}{\lim }{}^{n}x$. Esto es análogo a definir $0^0=1$. Bajo esta generalización, ${}^{0}0=1$, por lo que la regla $0a=1$ de la definición original sigue vigente.

Bases complejas

Tetración por período

Tetración por escape

Dado que los números complejos se pueden elevar a potencias, la tetración se puede aplicar a bases de la forma Plantilla:Math (donde a y b son reales). Por ejemplo, en ⁿz con z = i, la tetrización se consigue utilizando la rama principal del logaritmo natural; utilizando la fórmula de Euler obtenemos la relación:

$i^{a+bi}=e^{\frac{1}{2}\pi i(a+bi)}=e^{-\frac{1}{2}\pi b}(\cos \frac{\pi a}{2}+i\sin \frac{\pi a}{2})$

Esto sugiere una definición recursiva para ${}^{n+1}i=a^{\prime }+b^{\prime }i$ dado cualquier ${}^{n}i=a+bi$:

$\begin{array}{cc}{a}^{\prime }& =e^{-\frac{1}{2}\pi b}\cos \frac{\pi a}{2}\\ b^{\prime }& =e^{-\frac{1}{2}\pi b}\sin \frac{\pi a}{2}\end{array}$

Esto permite encontrar los siguientes valores aproximados:

Valores de la tetración de bases complejas

${}^{n}i$	Valor aproximado
${}^{1}i=i$	Plantilla:Math
${}^{2}i=i^{\left({}^{1}i\right)}$	Plantilla:Math
${}^{3}i=i^{\left({}^{2}i\right)}$	Plantilla:Math
${}^{4}i=i^{\left({}^{3}i\right)}$	Plantilla:Math
${}^{5}i=i^{\left({}^{4}i\right)}$	Plantilla:Math
${}^{6}i=i^{\left({}^{5}i\right)}$	Plantilla:Math
${}^{7}i=i^{\left({}^{6}i\right)}$	Plantilla:Math
${}^{8}i=i^{\left({}^{7}i\right)}$	Plantilla:Math
${}^{9}i=i^{\left({}^{8}i\right)}$	Plantilla:Math

Generalizaciones para diferentes alturas

Alturas infinitas

$\underset{n\to \mathrm{\infty }}{\lim }{}^{n}x$ de la exponencial infinitamente iterada converge para las bases ${\left(e^{-1}\right)}^e\le x\le e^{\left(e^{-1}\right)}$.

La función $left|\frac{\mathrm{W}(-\ln z)}{-\ln z}\ln z|$ en el plano complejo, mostrando la función exponencial infinitamente iterada de valor real (curva negra)

La tetración puede extenderse a las alturas infinitas; es decir, para ciertos valores de a y n en ${}^{n}a$, existe un resultado bien definido para un n infinito. Esto se debe a que para bases dentro de un cierto intervalo, la tetrización converge a un valor finito a medida que la altura tiende al infinito. Por ejemplo, ${\sqrt{2}}^{{\sqrt{2}}^{{\sqrt{2}}^{{\cdot }^{{\cdot }^{}}}}}$ converge a 2, y por tanto puede decirse que es igual a 2. La tendencia a 2 puede verse evaluando una pequeña torre finita:

$\begin{array}{cc}{\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{array}$

En general, la exponencial infinitamente iterada $x^{x^{{\cdot }^{{\cdot }^{\cdot }}}}$, definida como el límite de ${}^{n}x$ a medida que n crece a infinito, converge para $e^{-e}\le x\le e^{1/e}$, aproximadamente el intervalo de 0. 066 a 1,44, resultado demostrado por Leonhard Euler. El límite, si existe, es una solución real positiva de la ecuación 1=y = x^y. Así, 1 =x = y^1/y. El límite que define la exponencial infinita de x no existe cuando x > e^1/e porque el máximo de y^1/y es e^1/e. El límite tampoco existe cuando 0 < x < e^-e. Esto puede extenderse a los números complejos z con la definición:

${}^{infty}z=z^{z^{{\cdot }^{{\cdot }^{\cdot }}}}=\frac{\mathrm{W}(-\ln z)}{-\ln z},$

donde $W$ representa la función W de Lambert.

Como el límite 1=y = ^∞x (si existe en la recta real positiva, es decir para e^-e ≤ x ≤ e^1/e) debe satisfacer 1=x^y = y vemos que 1=x ↦ y = ^∞x es (la rama inferior de) la función inversa de 1=y ↦ x = y^1/y.

Alturas negativas

Podemos utilizar la regla recursiva de la tetración,

${}^{k+1}a=a^{\left({}^{k}a\right)},$

para demostrar que ${}^{-1}a$:

$k^{}a={\log }_a\left({}^{k+1}a\right);$

Sustituyendo -1 por Plantilla:Mvar se obtiene

${}^{-1}a={\log }_a\left({}^{0}a\right)={\log }_{a}1=0$.

Los valores negativos más pequeños no pueden ser bien definidos de esta manera. Sustituyendo -2 por k en la misma ecuación se obtiene

${}^{-2}a={\log }_a\left({}^{-1}a\right)={\log }_{a}0=-\mathrm{\infty }$

que no está bien definida. Sin embargo, a veces pueden considerarse conjuntos.

Para $n=1$, cualquier definición de ${}^{-1}1$ es consistente con la regla porque

${}^{0}1=1=1^n$ para cualquier $,n={}^{-1}1$.

Alturas reales

En este momento no existe una solución comúnmente aceptada para el problema general de extender la tetración a los valores reales o complejos de n. Sin embargo, ha habido múltiples enfoques hacia la cuestión, y a continuación se esbozan diferentes enfoques.

En general, el problema es encontrar - para cualquier real a > 0 - una función superexponencial $,f(x)={}^{x}a$ sobre reales x > -2 que satisfaga

• ${}^{-1}a=0$
• ${}^{0}a=1$
• ${}^{x}a=a^{\left({}^{x-1}a\right)}$para todo número real $x>-1.$

Véase también

• Hiperoperación
• Pentación

Referencias

Bibliografía

• Daniel Geisler, tetration.org
• Ioannis Galidakis, On extending hyper4 to nonintegers (undated, 2006 or earlier) (A simpler, easier to read review of the next reference)
• Ioannis Galidakis, On Extending hyper4 and Knuth's Up-arrow Notation to the Reals (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, Mathematics, (Definitive list of references to tetration research. Lots of information on the Lambert W function, Riemann surfaces, and analytic continuation.)
• Plantilla:MathWorld
• Joseph MacDonell, Some Critical Points of the Hyperpower Function Plantilla:Wayback.
• 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.
• Takeji Ueda. Extension of tetration to real and complex heights (2021).
• Hans Maurer. "Über die Funktion $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 ${}^{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

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