矩阵秩的部分关系

①证明r(A^TA) = r(A)
思路：通过证明AX = 0与A^TAX = 0同解进而解决r(A^TA) = r(A)
∵AX = 0 => A^TAX = 0
反之：
∵A^TAX = 0 =>X^TA^TAX = 0
∴(AX)^TAX = 0
两边同时取行列式有|(AX)^TAX| = 0 => |(AX)^T||AX| = 0
又∵|(AX)^T| = |AX|
∴|AX|² = 0 => AX = 0
∴AX = 0与A^TAX = 0同解
∴他们基础解系所含向量个数相同
即n-r(A) = n-r(A^TA) => r(A) = r(A^TA)
 
②有两个mxn的矩阵A、B，证明r(A + B) ≤ r(A) + r(B)
设A的列向量α_i1、α_i2 …… α_in的一个极大线性无关组为α_i1、α_i2 …… α_ir(r < n)
设B的列向量β_i1、β_i2 …… β_in的一个极大线性无关组为β_i1、β_i2 …… β_it(t < n)
那么α_i1、α_i2 …… α_in中任何一个向量均可由α_i1、α_i2 …… α_ir(r < n)线性表示
β_i1、β_i2 …… β_in中任何一个向量均可由β_i1、β_i2 …… β_it(t < n) 线性表示
于是A + B中的每一个列向量α_i1 + β_i1、α_i2 + β_i2 …… α_in + β_in均可由α_i1、α_i2 …… α_ir、_i1、β_i2 …… β_it线性表示
因此，A+B列向量组中极大线性无关组的向量个数不大于α_i1、α_i2 …… α_ir、_i1、β_i2 …… β_it中的向量个数
即r(A+B) ≤ r+t = r(A)+r(B)
当且仅当α_i1、α_i2 …… α_ir、_i1、β_i2 …… β_it线性无关时等号成立
 
③A是mxn矩阵，B是nxs矩阵，证明r(AB) ≤ min(r(A), r(B))
对于齐次方程组(1)ABX = 0和(2)BX = 0
若α是方程组(2)的任意一个解，则由(AB)α = A(Bα) = A0 = 0知α是方程组(1)的解
∴方程组(2)的解集是方程组(1)的解集的子集
又∵(1)的解向量的秩为s - r(AB)，(2)的解向量的秩为s - r(B)
∴s - r(AB) ≤ s - r(B)， 即r(AB) ≤ r(B)
由上述结论可得r(AB) = r((AB)^T) = r(B^TA^T) ≤ r(A^T) = r(A)
综上所述可得出结论r(AB) ≤ min(r(A), r(B))