[Math] Prove there exist a basis of $V$ and a basis of $W$ such that all entries of $\mathcal{M}(T)$ are $0$ except row $j$ and column $j$

linear algebralinear-transformations

Suppose $V$ and $W$ are finite-dimensional and $T \in \mathcal{L}(V,W)$. Prove that there exist a basis of $V$ and a basis of $W$ such that with respect to these bases, all entries of $\mathcal{M}(T)$ are $0$ except that the entries in row $j$, column $j$, equal 1 for $1 \leq j \leq$ dim range$T$.

My thought:

  • I need to find an example of basis of $V$, and basis of $W$ that fulfill the requirements
  • Then, if the basis of $V$ is $v_1,\ldots,v_n$, if I choose the "basis" (not a basis actually) of $W$ is $Tv_1,\ldots,Tv_n$, then the matrix is 1 in diagonal line, and zero in others.

But, $Tv_1,\ldots,Tv_n$ is not (I am not sure) a basis of $W$. How can I move from that?

Is $Tv_1,\ldots,Tv_n$ a basis of $W$?

I found the answer here. But I don't understand the extending basis part.

Best Answer

Let $n=\dim V$, $m=\dim W$ and $r=\dim\operatorname{range}T$. Then, by the rank-nullity theorem, $\dim\ker T=n-r$. So, pick a basis $\{w_1,\ldots,w_r\}$ of $\operatorname{range}T$. For each $k\in\{1,\ldots,r\}$, take $v_k\in V$ such that $T(v_k)=w_k$. Then, since $\{w_1,\ldots,w_r\}$ is linearly independent, so is $\{v_1,\ldots,v_r\}$. Now, add to $\{v_1,\ldots,v_r\}$ a basis of $\ker T$ (which will have $n-r$ elements) and complete $\{w_1,\ldots,w_r\}$ so that you have a basis of $W$. And you're done!

Related Question