要多说明一点,你取的k是最小的使得A^k=0的自然数k.
等等-由于A^(k-1)不恒为O,所以X=O-好像有问题...我想一下.
这句话应该是对的,但是我要证明的话要用到Jordan形式...(就是只有对角线上面有1的那种)
我想一下有没有简单的解...
简单点的解:
我们现在其实是要证明X->AX-XB这个线性映射是个单射.这个映射有个矩阵.
不难证明这个矩阵的特征值就是所有的(a-b),a和b为A或B的特征值.
但是A是幂零元,所以A的特征值都是0.
所以只剩下了B的特征值,但B的特征值都不是0因为B可逆.
所以X->AX-XB也是一个可逆的映射.
所以AX-XB的解唯一.但是X=0为显然解,所以是唯一解.