Cero elevado a cero

Cero elevado a cero , denotado por $00$ , es una expresión matemática que se define como 1 o se deja sin definir , según el contexto. En álgebra y combinatoria , normalmente se define $00 = 1$ . En análisis matemático , la expresión a veces se deja sin definir. Los lenguajes y software de programación informática también tienen diferentes formas de manejar esta expresión.

Exponentes discretos

Muchas fórmulas ampliamente utilizadas que involucran exponentes de números naturales requieren que $00$ se defina como $1$ . Por ejemplo, las siguientes tres interpretaciones de $b 0$ tienen tanto sentido para $b = 0$ como para números enteros positivos $b$ :

La interpretación de $b 0$ como producto vacío le asigna el valor $1$ .
La interpretación combinatoria de $b 0$ es el número de 0-tuplas de elementos de un conjunto de elementos $b$ ; hay exactamente una tupla 0.
La interpretación teórica de conjuntos de $b 0$ es el número de funciones desde el conjunto vacío hasta un conjunto de $b$ -elementos; existe exactamente una de esas funciones, a saber, la función vacía . ^[1]

Los tres se especializan para dar $00 = 1$ .

Polinomios y series de potencias.

Al evaluar polinomios , es conveniente definir $00$ como $1$ . Un polinomio (real) es una expresión de la forma $a 0 x 0 + \cdot\cdot\cdot + a n x n$ , donde $x$ es un indeterminado y los coeficientes $a i$ son números reales . Los polinomios se suman por términos y se multiplican aplicando la ley distributiva y las reglas habituales para los exponentes. Con estas operaciones, los polinomios forman un anillo $R [x]$ . La identidad multiplicativa de $R [x]$ es el polinomio $x 0$ ; es decir, $x 0$ multiplicado por cualquier polinomio $p (x)$ es simplemente $p (x)$ . ^[2] Además, los polinomios se pueden evaluar especializando $x$ en un número real. Más precisamente, para cualquier número real dado $r$ , existe un homomorfismo de álgebra R $unital único ev r : R [x] \to R$ tal que $ev r (x) = r$ . Como $ev r$ es unital, $ev r (x 0) = 1$ . Es decir, $r 0 = 1$ para cada número real $r$ , incluido 0. El mismo argumento se aplica con $R$ reemplazado por cualquier anillo . ^[3]

Definir $00 = 1$ es necesario para muchas identidades polinomiales. Por ejemplo, el teorema del binomio se cumple para $x$ $= 0$ sólo si $0$ $0$ $= 1$ . ^[4] $(1+x)^{n}=\sum _ {k=0}^{n}{\binom {n}{k}}x^{k}$

De manera similar, los anillos de series de potencias requieren que $x 0$ se defina como 1 para todas las especializaciones de $x$ . Por ejemplo, a las identidades les gusta y se mantienen para $x$ $= 0$ solo si $0$ $0$ $= 1$ . ^[5] ${\frac {1}{1-x}}=\sum _{n=0}^{\infty }x^{n}$ $e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}$

Para que el polinomio $x 0$ defina una función continua $R \to R$ , se debe definir $00 = 1$ .

En cálculo , la regla de la potencia es válida para $n$ $= 1$ en $x$ $= 0$ sólo si $0$ $0$ $= 1$ . ${\frac {d}{dx}}x^{n}=nx^{n-1}$

Exponentes continuos

Gráfica de $z = x y$ . Las curvas rojas (con $z$ constante) producen límites diferentes cuando $(x, y)$ se aproxima a $(0, 0)$ . Todas las curvas verdes (de pendiente constante finita, $y = ax$ ) producen un límite de $1$ .

Los límites que implican operaciones algebraicas a menudo se pueden evaluar reemplazando subexpresiones con sus límites; si la expresión resultante no determina el límite original, la expresión se conoce como forma indeterminada . ^[6] La expresión $00$ es una forma indeterminada: Dadas funciones de valor real $f (t)$ y $g (t)$ que se acercan a $0$ (cuando $t$ se acerca a un número real o $\pm\infty$ ) con $f (t) > 0$ , el límite de $f (t) g (t)$ puede ser cualquier número real no negativo o $+\infty$ , o puede divergir , dependiendo de $f$ y $g$ . Por ejemplo, cada límite a continuación implica una función $f (t) g (t)$ con $f (t), g (t) \to 0$ como $t \to 0 +$ (un límite unilateral ), pero sus valores son diferentes:

\lim _{t\to 0^{+}}{t}^{t}=1,

\lim _{t\to 0^{+}}\left(e^{-1/t^{2}}\right)^{t}=0,

\lim _{t\to 0^{+}}\left(e^{-1/t^{2}}\right)^{-t}=+\infty,

\lim _{t\to 0^{+}}\left(e^{-1/t}\right)^{at}=e^{-a}.

Por lo tanto, la función de dos variables $x y$ , aunque continua en el conjunto ${(x, y) : x > 0}$ , no puede extenderse a una función continua en ${(x, y) : x > 0} \cup {(0 , 0)}$ , no importa cómo se elija definir $00$ . ^[7]

Por otro lado, si $f$ y $g$ son funciones analíticas en una vecindad abierta de un número $c$ , entonces $f (t) g (t) \to 1$ cuando $t$ tiende $a c$ desde cualquier lado en el que $f$ sea positivo. ^[8] Este y más resultados generales se pueden obtener estudiando el comportamiento límite de la función . ^[9]^[10] $\log(f(t)^{g(t)})=g(t)\log f(t)$

Exponentes complejos

En el dominio complejo , la función $z w$ se puede definir para $z$ distinto de cero eligiendo una rama de $log z$ y definiendo $z w$ como $e w log z$ . Esto no define $0 w$ ya que no hay ninguna rama de $log z$ definida en $z = 0$ , y mucho menos en una vecindad de $0$ . ^[11]^[12]^[13]

Historia

como valor

En 1752, Euler en Introductio in analysin infinitorum escribió que $a 0 = 1$ ^[14] y mencionó explícitamente que $00 = 1$ . ^[15] Una anotación atribuida ^[16] a Mascheroni en una edición de 1787 del libro de Euler Institutiones calculi diferencialis^[17] ofrecía la "justificación"

0^{0}=(aa)^{nn}={\frac {(aa)^{n}}{(aa)^{n}}}=1

Libri ^[18]^[16]

00 = 1

^[19]

Como forma limitante

Euler, al establecer $00 = 1$ , mencionó que en consecuencia los valores de la función $0 x$ dan un "gran salto", de $\infty$ para $x < 0$ , a $1$ en $x = 0$ , a $0$ para $x > 0$ . ^[14] En 1814, Pfaff utilizó un argumento del teorema de compresión para demostrar que $x x \to 1$ cuando $x \to 0 +$ . ^[8]

Por otro lado, en 1821 Cauchy ^[20] explicó por qué el límite de $x y$ cuando los números positivos $xey$ se aproximan a $0$ $mientras$ están restringidos por alguna relación fija podría hacerse asumir cualquier valor entre $0$ y $\infty$ eligiendo la relación apropiadamente. Dedujo que el límite de la función completa de dos variables $x y$ sin una restricción especificada es "indeterminado". Con esta justificación, enumeró $00$ junto con expresiones como $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num{display:block;line-height:1em;margin:0.0em 0.1em;border-bottom:1px solid}.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0.1em 0.1em}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);clip-path:polygon(0px 0px,0px 0px,0px 0px);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}0/0$ en una tabla de formas indeterminadas .

Aparentemente inconsciente del trabajo de Cauchy, Möbius ^[8] en 1834, basándose en el argumento de Pfaff, afirmó incorrectamente que $f (x) g (x) \to 1$ siempre que $f (x), g (x) \to 0$ cuando $x$ se acerca a un número $c$ ( presumiblemente $f$ se supone positivo lejos de $c$ ). Möbius lo redujo al caso $c = 0$ , pero luego cometió el error de suponer que $f$ y $g$ podían expresarse en la forma $Px n$ para alguna función continua $P$ que no desapareciera en $0$ y algún entero no negativo $n$ , lo cual es cierto para el caso analítico. funciones, pero no en general. Un comentarista anónimo señaló el paso injustificado; ^[21] luego, otro comentarista que firmó su nombre simplemente como "S" proporcionó los contraejemplos explícitos $(e -1/ x) x \to e -1$ y $(e -1/ x) 2 x \to e -2$ como $x \to 0 +$ y expresó la situación escribiendo que " $00$ puede tener muchos valores diferentes". ^[21]

Situación actual

Algunos autores definen $00$ como $1$ porque simplifica muchos enunciados de teoremas. Según Benson (1999), "La elección de definir $00$ se basa en la conveniencia, no en la corrección. Si nos abstenemos de definir $00$ , entonces ciertas afirmaciones se vuelven innecesariamente incómodas... El consenso es utilizar la definición $00 = 1$ , aunque hay libros de texto que se abstienen de definir $0 0.$ " ^[22] Knuth (1992) sostiene más firmemente que $00$ " tiene que ser $1$ "; hace una distinción entre el valor $00$ , que debería ser igual a $1$ , y la forma límite $00$ (una abreviatura de un límite de $f (t) g (t)$ donde $f (t), g (t) \to 0$ ), que es una forma indeterminada: "Tanto Cauchy como Libri tenían razón, pero Libri y sus defensores no entendieron por qué la verdad estaba de su lado". ^[19]
Otros autores dejan $00$ indefinido porque $00$ es una forma indeterminada: $f (t), g (t) \to 0$ no implica $f (t) g (t) \to 1$ . ^[23]^[24]

No parece haber ningún autor que asigne $a 0 0$ un valor específico distinto de 1. ^[22]

Tratamiento en computadoras

Estándar de punto flotante IEEE

El estándar de punto flotante IEEE 754-2008 se utiliza en el diseño de la mayoría de las bibliotecas de punto flotante. Recomienda una serie de operaciones para calcular una potencia: ^[25]

pown(cuyo exponente es un número entero) trata $00$ como $1$ ; ver § Exponentes discretos.
pow(cuya intención es devolver un resultado que no sea NaN cuando el exponente es un número entero, como pown) trata $00$ como $1$ .
powrtrata $00$ como NaN (No es un número) debido a su forma indeterminada; ver § Exponentes continuos.

La powvariante está inspirada en la powfunción de C99 , principalmente por compatibilidad. ^[26] Es útil principalmente para lenguajes con una única función de potencia. Las variantes powny powrse han introducido debido al uso conflictivo de las funciones de potencia y a los diferentes puntos de vista (como se indicó anteriormente). ^[27]

Lenguajes de programación

Los estándares C y C++ no especifican el resultado de $00$ (puede ocurrir un error de dominio). Pero para C, a partir de C99 , si se admite el anexo normativo F, se requiere que el resultado para tipos de punto flotante reales sea $1$ porque hay aplicaciones importantes para las cuales este valor es más útil que NaN ^[28] (por ejemplo, con exponentes discretos); el resultado sobre tipos complejos no se especifica, incluso si se admite el anexo informativo G. El estándar Java , ^[29] el método .NET Framework , ^[30]Julia y Python ^[31]^[32] también tratan $0$ $0$ como $1$ . Algunos lenguajes documentan que su operación de exponenciación corresponde a la función de la biblioteca matemática de C ; este es el caso del operador de Lua ^[33] y del operador de Perl ^[34] (donde se menciona explícitamente que el resultado de depende de la plataforma). System.Math.Pow pow^**0**0

Software matemático y científico.

R , ^[35] SageMath , ^[36] y PARI/GP ^[37] evalúan $x 0$ a $1$ . Mathematica ^[38] simplifica $x 0$ a $1$ incluso si no se imponen restricciones a $x$ ; sin embargo, si se ingresa $00$ directamente, se trata como un error o como indeterminado. Mathematica ^[38] y PARI/GP ^[37]^[39] distinguen además entre valores enteros y de punto flotante: si el exponente es un cero de tipo entero, devuelven un $1$ del tipo de base; la exponenciación con un exponente de punto flotante de valor cero se trata como indefinida, indeterminada o error.

Ver también

Referencias

^ Bourbaki, Nicolás (2004). "III.§3.5". Elementos de Matemáticas, Teoría de Conjuntos . Springer-Verlag .
^ Bourbaki, Nicolás (1970). "§III.2 núm. 9". Algebre . Saltador . El único monôme de grado $0$ es el elemento unitario de $A$ $[($ $X$ $i$ $)$ $i$ $\in$ $I$ $]$ ; on l'identifie souvent à l'élément unité $1$ de $A$
^ Bourbaki, Nicolás (1970). "§IV.1 núm. 3". Algebre . Saltador .
^ Graham, Ronald ; Knuth, Donald ; Patashnik, Oren (5 de enero de 1989). "Coeficientes binomiales". Matemáticas concretas (1ª ed.). Addison-Wesley Longman Publishing Co. pág. 162.ISBN 0-201-14236-8. Algunos libros de texto dejan la cantidad $00$ indefinida, porque las funciones $x 0$ y $0 x$ tienen diferentes valores límite cuando $x$ disminuye a 0. Pero esto es un error. Debemos definir $x 0 = 1$ , para todo $x$ , si el teorema del binomio va a ser válido cuando $x = 0$ , $y = 0$ y/o $x = - y$ . ¡El teorema del binomio es demasiado importante para restringirlo arbitrariamente! Por el contrario, la función $0 x$ carece de importancia.
^ Vaughn, Herbert E. (1970). "La expresión $0$ $0$ ". El profesor de matemáticas . 63 : 111-112.
^ Malik, Carolina del Sur; Arora, Savita (1992). Análisis matemático . Nueva York, Estados Unidos: Wiley. pag. 223.ISBN 978-81-224-0323-7. En general, el límite de $φ (x)/ ψ (x)$ cuando $x = a$ en caso de que existan los límites de ambas funciones es igual al límite del numerador dividido por el denominador. Pero ¿qué pasa cuando ambos límites son cero? La división ( $0/0$ ) entonces deja de tener sentido. Un caso como este se conoce como forma indeterminada. Otras formas similares son $\infty/\infty$ , $0 \times \infty$ , $\infty - \infty$ , $00$ , $1 \infty$ y $\infty 0$ .
^ Paige, LJ (marzo de 1954). "Una nota sobre formas indeterminadas". Mensual Matemático Estadounidense . 61 (3): 189-190. doi :10.2307/2307224. JSTOR 2307224.
^ abc Möbius, AF (1834). "Beweis der Gleichung 00 = 1, nach JF Pfaff" [Demostración de la ecuación $0$ $0$ $= 1$ , según JF Pfaff]. Journal für die reine und angewandte Mathematik (en alemán). 1834 (12): 134-136. doi :10.1515/crll.1834.12.134. S2CID 199547186.
^ Baxley, Juan V.; Hayashi, Elmer K. (junio de 1978). "Formas indeterminadas de tipo exponencial". El Mensual Matemático Estadounidense . 85 (6): 484–486. doi :10.2307/2320074. JSTOR 2320074 . Consultado el 23 de noviembre de 2021 .
^ Xiao, Jinsen; Él, Jianxun (diciembre de 2017). "Sobre formas indeterminadas de tipo exponencial". Revista Matemáticas . 90 (5): 371–374. doi : 10.4169/math.mag.90.5.371. JSTOR 10.4169/math.mag.90.5.371. S2CID 125602000 . Consultado el 23 de noviembre de 2021 .
^ Portador, George F.; Krook, Max; Pearson, Carl E. (2005). Funciones de una variable compleja: teoría y técnica . pag. 15.ISBN 0-89871-595-4. Como $log(0)$ no existe, $0 z$ no está definido. Para $Re(z) > 0$ , lo definimos arbitrariamente como $0$ .
^ González, Mario (1991). Análisis complejo clásico . Chapman y salón . pag. 56.ISBN 0-8247-8415-4. Para $z = 0$ , $w \neq 0$ , definimos $0 w = 0$ , mientras que $00$ no está definido.
^ Meyerson, Mark D. (junio de 1996). "El huso $x$ $x$ ". Revista Matemáticas . vol. 69, núm. 3. págs. 198–206. doi :10.1080/0025570X.1996.11996428. ... Empecemos en $x$ $= 0$ . Aquí $x$ $x$ no está definido.
^ ab Euler, Leonhard (1988). "Capítulo 6, §97". Introducción al análisis del infinito, Libro 1. Traducido por Blanton, JD Springer. pag. 75.ISBN 978-0-387-96824-7.
^ Euler, Leonhard (1988). "Capítulo 6, §99". Introducción al análisis del infinito, Libro 1. Traducido por Blanton, JD Springer. pag. 76.ISBN 978-0-387-96824-7.
^ ab Libri, Guillaume (1833). "Mémoire sur les fonctions discontinua". Journal für die reine und angewandte Mathematik (en francés). 1833 (10): 303–316. doi :10.1515/crll.1833.10.303. S2CID 121610886.
^ Euler, Leonhard (1787). Institutiones calculi diferencialis, vol. 2. Tesini. ISBN 978-0-387-96824-7.
^ Libros, Guillaume (1830). "Nota sobre los valores de la función $0$ $0$ $x$ ". Journal für die reine und angewandte Mathematik (en francés). 1830 (6): 67–72. doi :10.1515/crll.1830.6.67. S2CID 121706970.
^ ab Knuth, Donald E. (1992). "Dos notas sobre notación". El Mensual Matemático Estadounidense . 99 (5): 403–422. arXiv : matemáticas/9205211 . Código Bib : 1992 matemáticas ...... 5211K. doi :10.1080/00029890.1992.11995869.
^ Cauchy, Augustin-Louis (1821), Cours d'Analyse de l'École Royale Polytechnique , Oeuvres Complètes: 2 (en francés), vol. 3, págs. 65–69
^ ab Anónimo (1834). "Bemerkungen zu dem Aufsatze überschrieben "Beweis der Gleichung 00 = 1, nach JF Pfaff"" [Observaciones sobre el ensayo "Demostración de la ecuación $0$ $0$ $= 1$ , según JF Pfaff"]. Journal für die reine und angewandte Mathematik (en alemán). 1834 (12): 292–294. doi :10.1515/crll.1834.12.292.
^ ab Benson, Donald C. (1999). Escrito en Nueva York, Estados Unidos. El momento de la prueba: epifanías matemáticas . Oxford, Reino Unido: Oxford University Press . pag. 29.ISBN 978-0-19-511721-9.
^ Eduardo; Penny (1994). Cálculo (4ª ed.). Prentice Hall . pag. 466.
^ Keedy; Bittinger; Herrero (1982). Álgebra dos . Addison-Wesley . pag. 32.
^ Müller, Jean-Michel; Brisebarre, Nicolás; de Dinechin, Florent; Jeannerod, Claude-Pierre; Lefèvre, Vicente; Melquiond, Guillaume; Revol, Nathalie ; Stehlé, Damián; Torres, Serge (2010). Manual de aritmética de coma flotante (1 ed.). Birkhäuser . pag. 216.doi :10.1007/978-0-8176-4705-6 . ISBN 978-0-8176-4704-9. LCCN 2009939668. S2CID 5693480. ISBN 978-0-8176-4705-6 (en línea), ISBN 0-8176-4704-X (impreso)
^ "Preguntas más trascendentales". grupoer.ieee.org . Archivado desde el original el 14 de noviembre de 2017 . Consultado el 27 de mayo de 2019 .(NB. Inicio de la discusión sobre las funciones de potencia para la revisión del estándar IEEE 754, mayo de 2007.)
^ "Re: Una especificación vaga". grupoer.ieee.org . Archivado desde el original el 14 de noviembre de 2017 . Consultado el 27 de mayo de 2019 .(NB. Sugerencia de variantes en la discusión sobre las funciones de potencia para la revisión del estándar IEEE 754, mayo de 2007.)
^ Justificación del estándar internacional: lenguajes de programación: C (PDF) (Reporte). Revisión 5.10. Abril de 2003. p. 182.
^ "Matemáticas (Plataforma Java SE 8) pow". Oráculo.
^ "Método Math.Pow de la biblioteca de clases de .NET Framework". Microsoft.
^ "Tipos integrados: documentación de Python 3.8.1" . Consultado el 25 de enero de 2020 . Python define pow(0, 0) y 0 ** 0 como $1$ , como es común en los lenguajes de programación.
^ "matemáticas - Funciones matemáticas - Documentación de Python 3.8.1" . Consultado el 25 de enero de 2020 . Los casos excepcionales siguen en la medida de lo posible el anexo 'F' de la norma C99. En particular, pow(1.0, x) y pow(x, 0.0) siempre devuelven 1.0, incluso cuando x es cero o NaN .
^ "Manual de referencia de Lua 5.3" . Consultado el 27 de mayo de 2019 .
^ "perlop - Exponenciación" . Consultado el 27 de mayo de 2019 .
^ El equipo central de R (11 de junio de 2023). "R: un lenguaje y un entorno para la informática estadística: índice de referencia" (PDF) . Versión 4.3.0. pag. 25 . Consultado el 22 de noviembre de 2019 . y son 1, siempre.1 ^ yy ^ 0
^ El equipo de desarrollo de Sage (2020). «Manual de referencia de Sage 9.2: Anillos conmutativos estándar. Elementos del anillo Z de números enteros» . Consultado el 21 de enero de 2021 . Para mantener la coherencia con Python y MPFR, 0^0 se define como 1 en Sage.
^ ab "pari.git/commitdiff – 10- x ^ t_FRAC: devuelve un resultado exacto si es posible; por ejemplo, 4^(1/2) ahora es 2" . Consultado el 10 de septiembre de 2018 .
^ ab "Documentación del sistema y lenguaje Wolfram: potencia". Wolframio . Consultado el 2 de agosto de 2018 .
^ El Grupo PARI (2018). "Guía del usuario de PARI/GP (versión 2.11.0)" (PDF) . págs.10, 122 . Consultado el 4 de septiembre de 2018 . También existe el operador de exponenciación ^, cuando el exponente es de tipo entero; de lo contrario, se considera una función trascendental. ... Si el exponente $n$ es un número entero, entonces las operaciones exactas se realizan utilizando técnicas de potencia binarias (desplazamiento a la izquierda). ... Si el exponente $n$ no es un número entero, la potenciación se trata como la función trascendental $exp($ $n$ $log$ $x$ $)$ .

enlaces externos

Preguntas frecuentes de sci.math: ¿Qué es 00?
¿A qué equivale 00 (cero elevado a la potencia cero)? en AskAMathematician.com