Suppose T∈L(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 aj≠0a_j\ne 0 and have T(0)=0T(0) = 0.