You are on page 1of 2

Teorema: Sean U , W espacios vectoriales sobre R , T : U W una trasformacin lineal.

. o Entonces: dim U = dim (Ker T ) + dim (Im T ) Demostracin: o Supongamos que dim (U ) = n y sea B = { e1 , e2 , , et } una base de Ker(T ) , como B es l.i. extendemos sta a una base de U : e Bv = { e1 , e2 , , et , v1 , v2 , , vnt } Probaremos que B1 = { T (v1 ) , T (v2 ) , , T (vnt ) } es una base de Im(T )

a) Veamos que B1 es l.i.


nt nt nt

i T (vi ) = W = T
i=1 nt i=1

i vi
t

= W

=
i=1 nt

i vi Ker(T )
t

=
i=1 BV es base

i vi =
j=1

j ej

=
i=1

i v i
j=1

(j ) ej = V

1 = = nt = 1 = = t = 0

Luego
nt

i T (vi ) = W = 1 = = nt = 0
i=1

As B1 = { T (v1 ) , T (v2 ) , , T (vnt ) } es l.i. b) Veamos que B1 = { T (v1 ) , T (v2 ) , , T (vnt ) } genera Im T y Im T = x U tal que T (x) = y
BV es base

1 , , k , 1 , , nt
t nt

tales que

x=
i=1

i ei +
i=1

i v i
t

y T (x) = y
nt

= escalares tales que T


i=1 t T es t.l.

i ei +
i=1

i v i
nt

=y

= escalares tales que


i=1

i T (ei ) +
i=1

i T (vi ) = y

nt

= escalares tales que


i=1

i T (vi ) = y

( T (ei ) = W )

Luego y Im(T ) , y se expresa como combinacin lineal de B1 = {T (v1 ) , T (v2 ) , , T (vnt ) } o por lo tanto B1 genera a Im(T ). De a) y b) se tiene que: B1 = {T (v1 ) , T (v2 ) , , T (vnt } es base de Im(T ) luego: dim (Ker(T )) + dim (Im(T )) = t + (n t) = n = dim (U )

You might also like