5.8 AB=BA:公共特征向量与同时对角化

证明一方具有互异特征值时矩阵可交换与公共特征向量的关系,并整理 2024 年数二真题。

5.8 AB=BAAB=BA

A,BA,Bnn 阶矩阵,且 AAnn 个不同的特征值,则 AB=BAAB=BA 的充要条件是 AABB 的特征向量相同。

来源:邂逅遗憾《26 考研数学思维课·线性代数手稿》,第五章“相似”5.8 节,PDF 第 28—29 页(纸质页码第 191—192 页)。

一、必要性

已知 AB=BAAB=BA。设 α\alpha 为矩阵 AA 属于特征值 λ\lambda 的特征向量,则

Aα=λα,α0.A\alpha=\lambda\alpha,\qquad \alpha\ne0.

两端左乘 BB,并利用 AB=BAAB=BA,得

BAα=λBα,BA\alpha=\lambda B\alpha,

A(Bα)=λ(Bα).A(B\alpha)=\lambda(B\alpha).

此时不能直接说 BαB\alphaAA 的特征向量,因为特征向量不能是零向量,需要分类讨论。

  • Bα=0B\alpha=0,则 α\alphaBB 属于特征值 00 的特征向量。
  • Bα0B\alpha\ne0,则 BαB\alphaAA 属于特征值 λ\lambda 的特征向量。

因为 AAnn 个不同的特征值,λ\lambda 是单重特征值,只对应一个线性无关的特征向量,所以 BαB\alphaα\alpha 线性相关,即

Bα=kα.B\alpha=k\alpha.

α\alpha 也是 BB 的特征向量。对 AA 的任意特征值都可作同样推导,因此 AA 的特征向量均为 BB 的特征向量。

AAnn 个不同的特征值,所以有 nn 个线性无关的特征向量;而 nn 阶矩阵最多只能有 nn 个线性无关的特征向量,因此 AABB 的特征向量相同。

二、充分性

已知 AABB 的特征向量相同。因为 AAnn 个不同的特征值,所以存在可逆矩阵 PP,使

P1AP=Λ1,A=PΛ1P1.P^{-1}AP=\Lambda_1, \qquad A=P\Lambda_1P^{-1}.

同一组特征向量也能把 BB 相似对角化:

P1BP=Λ2,B=PΛ2P1.P^{-1}BP=\Lambda_2, \qquad B=P\Lambda_2P^{-1}.

由于 Λ1,Λ2\Lambda_1,\Lambda_2 均为对角矩阵,

Λ1Λ2=Λ2Λ1.\Lambda_1\Lambda_2=\Lambda_2\Lambda_1.

于是

AB=PΛ1P1PΛ2P1=PΛ1Λ2P1,AB =P\Lambda_1P^{-1}P\Lambda_2P^{-1} =P\Lambda_1\Lambda_2P^{-1}, BA=PΛ2P1PΛ1P1=PΛ2Λ1P1,BA =P\Lambda_2P^{-1}P\Lambda_1P^{-1} =P\Lambda_2\Lambda_1P^{-1},

所以

AB=BA.\boxed{AB=BA}.

由证明还可推出:若 AAnn 个不同的特征值且 AB=BAAB=BA,则存在同一个可逆矩阵 PP,同时将 A,BA,B 相似对角化。

三、可交换条件下的对角化判断

选择题例 5.23(2024 数二真题,单选题)

A,BA,B22 阶矩阵,且 AB=BAAB=BA,则“AA 有两个不相等的特征值”是“BB 可对角化”的(  )。

  • A. 充分必要条件
  • B. 充分不必要条件
  • C. 必要不充分条件
  • D. 既不充分也不必要条件
解答

答案为 B

λ1,λ2\lambda_1,\lambda_2AA 的两个不同特征值,非零向量 α1,α2\alpha_1,\alpha_2 满足

Aα1=λ1α1,Aα2=λ2α2.A\alpha_1=\lambda_1\alpha_1, \qquad A\alpha_2=\lambda_2\alpha_2.

由于 λ1λ2\lambda_1\ne\lambda_2,故 α1,α2\alpha_1,\alpha_2 线性无关。又由 AB=BAAB=BA

ABαi=BAαi=λiBαi(i=1,2).AB\alpha_i=BA\alpha_i=\lambda_iB\alpha_i \qquad(i=1,2).

Bαi0B\alpha_i\ne0,则 BαiB\alpha_iAA 属于 λi\lambda_i 的特征向量。因为 AA 为二阶矩阵且有两个不同的特征值,每个特征值只对应一个线性无关的特征向量,所以

Bαi=kiαi(ki0),B\alpha_i=k_i\alpha_i\qquad(k_i\ne0),

从而 αi\alpha_iBB 的特征向量。

Bαi=0B\alpha_i=0,则 αi\alpha_iBB 属于特征值 00 的特征向量。

不论是哪种情况,α1,α2\alpha_1,\alpha_2 均为 BB 的两个线性无关的特征向量,故 BB 能相似对角化。因此,“AA 有两个不相等的特征值”是“BB 可对角化”的充分条件。

但它不是必要条件。取

A=B=E,A=B=E,

AB=BAAB=BABB 为对角矩阵,但 AA 没有两个不相等的特征值。

综上,应选 B。

Back to archive

Discussion

Comments

Post

Share questions, corrections, or extra notes about this post.