是对的,下面是我从别处偷来的证明,根据是矩阵做初等变换,秩不改变
AB与n阶单位矩阵En构造分块矩阵 |AB O| |O En| A分乘下面两块矩阵加到上面两块矩阵,有 |AB A| |0 En| 右边两块矩阵分乘-B加到左边两块矩阵,有 |0 A | |-B En| 所以,r(AB)+n=r(第一个矩阵)=r(最后一个矩阵)>=r(A)+r(B) 即r(A)+r(B)-n
是对的,下面是我从别处偷来的证明,根据是矩阵做初等变换,秩不改变
AB与n阶单位矩阵En构造分块矩阵 |AB O| |O En| A分乘下面两块矩阵加到上面两块矩阵,有 |AB A| |0 En| 右边两块矩阵分乘-B加到左边两块矩阵,有 |0 A | |-B En| 所以,r(AB)+n=r(第一个矩阵)=r(最后一个矩阵)>=r(A)+r(B) 即r(A)+r(B)-n