对A的属于特征值λ的特征子空间Vλ中的任一向量x
有 Ax = λx
所以 A(Bx) = BAx = λBx
所以 Bx 属于 Vλ
所以 A的特征子空间Vλ是B的不变子空间.