Let \(m,n\in\N\text{.}\) A function \(T\colon M_{n\times 1}(\K)\to M_{m\times 1}(\K)\) is said to be a linear map if it satisfies the following conditions.
For any \(\lambda\in\K\) and any \(v\in M_{n\times 1}(\K)\text{,}\)
Using Observation 1.7.3, if \(T\colon M_{n\times 1}(\K)\to M_{m\times 1}(\K)\) is a linear map then, for any \(v=\begin{pmatrix}\alpha_1\\\alpha_2\\\vdots\\\alpha_n\end{pmatrix}\) we get the following.
Thus, a linear map \(T\) is completely determined by column vectors \(T(e_1),T(e_2),\ldots,T(e_n)\).
Definition1.7.5.
We keep notations of Observation 1.7.4. For a linear map \(T\) we associate a matrix, denoted by \([T]\text{,}\) whose \(i\)-th column vector is \(T(e_i)\text{,}\) for \(i\in\{1,2,\ldots,n\}\text{.}\) Thus, if
Using Definition 1.7.5 and Remark 1.7.7 we get a one-one correspondence between the set of all \(m\times n\) matrices over \(\K\text{,}\) and the set of all linear maps from \(M_{n\times 1}(\K)\) to \(M_{m\times 1}(\K)\text{.}\) We note that in Definition 1.7.5, the matrix associated with a linear map is always taken to be with respect to the standard basis (Definition 1.7.2).
Theorem1.7.8.
The map
\begin{equation*}
\varphi\colon\left\{T\colon M_{n\times 1}(\K)\to M_{m\times 1}(\K)\big| T\text{ is a linear map}\right\}\to M_{m\times n}(\K)
\end{equation*}
given by
\begin{equation*}
T\mapsto [T]
\end{equation*}
where, \([T]\) is the matrix associated to \(T\) as in Definition 1.7.5.