Escolar Documentos
Profissional Documentos
Cultura Documentos
para
cada en
W*,
la
asignacin
genera
un homomorfismo inyectivo entre el espacio de operadores lineales de V
a W y el espacio de operadores lineales de W* a V*; este homomorfismo
es un isomorfismo ssi W es finito-dimensional o V es trivial. Si la funcin
lineal f es representada por la matriz A con respecto a dos bases de V y
W, entonces tf es representada por la matriz transpuesta tA con respecto
a las bases duales de W* y de V*. Si g: W X es otra funcin lineal, se
tiene t(g o f) = tf o t g. En el lenguaje de la teora de las categoras, tomar
el dual de los espacios vectoriales y la transpuesta de funciones lineales
es por lo tanto un funtor contravariante de la categora de los espacios
vectoriales sobre F a s misma.
Teorema. Sea T una transformacin lineal biyectiva, no-singular o
invertible, entonces la transformacin inversa T es nica. Prueba:
Suponga que existen dos inversas T 1 y T 2 que presumen ser
diferentes. Entonces, aplicando la ecuacin (1), se tiene que
T 1T = IV T T 1 = IV y T 2T = IV T T 2 = IV Entonces, se tiene
que T 1T = IV
Postmultiplicando, ambos lados de la ecuacin por T 2 , se tiene que
T 1 = T 1 IV = T 1 (T T 2 ) = (T 1T)T 2 = IVT 2 = T 2 .
Teorema. Sea T una transformacin lineal biyectiva, no-singular o
invertible, entonces la transformacin inversa T es tambin una
transformacin lineal.
Prueba: Sean ~v 1 , ~v 2 V y K arbitrarios. Suponga adems que
T (~v 1 ) = ~v1 T(~v1) = ~v 1 y T (~v 2 ) = ~v2 T(~v2) = ~v
2 (2)
Entonces, probaremos que la transformacin inversa es aditiva y
homognea.
1. Aditiva. Por las suposiciones indicadas en la ecuacin (2),