Suppose TL(V,W)T \in \mathcal L(V,W) and v1,,vmv_1,\dots,v_m is a list of vectors in VV such that Tv1,,TvmTv_1,\dots,Tv_m is a linearly independent list in WW. Prove that v1,,vmv_1,\dots,v_m is linearly independent.


We are given that

a1Tv1++amTvm=0    every aj=0a_1Tv_1 + \dots + a_mTv_m = 0 \iff \text{every } a_j = 0

By linearity this is the same as saying

T(a1v1++amvm)=0    every aj=0T(a_1v_1 + \dots + a_mv_m) = 0 \iff \text{every } a_j = 0

Which implies v1,,vmv_1,\dots,v_m is linearly independent, as if it wasn't we could write 0=a1v1++amvm0 = a_1v_1+\dots+a_mv_m with some aj0a_j\ne 0 and have T(0)=0T(0) = 0.