Solía haber mucho debate sobre cómo deberíamos definir [matemáticas] 0 ^ 0 [/ matemáticas]. Hoy en día, la convención que seguimos es que [matemáticas] 0 ^ 0 = 1 [/ matemáticas]. Aquí hay algunas razones por las cuales:
- Debemos tener [matemática] 0 ^ 0 = 1 [/ matemática] para que el teorema binomial se mantenga para todos los valores de [matemática] x [/ matemática] y [matemática] y [/ matemática]. Sin esta convención tendríamos que estipular que [math] x \ neq 0 [/ math], [math] y \ neq 0 [/ math] y [math] xy \ neq 0 [/ math].
- Usando la convención de que [matemática] 0 ^ 0 = 1 [/ matemática] hace que la notación sigma de muchas sumas sea mucho más limpia y compacta. En particular, la serie Taylor como [math] \ sum_ {n = 0} ^ {\ infty} \ frac {f ^ {(n)} (a)} {n!} (Xa) ^ n [/ math], en cambio de [matemáticas] f (a) + \ sum_ {n = 1} ^ {\ infty} \ frac {f ^ {(n)} (a)} {n!} (xa) ^ n [/ matemáticas]. (Nota: esta es también una razón por la que definimos [matemática] 0! = 1 [/ matemática])
- La expresión [matemática] 0 ^ 0 [/ matemática] es un producto vacío, y los productos vacíos son iguales a [matemática] 1 [/ matemática] por convención.
[matemáticas] 0 ^ 1 = 0 [/ matemáticas] es fácil. La exponenciación por un entero positivo se define simplemente como multiplicación repetida. Así que calcule [math] a ^ n [/ math], donde [math] a \ in \ mathbb {R} [/ math] y [math] n \ in \ mathbb {Z} ^ + [/ math] toma [ matemáticas] n [/ matemáticas] copias de [matemáticas] a [/ matemáticas] y multiplíquelas todas juntas. En el caso específico de [math] 0 ^ 1 [/ math], tiene una copia única de [math] 0 [/ math] y la multiplica y solo tiene [math] 0 [/ math]. Por esta misma razón, cualquier número elevado a uno es igual a sí mismo (es decir, [matemática] a ^ 1 = a [/ matemática])