关于矩阵方程AXB=C的解

设一般矩阵方程为AXB=C,其中A为m×n矩阵,X为n×s矩阵,B为s×t矩阵,C为m×t矩阵,变量有n×s个,X即为: 关于矩阵方程AXB=C,有些教材用矩阵A、B的Moore—Penrose的逆给出了AXB=C有解的条件及有解时解集用Moors—Penrose逆的表示,如文选[1],本文试图不用矩阵Moore—Penrose逆的概念,仅用初等方法指出了AXB=O的解构成的解空间的维数,求其解空间的一个基的方法,对AXB=C的解给出了有类似于一般线性方程组的解结构表示。 一、关于齐次矩阵方程AXB=O的讨论 定理1 齐次矩阵方程 A_(m×n)X(n×s)B（s×t）=O其中A为m×n矩阵,X为n×s矩阵,B为s×t矩阵,A、B的元素属于数域F,X为未知阵,些么（※?）式的解集M为矩阵空间F（n×s）的一个子空间,且若设秩A=r_1,,秩B=r_2,则M的维数为ns-r_1r_2。 证明（※?）的解集M构成F（n×s）的子空间是显然的。