Potenciación

Las potencias son una operación matemática entre dos términos denominados: base ${displaystyle a}$ y exponente ${displaystyle n}$. Se escribe ${displaystyle a^{n}}$ y se lee normalmente como «a elevado a la n». Hay algunos exponentes especiales como el 2, que se lee al cuadrado, y el 3, que se lee al cubo. Exponentes mayores que el 3 ó cubo suelen leerse como elevado a la cuarta, quinta sexta etc. potencia.

Se llama potencia a una expresión de la forma ${displaystyle a^{n}}$, donde a es denominada base y ${displaystyle n}$ denominada exponente. Su definición varía según el conjunto numérico al que pertenezca el exponente. La base se multiplica por sí misma las veces indicadas por el exponente menos 1. Así, para elevar al cuadrado se multiplica una vez, y para elevar al cubo, dos veces.

La potenciación es una operación que consiste en multiplicar por sí mismo un número principal llamado base, tantas veces como lo indique otro número que se llama exponente. En otras palabras: potenciación es la toma de un nümero denominado base como factor tantas veces como lo indique otro número denominado exponente.

Cuando el exponente es un número natural n, este indica las veces que aparece a multiplicando por sí mismo, siendo a un número cualquiera:

(1)${displaystyle {egin{array}{ll}a^{1}=&a\a^{2}=&a imes a\vdots &vdots \a^{n}=&underbrace {a imes cdots imes a} _{n{ ext{ veces}}},end{array}}}$

Esta definición puede aplicarse tanto a números reales como complejos, así como a otras estructuras algebraicas más abstractas, que pueden ser, por ejemplo, matriz cuadrada o matrices cuadradas.

Se conserva la base y se suman los exponentes; es decir:

Ejemplos:

La potencia de una potencia en matriz cuadrada es igual a la potencia de base a y cuyo exponente es el producto de ambos exponentes (la misma base y se multiplican los exponentes):

Debido a esto, la notación ${displaystyle a^{b^{c}}}$ se reserva para significar ${displaystyle a^{(b^{c})}}$ ya que ${displaystyle {(a^{b})}^{c}}$ se puede escribir sencillamente como ${displaystyle a^{bc},}$.

La potencia de un Producto es igual al producto de cada uno de los factores elevado al mismo exponente, es decir:

Si la base a tiene inverso aditivo, indicado mediante signo negativo -a, entonces se tiene la regla:

${displaystyle (-a)^{n}=-(a^{n})}$ si n es impar.

Si la base a tiene inverso multiplicativo c, es decir c·a = 1 o que ${displaystyle c={frac {1}{a}}}$, entonces este se denota por ${displaystyle a^{-1},}$ y el exponente se puede ampliar a todos los números enteros:

(2)${displaystyle {egin{array}{l}a^{-1}={frac {1}{a}}\a^{-n}={frac {1}{a^{n}}}end{array}}}$

El cociente de dos potencias con la misma base es igual a una potencia de dicha base con un exponente igual a la diferencia del exponente del dividendo menos el del divisor,^[1]​ esto es:

De forma extendida aparecen tres casos: ${displaystyle ={frac {overbrace {a imes cdots imes a} ^{m}}{underbrace {a imes cdots imes a} _{n}}}}$ ${displaystyle ={egin{cases}{egin{matrix}{frac {overbrace {{cancel {a}} imes cdots imes {cancel {a}}} ^{n} imes overbrace {a imes cdots imes a} ^{m-n}}{underbrace {{cancel {a}} imes cdots imes {cancel {a}}} _{n}}}=a^{m-n}&{ ext{Si }}m>n\{frac {overbrace {{cancel {a}} imes cdots imes {cancel {a}}} ^{m}}{underbrace {{cancel {a}} imes cdots imes {cancel {a}}} _{n}}}=1&{ ext{Si }}m=n\{frac {overbrace {{cancel {a}} imes cdots imes {cancel {a}}} ^{m}}{underbrace {{cancel {a}} imes cdots imes {cancel {a}}} _{m} imes underbrace {a imes cdots imes a} _{n-m}}}={frac {1}{a^{n-m}}}&{ ext{Si }}m<nend{matrix}}end{cases}}}$

Ejemplo:

Por convención, un número distinto de 0 elevado al exponente 0 da como resultado la unidad (1), puesto que:^[2]​^[3]​

El caso particular de ${displaystyle 0^{0},}$ no está definido y es conocido como una indeterminación.

La potencia de un cociente es igual al cociente de cada uno de los números elevado al mismo exponente.

O de forma extendida:

${displaystyle =underbrace {{frac {a}{b}} imes cdots imes {frac {a}{b}}} _{n}={frac {a imes cdots imes a}{b imes cdots imes b}}={frac {a^{n}}{b^{n}}}}$

Si la base a = 0, entonces a no tiene inverso multiplicativo ${displaystyle a^{-1}}$, por lo que solo se presentan exponentes de números naturales por (1) quedando así prohibida la notación (2) como valor numérico:

La potenciación con exponente racional viene de la necesidad de resolver una ecuación del tipo ${displaystyle x^{n}=a}$, de manera que ${displaystyle x={sqrt[{n}]{a}}}$, pero se ha de garantizar que dicha x sea un número real y esto solo se puede garantizar para todo n si la base a es un número real positivo, por lo que existe un teorema que dice:

Dado un número real positivo a, este tiene una única raíz n-ésima positiva.

Para notar la raíz se define el uso de fracciones en el exponente:

(3)${displaystyle a^{frac {1}{n}}={sqrt[{n}]{a}}}$

En general para las fracciones se define que:

(4)${displaystyle {egin{array}{ll}a^{frac {n}{m}}&={sqrt[{m}]{a^{n}}}\a^{-{frac {n}{m}}}&={frac {1}{a^{frac {n}{m}}}}end{array}}}$

La potenciación puede extenderse a exponentes reales usando sucesiones racionales; esto se recoge en el siguiente teorema:

Dado un número real positivo a y una sucesión de números racionales ${displaystyle q_{n}}$ que tiene límite b, entonces existe el límite de la sucesión ${displaystyle a^{q_{n}}}$ que se escribe como:

Nótese que las sucesivas aproximaciones de ${displaystyle a^{n}}$ tienen como exponente números racionales, con lo que para que la definición sea consistente, se exige que a sea un número real positivo.

Análogamente, se puede extender la potenciación a funciones, usando la función exponencial, y su inversa, la función logaritmo natural, en un proceso que se denomina exponenciación. Así, se define

De igual manera, esta es totalmente consistente si el conjunto imagen de ${displaystyle f(x)}$ es el conjunto de los números reales positivos ${displaystyle mathbb {R} ^{+}}$, o algún subconjunto de este, siendo los valores de la función exponente ${displaystyle f(x)}$ números reales cualesquiera, debido a que el logaritmo natural no está definido para números negativos.

Puede extenderse a exponentes complejos usando funciones analíticas o holomorfas, así ${displaystyle a^{b}={mbox{det-exp}}(bcdot {mbox{det-log }}a)}$ donde det-exp es la determinación de la exponencial y

No es distributiva con respecto a la adición y sustracción (véase productos notables), es decir, no se puede distribuir cuando dentro del paréntesis es suma o resta:

No cumple la propiedad conmutativa:

Tampoco cumple la propiedad asociativa:

Para las potencias con base 10 y exponente entero, el efecto será desplazar la coma decimal tantas posiciones como indique el exponente, hacia la izquierda si el exponente es negativo, o hacia la derecha si el exponente es positivo.

Ejemplos:

Las potencias de base 10 se utilizan con frecuencia para expresar números grandes (con muchas cifras) o pequeños (con muchos decimales). Por ejemplo, el número decimal 0,00000123 puede expresarse como ${displaystyle 123cdot 10^{-8}}$. Esa forma de escribir los números se conoce como notación científica.^[4]​

La representación gráfica de una función potencia f(x) = xⁿ con exponente natural n par tiene una simetría similar a la de una parábola. Su vértice se sitúa en el punto (0, 0) y la curva es decreciente en el segundo cuadrante y creciente en el primero.

La representación gráfica de una función potencia f(x) = xⁿ con exponente natural n impar es una curva con dos ramas unidas en el punto (0, 0), que posee simetría rotacional alrededor de este. El punto de inflexión precisamente se encuentra en el punto (0, 0), la curva es siempre creciente y ocupa el tercer y primer cuadrante.

Dichas curvas son continuas y derivables en todo su dominio de definición.

El caso especial ${displaystyle 0^{0},}$se considera indefinido y dependiendo del contexto pueden ser asignados distintos valores dependiendo de las propiedades específicas que se quieran mantener.

Por ejemplo, puede argumentarse que ${displaystyle 0^{0},}$es el igual al valor del límite

y como ${displaystyle x^{0}=1}$ para ${displaystyle x eq 0}$, dicho valor podría ser igual a 1. Sin embargo también puede considerarse dicha expresión como el valor del límite

y como ${displaystyle 0^{x}=0}$ para ${displaystyle x eq 0}$, dicho valor podría ser igual a 0. Esto ilustra que la forma ${displaystyle 0^{0},}$ puede corresponder a diferentes valores y por ello se considera indefinida.

El debate sobre el valor de la forma ${displaystyle 0^{0},}$ tiene casi dos siglos de antigüedad. Durante los primeros días del análisis matemático en que el fundamento formal del cálculo no se había establecido, era común aceptar que ${displaystyle 0^{0},}$=1. Sin embargo, en 1821 cuando Cauchy publica el Cours d'Analyse de l'École Royale Polytechnique estableciendo el primer tratamiento riguroso del análisis, dicha forma aparece en una tabla de formas indefinidas junto a otras como 0/0. En los años 1830, Libri^[5]​^[6]​ publicó un argumento para asignar 1 como valor de ${displaystyle 0^{0},}$ y Möbius^[7]​ lo apoyó afirmando erróneamente que

Sin embargo un comentarista que firmó simplemente como «S» proporcionó un contraejemplo

cuyo límite cuando ${displaystyle t o 0^{+}}$ es ${displaystyle 1/e}$, lo cual calmó el debate con la aparente conclusión del incidente que ${displaystyle 0^{0},}$ debería permanecer indefinida. Se pueden encontrar más detalles en Knuth (1992).^[8]​

En la actualidad, suele considerarse la forma ${displaystyle 0^{0},}$ como indefinida y no se le asigna valor si no se tiene un contexto en el cual el valor asignado tenga sentido.^[9]​^[10]​^[11]​

Para calcular límites cuyo valor aparente es ${displaystyle 0^{0},}$ suele usarse la regla de l'Hôpital.

La definición de potenciación puede extenderse a exponentes reales, complejos o incluso matriciales. Dado un anillo ${displaystyle scriptstyle (mathbb {A} ,+,cdot )}$ la operación de potenciación se define como:

Esto difiere de la exponenciación que es definible sobre un cuerpo que contenga a los racionales o ciertas álgebras sobre los reales o complejos:

Obviamente la exponenciación solo se puede definir sobre un conjunto en el que sea posible definir la potenciación, aunque un anillo admitirá siempre la operación de potenciación (con exponente natural) aunque no admita la exponenciación.

Para cualquiera de los números reales ${displaystyle a,b,c,d,}$ se tiene la identidad:

---