高等代数(四)-矩阵02：矩阵的运算

§ 2 矩阵的运算
现在我们来定义矩阵的运算, 可以认为它们是矩阵之间一些最基本的关系.
下面要定义的运算是矩阵的加法、乘法、矩阵与数的乘法以及矩阵的转置.
为了确定起见, 我们取定一个数域 $P$, 以下所讨论的矩阵全是由数域 $P$
中的数组成的.
1. 加法
定义 1 设
$$\begin{array}{l}\mathbf{A}={\left(a_{ij}\right)}_{s\times n}=\left(\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& & ⋮\\ a_{s1}& a_{s2}& \cdots & a_{sn}\end{array}\right),\\ \mathbf{B}={\left(b_{ij}\right)}_{i\times n}=\left(\begin{array}{cccc}{b}_{11}& b_{12}& \cdots & b_{1n}\\ b_{21}& b_{22}& \cdots & b_{2n}\\ ⋮& ⋮& & ⋮\\ b_{s1}& b_{s2}& \cdots & b_{sn}\end{array}\right)\end{array}$$

是两个 $s\times n$ 矩阵, 则矩阵
$$\mathbf{C}={\left(c_{ij}\right)}_{1\times n}={\left(a_{ij}+b_{ij}\right)}_{,\times n}=\left(\begin{array}{cccc}{a}_{11}+b_{11}& a_{12}+b_{12}& \cdots & a_{1n}+b_{1n}\\ a_{21}+b_{21}& a_{22}+b_{22}& \cdots & a_{2n}+b_{2n}\\ ⋮& ⋮& & ⋮\\ a_{n1}+b_{41}& a_{n2}+b_{s2}& \cdots & a_{sn}+b_{sn}\end{array}\right)$$
称为 $\mathbf{A}$ 和 $\mathbf{B}$ 的和, 记为
$$\mathbf{C}=\mathbf{A}+\mathbf{B}.$$
矩阵的加法就是矩阵对应的元素相加. 当然,
相加的矩阵必须要有相同的行数和列数, 这样的矩阵称为同型矩阵.
由于矩阵的加法归结为它们的元素的加法, 也就是数的加法, 所以,不难验证,它有
结合律:
$\mathbf{A}+(\mathbf{B}+\mathbf{C})=(\mathbf{A}+\mathbf{B})+\mathbf{C}$;
交换律: $\mathbf{A}+\mathbf{B}=\mathbf{B}+\mathbf{A}$.
元素全为零的矩阵称为零矩阵, 记为 ${\mathbf{O}}_{\mathrm{sxn}}$,
在不致引起含混的时候, 可简单地记为 $O$. 显然, 对所有的 $A$,
$$\mathbf{A}+\mathbf{O}=\mathbf{A}.$$
矩阵
$$\left(\begin{array}{cccc}-a_{11}& -a_{12}& \cdots & -a_{1n}\\ -a_{21}& -a_{22}& \cdots & -a_{2n}\\ ⋮& ⋮& & ⋮\\ -a_{n1}& -a_{n2}& \cdots & -a_{nn}\end{array}\right)$$
称为矩阵 $\mathbf{A}$ 的负矩阵, 记为
$\mathbf{A}\mathbf{A}$. 显然有
$$\mathbf{A}+(-\mathbf{A})=\mathbf{O}.$$
矩阵的减法定义为
$$\mathbf{A}-\mathbf{B}=\mathbf{A}+(-\mathbf{B}).$$
例如, 在 $\S 1$ 我们看到, 某一种物资如果有 $s$ 个产地, $n$ 个销地,
那么一个调运方案就可表示为一个 $s\times n$ 矩阵,矩阵中的元素 $a_{ij}$
表示由产地 $A_i$ 运到销地 $B_j$ 的这种物资的数量, 比如说吨数.
如果从这些产地还有另一种物资要运到这些销地, 那么,
这种物资的调运方案也可表示为一个 $s\times n$
矩阵.于是从产地到销地的总的运输量也表示为一个矩阵. 显然,
这个矩阵就等于上面两个矩阵的和.
根据矩阵加法的定义,应用关于向量组的秩的性质,很容易看出
$$\text{ 秩 }(\mathbf{A}+\mathbf{B})⩽\text{ 秩 }(\mathbf{A})+\text{ 秩 }(\mathbf{B})\text{. }$$
2. 乘法
在给出乘法定义之前,我们先看一个引出矩阵乘法的问题.
设 $x_1,x_2,x_3,x_4$ 和 $y_1,y_2,y_3$ 是两组变量,
它们之间的关系为
$$\{\begin{array}{l}{x}_1=a_{11}{y}_1+a_{12}{y}_2+a_{13}{y}_3,\\ x_2=a_{21}{y}_1+a_{22}{y}_2+a_{23}{y}_3,\\ x_3=a_{31}{y}_1+a_{32}{y}_2+a_{33}{y}_3,\\ x_4=a_{41}{y}_1+a_{42}{y}_2+a_{43}{y}_3.\end{array}$$
又如 $z_1,z_2$ 是第三组变量, 它们与 $y_1,y_2,y_3$ 的关系为
{ y 1 = b 11 z 1 + b 12 z 2 , y 2 = b 21 z 1 + b 22 z 2 , y 3 = b 31 z 1 + b 32 z 2 . \left\{\begin{array}{l} y_{1}=b_{11} z_{1}+b_{12} z_{2}, \\ y_{2}=b_{21} z_{1}+b_{22} z_{2}, \\ y_{3}=b_{31} z_{1}+b_{32} z_{2} . \end{array}\right.