I am wondering about the theorem
If $T: V \to U$ is a linear non-singular transformation and $\{v_1,..,v_k\}$ is a linearly independent subset of V then the images of T are also independent.
I know the standard proof is something along the lines of
$A_1v_1+...+A_kv_k=0$ so $T(A_1v_1+...+A_kv_k)=0$
And $T$ is linear so we have $A_1T(v_1)+...+A_kT(v_k)=0$
because $T$ is non singular $\ker T=\{0\}$ so and the V are independent thus zero .
I am wondering of there is an alternate way to to do this along the lines of we know $dimV=\dim IM F$ ie $V=im F$ and use the Theorem that there exists a unique linear mapping $G: V\to U$ such that $G(v_1)=u_1$ for $i= 1,2,...$
So we could have wrote it as
$A_1u_1+...+A_ku_k=0$ and said because the u form a basis for Image, as they span the images as well, they must be independent?
Thanks all for comments