用“峰式画线法”证明矩阵乘法的转置运算律

一、前言 前言 - 荒原之梦

当矩阵的乘法和转置运算结合的时候,有如下运算律:

$$
\textcolor{yellow}{
(\boldsymbol{A} \boldsymbol{B})^{\top} = \boldsymbol{B}^{\top} \boldsymbol{A}^{\top}
}
$$

从上面这条定理出发,我们可以验证任意多个矩阵相乘时的转置运算律。例如,若令矩阵 $\boldsymbol{B}$ $=$ $\boldsymbol{C} \boldsymbol{D}$, 则:

$$
\begin{aligned}
& \ (\boldsymbol{A} \boldsymbol{B})^{\top} = \boldsymbol{B}^{\top} \boldsymbol{A}^{\top} \\
\Rightarrow & \ [\boldsymbol{A} (\boldsymbol{C} \boldsymbol{D})]^{\top} = (\boldsymbol{C} \boldsymbol{D})^{\top} \boldsymbol{A}^{\top} \\
\Rightarrow & \ [\boldsymbol{A} \boldsymbol{C} \boldsymbol{D}]^{\top} = \boldsymbol{D}^{\top} \boldsymbol{C}^{\top} \boldsymbol{A}^{\top} \\
\end{aligned}
$$

在本文中,「荒原之梦考研数学」将使用原创的“峰式画线法”证明矩阵乘法的转置运算律。

二、正文 正文 - 荒原之梦

定义

根据矩阵乘法“左行右列”的运算规则,在计算 $\boldsymbol{A} \boldsymbol{B}$ 的时候,矩阵 $\boldsymbol{A}$ 贡献“行”,矩阵 $\boldsymbol{B}$ 贡献“列”,于是,如图 01 所示,我们可以分别使用“横线”和“竖线”表示矩阵 $\boldsymbol{A}$ 贡献出来的“行”和矩阵 $\boldsymbol{B}$ 贡献出来的“列”,并用横线和竖线的“交叉点”表示行元素和列元素通过矩阵乘法运算得到的值:

用“峰式画线法”证明矩阵乘法的转置运算律 | 荒原之梦考研数学 | 图 01.
图 01. “峰式画线法”演化过程.

同时,我们规定,两条交叉的线,无论谁作为横线,谁作为竖线,其交叉点对应的值都是相等的,如图 02 所示:

用“峰式画线法”证明矩阵乘法的转置运算律 | 荒原之梦考研数学 | 图 02.
图 02. $\alpha 1$ $=$ $1 \alpha$.

完备性

「荒原之梦考研数学」在本文中所原创提出的“峰式画线法”之所以可行,是因为以下原因:

  • “峰式画线法”的定义建立于数学对矩阵乘法的原有定义之上;
  • “峰式画线法”中定义的线条交叉点具有稳定性(因为画在纸上的线条并不会在纸上呈现出两种或两种以上的状态),不会产生歧义。

证明过程

首先,我们将矩阵 $\boldsymbol{A}_{2 \times 2}$ 和矩阵 $\boldsymbol{B}_{2 \times 3}$ 简化为:

用“峰式画线法”证明矩阵乘法的转置运算律 | 荒原之梦考研数学 | 图 03.
图 03. 矩阵 $\boldsymbol{A}_{2 \times 2}$ 的简化画线模型.
用“峰式画线法”证明矩阵乘法的转置运算律 | 荒原之梦考研数学 | 图 04.
图 04. 矩阵 $\boldsymbol{B}_{2 \times 3}$ 的简化画线模型.

于是,矩阵 $\boldsymbol{A}_{2 \times 2}^{\top}$ 和矩阵 $\boldsymbol{B}_{3 \times 2}^{\top}$ 的简化模型为:

用“峰式画线法”证明矩阵乘法的转置运算律 | 荒原之梦考研数学 | 图 05.
图 05. 矩阵 $\boldsymbol{A}_{2 \times 2}^{\top}$ 的简化画线模型.
用“峰式画线法”证明矩阵乘法的转置运算律 | 荒原之梦考研数学 | 图 06.
图 06. 矩阵 $\boldsymbol{B}_{3 \times 2}^{\top}$ 的简化画线模型.

接着,开始进行矩阵 $\boldsymbol{A}$ 和 $\boldsymbol{B}$ 的乘法运算,结果为:

用“峰式画线法”证明矩阵乘法的转置运算律 | 荒原之梦考研数学 | 图 07.
图 07. 矩阵 $\boldsymbol{A} \boldsymbol{B}$ 的简化画线模型.

对矩阵 $\boldsymbol{A}$ 和 $\boldsymbol{B}$ 进行转置运算,可得:

用“峰式画线法”证明矩阵乘法的转置运算律 | 荒原之梦考研数学 | 图 08.
图 08. 矩阵 $(\boldsymbol{A} \boldsymbol{B})^{\top}$ 的简化画线模型.

类似地,进行矩阵 $\boldsymbol{B}^{\top}$ 和 $\boldsymbol{A}^{\top}$ 的乘法运算,结果为:

用“峰式画线法”证明矩阵乘法的转置运算律 | 荒原之梦考研数学 | 图 09.
图 09. 矩阵 $\boldsymbol{B}^{\top} \boldsymbol{A}^{\top}$ 的简化画线模型.

比较上面的图 08 和图 09 可知,这两个由“峰式画线法”得到的画线模型完全一致,因此,下式得证:

$$
\textcolor{springgreen}{
(\boldsymbol{A} \boldsymbol{B})^{\top} = \boldsymbol{B}^{\top} \boldsymbol{A}^{\top}
}
$$


荒原之梦考研数学思维导图
荒原之梦考研数学思维导图

高等数学箭头 - 荒原之梦

涵盖高等数学基础概念、解题技巧等内容,图文并茂,计算过程清晰严谨。

线性代数箭头 - 荒原之梦

以独特的视角解析线性代数,让繁复的知识变得直观明了。

特别专题箭头 - 荒原之梦

通过专题的形式对数学知识结构做必要的补充,使所学知识更加连贯坚实。

荒原之梦考研数学网 | 让考场上没有难做的数学题!

荒原之梦网全部内容均为原创,提供了涵盖考研数学基础知识、考研数学真题、考研数学练习题和计算机科学等方面,大量精心研发的学习资源。

豫 ICP 备 17023611 号-1 | 公网安备 - 荒原之梦 豫公网安备 41142502000132 号 | SiteMap
Copyright © 2017-2024 ZhaoKaifeng.com 版权所有 All Rights Reserved.

Copyright © 2024   zhaokaifeng.com   All Rights Reserved.
豫ICP备17023611号-1
 豫公网安备41142502000132号

荒原之梦 自豪地采用WordPress