Introducción
Durante la primera unidad de este curso vimos que las transformaciones lineales pueden ser descritas por medio de matrices
. Nuestro objetivo ahora es extender este resultado para describir transformaciones lineales
entre espacios vectoriales de dimensión finita
y
. Es decir, para cada una de estas transformaciones, queremos ver cómo se ven en forma matricial.
Sin embargo, a diferencia de lo que sucedía antes, la descripción en esta forma no será única. Para construir una matriz que represente a una transformación lineal, necesitaremos fijar bases para y
. Distintas bases nos darán distintas matrices.
Para esta entrada todos los espacios vectoriales que usemos son de dimensión finita sobre el campo . Usaremos los resultados de la entrada pasada, en la que estudiamos qué le hacen las transformaciones lineales a los conjuntos linealmente independientes, a los generadores y a las bases.
Un paréntesis técnico de isomorfismos
Quizás a estas alturas ya te hayas dado cuenta de que, en cierto sentido, los espacios vectoriales con la misma dimensión se parecen mucho entre sí. Por ejemplo, los espacios vectoriales ,
y
pueden pensarse «como el mismo» si identificamos a cada vector
con la matriz
, o bien con el polinomio
. Esta identificación es biyectiva y «respeta las operaciones».
Con esta motivación, veamos una definición formal.
Definición. Decimos que una transformación lineal es un isomorfismo de espacios vectoriales si es biyectiva. Lo denotamos como
, que se lee «
isomorfo a
mediante
«.
Problema. Sea un isomorfismo de espacios vectoriales. Prueba que su inversa
es un isomorfismo de espacios vectoriales.
Demostración. La transformación es biyectiva, pues es invertible de inversa
, así que sólo hace falta checar que
es lineal. Tomemos
,
en
, y
en el campo. Como
es suprayectiva, podemos tomar
y
. Entonces
y
, así
En la segunda igualdad estamos usando que es lineal. De esta forma, concluimos que
es lineal también.
Formalicemos ahora sí nuestra intuición de que «todos los espacios vectoriales de la misma dimensión finta sobre un mismo campo se comportan igual». En términos matemáticos, decimos que «es posible clasificar los espacios vectoriales de dimensión finita distintos de
, salvo isomorfismos». Para mostrar esto, veremos que para cada entero positivo
todos los espacios vectoriales de dimensión
son isomorfos a
. El siguiente resultado da el isomorfismo de manera explícita.
Teorema. Sea un entero positivo y sea
un espacio vectorial de dimensión finita sobre
. Si
es una base de
, entonces la transformación
definida por
La verificación de los detalles de este teorema queda como tarea moral. Como sugerencia, recuerda que una base de
te permite expresar a cada vector de
(de aquí saldrá la suprayectividad) de manera única (de aquí saldrá la inyectividad) como combinación lineal de elementos de
.
Corolario. Si es un isomorfismo de espacios vectoriales, entonces
.
Bases ordenadas
Sea un espacio vectorial de dimensión finita
. Una base ordenada de
es simplemente una base para la cual nos importa en qué orden están sus elementos. La escribimos con notación de paréntesis en vez de llaves, es decir, en vez de poner
, ponemos
para hacer énfasis en el orden.
Ejemplo. El conjunto es una base de
. De aquí, podemos obtener dos bases ordenadas,
y
. Aunque tienen a los mismos elementos, las pensamos como bases ordenadas diferentes pues sus elementos aparecen en diferente orden.
Del mismo modo, las bases y
son la misma base de
, pero son distintas como bases ordenadas.
Por las discusión en la sección anterior, la elección de una base ordenada en un espacio vectorial de dimensión
nos permite identificar
con
. Es decir, dada una base
, podemos «ponerle coordenadas» a los elementos de
. Dependiendo de la base ordenada escogida, es posible que obtengamos diferentes coordenadas.
Ejemplo. Consideremos el espacio vectorial . Se puede verificar que cada uno de los siguientes conjuntos ordenados son una base:
Como cada uno de ellos es una base, entonces podemos escribir a la matriz como combinación lineal de elementos de cada uno de
,
o
.
Si lo hacemos para , tendríamos (en orden), a los coeficientes
, así que las coordenadas de
en la base ordenada
serían
.
Si lo hacemos para , tendríamos (en orden), a los coeficientes
, así que las coordenadas de
en la base ordenada
serían
. Aunque
y
tengan los mismos elementos, las coordenadas difieren pues como bases ordenadas
y
son distintas.
Si lo hacemos para , tendríamos (en orden), a los coeficientes
, así que las coordenadas de
en la base ordenada
serían
. Aquí obtenemos coordenadas muy distintas pues
y
ni siquiera tienen a los mismos elementos.
La forma matricial de una transformación lineal
Consideremos ahora espacios vectoriales y
de dimensiones
y
respectivamente. Supongamos que tenemos una transformación lineal
. Escogemos bases ordenadas
y
de
y
respectivamente. Ten cuidado, aquí
no es un vector de
, sino una colección ordenada de vectores de
.
Por el teorema de caracterización de espacios vectoriales de dimensión finita, tenemos los isomorfismos
¿Cómo podemos usar todas estas transformaciones para construir una transformación ? La idea es usar el inverso de
y componer todo.
Así, consideramos como la composición de las transformaciones
, es decir,
De esta forma, es una transformación lineal entre
y
. ¡Este tipo de transformaciones ya las conocemos! Sabemos que
se describe de manera única por medio de una matriz
Esta es, por definición, la matriz asociada a
con respecto a las bases
y
o bien la forma matricial de
. Dicha matriz depende fuertemente de las dos bases, así que la denotaremos como
. Por el momento sólo pongamos mucha atención en el orden en el que escribimos las bases en los subíndices. Es importante más adelante veremos que resulta útil escribirlo así.
Cuando va de un espacio vectorial a sí mismo y usamos sólo una base
, simplificamos la notación a
.
Evaluar
usando su forma matricial
La construcción anterior parece muy complicada, pero en realidad es muy natural. Lo que está sucediendo es lo siguiente. Ya sabemos que toda transformación lineal entre y
está dada por matrices. Podemos extender esto a una descripción de transformaciones lineales entre
y
identificando
con
y
con
vía la elección de bases en
y
.
Notemos que si definimos , entonces tenemos que
… (1)
Esta igualdad nos va a ayudar a decir quién es en términos de las entradas de la matriz
. Sea
la base canónica de
y
la base canónica de
. Si
, entonces por definición
, así para
se tiene
Por otro lado, , de manera que la relación (1) es equivalente a la relación
Aquí empieza a haber mucha notación, pero no hay que perderse. Hasta ahora lo que tenemos es que «podemos saber cuánto vale la transformación en cada elemento de la base de
en términos de la matriz
«. ¡Este es un paso importante, pues en la entrada anterior vimos que basta saber qué le hace una transformación a los elementos de la base para saber qué le hace a cualquier vector! Resumimos lo obtenido hasta ahora.
Proposición. Sea una transformación lineal y sean
bases en
y
, respectivamente. La columna
de
entonces para toda
se tiene
Así, si tenemos la matriz que representa a
en las bases
y
y un vector arbitrario
en
, para saber quién es
basta:
- Usar la proposición anterior para saber quién es
para cada
en la base
.
- Expresar a
en términos de la base
como, digamos,
.
- Usar que
es lineal para concluir que
y usar los valores de
encontrados en el primer inciso.
Forma matricial de composiciones de transformaciones lineales
Para finalizar esta entrada queremos entender la relación entre la composición de transformaciones lineales y las matrices asociadas de
y
. En otras palabras, sean
y
transformaciones lineales fijas y supongamos que
,
,
. También fijemos las bases
en
, respectivamente. Para simplificar las cosas escribamos
y
Con respecto a las bases se tienen los isomorfismos
definidos como lo hicimos anteriormente en esta misma entrada del blog, y por definición de
se tiene
con
,
con
.
Aplicando en la primera relación y después usando la segunda relación, se tiene para
.
Esta última relación y la definición de nos muestra que
.
En otras palabras, la composición de transformaciones lineales se reduce a multiplicar sus matrices asociadas o de manera más formal
Teorema. Sean y
transformaciones lineales entre espacios vectoriales de dimensión finita y sean
bases de
, respectivamente. Entonces
Cuando tenemos transformaciones lineales de un espacio vectorial a sí mismo, y usamos la misma base
, el resultado anterior se puede escribir de una manera más sencilla.
Corolario. Sean transformaciones lineales en un espacio vectorial de dimensión finita
, y sea
una base de
. Entonces
.
Tarea moral
Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.
- Verifica que la relación «son isomorfos» para espacios vectoriales es una relación de equivalencia.
- Muestra que la transformación
dada en el teorema de clasificación de espacios vectoriales de dimensión finita en efecto es un isomorfismo.
- Asegúrate de entender el último corolario.
Más adelante…
En esta entrada comenzamos con una transformación lineal y bases ordenadas de de
y
para representar a
como una matriz. Así mismo, vimos cómo tras una elección de base podemos pensar a cualquier vector en términos de sus «coordenadas», usando a los coeficientes que permiten expresarlo (de manera única) como combinación lineal de elementos de la base. Las matrices y coordenadas que así obtenemos nos ayudarán mucho. Sin embargo, será fundamental entender qué es lo que sucede con estas representaciones cuando elegimos bases diferentes, y cómo podemos cambiar de ciertas coordenadas o matrices a otras cuando hacemos un cambio de base. Esto es lo que estudiaremos en las siguientes entradas.
Entradas relacionadas
- Ir a Álgebra Lineal I
- Entrada anterior del curso: Transformaciones lineales y vectores independientes
- Siguiente entrada del curso: Problemas de transformaciones lineales, vectores independientes y forma matricial
En el primer teorema, donde se define la transformación i sub B, los x1, xn ¿ viven en V o son escalares en F?
Gracias
Hola Lorna,
Los x_i son escalares, ya que el dominio de la transformación i_B en F^n.
Hola, buenas noches.
Tengo una duda, en la parte de la demostración del primer problema, ¿cómo se deduce que T^{-1} es biyectiva? ¿qué quiere decir que es invertible de inversa T?
Gracias
Perdón, creo que en esa misma demostración al ver que T^{-1} es lineal hay un error en donde dice:
«Como T es suprayectiva, podemos tomar v_1=T^{-1}(w_1) y v_2=T^{-1}(w_2)»
Creo que en vez de T debería ser T^{-1} para poder tomar así a v_1 y v_2
Hola Daniela. Una función es biyectiva si y sólo si tiene inversa. Por hipótesis, f es invertible. Su inversa es a lo que le llamamos f^{-1}. Pero entonces, f^{-1} es invertible pues su inversa es f.
De lo segundo que preguntas, sí está bien como dice en las notas. Pero sí se podría agregar un argumento más que lo haga más claro. Lo que tomamos primero es w_1 en W. Como T es suprayectiva, existe v_1 en V tal que T(v_1)=w_1. Pero entonces aplicando la inversa en ambos lados tenemos v_1=T^{-1} (w_1) (como se enuncia).