证明：当且仅当 AB=BA 时，可对角化矩阵 A 与 B 具有相同的特征向量

最新推荐文章于 2024-12-04 14:08:45 发布

夏树让

最新推荐文章于 2024-12-04 14:08:45 发布

阅读量2.2w

点赞数 12

分类专栏：数学—线性代数文章标签：线性代数

本文链接：https://blog.csdn.net/qq_37430422/article/details/106255099

版权

数学—线性代数专栏收录该内容

6 篇文章 9 订阅

订阅专栏

当且仅当 AB=BA 时，可对角化矩阵 A 与 B 具有相同的特征向量

也就是说， $A B = B A$ 是两个可对角化矩阵 A 与 B 具有相同特征向量的充分且必要条件。
先证 必要性：
假设可对角化矩阵 A 与 B 具有相同的特征向量，那么 A 与 B 拥有相同的对角化矩阵 S （由特征向量构成）使得满足： $S\Lambda_1S^{-1}$ 以及 $B=S\Lambda_2S^{-1}$ 。其中的 $\Lambda$ 代表由特征值构成的对角阵。那么有：
$\begin{aligned} AB &= S\Lambda_1S^{-1}S\Lambda_2S^{-1} = S\Lambda_1\Lambda_2S^{-1} \\ BA &= S\Lambda_2S^{-1}S\Lambda_1S^{-1} = S\Lambda_2\Lambda_1S^{-1} \end{aligned}$
由于 $\Lambda_1\Lambda_2=\Lambda_2\Lambda_1$ （对角阵作乘法时总是可以交换的），则有 $A B = B A$ ，必要性得证。

再证 充分性：
假设 $A B = B A$ ， $A$ 拥有一个特征值 $\lambda$ 和特征向量 $x$ ，即 $Ax=\lambda x$ ，那么：
$B\lambda x = \lambda Bx$
因此 $x$ 和 $B x$ 均是矩阵 A 对于特征值 $\lambda$ 的特征向量（除非 $B x$ =0）。为了证明的简便性，我们假设矩阵 A 的特征值都是互不相同的，这时 A 的特征向量空间都是一维的（一条直线），那么 $B x$ 必定是 $x$ 与某个常数的乘积的结果（ $B x = p x$ ）。也就是说， $x$ 不仅是 A（对于特征值 $\lambda$ ）的特征向量，也是 B （对于特征值 $p$ ）的特征向量，充分性得证。