Teorema espectral

De Wikipedia, la enciclopedia libre

Tienes mensajes nuevos (Dif. entre las dos últimas versiones).

En matemáticas, el Teorema Espectral expresa las condiciones bajo las cuales un operador o una matriz (matemáticas) pueden ser diagonalizadas (es decir, representadas como una matriz diagonal en alguna base). Se identifica así, un tipo de operadores lineales que pueden representarse como una multiplicación de operadores.

Ejemplos de los operadores a los que se aplica este teorema son los operadores autoadjuntos, o más en general, los operadores normales en espacios de Hilbert.

El Teorema Espectral, proporciona además, una descomposición canónica (llamada descomposición espectral) del espacio vectorial sobre el cual actúa el operador.

[editar] Espacio de dimensión finita

Sea A:

Operador hermítico
Matriz cuadrada
En un espacio real o complejo V, de dimensión finita

Con el producto interior estándar en notación de Dirac, la condición de simetría del operador implica:

$\langle A x \mid y \rangle = \langle x \mid A y \rangle$

para todo elemento x e y pertenecientes al espacio V. Recordemos que un autovector de un operador lineal A es un vector x distinto de cero tal que Ax = rx para algún escalar r. El valor r es el correspondiente autovalor.

Teorema: Existe una base ortonormal de V que consiste en los autovectores de A. Los autovalores correspondientes son reales.

Demostración: Partimos en primer lugar, de que el cuerpo de escalares para el operador A son los complejos. Vamos a demostrar la propiedad que dice el teorema de que los autovalores son reales. Siendo lambda los autovalores:

$\overline{\lambda} \langle x \mid x \rangle= \langle A x \mid x \rangle = \langle x \mid A x \rangle = \lambda \langle x \mid x \rangle$

Lambda es igual a su conjugado y por tanto debe ser real. Probamos ahora la existencia de la base de autovectores por inducción a partir de la dimensión de V. Para ello, es suficiente con demostrar que A tiene al menos un autovector e distinto de cero. Podemos considerar ahora el espacio K de vectores ortogonales a e. Este es un espacio de dimensión finita. Si llamamos w a los vectores de K, veamos cómo actúa el operador A sobre los w:

$\langle A w \mid e \rangle = \langle w \mid A e \rangle = \lambda \langle w \mid e \rangle = 0$

A mapea los vectores w sobre K, es decir, al actuar A sobre un vector de K da otro vector de K. Lo que es más A considerado un operador lineal en K es también simétrico en K y con esto se completa la demostración.

Queda, sin embargo, por demostrar que A tenga al menos un autovector. Teniendo en cuenta que, por el Teorema fundamental del álgebra los números complejos son un cuerpo algebraicamente cerrado, la función polinómica p(x) = det(A-xI) tiene una raíz r. Esto implica que el operador A-rI no es una matriz invertible y por tanto, mapea un vector e distinto de cero a 0. Este vector e, es un autovector de A. Esto finaliza la demostración.

El teorema espectral es también válido para operadores simétricos en espacios de dimensión finita con producto interior real.

La descomposición espectral de un operador A que tiene una base ortonormal de autovectores, se obtiene agrupando todos los vectores que corresponden al mismo autovalor. Esto es

$V_\lambda = \{\,v \in V: A v = \lambda v\,\}.$

Estos espacios están definidos invariablemente, no se requiere ninguna elección de unos autovalores concretos.

Como una consecuencia inmediata del teorema espectral para operadores simétricos obtenemos el teorema de descomposición: V es la suma directa ortogonal de los espacios V_λ

$P_\lambda P_\mu=0 \quad \mbox{if} \lambda \neq \mu$

y si λ₁,..., λ_m son los autovalores de A,

$A =\lambda_1 P_{\lambda_1} +\cdots+\lambda_m P_{\lambda_m}.$

Si A es un operador normal en un espacio de dimensión finita con producto interior, A también tiene una descomposición espectral y el teorema de descomposición se mantiene para A. Los autovalores serán números complejos en general. Estos resultados se convierten directamente en resultados sobre las matrices: Para una matriz normal A, existe una matriz unitaria U tal que

$A=U \Sigma U^* \;$

donde sigma es la matriz diagonal cuyos valores son los autovalores de A. Cualquier matriz que se pueda diagonalizar de esta forma debe ser normal.

Los vectores columna de U son los autovectores de A y son ortogonales Si A es una matriz real simétrica, se sigue por la versión real del teorema espectral para operadores simétricos que existe una [[matriz ortogonal] tal que, UAU* es diagonal y todos los autovalores de A son reales.

Obtenido de "http://es.wikipedia.org../../../t/e/o/Teorema_espectral.html"

Categoría: Álgebra

Teorema espectral

De Wikipedia, la enciclopedia libre

[editar] Espacio de dimensión finita

Views

Navegación

Buscar