Transpuesta de una transformacin lineal

Si f: V -> W es una funcin lineal, se puede definir su transpuesta

por

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),

T(~v1 + ~v2) = ~v 1 + ~v (2)

donde, adems ~v1 + ~v2 es el nico vector que satisface la condicin.
Por lo tanto
T (~v 1 + ~v 2 ) = ~v1 + ~v2 = T (~v 1 ) + T (~v 2 )

2. Homognea. Por las suposiciones indicadas en la ecuacin (2)

T(~v1) = ~v 1
donde, adems ~v1 es el nico vector que satisface la condicin. Por lo
tanto
T (~v 1 ) = ~v1 = T (~v 1 )
Por lo tanto, T es lineal, de ahora en adelante, la transformacin lineal
inversa de T, se denominara, T 1.
Teorema. Sea T una transformacin lineal sobreyectiva, de un espacio
vectorial V sobre otro espacio vectorial V . Entonces, las siguientes
afirmaciones son equivalentes:
1. T es invertible, no-singular o biyectiva.
2. NT = {~0}
3. (T) = 0.
4. (T) = dimV, cuando V es finito dimensional.
5. Si {~v1, ~v2, . . . , ~vn} es una base de V, entonces {T(~v1), T(~v2),
. . . , T(~vn)} es una base de V , cuando V es finito dimensional.
6. Para cualesquiera ~v1, ~v2 en V, T(~v1) = T(~v2) implica que ~v1 =
~v2.
Prueba: La prueba se har circularmente.
1. 1 implica 2. Si T es biyectiva, es entonces inyectiva, por lo tanto NT =
{~0}.
2. 2 implica 3. Si NT = {~0}, entonces (T) = dim(NT ) = 0.

3. 3 implica 4. Si (T) = 0. Entonces, de la ecuacin (T)+(T) = dimV, se

tiene que (T) = dimV
4. 4 implica 5. Puesto que {~v1, ~v2, . . . , ~vn} es una base, entonces
{T(~v1), T(~v2), . . . , T(~vn)} genera el rango de T. Sin embargo, (T)
= dimV, entonces {T(~v1), T(~v2), . . . , T(~vn)} debe ser linealmente
independiente y por lo tanto una base.
5. 5 implica 6. Suponga, por contradiccin, que ~va 6= ~vb pertenecen
a V y que T(~va) = T(~vb), puesto que {~v1, ~v2, . . . , ~vn} es una
base de V , se tiene que
~va = 1~v1 + 2~v2 + . . . + n~vn y ~vb = 1~v1 + 2~v2 + . . . +
n~vn,
Donde existe al menos un i, tal que i 6= i , pues en caso contrario ~va
= ~vb.
Entonces
T(~va) = 1T(~v1) + 2T(~v2) + + nT(~vn) y T(~vb) = 1T(~v1)
+ 2T(~v2) + . . . + nT(~vn) Puesto que T(~va) = T(~vb), se tiene que
~0 = T(~va) T(~vb) = (1 1)~v1 + (2 2)~v2 + . . . + (n
n)~vn,
Contradiciendo la suposicin de que {T(~v1), T(~v2), . . . , T(~vn)} es
una base de V
6. 6 implica 1. 6 implica que T es una transformacin lineal inyectiva, de
un espacio vectorial V sobre otro espacio vectorial V . Por otro lado, se
asume que T es sobreyectiva, por lo tanto T es biyectiva, no-singular o
invertible.