##### 可交换矩阵 - 可交换矩阵 [[可交换算子|算子]] - **可交换矩阵** $A$ 与 $B$ 是[[方阵]], 满足[[矩阵乘法]]的交换律 $AB=BA$. 同一向量空间上的两个[[可对角化矩阵]]关于相同的基都有对角矩阵, 当且仅当这两个矩阵可交换, 意味着它们都有一组相同的特征向量 - $AB=BA\iff (PAP^{−1}=D_A)\land(PBP^{−1}=D_B)$