设A为m*n实矩阵,A^TA为正定矩阵,证明:线性方程组AX=0只有零解.
资料上证明是 由于r(A^TA)≤r(n)≤n,可我不这个公式是哪里来的,还有公式是r(AB)≤r(A),r(AB)≤r(B),.
上面不懂得问题我在书上找到了,现在还有个疑问是：不是应该 r(A)≤min｛m,n｝吗,为什么上面公式是直接r(n)≤n呢?谁帮我解答下啊.