8 2U
8 2U
(1)
= 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)]
(2)
= 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)
= 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 ( )
= T2 ( ) + T1 ( )
= (T2 + T1 )( )
) T1 + T2 = T2 + T1
[por (1)]
[ * adicin en V es conmutativa]
[por (1)]
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;
T]
[por def. de ^
0]
para todo T 2 L(U; V )
= 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)]
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.