Sejam V e W espaços vetoriais sobre um corpo K e T:V -> W transformação linear. Prove que {v1,...,vn} é um conjunto gerador de V então {T(v1),...T(vn)} é um conjunto gerador da imagem de T.
dim(V) = n = dim(ker(T)) + dim(Im(T)); Se dim(ker(T)) ≠ 0 temos que dim(V) ≠ dim(Im(T)) e então [T(v1),... T(vn)] não será o conjunto gerador da imagem. ( Por que será ? )