Transformacin lineal como vectores

Sea L(U; V ) el conjunto de todas las transformaciones lineales de un espacio

vectorial U (F ) en un espacio vectorial V (F ). Algunas ocasiones denotamos este
conjunto por Hom(U; V ). Ahora queremos imponer una estructura de espacio
vectorial sobre el conjunto L(U; V ) en el mismo campo F . Para ello se tendr
que denir adecuadamente adicin en L(U; V ) y la multiplicacin escalar en
L(U; V ) sobre F:
Teorema 1. Sea U y V un espacios vectoriales sobre el campo F . Sean T1
y T2 transformaciones lineales de U en V . La funcin T1 + T2 denida por
(T1 + T2 )( ) = T1 ( ) + T2 ( );

8 2U

es una transformacin lineal de U en V . Si c es cualquier elemento de F ,

la funcin ( cT ) denida por
(cT )( ) = cT ( );

8 2U

es una transformacin lineal de U en V . El conjunto L(U; V ) de todas las

transformaciones lineales de U en V , junto con la adicin y la multiplicacin
por escalar denido anteriormente es un espacio vectorial sobre el campo F .
Demostracin
Supongamos que T1 y T2 son transformaciones lineales de U en V y denimos
T1 + T2 como sigue
(T1 + T2 )( ) = T1 ( ) + T2 ( ); 8 2 U

(1)

Debido a que T1 ( ) + T2 ( ) 2 V , por lo tanto T1 + T2

es una funcin de U en V
Sean a; b 2 F y ; 2 U . Entonces
(T1 + T2 )(a + b )

= T1 (a + b ) + T2 (a + b )
[por (1)]
= [aT1 ( ) + bT1 ( )] + [aT2 ( ) + bT2 ( )]
[* T1 y T2 son transformaciones lineales]
= a [T1 ( ) + T2 ( )] + b [T1 ( ) + T2 ( )]
[ * V es un espacio vectorial]
= a(T1 + T2 )( ) + b(T1 + T2 )( )
[por (1)]

) T1 + T2 es una transformacin de U en V . Entonces T1 ,T2 2 L(U; V ) =)

T1 + T2 2 L(U; V ):
Por lo tanto L(U; V ) es cerrado respecto la adicin denida.
Sea de nuevo T 2 L(U; V ): y c 2 F: Vamos a denir cT como sigue:
(cT )( ) = cT ( ); 8 2 U
1

(2)

Debido a que cT ( ) 2 V , por lo tanto cT es una funcin de U en V

Sea a; b 2 F y ; 2 U . Entonces
(cT )(a + b )

= cT (a + b )
[por (2)]
= c [aT ( ) + bT ( )]
[* T es una transformacin lineal]
= c [aT ( )] + c[bT ( )] = (ca)T ( ) + (cb)T ( )
= (ac)T ( ) + (bc)T ( ) = a[cT ( )] + b[cT ( )]
= a[(cT )( )] + b[(cT )( )]
(1)

) cT es una transformacin lineal de U en V . As

T 2 L(U; V ) y c 2 F =) cT 2 L(U; V ):
Por lo tanto L(U; V ) es cerrado respecto a la multiplicacin escalar denida.
Asociatividad de la adicin en L(U; V )
Sean T1 ; T2 ; T3 2 L(U; V ): Si 2 U , entonces
[T1 + (T2 + T3 )]( )

= T1 ( ) + (T2 + T3 )( )
[por (1), i e., por def. de adicin en L(U; V )]
= T1 ( ) + [T2 ( ) + T3 ( )]
[por (1)]
= [T1 ( ) + T2 ( )] + T3 ( )
[adicin en V es asociativa]
= (T1 + T2 )( ) + T3 ( )
[por (1)]
= [(T1 + T2 ) + T3 ]( )
[por (1)]

) T1 +(T2 +T3 ) = (T1 +T2 )+T3

[por def. de igualdad de dos funciones]

Conmutatividad de la adicin en L(U; V )

Sean T1 ; T2 2 L(U; V ): Si es cualquier elemento de U , entonces
(T1 + T2 )( )

= T1 ( ) + T2 ( )
= T2 ( ) + T1 ( )
= (T2 + T1 )( )

) T1 + T2 = T2 + T1

[por (1)]
[ * adicin en V es conmutativa]
[por (1)]

[por def. de igualdad de dos funciones]

Existencia de identidad aditiva en L(U; V )

2

Sea ^
0 la funcin cero de U en V , i e., ^
0( ) = 0 2 V; 8 2 U
Entonces ^
0 2 L(U; V ): Si T 2 L(U; V ) y 2 U tenemos que
(^
0+T )( )

=
=
=

^
0( ) + T ( )
0+T ( )
T( )

[por (1)]
[por def. de ^
0]
[es identidad aditiva en V ]

) ^
0+T = T;
8T 2 L(U; V )
^
) 0
es la identidad aditiva en L(U; V )
Existencia de inverso aditivo de cada elemento en L(U; V )
Sea T 2 L(U; V ). Denimos T como sigue
( T )( ) =
Entonces
( T +T )( )

T 2 L(U; V ): Si

T( )

8 2U

2 U; tenemos que

= ( T )( ) + T ( )
=
T ( )+T ( )
= 0 2V
= ^
0( )
)

T +T = ^
0;

[por denicin de adicin en L(U; V )]

[por def. de

T]

[por def. de ^
0]
para todo T 2 L(U; V )

As cada elemento en L(U; V ) posee inverso aditivo.

Por lo tanto L(U; V ) es un grupo abeliano con la adicin denida.
Adems hacemos las siguientes observaciones:
i) Sea c 2 F y T1 , T2 2 L(U; V ). Si es cualquier elemento en U , tenemos
[c(T1 + T2 )]( )

= c[(T1 + T2 )( )]
[por (2) i e., por def. de multiplicacin escalar en L(U; V )]
= c[T1 ( ) + T2 ( )]
[por (1)]
= cT1 ( ) + cT2 ( )
[ * c 2 F y T1 ( ); T2 ( ) 2 V el cual es un espacio vectorial]
= (cT1 )( ) + (cT2 )( )
[por (2)]
= (cT1 + cT2 )( )
[por (1)]

) c(T1 + T2 ) = cT1 + cT2:

ii) Sea a; b 2 F y T 2 L(U; V ). Si
[(a + b)T ]( )

2 U , tenemos

= (a + b)T ( )
= aT ( ) + bT ( )
= (aT )( ) + (bT )( )]
= (aT + bT )( )

[por (2)]
[ * V es un espacio vectorial]
[por (2)]
[por (1)]

) (a + b)T = aT + bT:
iii) Sea a; b 2 F y T 2 L(U; V ). Si
[(ab)T ]( )

= (ab)T ( )
= a[bT ( )]
= a[(bT )( )]
= [a(bT )]( )

2 U , tenemos
[por (2)]
[* V es un espacio vectorial]
[por (2)]
[por (2)]

) (ab)T = a(bT ):
iv) Sea 1 2 F y T 2 L(U; V ). Si
[1T ]( )

= 1T ( )
= T( )

2 U , tenemos
[por (2)]
[* V es un espacio vectorial]

) 1T = T:
Por lo tanto L(U; V ) es un espacio vectorial sobre el campo F:
Nota. Si en lugar de un espacio vectorial V , tomamos U , entonces observamos que el conjunto de todos los operadores lineales en U forman un espacio
vectorial con respecto a la adicin y la multiplicacin por escalar denidas anteriormente.