高等代数(七)-线性变换03：线性变换的矩阵

$\S 3$ 线性变换的矩阵
设 $V$ 是数域 $P$ 上 $n$ 维线性空间,
${\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_n$ 是 $V$
的一组基, 现在我们来建立线性变换与矩阵的关系.
空间 $V$ 中任一向量 $\xi$ 可以经
${\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_n$
线性表出,即有关系式
$$\xi =x_1{\epsilon }_1+x_2{\epsilon }_2+\cdots +x_n{\epsilon }_n,$$
其中系数是唯一确定的, 它们就是 $\mathbf{\xi }$ 在这组基下的坐标.
由于线性变换保持线性关系不变,因而在 $\xi$ 的像 $\mathcal{A}\xi$
与基的像
$\mathcal{A}{\epsilon }_1,\mathcal{A}{\epsilon }_2,\cdots ,\mathcal{A}{\epsilon }_n$
之间也必然有相同的关系, 即
$$\mathcal{A}\mathbf{\xi }=\mathcal{A}\left(x_1{\mathbf{\epsilon }}_1+x_2{\mathbf{\epsilon }}_2+\cdots +x_n{\mathbf{\epsilon }}_n\right)=x_1\mathcal{A}{\mathbf{\epsilon }}_1+x_2\mathcal{A}{\mathbf{\epsilon }}_2+\cdots +x_n\mathcal{A}{\mathbf{\epsilon }}_n\text{. }$$
上式表明,如果我们知道了基
${\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_n$
的像,那么线性空间中任意一个向量 $\xi$ 的像也就知道了, 或者说
1. 设 ${\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_n$
是线性空间 $V$ 的一组基. 如果线性变换 $\mathcal{A}$ 与 $\mathcal{B}$
在这组基上的作用相同, 即
$$\mathcal{A}{\epsilon }_i=\mathcal{B}{\epsilon }_i,i=1,2,\cdots ,n,$$
那么 $\mathcal{A}=\mathcal{B}$.
证明 $\mathcal{A}$ 与 $\mathcal{B}$
相等的意义是它们对每个向量的作用相同. 因此, 我们就是要证明对任一向量
$\xi$, 等式 $\mathcal{A}\xi =\mathcal{B}\xi$ 成立. 而由 (2) 及假设,
即得
$$\mathcal{A}\mathbf{\xi }=x_1\mathcal{A}{\mathbf{\epsilon }}_1+x_2\mathcal{A}{\mathbf{\epsilon }}_2+\cdots +x_n\mathcal{A}{\mathbf{\epsilon }}_n=x_1\mathcal{B}{\mathbf{\epsilon }}_1+x_2\mathcal{B}{\mathbf{\epsilon }}_2+\cdots +x_n\mathcal{B}{\mathbf{\epsilon }}_n=\mathcal{B}\mathbf{\xi }.$$
结论 1
的意义就是,一个线性变换完全被它在一组基上的作用所决定.下面我们进一步指出,基向量的像却完全可以是任意的,也就是说
2. 设 ${\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_n$
是线性空间 $V$ 的一组基. 对于任意一组向量
${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_n$,
一定有一个线性变换 $\mathcal{A}$, 使
$$\mathcal{A}{\epsilon }_i={\mathbf{\alpha }}_i,i=1,2,\cdots ,n.$$
证明 我们来作出所要的线性变换.设
$$\xi =\sum _{i=1}^n{x}_i{\epsilon }_i$$
是线性空间 $V$ 的任意一个向量,我们定义 $V$ 的变换 $\mathcal{A}$ 为
$$\mathcal{A}\xi =\sum _{i=1}^n{x}_i{\alpha }_i$$
下面来证明变换 $\mathcal{A}$ 是线性的.
在 $V$ 中任取两个向量,
$$\mathbf{\beta }=\sum _{i=1}^n{b}_i{\mathbf{\epsilon }}_i,\mathbf{\gamma }=\sum _{i=1}^n{c}_i{\mathbf{\epsilon }}_i.$$
于是
$$\mathbf{\beta }+\mathbf{\gamma }=\sum _{i=1}^{\infty }\left(b_i+c_i\right){\mathbf{\epsilon }}_i,k\mathbf{\beta }=\sum _{i=1}^{n}k{b}_i{\mathbf{\epsilon }}_i,k\in P.$$
按所定义的 $\mathcal{A}$ 的表达式 (4),有
$$\begin{array}{c}\mathcal{A}(\mathbf{\beta }+\gamma )={\sum }_{i=1}^n\left(b_i+c_i\right){\mathbf{\alpha }}_i={\sum }_{i=1}^n{b}_i{\mathbf{\alpha }}_i+{\sum }_{i=1}^n{c}_i{\mathbf{\alpha }}_i=\mathcal{A}\mathbf{\beta }+\mathcal{A}\mathbf{\gamma },\\ \mathcal{A}(k\mathbf{\beta })={\sum }_{i=1}^{n}k{b}_i{\mathbf{\alpha }}_i=k{\sum }_{i=1}^n{b}_i{\mathbf{\alpha }}_i=k\mathcal{A}\mathbf{\beta }.\end{array}$$

因此, $\mathcal{A}$ 是线性变换.再来证 $\mathcal{A}$ 满足 (3) 式. 因为
$${\mathbf{\epsilon }}_i=0{\mathbf{\epsilon }}_1+\cdots +0{\mathbf{\epsilon }}_{i-1}+1{\mathbf{\epsilon }}_i+0{\mathbf{\epsilon }}_{i+1}+\cdots +0{\epsilon }_n,i=1,2,\cdots ,n,$$
所以
$$\mathcal{A}{\epsilon }_i=0{\mathbf{\alpha }}_1+\cdots +0{\mathbf{\alpha }}_{i-1}+1{\mathbf{\alpha }}_i$$