随笔-有趣

最近同学在给本科生当助教，有孩子问了个有意思的问题： $(\mathbf{A}\mathbf{B}{)}^k={\mathbf{A}}^k{\mathbf{B}}^k=(\mathbf{B}\mathbf{A}{)}^k=,k\ge 2$, 为啥推不出 $\mathbf{A}\mathbf{B}=\mathbf{B}\mathbf{A}$?
粗略一看很显然，因为交换律对矩阵乘法是不成立的，即，一般不会有$\mathbf{A}\mathbf{B}=\mathbf{B}\mathbf{A}$
但要求个反例让我找了很久，今早尝试了以下，发现一个
$$\mathbf{A}=[1,3;0,-1],{\mathbf{A}}^2=[1,0;0,1]$$
$$\mathbf{B}=[0,1;0,0],{\mathbf{B}}^2=[0,0;0,0]$$
所以
$${\mathbf{A}}^2{\mathbf{B}}^2={\mathbf{B}}^2{\mathbf{A}}^2=0$$
但
$$\mathbf{A}\mathbf{B}=[0,1;0,0]$$
$$\mathbf{B}\mathbf{A}=[0,-1;0,0]$$
此时
$$\mathbf{A}\mathbf{B}\ne \mathbf{B}\mathbf{A}$$

那这样还有一个问题，什么情况下会有
$$\mathbf{A}\mathbf{B}=\mathbf{B}\mathbf{A}$$？
这个问题stack上有人回答过了，一言一蔽之：
存在可逆矩阵$\mathbf{P}$, 使得
$\mathbf{P}{\mathbf{A}}^{-1}{\mathbf{P}}^{-1}$和$\mathbf{P}{\mathbf{B}}^{-1}{\mathbf{P}}^{-1}$为对角阵。
此外从Jordan标准形也可以解释，具体参见

stack

小记

快乐少了一半。。。最开始没注意到$(AB{)}^k=A^k{B}^k$,后面hy发现了~~做人太难了~不过还是挺开心的，写的时候突然想起之前矩阵老师说的，(对角线全为0）右上三角方阵$C$, $C^k\to 0,k\to \infty$ 而且如果右上三角元素为1的，1会慢慢后退，这个应该是关于矩阵收敛性那讲的~