Introducción
En la entrada anterior platicamos acerca de eigenvectores, eigenvalores y eigenespacios de matrices y transformaciones lineales. Vimos algunos ejemplos básicos. En esta entrada profundizaremos en el estudio de estos objetos y exploraremos diversas de sus propiedades. Comenzaremos con algunas observaciones inmediatas. Después, veremos cómo encontrar de manera sencilla los eigenvalores de las matrices triangulares superiores. También veremos que «eigenvectores correspondientes a eigenvalores diferentes son linealmente independientes«. Finalmente, conectaremos estas nuevas ideas con un objeto que estudiamos previamente: el polinomio mínimo.
Primeras observaciones
A partir de la proposición de la entrada anterior que nos dice cómo calcular eigenvalores se desprenden algunas consecuencias sencillas pero útiles.
Por ejemplo, recuerda que el determinante de una matriz y su transpuesta es igual. En particular, si
Luego
Por otro lado, como los eigenvalores son las raíces de un polinomio de grado
Esto también ocurre para transformaciones lineales en espacios de dimensión finita y lo podemos enunciar como sigue:
Corolario. Sea
Sin embargo, si el espacio no es de dimensión finita no podemos hacer tal afirmación. Si
Así, tenemos al menos tantos eigenvalores como números reales. De hecho, estos son exactamente los eigenvalores de
Matrices triangulares superiores
Parte del interés de «triangular» matrices (es decir, encontrar una matriz similar que sea triangular superior) está dada por la facilidad de calcular sus eigenvalores. Exploramos esto mediante los siguientes dos problemas.
Problema 1. Sea
Solución. Ya establecimos que encontrar los valores propios se reduce a encontrar las raíces del polinomio
cuyas raíces son exactamente los elementos
Podemos combinar el resultado anterior con otras propiedades de matrices triangulares superiores para resolver a mano algunos problemas que de entrada parecen complicados.
Problema 2. Encuentra los eigenvalores de
Solución. En realidad no hace falta hacer el producto de matrices para encontrar la matriz
Relaciones con independencia lineal y combinaciones polinomiales
El resultado principal de esta entrada es el siguiente teorema, que en particular afirma que si dos eigenvalores son distintos, sus eigenvectores son linealmente independientes. En realidad, el resultado es un poco más general y lo enunciamos a continuación
Teorema. Sean
Demostración. Por definición, tenemos que demostrar que si tenemos una colección
Nuestro caso base es una tautología, pues si
Asumamos que el resultado se cumple para
Por otro lado, si multiplicamos a la igualdad
Sustrayendo y factorizando estas dos igualdades se sigue que
Esto es una combinación lineal de los primeros
Enseguida veremos que si formamos un polinomio
Problema. Sea
Solución. Como
Usando esto, si
Esto muestra que
Relación con el polinomio mínimo
Una consecuencia del problema previo es la siguiente proposición.
Proposición. Sea
Solución. Por el problema anterior,
De esto, podemos por fin establecer una conexión con el polinomio mínimo, que enunciamos en forma de teorema.
Teorema. Sea
Demostración. Dado que
Conversamente, supongamos que existe
Recordando una vez más que
Ejercicios
Terminamos con un par de ejercicios para repasar el material de estas secciones. El primero de entre ellos toma prestados nombres de la probabilidad (lo lo cuál puede sugerirte en qué tipo de texto te podrías encontrar con estas matrices).
Problema 1. Una matriz
Demuestra que
Solución. Consideremos el vector
Es decir
Problema 2. Sea
Solución. Observa que
Más adelante…
En las entradas subsecuentes iremos más a fondo en el concepto de polinomio característico, para eventualmente llegar al teorema de Cayley-Hamilton. Para eso tendremos que equiparnos de bastante teoría y repasar varias propiedades de dicho polinomio.
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.
- Sea
el espacio de polinomios con coeficientes reales de grado a lo más . Encuentra los eigenvalores de la transformación . - Si
es el espacio de polinomios con coeficientes reales, encuentra los eigenvalores de . - Sean
matrices en tales que . Demuestra que para todo se cumple que y de esto deduce que es nilpotente: existe tal que . Sugerencia: ¿Cuántos eigenvalores puede tener ? - ¿Puedes generalizar el último problema de la sección de matrices triangulares superiores?
- Sea
una matriz cuadrada con entradas reales. Supón que es un real positivo que es eigenvalor de . Demuestra que o es un eigenvalor de . ¿Sucederá a veces que sólo una de estas es eigenvalor?
Entradas relacionadas
- Ir a Álgebra Lineal II
- Entrada anterior del curso: Eigenvectores y eigenvalores
- Siguiente entrada del curso: Polinomio característico
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»
Hola,
Para la demostración del Teorema donde los eigenvectores de eigenvalores distintos son linealmente independiente, ¿Por qué debemos que tener que v1+v2+…+vn=0? Tengo entendido que esto quiere resumir que cualquier eigenvector ui de λi es multiplicado por un escalar αi≠0, entonces este nuevo vector vi=αiui es eigenvector de λi. Lo que no veo es cómo evitar que no exista ningún αj=0 que ya evite a vj ser un eigenvector.
Ya entiendo. Es porque estamos haciendo inducción fuerte, y por lo tanto tenemos que ya todo subconjunto de {vi} de menor cardinalidad debe ser linealmente independiente. Con esto, no puede ser el caso que exista un αj=0, ya que esto contradice la hipótesis de inducción fuerte al estar trabajando en k.
Me disculpo por gastar su tiempo con pregunta anterior.
Que tenga un buen día.
Hola Antonio. La demostración aquí está escrita un poquito diferente a como la vimos en el curso. Lo que sucede es que aquí está enunciada en términos de «sumas directas» de subespacios y por eso basta considerar que tengan coeficiente 1. Por ejemplo, si quisieras pensar en alpha_1v_1, entonces mejor lo nombras w_1=alpha_1v_1 y con eso w_1 vuelve a estar en el subespacio (recuerda que son cerrados bajo multiplicación escalar) y de ahí trabajas como en la demostración.
Tengo una duda en el teorema que dice lo siguiente Teorema. Sean \lambda_1,\dots, \lambda_k eigenvalores distintos dos a dos de una transformación lineal T:V\to V. Entonces los \lambda_i-eigenespacios están en posición de suma directa. La demostración empieza diciendo que {v_i} colección de eigenvectores pero después llegamos que v_k = 0 pero que no se supone que el vector 0 no puede ser un eigenvector?
Hola Eduardo. En efecto, ahí no debe decir «eigenvectores», sino simplemente «vectores», pero que sí cumplan la condición que ahí se pone. Esto casi casi es que sean eigenvectores, pero también da chance a que sean el vector cero. Esto es pues precisamente los eigenespacios tienen a los eigenvectores, y al vector cero.
Hola. Tengo otra duda del desarrollo de la teoría hasta este punto.
Cuando pasamos de hablar de polinomio mínimo a eigen-cosas vimos que no teníamos muchas prácticas para encontrar el polinomio mínimo, así que nos salimos de ese tema. También, en la entrada anterior, se mencionaba que si encontrábamos los eigenvalores de una t.l. podíamos asociarle su forma matricial y teníamos inmediatamente los eigenvalores (pues eran los mismos) pero al revés no (pues podíamos tomar diferentes bases), que estos dependían de la base elegida.
Entonces en el último teorema de esta entrada, ¿estamos encontrando una forma de hallar los eigenvalores de T sin necesidad de pasarnos al mundo de las matrices? Porque hasta ahora, entiendo, solo tenemos forma de calcular los eigenvalores a partir de la matriz asociada.
Reescribo esta duda porque me parece que no se posteó:
Cuando probábamos que si A tiene asociado un eigenvalor lambda y dado P en F[x] tal que P(A)=On, entonces P(T) tiene asociado el eigenvalor P(lambda) se está diciendo que el único eigenvalor de la matriz On es el lambda=0, ¿pero no se supone que los eigenvalores tienen que ser distintos de cero?