期末复习刚好到这一块,用空间方法写一下:
证明了同时对角化之后AB可对角化就显而易见了。
充分性不用归纳法也成:
如果A,B性质更好,均为正规变换的话就不用证那个引理了,而且它们还可以同时酉对角化。
再更新一个矩阵证法,本质上仍是空间的直和分解: