Tetración
![Un gráfico en color con bucles de colores brillantes que crecen en intensidad a medida que el ojo se dirige a la derecha](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c5/TetrationComplexColor.png/220px-TetrationComplexColor.png)
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.
- Adición
-
- la unidad 1 agregada a "a" n veces.
-
- Multiplicación
-
- a sumado a sí mismo, n veces.
-
- Exponenciación
-
- a multiplicado por sí mismo, n veces.
-
- Tetración
- Faltan los paréntesis en los exponentes
- a exponenciado por sí mismo, n veces.
- Faltan los paréntesis en los exponentes
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 () es la operación más básica, la multiplicación () 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 () puede ser pensada como una multiplicación encadenada que implica n números a. Análogamente, la tetración () 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 y un número entero no negativo , se define como:
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:[1]
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:
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 y no son ciertas para la mayoría de los casos.[2]
Sin embargo, la tetración sigue una propiedad diferente, en donde . Este hecho se ve más claramente usando una definición recursiva. De esta propiedad, se sigue que , lo que permite intercambiar b y c en ciertas ecuaciones. La demostración de este hecho va como sigue:
Cuando un número x y 10 son coprimos, entonces es posible computar las últimas m cifras decimales de 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 pueden ser calculadas cuando x y 8 son coprimos.
Generalizaciones
La tetración puede generalizarse de dos maneras diferentes; en la ecuación , tanto la base a como la altura n 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 , funciones complejas como , y alturas de infinito n, las propiedades más limitadas de la tetración reducen la capacidad de generalizarla.
Base cero o compleja
Base cero
La exponencial no está definida de forma consistente. Por lo tanto, las tetraciones no están claramente definidas por la fórmula dada anteriormente. Sin embargo, está bien definida, y existe:[3]
Por lo tanto, podríamos definir consistentemente . Esto es análogo a definir . Bajo esta generalización, , por lo que la regla de la definición original sigue vigente.
Bases complejas
![Un colorido gráfico que muestra el período haciéndose mucho más grande](http://upload.wikimedia.org/wikipedia/commons/thumb/6/63/Tetration_period.png/220px-Tetration_period.png)
![Un colorido gráfico que muestra el escape haciéndose mucho más grande](http://upload.wikimedia.org/wikipedia/commons/thumb/3/32/Tetration_escape.png/220px-Tetration_escape.png)
Dado que los números complejos se pueden elevar a potencias, la tetración se puede aplicar a bases de la forma z = a + bi (donde a y b son reales). Por ejemplo, en nz 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:
Esto sugiere una definición recursiva para dado cualquier :
Esto permite encontrar los siguientes valores aproximados:
Valor aproximado | |
---|---|
i | |
0.2079 | |
0.9472 + 0.3208i | |
0.0501 + 0.6021i | |
0.3872 + 0.0305i | |
0.7823 + 0.5446i | |
0.1426 + 0.4005i | |
0.5198 + 0.1184i | |
0.5686 + 0.6051i |
Generalizaciones para diferentes alturas
Alturas infinitas
![Un gráfico de líneas con una rápida curva hacia arriba a medida que aumenta la base](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f3/Infinite_power_tower.svg/220px-Infinite_power_tower.svg.png)
![Una gráfica cartesiana tridimensional con un punto en el centro](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6e/TetrationConvergence3D.png/220px-TetrationConvergence3D.png)
La tetración puede extenderse a las alturas infinitas; es decir, para ciertos valores de a y n en , 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, 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:
En general, la exponencial infinitamente iterada , definida como el límite de a medida que n crece a infinito, converge para , aproximadamente el intervalo de 0. 066 a 1,44, resultado demostrado por Leonhard Euler.[4] El límite, si existe, es una solución real positiva de la ecuación 1=y = xy. Así, 1 =x = y1/y. El límite que define la exponencial infinita de x no existe cuando x > e1/e porque el máximo de y1/y es e1/e. El límite tampoco existe cuando 0 < x < e-e. Esto puede extenderse a los números complejos z con la definición:
donde 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 ≤ e1/e) debe satisfacer 1=xy = y vemos que 1=x ↦ y = ∞x es (la rama inferior de) la función inversa de 1=y ↦ x = y1/y.
Alturas negativas
Podemos utilizar la regla recursiva de la tetración,
para demostrar que :
Sustituyendo -1 por k se obtiene
- .[1]
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
que no está bien definida. Sin embargo, a veces pueden considerarse conjuntos.[1]
Para , cualquier definición de es consistente con la regla porque
- para cualquier .
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 sobre reales x > -2 que satisfaga
- para todo número real [5]
Véase también
Referencias
- ↑ a b c Müller, M. «Reihenalgebra: What comes beyond exponentiation?». Consultado el 12 de diciembre de 2018.
- ↑ Meiburg, Alexander (2014). «Extensión analítica de la tetración a través del producto Power-Tower». Consultado el 29 de noviembre de 2018.
- ↑ Escalando la escalera de los hiperoperadores: tetración
- ↑ Euler, L. facsimile "De serie Lambertina Plurimisque eius insignibus proprietatibus". Acta Acad. Scient. Petropol. 2, 29-51, 1783. Reimpreso en Euler, L. Opera Omnia, Series Prima, Vol. 6: Commentationes Algebraicae. Leipzig, Alemania: Teubner, pp. 350-369, 1921.
- ↑ Trappmann, Henryk; Kouznetsov, Dmitrii (28 de junio de 2010). «5+ methods for real analytic tetration». Consultado el 5 de diciembre de 2018.
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.)
- 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 Archivado el 17 de enero de 2010 en Wayback Machine..
- 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 für ganzzahliges Argument (Abundanzen)." Mittheilungen der Mathematische Gesellschaft in Hamburg 4, (1901), p. 33–50. (Reference to usage of 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
Datos: Q194324
Multimedia: Tetration / Q194324