Exponenciación

Ir a la navegaciónIr a la búsqueda
La exponenciación es una operación definible en un álgebra sobre un cuerpo normada
completa o álgebra de Banach (espacio vectorial normado completo que además es un
anillo) que generaliza la función exponencial de los números reales.

Cuando a y b son dos números enteros la operación {\displaystyle \scriptstyle

a^{b}}{\displaystyle \scriptstyle a^{b}} puede definirse en términos algebraicos
elementales como equivalente a la potenciación. Sin embargo cierto número de
problemas físicos concretos llevaron a tratar de generalizar la fórmula anterior a
valores de b no enteros. Cuando b = 1/2 la operación equivale a una raíz cuadrada.
Finalmente la exponenciación trata de generalizar la operación {\displaystyle
\scriptstyle a^{b}}{\displaystyle \scriptstyle a^{b}} a valores de b cualesquiera.
Usualmente dicha operación puede reducirse al cálculo de la operación
{\displaystyle \scriptstyle e^{b\ln(a)}}{\displaystyle \scriptstyle e^{b\ln(a)}}.
Este artículo generaliza esta operación a casos donde el exponente no es
necesariamente un número real, sino un número complejo, un número cuaterniónico o
más generalmente un elemento de un espacio de Banach.

Índice
1 Definición formal
2 Exponenciación de números reales
3 Exponenciación de números complejos
4 Exponenciación de cuaterniones
5 Exponenciación de números transfinitos
6 Exponenciación de matrices
7 Exponenciación de operadores
8 Véase también
9 Referencias
Definición formal
Dado un elemento de un álgebra de Banach tenemos definidas una operación
conmutativa de suma y otra de multiplicación, lo cual permite definir el anillo de
polinomios sobre dicha álgebra. Además por tener una norma puede definirse para
algunas series formales de potencias una noción de convergencia y por tanto de
límite. En esas condiciones puede definirse la siguiente operación:

{\displaystyle e^{A}=\lim _{n\to \infty }\sum _{k=0}^{n}{A^{k} \over k!}=1+A+{A^{2}

\over 2!}+{A^{3} \over 3!}+{A^{4} \over 4!}+\cdots }{\displaystyle e^{A}=\lim
_{n\to \infty }\sum _{k=0}^{n}{A^{k} \over k!}=1+A+{A^{2} \over 2!}+{A^{3} \over
3!}+{A^{4} \over 4!}+\cdots }

Nótese que:

Si el cuerpo sobre la que está definida el álgebra no contiene a {\displaystyle

\mathbb {R} }\R el límite anterior podría no converger, de hecho el álgebra no
podría ser un álgebra de Banach.
Si el álgebra no es un espacio vectorial normado no existe manera de establecer si
el límite anterior converge.
Exponenciación de números reales
La exponenciación de números reales se realiza mediante la función exponencial.
Dado un número real su exponenciación está siempre bien definida y tiene las
siguientes propiedades:

{\displaystyle e^{a+b}=e^{a}e^{b}\;}{\displaystyle e^{a+b}=e^{a}e^{b}\;}

{\displaystyle e^{ab}=(e^{a})^{b}\;}{\displaystyle e^{ab}=(e^{a})^{b}\;}
monotonicidad: {\displaystyle a>b\to e^{a}>e^{b}}{\displaystyle a>b\to e^{a}>e^{b}}
{\displaystyle a\geq 0\to e^{a}\geq 1,a=0\to e^{a}=1,a<0\to e^{a}<1}{\displaystyle
a\geq 0\to e^{a}\geq 1,a=0\to e^{a}=1,a<0\to e^{a}<1}
{\displaystyle e^{a}>a\;}{\displaystyle e^{a}>a\;}
Exponenciación de números complejos
La exponenciación de números complejos se define sin problemas mediante serie de
potencias al igual que en el caso de números reales. Dado un número complejo
separado en sus partes real e imaginaria z = a + bi su exponenciación resulta ser:

{\displaystyle e^{z}=e^{a+bi}=e^{a}(\cos b+i\sin b)\;}{\displaystyle

e^{z}=e^{a+bi}=e^{a}(\cos b+i\sin b)\;}

Las propiedades de la exponenciación de números complejos son similares a las de

los números reales (aunque las propiedades que involucran orden no son extendibles
a los complejos):

{\displaystyle e^{z_{1}+z_{2}}=e^{z_{1}}e^{z_{2}}\;}{\displaystyle
e^{z_{1}+z_{2}}=e^{z_{1}}e^{z_{2}}\;}
{\displaystyle \neg \exists z:e^{z}=0}{\displaystyle \neg \exists z:e^{z}=0}
Exponenciación de cuaterniones
La exponenciación de números cuaterniónicos es computacionalmente más complicada
aunque está definida sin ambigüedad. Dado un cuaternión escrito en forma canónica q
= a + bi + cj + dk su exponenciación resulta ser:

{\displaystyle e^{q}=e^{a+bi+cj+dk}=e^{a}\left(\cos {\sqrt {b^{2}+c^{2}+d^{2}}}+

{\frac {\sin {\sqrt {b^{2}+c^{2}+d^{2}}}}{\sqrt {b^{2}+c^{2}+d^{2}}}}
(bi+cj+dk)\right)}e^q = e^{a+bi+cj+dk} =e^a
\left(\cos \sqrt{b^2+c^2+d^2} +\frac{\sin \sqrt{b^2+c^2+d^2}}{\sqrt{b^2+c^2+d^2}}
(bi+cj+dk)\right)

Al no ser conmutativo el producto de cuaterniones no resulta cierto que la

exponenciación de una suma sea igual al producto de exponenciales de los sumandos.
Por ejemplo si consideramos q1 = πi y q2 = πj tenemos:

{\displaystyle {\begin{cases}e^{i\pi }=-1\\e^{j\pi }=-1\\e^{i\pi +j\pi }=\cos

{{\sqrt {2}}\pi }+{\cfrac {\sin {{\sqrt {2}}\pi }}{\sqrt {2}}}(i+j)&\neq e^{i\pi }
e^{j\pi }\end{cases}}}{\displaystyle {\begin{cases}e^{i\pi }=-1\\e^{j\pi }=-
1\\e^{i\pi +j\pi }=\cos {{\sqrt {2}}\pi }+{\cfrac {\sin {{\sqrt {2}}\pi }}{\sqrt
{2}}}(i+j)&\neq e^{i\pi }e^{j\pi }\end{cases}}}

La exponenciación de un número cuaterniónico de parte real nula, permite

representar de manera muy conveniente las rotaciones en tres dimensiones de la
misma manera que la exponenciación de un número imaginario puro permite representar
rotaciones en el plano.

Exponenciación de números transfinitos

Dados dos conjuntos finitos M y N, tales que el primer contiene m elementos y el
segundo n elementos, uno puede pensar en cuantas funciones matemáticas pueden
definirse entre ambos. Para el caso de conjuntos finitos como los anteriores el
número de funciones resulta ser precisamente {\displaystyle \scriptstyle m^{n}}
{\displaystyle \scriptstyle m^{n}}. El problema también puede plantearse en el caso
de conjuntos inifinitos cuyo cardinal es un número transfinito. Así la operación
{\displaystyle \scriptstyle \alpha ^{\beta }}{\displaystyle \scriptstyle \alpha
^{\beta }} donde ahora {\displaystyle \scriptstyle \alpha }\scriptstyle \alpha y
{\displaystyle \scriptstyle \beta }\scriptstyle \beta son dos cardinales
transfinitos se define como:

{\displaystyle \alpha ^{\beta }={\mbox{card}}(F_{A\to B}),\qquad

{\begin{cases}\alpha ={\mbox{card}}(A),&\beta ={\mbox{card}}(B)\\F_{A\to B}=\{f|
f:A\to B\}\end{cases}}}{\displaystyle \alpha ^{\beta }={\mbox{card}}(F_{A\to
B}),\qquad {\begin{cases}\alpha ={\mbox{card}}(A),&\beta ={\mbox{card}}(B)\\F_{A\to
B}=\{f|f:A\to B\}\end{cases}}}

Algunos ejemplos concretos resultan ser:

{\displaystyle 2^{\aleph _{0}}=\aleph _{1},\aleph _{0}^{\aleph _{0}}=\aleph

_{1},\ \forall b\leq \aleph _{n}:b^{\aleph _{n}}=\aleph _{n+1}}{\displaystyle
2^{\aleph _{0}}=\aleph _{1},\aleph _{0}^{\aleph _{0}}=\aleph _{1},\ \forall
b\leq \aleph _{n}:b^{\aleph _{n}}=\aleph _{n+1}}

Exponenciación de matrices
Artículo principal: Exponencial de matrices
Las matrices cuadradas reales o complejas pueden ser interpretadas como expresiones
en una base dada de una aplicación lineal. Este hecho puede ser aprovechado para
computar más fácilmente la exponencial de una matriz. Si A representa la matriz de
una cierta aplicación lineal {\displaystyle f:E\to E}{\displaystyle f:E\to E}
entonces la exponenciación de una matriz puede obtenerse a partir de la forma
canónica de Jordan Jf de dicho endomorfismo y la matriz cambio de base C entre la
base original y la base de Jordan:

{\displaystyle A=C^{-1}J_{f}C\to e^{A}=e^{C^{-1}J_{f}C}=\sum _{k=0}^{\infty }{\frac

{(C^{-1}J_{f}C)^{k}}{k!}}=\sum _{k=0}^{\infty }{\frac {C^{-1}(J_{f})^{k}C}
{k!}}=C^{-1}e^{J_{f}}C}{\displaystyle A=C^{-1}J_{f}C\to e^{A}=e^{C^{-1}J_{f}C}=\sum
_{k=0}^{\infty }{\frac {(C^{-1}J_{f}C)^{k}}{k!}}=\sum _{k=0}^{\infty }{\frac {C^{-
1}(J_{f})^{k}C}{k!}}=C^{-1}e^{J_{f}}C}

La exponencial de la forma canónica de Jordan es muy sencilla, dado un bloque de

Jordan BJ, submatriz nxn, que realiza la aplicación lineal en uno de los
subespacios invariantes asociados a la aplicación de Jordan se tiene que:

{\displaystyle B_{J}={\begin{bmatrix}\lambda &1&0&\cdots &0\\0&\lambda &1&\cdots

&0\\0&0&\lambda &\cdots &0\\\vdots &&&\ddots &\vdots \\0&0&0&\cdots &\lambda
\end{bmatrix}}\Rightarrow \qquad e^{B_{J}}={\begin{bmatrix}e^{\lambda }&{\frac
{e^{\lambda }}{1!}}&{\frac {e^{\lambda }}{2!}}&\cdots &{\frac {e^{\lambda }}{(n-
1)!}}\\0&e^{\lambda }&{\frac {e^{\lambda }}{1!}}&\cdots &{\frac {e^{\lambda }}{(n-
2)!}}\\0&0&e^{\lambda }&\cdots &{\frac {e^{\lambda }}{(n-3)!}}\\\vdots &&&\ddots
&\vdots \\0&0&0&\cdots &e^{\lambda }\end{bmatrix}}}{\displaystyle
B_{J}={\begin{bmatrix}\lambda &1&0&\cdots &0\\0&\lambda &1&\cdots &0\\0&0&\lambda
&\cdots &0\\\vdots &&&\ddots &\vdots \\0&0&0&\cdots &\lambda
\end{bmatrix}}\Rightarrow \qquad e^{B_{J}}={\begin{bmatrix}e^{\lambda }&{\frac
{e^{\lambda }}{1!}}&{\frac {e^{\lambda }}{2!}}&\cdots &{\frac {e^{\lambda }}{(n-
1)!}}\\0&e^{\lambda }&{\frac {e^{\lambda }}{1!}}&\cdots &{\frac {e^{\lambda }}{(n-
2)!}}\\0&0&e^{\lambda }&\cdots &{\frac {e^{\lambda }}{(n-3)!}}\\\vdots &&&\ddots
&\vdots \\0&0&0&\cdots &e^{\lambda }\end{bmatrix}}}

La exponenciación de matrices tiene estas otras propiedades similares a los números

reales:

Acotación de la norma: {\displaystyle \|e^{A}\|\leq e^{\|A\|}}{\displaystyle \|

e^{A}\|\leq e^{\|A\|}}
Matriz identidad: {\displaystyle e^{0}=I\;}{\displaystyle e^{0}=I\;}
Inverso: {\displaystyle (e^{A})^{-1}=e^{-A}\;}{\displaystyle (e^{A})^{-1}=e^{-A}\;}
Relación traza-determinante: {\displaystyle \det(e^{A})=e^{{\mbox{tr}}(A)}\;}
{\displaystyle \det(e^{A})=e^{{\mbox{tr}}(A)}\;}
Una propiedad importante de la exponenciación de matrices es que en general, a
diferencia de lo que sucede con números reales, la exponenciación de una suma de
matrices no es el producto de exponenciales matrices:

{\displaystyle AB\neq BA\Rightarrow e^{A}e^{B}\neq e^{A+B}\neq e^{B}e^{A}}

{\displaystyle AB\neq BA\Rightarrow e^{A}e^{B}\neq e^{A+B}\neq e^{B}e^{A}}
Aunque cuando el conmutador se anula sí se satisface la igualdad:

{\displaystyle AB=BA\iff e^{A}e^{B}=e^{A+B}=e^{B}e^{A}}{\displaystyle AB=BA\iff

e^{A}e^{B}=e^{A+B}=e^{B}e^{A}}

Exponenciación de operadores
La exponenciación de operadores lineales definidos sobre un espacio vectorial
normado es una generalización del caso de la exponenciación de matrices. Ya que el
hecho de que el espacio vectorial sea normado implica que el espacio de operadores
es un espacio de Banach.

La exponenciación de operadores puede ser usada para resolver la ecuación de

Schrödinger:

{\displaystyle {\hat {H}}\left|\psi (t)\right\rangle =i\hbar {\partial \over

\partial t}\left|\psi (t)\right\rangle }{\displaystyle {\hat {H}}\left|\psi
(t)\right\rangle =i\hbar {\partial \over \partial t}\left|\psi (t)\right\rangle }

Una solución formal de esta ecuación se obtiene por exponenciación del operador
hamiltoniano:

{\displaystyle \left|\psi (t)\right\rangle =e^{-{\frac {i}{\hbar }}\int _{0}^{t}

{\hat {H}}\ dt}\left|\psi _{0}\right\rangle }{\displaystyle \left|\psi
(t)\right\rangle =e^{-{\frac {i}{\hbar }}\int _{0}^{t}{\hat {H}}\ dt}\left|\psi
_{0}\right\rangle }

Sin embargo, en muchos casos el cálculo de la exponenciación del operador

hamiltoniano puede ser computacionalmente muy complejo. Además al ser normalmente
el hamiltoniano un operador no acotado la exponencial sólo podría definirse sobre
un dominio del espacio de Hilbert y entonces definir una extensión del operador
obtenido previamente.

Véase también
Potenciación
Logaritmación
Logaritmo discreto
Referencias
Control de autoridades
Proyectos WikimediaWd Datos: Q3062212
Categoría: Álgebra
Menú de navegación
No has accedido
Discusión
Contribuciones
Crear una cuenta
Acceder
ArtículoDiscusión
LeerEditarVer historial
Buscar
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria
Ayuda
Donaciones
Notificar un error
Herramientas
Lo que enlaza aquí
Cambios en enlazadas
Subir archivo
Páginas especiales
Enlace permanente
Información de la página
Citar esta página
Elemento de Wikidata
Imprimir/exportar
Crear un libro
Descargar como PDF
Versión para imprimir

En otros idiomas
‫العربية‬
Français
Editar enlaces
Esta página se editó por última vez el 12 nov 2019 a las 15:03.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir
Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta
nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una
organización sin ánimo de lucro.
Política de privacidadAcerca de WikipediaLimitación de responsabilidadVersión para
móvilesDesarrolladoresEstadísticasDeclaración de cookiesWikimedia FoundationPowered
by MediaWiki