找回密码
 快速注册
搜索
查看: 26|回复: 3

矩阵B与A交换 则B与adj(A)交换

[复制链接]

3149

主题

8386

回帖

6万

积分

$\style{scale:11;fill:#eff}꩜$

积分
65391
QQ

显示全部楼层

hbghlyj 发表于 2023-6-8 02:55 |阅读模式
已知$\DeclareMathOperator{\adj}{adj}AB=BA$, 求证$\adj(A)B=B\adj(A)$.
当$A$可逆,$A^{-1}B=A^{-1}BAA^{-1}=A^{-1}ABA^{-1}=BA^{-1}$.
当$A$不可逆

3149

主题

8386

回帖

6万

积分

$\style{scale:11;fill:#eff}꩜$

积分
65391
QQ

显示全部楼层

 楼主| hbghlyj 发表于 2023-6-8 03:00

构造多项式

det(A+tI) is a polynomial in t with degree at most n, so it has at most n roots. Note that the ij th entry of adj((A+tI)(B)) is a polynomial of at most order n, and likewise for adj(A+tI) adj(B). These two polynomials at the ij th entry agree on at least n + 1 points, as we have at least n + 1 elements of the field where A+tI is invertible, and we have proven the identity for invertible matrices. Polynomials of degree n which agree on n + 1 points must be identical (subtract them from each other and you have n + 1 roots for a polynomial of degree at most n – a contradiction unless their difference is identically zero). As the two polynomials are identical, they take the same value for every value of t. Thus, they take the same value when t = 0.


Source: Adjugate matrix#Properties

3149

主题

8386

回帖

6万

积分

$\style{scale:11;fill:#eff}꩜$

积分
65391
QQ

显示全部楼层

 楼主| hbghlyj 发表于 2023-6-8 03:10

另一个证明

Suppose that A commutes with B. Multiplying the identity AB = BA on the left and right by adj(A) proves that $ \det(\mathbf {A} )\operatorname {adj} (\mathbf {A} )\mathbf {B} =\det(\mathbf {A} )\mathbf {B} \operatorname {adj} (\mathbf {A} )$. If A is invertible, this implies that adj(A) also commutes with B.  Over the real or complex numbers, continuity implies that adj(A) commutes with B even when A is not invertible.

红色部分详细步骤:
AB = BA
左乘和右乘 adj(A) 得
adj(A) AB adj(A) = adj(A) BA adj(A)
由 adj(A) A = A adj(A) = det(A) I
det(A) B adj(A) = det(A) adj(A) B

48

主题

992

回帖

1万

积分

积分
14981
QQ

显示全部楼层

Czhang271828 发表于 2023-6-8 16:10
实际上可交换矩阵的可交换矩阵等价于原矩阵的多项式.

可以直接猜测 $\mathrm{Adj}(A)$ 是 $A$ 的多项式. 记 $\chi$ 是特征多项式, $A_x:=xI-A$, 则当 $x\notin \mathrm{spec}(A)$ 时有
\[
A_x\cdot \mathrm{adj}(A_x)=\chi_A(x)\cdot I.
\]
此时 $\chi_{A_x}(0)\neq 0$, 故多项式 $\chi_A(x)\cdot \left.\dfrac{[\chi_{A_x}(0)^{-1}\chi_{A_x}(\lambda)-1]}{\lambda}\right|_{\lambda=A_x}=\mathrm{adj}(A_x)$. 再令 $x=0$ 即可.

手机版|悠闲数学娱乐论坛(第3版)

GMT+8, 2025-3-4 12:25

Powered by Discuz!

× 快速回复 返回顶部 返回列表