Muchas de estas respuestas se han basado en la definición más simple pero defectuosa de exponenciación como multiplicación repetida. Digo “defectuoso” porque [matemáticas] \ pi ^ \ pi [/ matemáticas] es un número perfectamente significativo (un poco más de 36.46), pero no es significativo multiplicar un número irracional de veces.
Las respuestas que se basan en reglas de exponente ([matemáticas] x ^ p \ veces x ^ q = x ^ {p + q} [/ matemáticas]), mientras tanto, no explique inmediatamente el problema con [matemáticas] 0 ^ 0 [ / matemáticas], y también tienden a referirse de nuevo a la noción de “multiplicación repetida”.
La respuesta avanzada a esta pregunta es que [matemática] f (x) = k ^ x [/ matemática] representa una función. En valores enteros positivos de x, los valores para esta función son idénticos al valor de multiplicar x instancias de k (es decir, [matemáticas] f (3) = k ^ 3 = k \ veces k \ veces k [/ matemáticas]). Los matemáticos luego preguntaron si esta función podría evaluarse para valores que no fueran enteros positivos, y desarrollaron reglas para hacerlo.
Si k es otra cosa que 0, descubrieron, [matemática] f (0) = 1 [/ matemática]. Graficando f (x) sin problemas para cualquier k excepto 0, la función siempre pasa por el punto (0, 1). (Para k negativo, necesitamos el plano complejo, que es un asunto separado, pero la función sigue siendo continua).
- Cómo demostrar que la función [matemáticas] f (x) = e ^ {x ^ 2} [/ matemáticas] no tiene primitiva
- Cómo demostrar | xy | / (2x ^ 2 + 3y ^ 2) <= 1, donde x, y son números reales
- ¿Dónde puedo encontrar la lista de números resueltos para [matemáticas] X ^ 3 + Y ^ 3 + Z ^ 3 = k [/ matemáticas] ([matemáticas] X, Y, Z [/ matemáticas] son enteros)?
- Cómo diferenciar [matemáticas] \ mid x \ mid ^ {p} [/ math]
- ¿Por qué el disco local comienza con el alfabeto CDE? ¿Por qué no A y B en las computadoras?
El problema es con [matemáticas] k = 0 [/ matemáticas]. Para todos los valores de x mayores que 0, [matemática] 0 ^ x = 0 [/ matemática]. Eso parecería implicar que [math] f (0) = 0 [/ math] también. Pero eso lleva a un problema separado: creemos una función para el valor de f (0) a medida que k cambia, es decir, [matemática] g (k) = k ^ 0 [/ matemática]. Entonces [math] g (k) = 1 [/ math] para todos los valores EXCEPTO 0, donde es igual a 0.
Eso deja a los matemáticos con algunas opciones:
- Defina [math] k ^ 0 = 1 [/ math] para todos los valores de k, incluido 0, y evite el problema de f (0).
- Defina [matemática] 0 ^ x = 0 [/ matemática] para todos los valores no negativos de x, incluido 0, y evite el problema de g (0).
- Declare que [math] 0 ^ 0 [/ math] es indeterminado.
La mayoría de las veces, los matemáticos simplemente toman la tercera ruta y la dejan así. Puede haber contextos en los que es matemáticamente más conveniente tomar la primera o segunda ruta.
Tenga en cuenta que hay una distinción clave entre “indeterminado” e “indefinido” en matemáticas. “Indeterminado” significa que una expresión particular (en este caso, [matemática] 0 ^ 0 [/ matemática]) tiene valores diferentes dependiendo de la función utilizada para generarla. “Indefinido” (como [math] 1/0 [/ math]) significa que una expresión particular no tiene ningún valor válido bajo las reglas matemáticas que se utilizan. Dado que [matemática] 1/0 = 0 ^ x [/ matemática] cuando x es negativa, [matemática] 0 ^ x = 0 [/ matemática] para valores positivos, es indeterminada para 0 y no está definida para valores negativos. Si está familiarizado con los límites, esta es otra razón para evitar definir [matemáticas] 0 ^ 0 [/ matemáticas] como un valor específico.