Introducción
Por lo que estudiamos en la primera parte de este curso, ya sabemos cuándo una matriz arbitraria es diagonalizable. Lo que haremos ahora es enunciar y demostrar el teorema espectral en el caso real. Una de las cosas que nos dice es que las matrices simétricas reales son diagonalizables. Pero nos dice todavía más. También nos garantiza que la manera en la que se diagonalizan es a través de una matriz ortogonal. Esto combina mucho de la teoría que hemos cubierto. Además, gracias al teorema espectral podremos, posteriormente, demostrar el famoso teorema de descomposición polar que nos dice cómo son todas las matrices.
El lema de eigenvalores de matrices simétricas
Comencemos enunciando algunas propiedades que tienen las matrices y transformaciones simétricas. El primero habla de cómo son los eigenvalores de las matrices simétricas.
Lema. Sea
Demostración. Tomemos
Pensemos a
Con esta notación, de la igualdad
Igualando las partes imaginarias y las partes reales obtenemos que
Usemos ahora que
Sustituyendo la primera igualdad de
y usando la linealidad del producto interior, se obtiene que
Se sigue que
El lema de estabilidad de transformaciones simétricas
El segundo lema que veremos nos dice qué sucede cuando una transformación lineal es simétrica y tomamos un subespacio estable bajo ella. Recuerda que un subespacio
Lema. Sea
también es estable bajo .- Las restricciones de
a y son transformaciones lineales simétricas sobre estos espacios.
Demostración.
1. Tomemos
que es lo que queríamos probar.
2. Sea
El teorema espectral real
Con los dos lemas anteriores podemos ahora sí enfocarnos en demostrar el teorema principal de esta entrada.
Teorema (el teorema espectral real). Sea
Demostración. Procederemos por inducción fuerte sobre
Ahora supongamos que el resultado se satisface hasta dimensión
Sea
Podemos entonces aplicar la hipótesis inductiva a
El teorema espectral también puede enunciarse en términos de matrices. Hacemos esto a continuación.
Observación. Si
Teorema (el teorema espectral para matrices reales). Sea
Así,
Aplicación a caracterizar las matrices simétricas positivas
Ya hemos dado algunas caracterizaciones para las matrices simétricas positivas. Veamos algunas caracterizaciones adicionales.
Teorema. Sea
es positiva.- Todos los eigenvalores de
son no negativos. para alguna matriz simétrica . para alguna matriz .
Demostración. 1) implica 2). Supongamos que
por lo tanto
2) implica 3). Sean
Y además, por construcción,
3) implica 4). Basta con tomar la matriz
4) implica 1). Esto ya lo habíamos demostrado en un resultado anterior de caracterización de matrices simétricas.
Más adelante…
Hemos enunciado y demostrado el teorema espectral. Lo que nos dice es muy interesante: una matriz simétrica básicamente consiste en cambiar de base a una base muy sencilla
Como consecuencia, veremos en la siguiente entrada que esto nos permite entender no sólo a las matrices simétricas, sino a todas, todas las matrices. Al teorema que veremos a continuación se le conoce como el teorema de descomposición polar.
Tarea moral
- La matriz
es real y simétrica, de modo que es diagonalizable. ¿Cuál es su diagonalización? - Da un ejemplo de una matriz simétrica con coeficientes complejos que no sea diagonalizable.
- Sea
una transformación lineal sobre un espacio euclidiano , y supón que tiene una base ortonormal conformada por eigenvectores de . Demuestra que es simétrica (por lo que el recíproco del teorema espectral se satisface). - Considera la matriz
Explica por qué es diagonalizable en y encuentra una matriz tal que es diagonal. - Adapta el teorema de caracterización de matrices positivas visto en esta entrada a una versión para matrices positivas definidas.
Entradas relacionadas
- Ir a Álgebra Lineal II
- Entrada anterior del curso: El teorema de clasificación de transformaciones ortogonales
- Siguiente entrada del curso: El teorema de descomposición polar real
Agradecimientos
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»