2.5 矩阵乘法规则

乘法规则

根据定义，很容易验证矩阵乘法满足分配律
$$\begin{gathered} A(B+C)=AB+AC \\ (A+B)C=AB+BC \end{gathered}$$

证第一个式子
$$\begin{gathered} A(B+C)=A\left[{\mathbf{b}}_1+{\mathbf{c}}_1,\cdots ,{\mathbf{b}}_{\mathbf{p}}+{\mathbf{c}}_{\mathbf{p}}\right] \\ =\left[A({\mathbf{b}}_1+{\mathbf{c}}_1),\cdots ,A({\mathbf{b}}_{\mathbf{p}}+{\mathbf{c}}_{\mathbf{p}})\right] \\ =\left[A{\mathbf{b}}_1+A{\mathbf{c}}_1,\cdots ,A{\mathbf{b}}_{\mathbf{p}}+A{\mathbf{c}}_{\mathbf{p}}\right] \\ =\left[A{\mathbf{b}}_1,\cdots ,A{\mathbf{b}}_{\mathbf{p}}\right]+\left[A{\mathbf{c}}_1,\cdots ,A{\mathbf{c}}_{\mathbf{p}}\right] \\ =AB+AC \end{gathered}$$
矩阵乘法满足结合律
$$A(BC)=(AB)C$$
证：根据 $A(B\mathbf{c})=(AB)\mathbf{c}$ ，令向量 $\mathbf{c}$ 为矩阵 $C$ 的每个向量得，
$$\begin{gathered} A(B{\mathbf{c}}_1)=(AB){\mathbf{c}}_1 \\ \cdots \\ A(B{\mathbf{c}}_{\mathbf{p}})=(AB){\mathbf{c}}_{\mathbf{p}} \end{gathered}$$

$$\begin{gathered} (AB)C=(AB)\left[{\mathbf{c}}_1,\cdots ,{\mathbf{c}}_{\mathbf{p}}\right] \\ =\left[(AB){\mathbf{c}}_1,\cdots ,(AB){\mathbf{c}}_{\mathbf{p}}\right] \\ =\left[A(B{\mathbf{c}}_1),\cdots ,A(B{\mathbf{c}}_{\mathbf{p}})\right] \\ =A\left[B{\mathbf{c}}_1,\cdots ,B{\mathbf{c}}_{\mathbf{p}}\right] \\ =A(B\left[{\mathbf{c}}_1,\cdots ,{\mathbf{c}}_{\mathbf{p}}\right]) \\ =A(BC) \end{gathered}$$

矩阵数乘满足交换律
$$\lambda (AB)=(\lambda A)B=A(\lambda B)$$
矩阵这些运算规则和实数运算规则一样，所以涉及矩阵加法、数乘、分配率和结合律时，可以把矩阵当作实数来化简表达式，只要满足形状要求。

交换律：不满足

实数乘法满足交换律，即 $ab=ba$ 。但矩阵乘法不满足交换律，即一般来说 $AB\ne BA$ ，只有特殊矩阵才满足交换律。这是矩阵最特殊的地方，也是最容易出错的地方！比如计算
$$\begin{gathered} (A+B)(A+B)=(A+B)A+(A+B)B=(AA+BA)+(AB+BB) \\ =AA+BB+AB+BA \\ \ne AA+BB+2AB \\ \ne AA+BB+2BA \end{gathered}$$
所以在计算矩阵乘法时，一定要严格按照矩阵顺序来，不要随便改变矩阵位置！

首先，$AB$ 和 $BA$ 要能相乘，必须满足形状要求，则 $A_{mn}$ $B_{nm}$ ；乘积相等，要求 $m=n$ ，故 $A$ ，$B$ 为同型方阵。

其次，即使为同型方阵， $AB=\left[A{\mathbf{b}}_1,\cdots ,A{\mathbf{b}}_{\mathbf{n}}\right]$ 和 $BA=\left[B{\mathbf{a}}_1,\cdots ,B{\mathbf{a}}_{\mathbf{n}}\right]$ ，向量 $A{\mathbf{b}}_{\mathbf{i}}$ 是向量组 $A$ 的线性组合，向量 $B{\mathbf{a}}_{\mathbf{i}}$ 是向量组 $B$ 的线性组合，完全是不同的线性组合，故一般不会相等。

定义 方阵可交换 对于两个 $n$ 阶方阵 $A,B$ ，若 $AB=BA$ ，则称方阵 $A$ 与 $B$ 是可交换的。