TEOREMA 1.11: Sea y dos espacios vectoriales y sea una transformacin lineal.

T es inyectiva si y solo si T enva un subconjunto linealmente independiente de W. DEMOSTRACION: ( ) Sea { x1 , x2 ,........, xn } V es li en V Veamos si T ( s ) = {T ( x1 ) , T ( x2 ) ,........, T ( xn )} es li en W

Sea ,2 ,......, n K tales que 1T ( x1 ) + 2T ( x 2 ) + ...... + n T ( x n ) = 0 w T (1 x1 ) + T ( 2 x 2 ) + ...... + T ( n x n ) = T ( 0 w ) T es lineal Homognea

T (1 x1 + 2 x2 + ....... + n xn ) = T ( 0v ) T es lineal aditiva 1 x1 +2 x2 +....... +n xn = T es inyectiva 1 = 0, 2 = 0, .., n = 0, es li As T ( s ) es li ( )

Sea B = {v1 , v2 ,......., vn } V base ordenada de V Sea x, y v tales que T ( x ) =T ( y ) Como B es base de V, existen escalares a1 , a2 ,...., an ,b1 , b2 ,....., x = a1v1 + a2 v2 +.... + an vn y y = b1v1 +b2 v2 +.... +bn vn (I) Ahora por hiptesis T ( B ) = {T ( v1 ) , T ( v2 ) ,...., T ( vn )} es li ()
T ( x ) = T ( y ) T ( a1v1 + a2 v2 + ... + an vn ) = T ( b1v1 + b2 v2 + ... + bn vn )

0v

bn K

tales que

Por (I) T es

lineal

a1T (v1 ) + a2T (v2 ) +... + anT (vn ) = b1T (v1 ) +b2T (v2 ) +... +bnT (vn )

( a1 b1 )T ( v1 ) + ( a2 b2 )T ( v2 ) + ........ + ( an bn )T ( vn ) = 0w W es e.v a1 b1 = 0, a 2 b2 = 0, .., a n bn = 0, por () a1 = b1 , a 2 = b2 , , a n = bn a1 v1 + a 2 v 2 + ...... + a n v n = b1 v1 + b2 v 2 + ...... + bn v n x=y As T es inyectiva.

+ es K

Sustituyendo

TEOREMA 1.17: Sea y dos espacios vectoriales con V de dimensin finita n. Dada una base {v1 , v2 ,.... vn } de V y vectores cualesquiera w1 , w2 ,...., wn , existen una nica transformacin lineal T : V W tal que T ( vi ) = wi W para cada i =1,2,3,........, n DEMOSTRACION: Debemos probar tres cosas: 1) T es una T. L. 2) T es nica 3) T ( vi ) = wii : 1,2,3......., n Definamos T ( v ) = i wi Como entonces T ( v ) = 1w1 + 2 w2 + ... + n wn 1) Probemos que T es lineal; es decir T ( x + y ) =T ( x ) +T ( y ) , y v ; T ( ) = ( x ) v ; K x x T x En efecto: Como x v x = 1v1 +2 v2 + ... +n vn y v x = 1v1 + 2 v2 +... + n vn
v = 1 v1 + 2 v 2 + ... + n v n
i =1 n

As T ( x + y ) = T i vi + i vi
i =1
i =1 n

= T ( i+i )vi i =1
= ( i +i )vi
i =1 n n n

definicin de T

= i wi + i wi = i wi + i wi
i =1 i =1 i =1 n i =1 n

Por otra parte x = vi T (x ) = vi i i

i =1 i =1

T ( x ) = T vi i i=1
n

= wi i
= ( x ) T

= i wi

i =1

En consecuencia T es lineal 2) Probemos ahora que T es nica Supongamos entonces que existe otra T.L digamos que Si v w cumpliendo que S ( vi ) = wi i=1,2,3,n Veamos si S = T ; basta probar que S ( x ) = T ( x ) v x En efecto, sea x v x = 1v1 + 2v2 + ... + n vn
n T ( x ) = T i vi i =1
= T i wi = T i s ( vi )
i =1 i =1 n n

definicin de T definicin de S S=T

n = S i vi i =1

As T es nica

3)

Veamos que T ( vi ) = wi
T ( v1 ) = w1 T ( v2 ) = w2

i =1,2,......, n

En efecto

v1 =1v1 + 0v2 +.......... + 0vn

T ( v1 ) = 1w1 + 0w2 + .......... + 0wn

v2 = 0v1 +1v2 +.......... + 0vn

T ( v2 ) = 0w1 +1w2 + .......... + 0 wn

T ( vn ) = 0w1 + 0 w2 + .......... +1wn T ( vn ) = wn

vn = 0v1 + 0v2 +.......... +1vn

. . . . . .

En consecuencia T ( v1 ) = w1

i =1,2,.........

.n

As de 1) 2) y 3) se cumple el teorema

TEOREMA 1.19: Sea y dos espacios vectoriales y sea T ,U : v w transformaciones lineales, entonces v K se cumple: a) T + U es una Transformacin lineal b) El conjunto de todas las Transformaciones lineales de V en W denotado por L(V,W) es un espacio vectorial sobre K. DEMOSTRACION: a) PROPUESTA AL LECTOR Sea T ,U L(v, w) con L( v, w) 0 ya que I : v v es lineal (identidad) I L(U ,W ) Probemos que T +U L( v, w) Sea x, y v y K (T +U )( x +y ) = T ( x +y ) + u ( x +y ) definicin de T+U = T ( x ) +T ( y ) + u ( x ) +u ( y ) T,U son lineales = T ( x ) + u ( x ) + ( T ( y ) + u ( y ) ) asociando y distributiva en W = (T +U )( x ) +(T +U )( y ) definicin de T+U (T +U )( x +y ) = (T +U )( x ) + (T +U )( y ) As T+U es lineal por lo tanto T +U L( v, w) (I)
b)

Sea T L( v, w) y K ; Probemos que T L( v, w) Sea x, y v, K (T )( x + y ) = [T ( x + y ) ] definicin de T = [T ( x ) + T ( y ) ] T es lineal = T ( x ) + [T ( y ) ] distributiva en W = T ( x ) + [T ( y ) ] Asociativa en K y W = (T )( x ) + (x ) + (T )( y ) definicin de T

(T )( x +y ) = (T )( x ) + (T )( y ) Por lo tanto T es lineal T L( v, w) (II)

Ahora Sea T1 , T2 , T3 L( v, w), sea x v

definicin + en L(v, w) = [T1 ( x ) + T2 ( x ) ] + T3 ( x ) definicin + en L(v, w) = T1 ( x ) + [T2 ( x ) + T3 ( X ) ] prop asociativa + en W = T1 ( x ) + (T2 + T3 )( x ) definicin + en L(v, w) = [T1 + ( T2 + T3 ) ]( x ) definicin + en L(v, w) As; (T1 + T2 ) + T3 = T1 + (T2 + T3 ) (III) Adems Sean T1 , T2 L(v, w) x v

[ ( T1 + T2 ) + T3 ]( x ) = ( T1 + T2 )( x ) + T3 ( x )

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

As

definicin + en L(v, w) = T2 ( x ) + T1 ( x ) + es conmutativa en W (e.v) = (T2 + T1 )( x ) definicin + en L(v, w) + T1 (IV)

Ahora Sea T L(v, w) la aplicacin nula : v w definida por ( x ) = 0 w x V cumple que: (T + )( x ) = T ( x ) + ( x ) definicin de + en L(v, w) = T ( x ) + 0w definicin de ( x ) = 0 w =T ( x ) Neutro aditivo + en W T As; T + = T L(v, w) : L( v, w) tal que T + = T ^ +T = T (V)

Sea que:

T L( v, w), existen T : v w definido

por ( T )( x ) = T ( x ) , as para x V se cumple definicin + en

L ( v, w )

[T + ( T ) ]( x ) = T ( x ) + ( T )( x )

Por lo tanto

T + ( T ) =

( T ) +T
y xv

definicin de T =0 w simtrico aditivo + en W = por conmutativa (VI)

= T ( x ) T ( x )

Ahora Sea T L(v, w),

, K

[ ( )T ]( x ) = ( )T ( x )

Por lo tanto ()T = (T )

definicin de T = [T ( x ) ] W es E.V = [ (T )( x ) ] definicin de T = [(T )( x ) ] definicin de T

(VII)

Adems Sea T L( v, w) y 1 K (1es elemento neutro en K) (1 T )( x ) = 1(T ( x ) ) Sea x v definicin de T =T ( x ) W es un E.V Por lo tanto 1 T = T (VIII) Por otra parte Sea T ,U L(v, w) , K ,
x V [ (T + U ) ]( x ) = (T + U )( x ) definicin de T = (T ( x ) + U ( x ) ) definicin + en L(v, w) =T ( x ) +U ( x ) distributiva + en K con = (T )( x ) + (U )( x ) definicin de T = (T +U )( x ) definicin + en L( v, w ) (T + U ) = T + U (IX)

W E.V

Por lo tanto

Ahora Sea T L(v, w); , K , x v definicin de T =T ( x ) +T ( x ) dist en W, W es E.V = (T )( x ) + (T )( x ) definicin de T = (T + T )( x ) definicin de + en Por lo tanto ( + )T = T + T (X) De (I), (II), (III), (IV), (V), (VI), (VII), (VIII), (IX), (X) Se cumple que L(v, w) es un espacio vectorial sobre K

[ ( + )T ] ( x ) = ( + )T ( x )

L ( v, w )

( L ( v, w ) , + , K )

es espacio vectorial