#math/linear-algebra
****
**Problem 1:** Suppose $V$ and $W$ are finite-dimensional and $T \in \mathcal{L}(V, W)$. Show that with respect to each choice of bases of $V$ and $W$, the matrix of $T$ has at least $\dim \operatorname{range} T$ nonzero entries.
Let $v_{1},\ldots,v_{n}$ be a basis for $V$ and $w_{1},\ldots w_{m}$ be a basis for $W$. Denote $r=\text{dim range }T$. $Tv_{i}=a_{1,i}w_{1}+\ldots+a_{m,i}w_{m}$ for $i=1,\ldots, n$. ATC that the matrix of $T$ has $k<r$ nonzero entries. Then at most $k$ $Tv_{i}\neq{}0$. Suppose $v\in V$, then $Tv=T(\alpha_{1} v_{1}+\ldots+\alpha _{n} v_{n})$=\beta _{1} Tu_{1}+\ldots+\beta _{k}Tu_{k}$ where $u_{1},\ldots,u_{k}$ and associated coefficients, are the $v's$ where $Tv_{i}\neq{}0$. Then $\text{dim range T}\leq{}k<r$. Thus it must be that there are at least $\text{dim range }T$ nonzero entries.
You can **not** split the v's into null of T and vectors not in null T. The T doesn't care about your basis formation's way of slicing those independent vectors.
****
**Problem 2:** Suppose $D \in \mathcal{L}(\mathcal{P}_3(\mathbb{R}), \mathcal{P}_2(\mathbb{R}))$ is the differentiation map defined by $Dp = p'$. Find a basis of $\mathcal{P}_3(\mathbb{R})$ and a basis of $\mathcal{P}_2(\mathbb{R})$ such that the matrix of $D$ with respect to these bases is
$\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \end{pmatrix}.$
Chose $(x^{3},x^{2},x,1)$ to be a basis of $\mathcal{P}_{3}(\mathbb{R})$ and $\left( 3x^{2}, 2x,1 \right)$ be a basis of $\mathcal{P}_{2}(\mathbb{R})$.
_Compare the exercise above to Example 3.34. The next exercise generalizes the exercise above._
****
**Problem 3:** 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 \operatorname{range} T$.
Let $u_{1},\ldots,u_{k}$ be a basis for $\text{null }T$. Extend it with $v_{1},\ldots,v_{n}$ to be a basis of $V$. Let $v\in V$. Then $Tv=T(b_{1}u_{1}+\ldots+b_{k}u_{k}+a_{1}v_{1}+\ldots+a_{n}v_{n})=a_{1}Tv_{1}+\ldots+a_{n}Tv_{n}.$ And, by [[3B3 - Fundamental Theorem of Linear Maps|the fundamental theorem of linear maps]], $Tv_{1},\ldots,Tv_{n}$ is a basis for $\text{range }T$. Let $w_{i}\in W$ be the element $Tv_{i}$ for $i=1,\ldots,n$. Extend $w_{1},\ldots,w_{n}$ with $q_{1},\ldots,q_{m}\in W$ to be a basis of $W$.
Since $v_{i}\not\in \text{null }T$ then each $Tv_{i}=w_{i}\neq{}0$. By [[3C1 - Matrices|definition of matrix of linear maps]], $Tv_{i}=A_{1,i}w_{1}+\ldots+A_{n,i}w_{n}+A_{n+1,i}q_{1}+\ldots+A_{n+m,i}q_{m}=A_{i,i}w_{i}=1\cdot w_{i}$. Thus $A_{i,i}=1$ for $i=1,\ldots,n$ and $A_{j,k}=0$ for all $j\neq{}k$.
****
**Problem 4:** Suppose $v_1, \ldots, v_m$ is a basis of $V$ and $W$ is finite-dimensional. Suppose $T \in \mathcal{L}(V, W)$. Prove that there exists a basis $w_1, \ldots, w_n$ of $W$ such that all the entries in the first column of $\mathcal{M}(T)$ (with respect to the bases $v_1, \ldots, v_m$ and $w_1, \ldots, w_n$) are $0$ except for possibly a $1$ in the first row, first column.
Suppose $Tv_{1}=w_{1}$.
**Case 1**: If $w_{1}=0$ then any basis will hold $Tv_{1}=0w_{1}+\ldots+0w_{n}$. Then the entries of the first column of $\mathcal{M}(T)$ are all 0.
**Case 2**: If $w_{1}\neq{}0$. Extend $w_{1}$ to $w_{1},\ldots,w_{n}$ to be a basis of $W$. Then $Tv_{1}=1w_{1}+0w_{2}+\ldots+0w_{n}$ and the first column would be a 1 followed by 0s.
$
\begin{matrix}
w_{1} \\
w_{2} \\
\vdots \\
w_{n} \\
\end{matrix}
\begin{pmatrix}
1 \\
0 \\
\vdots \\
0 \\
\end{pmatrix}
$
_In this exercise, unlike Exercise 3, you are given the basis of $V$ instead of being able to choose a basis of $V$._
****
**Problem 5:** Suppose $w_1, \ldots, w_n$ is a basis of $W$ and $V$ is finite-dimensional. Suppose $T \in \mathcal{L}(V, W)$. Prove that there exists a basis $v_1, \ldots, v_m$ of $V$ such that all the entries in the first row of $\mathcal{M}(T)$ (with respect to the bases $v_1, \ldots, v_m$ and $w_1, \ldots, w_n$) are $0$ except for possibly a $1$ in the first row, first column.
Goal: Show theres a basis in $V$ where $Tv_{1}