2.2 矩阵的运算

矩阵的线性运算

加减法

设有两个 $m\times n$ 矩阵 $\mathit{A}=(a_{ij})$ 和 $\mathit{B}=(b_{ij})$，定义矩阵的加法：

$$\mathit{A}+\mathit{B}=\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}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m1}+b_{m1}& a_{m2}+b_{m2}& \cdots & a_{mn}+b_{mn}\end{array}\right)$$

矩阵的加法满足交换律、结合律。

对于矩阵 $\mathit{A}=(a_{ij})$，定义其负矩阵 $-\mathit{A}=(-a_{ij})$。显然有 $\mathit{A}+(-\mathit{A})=\mathit{O}$。

定义矩阵的减法 $\mathit{A}-\mathit{B}=\mathit{A}+(-\mathit{B})$。

数乘

对于矩阵 $\mathit{A}=(a_{ij})$，定义数 $\lambda$ 与矩阵 $\mathit{A}$ 的乘积 $\lambda \mathit{A}=\mathit{A}\lambda =(\lambda a_{ij})$。

矩阵的数乘可类比高中的向量数乘。

WARNING

注意不要和行列式搞混：行列式如果要将外面的因数乘进去，只能乘一行 (列)。

矩阵的乘法

矩阵乘法的定义

求矩阵 $\mathit{A}=\left(\begin{array}{cccc}4& -1& 2& 1\\ 1& 1& 0& 3\\ 0& 3& 1& 4\end{array}\right)$ 与 $\mathit{B}=\left(\begin{array}{cc}1& 2\\ 0& 1\\ 3& 0\\ -1& 2\end{array}\right)$ 的乘积 $\mathit{A}\mathit{B}$：

$$\mathit{A}\mathit{B}=\left(\begin{array}{cccc}4& -1& 2& 1\\ 1& 1& 0& 3\\ 0& 3& 1& 4\end{array}\right)\left(\begin{array}{cc}1& 2\\ 0& 1\\ 3& 0\\ -1& 2\end{array}\right)=\left(\begin{array}{cc}{c}_{11}& c_{12}\\ c_{21}& c_{22}\\ c_{31}& c_{32}\end{array}\right)$$

其中，$c_{ij}$ 的值等于 $(a_{i1},a_{i2},\cdots ,a_{is})$ 与 $\left(\begin{array}{c}{b}_{1j}\\ b_{2j}\\ ⋮\\ b_{sj}\end{array}\right)$ 对应相乘再相加。

例如，要计算这里的 $c_{11}$，我们取出 $\mathit{A}$ 的第一行 $(4,-1,2,1)$ 和 $\mathit{B}$ 的第一列 $\left(\begin{array}{c}1\\ 0\\ 3\\ -1\end{array}\right)$，有

$$c_{11}=4\times 1+(-1)\times 0+2\times 3+1\times (-1)=9$$

计算 $c_{12}$，我们取出 $\mathit{A}$ 的第一行 $(4,-1,2,1)$ 和 $\mathit{B}$ 的第二列 $\left(\begin{array}{c}2\\ 1\\ 0\\ 2\end{array}\right)$，有

$$c_{12}=4\times 2+(-1)\times 1+2\times 0+1\times 2=9$$

以此类推，可以算出这里的 $\mathit{A}\mathit{B}=\left(\begin{array}{cc}9& 9\\ -2& 9\\ -1& 11\end{array}\right)$。

既然要将 $\mathit{A}$ 的一行和 $\mathit{B}$ 的一列对应相乘相加，那 $\mathit{A}$ 的一行和 $\mathit{B}$ 的一列的元素数量就必须相等。换言之，$\mathit{A}$ 的列数和 $\mathit{B}$ 的行数必须相等。

观察我们刚刚计算的 ${\mathit{A}}_{3\times 4}{\mathit{B}}_{4\times 2}$，$\mathit{A}$ 的列数和 $\mathit{B}$ 的行数都是 $4$，而且写出来两个 $4$ 在式子的内侧，$3$ 和 $2$ 在式子的外侧，于是我们形象地将 $\mathit{A}$ 的列数和 $\mathit{B}$ 的行数（这里的两个 $4$）称为「内标」，将 $\mathit{A}$ 的列数和 $\mathit{B}$ 的行数（这里的 $3$ 和 $2$）称为「外标」。

也就是说，矩阵相乘要求内标相等，而乘积矩阵的行数和列数取决于外标：

$${\mathit{A}}_{m\times s}{\mathit{B}}_{s\times n}={\mathit{C}}_{m\times n}$$

也就是说，矩阵的乘法不满足交换律。

现在我们写出矩阵乘法的完整定义：对于矩阵 ${\mathit{A}}_{m\times s}=(a_{ij})$ 和 ${\mathit{B}}_{s\times n}=(b_{ij})$，则 $\mathit{C}=\mathit{A}\mathit{B}=(c_{ij})$ 是一个 $m\times n$ 矩阵，且有：

$$c_{ij}=a_{i1}{b}_{1j}+a_{21}{b}_{2j}+\cdots +a_{is}{b}_{sj}=\sum _{k=1}^s{a}_{ik}{b}_{kj}$$

$\mathit{A}\mathit{B}$ 可以叫做 $\mathit{A}$ 左乘 $\mathit{B}$ 或 $\mathit{B}$ 右乘 $\mathit{A}$。

例

$$\left(\begin{array}{cccc}1& 0& -1& 2\\ -1& 1& 3& 0\\ 0& 5& -1& 4\end{array}\right)\left(\begin{array}{ccc}0& 3& 4\\ 1& 2& 1\\ 3& 1& -1\\ -1& 2& 1\end{array}\right)=\left(\begin{array}{ccc}-5& 6& 7\\ 10& 2& -6\\ -2& 17& 10\end{array}\right)$$

由定义可知，只有方阵可以求幂。

线性方程组与矩阵乘法

$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=b_1\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=b_2\\ \cdots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots +a_{mn}{x}_n=b_m\end{array}$$

上面的方程组用矩阵就可以方便地表示为：

$$\left(\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m1}& a_{m2}& \cdots & a_{mn}\end{array}\right)\left(\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right)=\left(\begin{array}{c}{b}_1\\ b_2\\ ⋮\\ b_n\end{array}\right)$$

也就是

$${\mathit{A}}_{m\times n}{\mathit{x}}_{n\times 1}={\mathit{b}}_{m\times 1}$$

矩阵乘法的性质

不具有交换律

交换可能导致：

• 交换后的式子不合法（内标不相等）
• 交换后乘积矩阵不同型（内标不等于外标）
• 交换后乘积矩阵不相等（方阵）

但是对于两个 $n$ 阶方阵 $\mathit{A}$ 和 $\mathit{B}$，如果碰巧有 $\mathit{A}\mathit{B}=\mathit{B}\mathit{A}$，就说 $\mathit{A}$ 和 $\mathit{B}$ 是可交换的。

不具有消去律

$$\begin{array}{rl}\mathit{A}\mathit{B}=\mathit{O}& \nRightarrow \mathit{A}=\mathit{O}\mathrm{或}\mathit{B}=\mathit{O}\\ {\mathit{A}}^2=\mathit{O}& \nRightarrow \mathit{A}=\mathit{O}\\ \begin{array}{c}\mathit{A}\mathit{B}=\mathit{A}\mathit{C}\\ \mathit{A}\ne \mathit{O}\end{array}\}& \nRightarrow \mathit{B}=\mathit{C}\end{array}$$

举几个例子：

$$\begin{gathered} \mathit{A}=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right),\mathit{B}=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right),\mathit{A}\mathit{B}=\mathit{O} \\ \mathit{C}=\left(\begin{array}{cc}1& 1\\ -1& -1\end{array}\right),\mathit{D}=\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right),\mathit{E}=\left(\begin{array}{cc}2& 2\\ 2& 2\end{array}\right),\mathit{C}\mathit{D}=\mathit{C}\mathit{E}=\mathit{O} \end{gathered}$$

具有结合律

$$(\mathit{A}\mathit{B})\mathit{C}=\mathit{A}(\mathit{B}\mathit{C})$$

具有分配律

$$\begin{gathered} \mathit{C}(\mathit{A}+\mathit{B})=\mathit{C}\mathit{A}+\mathit{C}\mathit{B} \\ (\mathit{A}+\mathit{B})\mathit{C}=\mathit{A}\mathit{C}+\mathit{B}\mathit{C} \end{gathered}$$

WARNING

运用分配律的时候不能把顺序搞乱！

乘法与行列式

$$|\mathit{A}\mathit{B}|=|\mathit{A}|\cdot |\mathit{B}|$$

特殊矩阵的乘法

任何矩阵左乘或右乘零矩阵 $\mathit{O}$ 都得 $\mathit{O}$。

任何方阵左乘或右乘单位矩阵 $\mathit{E}$ 都得到其本身。

$${\mathit{A}}_{m\times n}{\mathit{E}}_{n\times n}={\mathit{E}}_{m\times m}{\mathit{A}}_{m\times n}={\mathit{A}}_{m\times n}$$

对角矩阵 $\mathit{\Lambda }$ 求幂相当于对其所有元素求幂。

$$\mathit{\Lambda }=\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}({\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n)\Rightarrow {\mathit{\Lambda }}^k=\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}({\lambda }_1^k,{\lambda }_2^k,\cdots ,{\lambda }_n^k)$$

元素数量相同的行向量和列向量相乘得到一阶矩阵，也就是一个数。

$$\mathit{A}=(a_1,a_2,\cdots ,a_n),\mathit{B}=(b_1,b_2,\cdots ,b_n{)}^{\mathrm{T}}\Rightarrow \mathit{A}\mathit{B}=\sum _{i=1}^n{a}_i{b}_i$$

WARNING

与「列矩阵乘行矩阵」区分开！

例

设 $\mathit{A}=\left(\begin{array}{ccc}\lambda & 1& 0\\ 0& \lambda & 1\\ 0& 0& \lambda \end{array}\right)$，求 ${\mathit{A}}^k$。

解 拆分。

设 $\mathit{\Lambda }=\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}(\lambda ,\lambda ,\lambda ),\mathit{H}=\left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 0& 0& 0\end{array}\right)$，则有 $\mathit{A}=\mathit{\Lambda }+\mathit{H}$。且有：

$$\mathit{\Lambda }\mathit{H}=\lambda \mathit{E}\mathit{H}=\lambda \mathit{H}\mathit{E}=\mathit{H}\mathit{\Lambda }$$

这很重要，因为只有 $\mathit{\Lambda }\mathit{H}=\mathit{H}\mathit{\Lambda }$，才能使用二项展开式！

且

$$\begin{array}{rl}{\mathit{H}}^2& =\left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 0& 0& 0\end{array}\right)\left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 0& 0& 0\end{array}\right)=\left(\begin{array}{ccc}0& 0& 1\\ 0& 0& 0\\ 0& 0& 0\end{array}\right)\\ {\mathit{H}}^3& =\left(\begin{array}{ccc}0& 0& 1\\ 0& 0& 0\\ 0& 0& 0\end{array}\right)\left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 0& 0& 0\end{array}\right)=\mathit{O}\\ \Rightarrow {\mathit{H}}^n& =\mathit{O}(n\ge 3)\end{array}$$

故有

$$\begin{array}{rl}{\mathit{A}}^k& =(\mathit{\Lambda }+\mathit{H}{)}^k\\ & ={\mathit{\Lambda }}^k+{\mathrm{C}}_k^1{\mathit{\Lambda }}^{k-1}\mathit{H}+{\mathrm{C}}_k^2{\mathit{\Lambda }}^{k-2}{\mathit{H}}^2+\cdots (\mathrm{后}\mathrm{面}\mathrm{都}\mathrm{是}\mathit{O})\\ & =\left(\begin{array}{ccc}{\lambda }^k& 0& 0\\ 0& {\lambda }^k& 0\\ 0& 0& {\lambda }^k\end{array}\right)+k\left(\begin{array}{ccc}0& {\lambda }^{k-1}& 0\\ 0& 0& {\lambda }^{k-1}\\ 0& 0& 0\end{array}\right)+\frac{k(k-1)}{2}\left(\begin{array}{ccc}0& 0& {\lambda }^{k-2}\\ 0& 0& 0\\ 0& 0& 0\end{array}\right)\\ & =\left(\begin{array}{ccc}{\lambda }^k& k{\lambda }^{k-1}& \frac{k(k-1)}{2}{\lambda }^{k-2}\\ 0& {\lambda }^k& k{\lambda }^{k-1}\\ 0& 0& {\lambda }^k\end{array}\right)\end{array}$$

矩阵的转置

类似行列式，我们定义矩阵的转置：

$$\mathit{A}=\left(\begin{array}{ccc}1& 2& 0\\ 3& -1& 1\end{array}\right)\to {\mathit{A}}^{\mathrm{T}}=\left(\begin{array}{cc}1& 3\\ 2& -1\\ 0& 1\end{array}\right)$$

矩阵转置的性质

$$\begin{array}{rl}({\mathit{A}}^{\mathrm{T}}{)}^{\mathrm{T}}& =\mathit{A}\\ (\mathit{A}+\mathit{B}{)}^{\mathrm{T}}& ={\mathit{A}}^{\mathrm{T}}+{\mathit{B}}^{\mathrm{T}}\\ (\lambda \mathit{A}{)}^{\mathrm{T}}& =\lambda {\mathit{A}}^{\mathrm{T}}\\ (\mathit{A}\mathit{B}{)}^{\mathrm{T}}& ={\mathit{B}}^{\mathrm{T}}{\mathit{A}}^{\mathrm{T}}\\ (\mathit{A}\mathit{B}\mathit{C}{)}^{\mathrm{T}}& ={\mathit{C}}^{\mathrm{T}}{\mathit{B}}^{\mathrm{T}}{\mathit{A}}^{\mathrm{T}}\end{array}$$

WARNING

注意最后两条，转置前后，相乘的矩阵顺序要对调。（因为转置前后内外标互换）

所以，列矩阵就可以方便地表示为 $\mathit{B}=(b_1,b_2,\cdots ,b_n{)}^{\mathrm{T}}$。

方阵的行列式

当矩阵 $\mathit{A}$ 是 $n$ 阶方阵时，可以取行列式 $|\mathit{A}|=\left|\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{n1}& a_{n2}& \cdots & a_{nn}\end{array}\right|$。

方阵的行列式的性质：

$$\begin{array}{rl}|{\mathit{A}}^{\mathrm{T}}|& =|\mathit{A}|\\ |\lambda \mathit{A}|& ={\lambda }^n|\mathit{A}|\\ |\mathit{A}\mathit{B}|& =|\mathit{A}||\mathit{B}|\\ |\mathit{A}\mathit{B}\mathit{C}|& =|\mathit{A}||\mathit{B}||\mathit{C}|\end{array}$$

这个概念之前已经提过，这里不再赘述。