Introducción
Como se ha mencionado anteriormente el objetivo de introducir ideas de álgebra lineal en cálculo diferencial es poder establecer una transformación lineal que sea la mejor aproximación lineal en un punto a una función dada. Esto nos ayudará a entender a la función dada en el punto en términos de otra función «más simple». Pero así mismo, las transformaciones lineales pueden ellas mismas pensarse en términos de transformaciones más sencillas. En esta entrada revisaremos esta idea y la conectaremos con la noción de eigenvectores.
Por un lado, recordaremos cómo es que una transformación lineal puede ser representada mediante una matriz una vez que se ha elegido una base del espacio vectorial. Luego, hablaremos de cómo elegir, de entre todas las bases, aquella que nos de una representación matricial lo más sencilla posible.
Representación matricial de las transformaciones lineales
Comencemos esta entrada repasando la importante relación entre transformaciones lineales y matrices. Denotaremos como
Si tomamos cualquier transformación lineal
para algunos escalares
Esta es llamada la representación matricial de la transformación
Para cada
al que llamamos el vector de coordenadas de
Realicemos por un lado el siguiente cálculo:
Por otro lado tenemos lo siguiente:
Juntando ambos cálculos:
En otras palabras, aplicar
Isomorfismo entre transformaciones lineales y matrices
Con las operaciones de suma y multiplicación por escalar que vimos en la entrada de Matrices, se tiene que
- Si
y son dos transformaciones, la transformación es aquella que envía a todo vector al vector . - Si
la transformación es la que a todo lo envía al vector .
Queda como ejercicio que verifiques que esto dota efectivamente a
A continuación veremos que estos dos espacios vectoriales son, prácticamente, el mismo. Lo que haremos es construir una función
Para ello, tomemos una base
Tomamos entonces
es suprayectiva. Si tenemos una transformación , entonces por la construcción anterior se tiene que su forma matricial justo cumple , de modo que . es inyectiva. Si y son matrices distintas, entonces difieren en alguna entrada, digamos . Pero entonces y difieren ya que ya que en las combinaciones lineales creadas hay un coeficiente distinto. Así, . es lineal. Para , y matrices con entradas y , respectivamente, se cumple que y entonces se satisface para cada lo siguiente:
Por tanto para cada tenemos que y en consecuencia Así
Todo lo anterior implica que
En búsqueda de una matriz sencilla
Por lo que hemos platicado hasta ahora, a cada transformación lineal le corresponde una matriz, y viceversa. De hecho, esta asociación respeta operaciones como la suma y el producto por escalar. Esta equivalencia está dada a partir de la función
Si
Nos enfocaremos únicamente en transformaciones lineales que van de un espacio vectorial a sí mismo. Tomemos entonces
Proposición. La transformación lineal
Si
Motivados por el ejemplo anterior, estudiemos la siguiente pregunta: ¿toda transformación lineal se puede representar con una matriz diagonal? Si una transformación lineal se puede representar de esta manera, diremos que es diagonalizable.
Eigenvalores, eigenvectores y eigenespacios
En lo que sigue repasaremos el aparato conceptual que nos permitirá dar una respuesta parcial de cuándo una matriz es diagonalizable. Un tratamiento mucho más detallado se puede encontrar aquí en el blog, en el curso de Álgebra Lineal II, comenzando con la entrada Eigenvectores y eigenvalores.
Para nuestro repaso, debemos introducir algunos conceptos y estudiarlos.
Definición. Sea
Dado un eigenvector
Por otro lado, para un eigenvalor
lo cual implica que
Definición. Para una transformación lineal
el eigenespacio de
Cuando tenemos eigenvectores correspondientes a eigenvalores distintos, cumplen algo especial.
Proposición. Si
Demostración. La ruta para establecer la demostración de este teorema será por inducción sobre
Aplicamos
Es decir,
Multipliquemos
Tenemos entonces:
Ya que por hipótesis de inducción
Eigenvectores y transformaciones diagonalizables
Recuerda que dijimos que una transformación lineal
Teorema. Sea
En realidad la demostración consiste únicamente en entender correctamente cómo se construyen las matrices para una base dada.
Demostración.
en donde estamos usando que las entradas
Hay una situación particular en la que podemos aprovechar el teorema anterior de manera inmediata: cuando la transformación tiene
Corolario. Toda transformación lineal
Demostración. Queda como tarea moral. Como sugerencia, recuerda que mostramos arriba que los eigenvectores de eigenvalores distintos son linealmente independientes.
Al parecer los eigenvalores, eigenvectores y eigenespacios de una transformación lineal son cruciales para poder expresarla de manera sencilla. ¿Cómo los encontramos? Esto lo veremos en la siguiente entrada.
Antes de concluir, mencionamos que hay otro teorema crucial sobre diagonalización de matrices. Diremos que una matriz
Teorema (el teorema espectral). Sea
El teorema anterior nos dice no únicamente que la matriz
Más adelante…
Lo que haremos en la siguiente entrada es desarrollar un método para conocer los eigenvalores de una matriz. A partir de ellos podremos encontrar sus eigenvectores. Y en ciertos casos especiales, esto nos permitirá mostrar que la transformación es diagonalizable y, de hecho, nos dará la base para la cual la matriz asociada es diagonal.
Tarea moral
- Considera la transformación lineal de
en , dada como . Encuentra su representación matricial con las bases canónicas de y . Luego, encuentra su representación matricial con las bases de y de . - Considera la siguiente matriz:
Da una transformación lineal y ciertas bases de y de para las cuales esta matriz sea la representación matricial de en las bases y . - Fija bases
, y para , y . Considera dos transformaciones lineales y . Demuestra que:
En otras palabras que la «composición de transformaciones corresponde al producto de sus matrices». - Sea
una transformación lineal y una base de . Demuestra que es biyectiva si y sólo si es invertible. - Verifica que los vectores
dados en el último teorema en efecto ayudan a dar una representación matricial diagonal para . - La demostración del último corolario es un conjunto de sencillas consecuencias de las definiciones y teoremas desarrollados en esta entrada con respecto a los eigenvalores y eigenvectores. Realiza esta demostración.
Entradas relacionadas
- Ir a Cálculo Diferencial e Integral III
- Entrada anterior del curso: Sistemas de ecuaciones lineales
- Entrada siguiente del curso: Polinomio característico