¿Cómo se definen los poderes en matemáticas?

Cuando un valor se escribe explícitamente en forma de potencia, aparece como [math] b ^ x [/ math], donde b se llama base, x se llama exponente (o índice u orden en algunas partes del inglés). -hablante mundo), y toda la expresión es el poder.

Cuando x es un número entero positivo, el significado de [matemáticas] b ^ x [/ matemáticas] es multiplicar x copias de b como factores. Por lo tanto, b ³ = b · b · b . Eso significa que hay multiplicaciones x – 1, lo que confunde a muchas personas porque a menudo hablarán de multiplicar b por sí mismo x veces, cuando, de hecho, solo es x – 1 veces; la x se refiere al número de ocurrencias de b .

Cuando x es un entero negativo, [matemática] b ^ x = 1 / b ^ {- x} [/ matemática]. Cuando x = 0, b ⁰ = 1, independientemente del valor de b (y, sí, evité deliberadamente referirme a b = 0 como un caso de excepción, porque, en este contexto, se requiere necesariamente que 0⁰ sea considerado como 1 , basado en la regla del producto vacío, junto con una gran cantidad de ejemplos prácticos).

Cuando x es racional pero no un número entero, se puede expresar como x = p / q , y se considera que el valor de [math] b ^ x [/ math] es la raíz número q de [math] b ^ p [/matemáticas].

Cuando x es irracional, [math] b ^ x [/ math] se considera el límite de [math] b ^ r [/ math] para una secuencia de valores racionales r que se aproximan a x como límite.

Sin embargo, esto no se permite que sea de forma totalmente libre. Hay restricciones

  • Si b = 0, entonces x está prohibido ser un número negativo.
  • Si b <0, entonces x generalmente está prohibido ser un valor no entero. Muchos (pero no todos) los matemáticos hacen una excepción especial para la x racional expresada como la razón de un entero dividido por un entero impar, de modo que [matemática] (- 8) ^ {1/3} = -2 [/ matemática].

La discusión anterior ha asumido un contexto de números reales tanto para la base como para el exponente. El cumplimiento de las restricciones anteriores produce un número real para la base. Es fácil extender la base a números complejos. No hay absolutamente ningún problema con respecto a la aplicación de un exponente entero a una base compleja, siempre que no tengamos simultáneamente una base de 0 y un exponente negativo. Para una base compleja, el exponente puede extenderse a todos los números reales e incluso a números complejos, pero uno debe tener cuidado al interpretar la operación y el resultado, porque la evaluación de potencias se vuelve multivalorizada en el mundo de los números complejos.

La discusión anterior ha pasado por alto un malentendido bastante común entre las personas. Algunas personas piensan que en la expresión [matemáticas] b ^ x [/ matemáticas], solo x , en lugar del valor de la expresión completa, es el poder. Eso es incorrecto. Como un simple ejemplo, nos referimos a la secuencia:
1, 2, 4, 8, 16, 32, 64, …
como los poderes de 2. Los términos son [matemática] 2 ^ 0 [/ matemática], [matemática] 2 ^ 1 [/ matemática], [matemática] 2 ^ 2 [/ matemática], [matemática] 2 ^ 3 [/ matemáticas], [matemáticas] 2 ^ 4 [/ matemáticas], [matemáticas] 2 ^ 5 [/ matemáticas], [matemáticas] 2 ^ 6 [/ matemáticas],…. (Nota: muchas personas comienzan la secuencia con [matemática] 2 ^ 0 = 1 [/ matemática] como aquí; algunas otras comienzan en [matemática] 2 ^ 1 = 2 [/ matemática], no es gran cosa de ninguna manera). Tenga en cuenta que [matemática] 2 ^ 5 = 32 [/ matemática] está en la secuencia, considerada como una potencia de 2; si 5 es la potencia, entonces 5 debería estar en la secuencia, pero no lo es: las potencias son la expresión completa, no solo el exponente. La confusión parece venir de leer [matemáticas] 2 ^ 5 [/ matemáticas] como “dos a la quinta potencia” (que es una lectura muy común, pero no la única), y la gente se siente tentada a pensar que la sola palabra el quinto poder inmediatamente anterior es el descriptor adjetivo del poder y, por lo tanto, es el valor del poder; de hecho, el descriptor de adjetivo aplicado al poder es la frase completa dos a la quinta, por lo que toda la expresión [matemáticas] 2 ^ 5 [/ matemáticas] es el poder. Esto es más claro cuando se usa la lectura de que [matemática] 2 ^ 5 [/ matemática] es “la quinta potencia de 2” —si, [matemática] 2 ^ 5 [/ matemática] es una potencia, más específicamente una potencia de 2— cual poder? el quinto poder de 2. En la práctica, la mayoría de la gente no lee [matemática] 2 ^ 5 [/ matemática] de esa manera porque intercambia el orden de izquierda a derecha del 2 y el 5, algo que la mayoría de la gente prefiere no intercambiar. .

Los poderes racionales se definen fácilmente. Si podemos escribir [matemática] c [/ matemática] como [matemática] \ frac {p} {q} [/ matemática], con p y q números enteros, entonces [matemática] x ^ c [/ matemática] = [matemática ] \ sqrt [q] {x ^ p}. [/ math]

La respuesta de Howard Ludwig a esta pregunta tiene una excelente explicación de lo que esto significa exactamente.

Pero, ¿qué pasa si [matemáticas] c [/ matemáticas] es irracional?

Para responder a esta pregunta, primero necesitamos definir la función exponencial.

exp (x) [matemáticas] = e ^ x [/ matemáticas]

¿Qué es [matemáticas] e ^ x [/ matemáticas]? Se define como una función de R a R, dando el valor

[matemáticas] \ sum_ {n = 0} ^ {\ infty} \ frac {x ^ n} {n!} [/ matemáticas]

exp (x) tiene varias propiedades. Los más importantes son los siguientes:

  • [matemáticas] 1 = e ^ 0 = e ^ x * e ^ {- x} [/ matemáticas]
  • [matemáticas] \ frac {1} {e ^ x} = e ^ {- x} [/ matemáticas]
  • [matemáticas] \ exp (x + y) = \ exp (x) + \ exp (y) [/ matemáticas]
  • [matemáticas] \ exp (xy) = {exp (x)} ^ {y} [/ matemáticas]

La función inversa de exp (x) es log (x). Si [matemática] y = \ log (x) [/ matemática], entonces [matemática] e ^ y = x [/ matemática]

Podemos extender la definición de poderes racionales de [matemáticas] x [/ matemáticas] a los poderes reales de [matemáticas] x [/ matemáticas] diciendo

[matemáticas] x ^ c = e ^ {c \ log (x)} [/ matemáticas]

Sobre la exponenciación de los números naturales, hay dos escuelas de pensamiento. La exponenciación, como probablemente le enseñaron en la escuela secundaria (y todavía me adhiero a ella), se puede definir formalmente de la siguiente manera:

  1. Para todos [matemática] x \ en N [/ matemática]: Si [matemática] x \ neq 0 [/ matemática] entonces [matemática] x ^ 0 = 1 [/ matemática]
  2. [matemáticas] 0 ^ 1 = 0 [/ matemáticas]
  3. Para todas [matemáticas] x, y \ en N [/ matemáticas]: [matemáticas] x ^ {y + 1} = x ^ y \ veces x [/ matemáticas]

Tenga en cuenta que [math] 0 ^ 0 [/ math] no está definido aquí. La exponenciación se define aquí para todas las demás combinaciones de bases y exponentes en los números naturales.

Otra definición que es muy conveniente para algunas aplicaciones es:

  1. Para todas [matemáticas] x \ en N [/ matemáticas]: [matemáticas] x ^ 0 = 1 [/ matemáticas]
  2. Para todas [matemáticas] x, y \ en N [/ matemáticas]: [matemáticas] x ^ {y + 1} = x ^ y \ veces x [/ matemáticas]

Esto difiere de la definición anterior solo en que tenemos [matemáticas] 0 ^ 0 = 1 [/ matemáticas]. En mi humilde opinión, es casi imposible demostrar por qué este debería ser el caso sin establecer analogías cuestionables, pero realmente simplifica algunos cálculos y pruebas y, hasta ahora, no ha resultado en ninguna inconsistencia evidente. ¿Son estas buenas razones para adoptar [matemáticas] 0 ^ 0 = 1 [/ matemáticas]? Tal vez no. Dejar [matemáticas] 0 ^ 0 [/ matemáticas] sin definir significa algo, tal vez mucho trabajo extra en algunos casos, pero no conozco ningún resultado que pueda hacerse fundamentalmente inalcanzable.

[matemática] x ^ n [/ matemática] mientras n> 0, multiplica x por sí mismo por el valor de n veces. Ejemplo, [matemáticas] 5 ^ 4 = 5 * 5 * 5 * 5 = 625 [/ matemáticas]

si n <0 entonces

[matemática] x ^ n [/ matemática] es solo [matemática] 1 / x ^ n [/ matemática] Ejemplo, [matemática] 5 ^ -4 = 1/5 ^ 4 = 1 / (5 * 5 * 5 * 5 ) = 0.0016 [/ matemáticas]

Invisibilidad: (a + b) + c = (a + c + b) = c + (a + b)

Invencibilidad: g (x) = f (x) * f ^ -1 (x)

Visión de rayos X: ((((((x))))) = x

Super velocidad (por ejemplo, El hombre increíble): lim {x-> 0} 1 / x

Posiblemente más supervelocidad (por ejemplo, Speedster): lim {x-> 0} sin (x) / x ^ 2

Mathvel nunca cubrió cuál era más rápido en la línea de tiempo principal, pero l’Hopital lo cubrió en un trabajo derivado.

La definición más simple es que una potencia define cuántas veces se debe multiplicar un número por sí mismo (incluida la primera instancia)

Entonces [matemáticas] 8 ^ 2 = 8 * 8 [/ matemáticas]