最近看到不少问题和此方程求解有关作一个系统性的讨论和总结吧.docVIP

AX=XB的求解小结最近看到不少问题和此方程求解有关，作一个系统性的讨论和总结吧。相关的两个帖子见下/forums/index.php?showtopic=51948 请教关于中心的一个问题/forums/index.php?showtopic=52057主要是证明一下第一个链接中网友给出的矩阵论八讲的两个定理，见附图。第二个链接可以看作这些结果的应用。 方法是标准型方法。先看一个必要条件，然后再看充分条件。有趣的是，必要条件是把X化作标准型(初等变换)；而充分条件是把A,B化作若当标准型（相似变换）；很有意思。另外，附图中虽然考虑的是A,B，X都是方阵情形，其实可以看出来，当A，B都是方阵，但是阶数不同时，X不方，该结论和证明都可以通得过的，这一点在下帖的求解AX=XB时要用到。  这里是充分条件。另外。关于AX=XB的解的维数计算，本质上就是一楼的定理3，但我觉得定理3不是很直观，加上不少网友可能对初等因子可能不熟悉（其实初等因子和若当块一一对应，就是若当块的特征多项式），所以改写了一下，并给出例子来说明。（需要注意的是，这里实际上仅处理了复数域的情形，对于一般数域类似地也可以证明，但需要把若当标准型换为有理标准型来推理）  相关问题除了一楼所给的两个连接以外，还可以看一些特殊情形，先看一个：与对角矩阵交换的矩阵是分块对角矩阵与对角元互相不同的对角矩阵 交换 的