Introducción
En esta entrada demostramos el teorema espectral para matrices simétricas reales en sus dos formas. Como recordatorio, lo que probaremos es lo siguiente.
Teorema. Sea
Teorema. Sea
Para ello, usaremos los tres resultados auxiliares que demostramos en la entrada de eigenvalores de matrices simétricas reales. Los enunciados precisos están en ese enlace. Los resumimos aquí de manera un poco informal.
- Los eigenvalores complejos de matrices simétricas reales son números reales.
- Si una transformación
es simétrica y es un subespacio estable bajo , entonces también lo es. Además, restringida a o a también es simétrica. - Es lo mismo que una matriz sea diagonalizable, a que exista una base formada eigenvectores de la matriz.
Además de demostrar el teorema espectral, al final de la entrada probaremos una de sus consecuencias más importantes. Veremos una clasificación de las matrices que inducen formas bilineales positivas.
Demostración de la primera versión del teorema espectral
Comenzamos mostrando la siguiente versión del teorema espectral.
Teorema. Sea
Demostración. Como
Supongamos que el resultado es cierto para todo espacio Euclideano de dimensión menor a
Consideremos el kernel
Como la restricción
Usando de nuevo que
El producto interior de dos elementos distintos de
Demostración de la segunda versión del teorema espectral
Veamos ahora la demostración del teorema espectral en su enunciado con matrices.
Teorema. Sea
Demostración. Como
Anteriormente demostramos que si construimos a una matriz
Afirmamos que la matriz
Si una matriz es ortogonal, entonces su inversa también. Esto es sencillo de demostrar y queda como tarea moral. Así, definiendo
Matrices positivas y positivas definidas
Una matriz
Definición. Una matriz
Una de las aplicaciones del teorema espectral es que nos permite dar una clasificación de las matrices simétricas positivas.
Teorema. Sea
es positiva.- Todos los eigenvalores de
son no negativos. para alguna matriz simétrica en . para alguna matriz en .
Demostración. (1) implica (2). Supongamos que
Como
(2) implica (3). Como
Además,
(3) implica (4). Es inmediato, tomando
(4) implica (1). Si
lo cual muestra que
También hay una versión de este teorema para matrices simétricas positivas definidas. Enunciarlo y demostrarlo queda como tarea moral.
En una entrada final, se verá otra consecuencia linda del teorema espectral: el teorema de descomposición polar. Dice que cualquier matriz con entradas reales se puede escribir como el producto de una matriz ortogonal y una matriz simétrica positiva.
Más allá del teorema espectral
Durante el curso introdujimos varias de las nociones fundamentales de álgebra lineal. Con ellas logramos llegar a uno de los teoremas más bellos: el teorema espectral. Sin embargo, la teoría de álgebra lineal no termina aquí. Si en tu formación matemática profundizas en el área, verás otros temas y resultados fundamentales como los siguientes:
- El teorema de Cayley-Hamiltón: toda matriz se anula en su polinomio característico.
- La clasificación de matrices diagonalizables: una matriz es diagonalizable si y sólo si su polinomio característico se factoriza en el campo de la matriz, y la multiplicidad algebraica de sus eigenvalores corresponde con la multiplicidad geométrica.
- El teorema de la forma canónica de Jordan: aunque una matriz no se pueda diagonalizar, siempre puede ser llevada a una forma estándar «bonita».
- Productos interiores con imágenes en
, a los que también se les conoce como formas hermitianas. - Los polinomios mínimos de matrices y transformaciones, que comparten varias propiedades con el polinomio característico, pero dan información un poco más detallada.
Más adelante…
En esta entrada discutimos dos demostraciones del teorema espectral. Sólo nos falta discutir cómo podemos aplicarlo. En la siguiente entrada trabajaremos con algunos problemas, por ejemplo, ver cómo se usa para demostrar que una matriz simétrica no es diagonalizable.
Finalmente, discutiremos cómo podemos pensar en las nociones de continuidad y acotamiento en el álgebra lineal.
Tarea moral
A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.
- Muestra que la inversa de una matriz ortogonal es ortogonal.
- Encuentra una base ortonormal de
conformada por eigenvectores de la matriz - Determina si la matriz anterior es positiva y/o positiva definida.
- Enuncia y demuestra un teorema de clasificación de matrices simétricas positivas definidas.
- Muestra que la matriz
es positiva.
Entradas relacionadas
- Ir a Álgebra Lineal I
- Entrada anterior del curso: Matrices simétricas reales y sus eigenvalores
- Siguiente entrada del curso: Aplicaciones del teorema espectral, bases ortogonales y más propiedades de transformaciones lineales
Agradecimientos
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104721 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM»
Cuando enuncian la segunda versión del teorema, dicen que las matrices pertenecen a R^n
¿Este fue un error o es una manera de referirse a M_n(R)?
En la entrada anterior también pasa lo mismo.
Fue un vector, ya quedó la corrección.
Hola, en la primer demostración del teorema espectral, creo que sería importante mencionar que al conjunto ortogonal al que se refieren no es el definido en entradas pasadas, así como por que el ortogonal es complemento de W, siendo sincero, llevo un buen rato tratando de entender el por que