关于矩阵的秩,王萼芳的书上给了一个比较简单的证明,丘维声的书上给了一个比较容易理解的证明,这里记一下复习复习,算是加深理解
方法一
引理:齐次线性方程组(Aold{x}=old{0})只有零解当且仅当矩阵(A)的行秩(ge)未知数个数。
引理的证明比较简单,只需要证明初等行变换不改变行秩,再观察(A)化成阶梯形矩阵之后自由变量的数量就好了
不妨设一个矩阵(A_{s imes n}),且有(sle n),我们首先证明行秩(r_sle)列秩$ r_n$
可以取出(r_s)个线性无关的行向量,不妨记为(old{alpha_{1},alpha_{2},dots,alpha_{r_s}})。根据线性无关的定义有:不存在一组不全为零的数(k_1,k_2,dots,k_{r_s})使得(sumlimits_{i=1}^{r_s}{k_iold{alpha_i}}=0)。记这些行向量组成的矩阵为(A_1),即(old{x}^{T}A_1=old{0})只有零解,两边转置得到({A_1}^Told{x}=old{0})只有零解。由引理可知(r_s) (le) ({A_1}^T)的行秩。那么我们可以从({A_1}^T)中取出它行向量的一个极大线性无关组。根据定理这个极大线性无关组的延伸组也是线性无关的,于是我们就把它填充为原本列向量的转置。
这里可以看出矩阵(A)的列向量组至少有(r_s)个向量线性无关,因此(r_sle r_n)
由对称性可知反过来是同理的,或者你转置一下也行。这个证法我jio得很简洁
方法二
Step1
首先证明行阶梯形矩阵的行秩=列秩。记(A)的非零行数量为(r),首先可以把每一行主元所在的行和列抠出来,不妨记第(i)个主元所在列为(K_i),它们交点组成的子矩阵记为(C)。很显然(C)是一个上三角矩阵,于是(|C| eq0),也就是说(C)中的行列向量组都是线性无关的,同样它们的延伸组也是线性无关的
-
先看矩阵(A)的列向量组,记为(old{alpha_1,alpha_2,dots,alpha_n}),它们的特点是每一个向量的后(s-r)个元素全为(0),这表示(A)的列秩(r_n=r=rleft(old{alpha_{K_1},dots,alpha_{K_r}} ight)),于是我们抠出来的这(r)个列向量就是(A)的列向量组的一个极大线性无关组
-
再看(A)的行向量组,记为(old{})(old{eta_1,eta_2,dots,eta_s}),由(|C| eq0)可知其中的(r)个向量线性无关,剩余(s-r)个都是(old0),于是行秩(r_s=r=rleft(old{eta_{K_1},eta_{K_2},dots,eta{K_r}} ight))
综合1、2可得,行阶梯形矩阵的行秩等于列秩
Step2
再证明初等行变换不改变行秩
第i行的k倍加到第j行,即向量组(old{alpha_1,dots,alpha_i,dots,alpha_j,dots,alpha_n})变成了(old{alpha_1,dots,alpha_i,dots,kalpha_i+alpha_j,dots,alpha_n})。这俩显然是等价的,它们的秩也相等
交换i、j两行显然不变,某一行乘上一个非零系数显然不变
Step3
再证明初等行变换不改变列向量组的线性相关性
任取(A)中的列向量组(old{alpha_1,alpha_2,dots,alpha_p}),其经历一系列初等行变换变成行阶梯形(old{eta_1,eta_2,dots,eta_p})
如果(oldeta)线性无关,那么它的前(p)个分量组成的(p imes p)的矩阵行列式( eq0),又因为行初等变换不改变行列式的值,因此得到(oldalpha)的前(p)个分量组成的矩阵的行列式也( eq0);如果线性相关,那么这个结论也是对应的
于是初等行变换不改变列向量组的线性相关性
Step4
最后证明初等行变换不改变列秩
取(A)的(r_n)个线性无关的列向量构成一个极大线性无关组(oldalpha),其经历一系列初等行变换变成(oldeta),由Step3可知(oldeta)中的这(r_n)个向量也线性无关,因此初等行变换不会使列秩减小;
再任取(A)中的(r_n+1)个列向量(如果有的话),易得这(r_n+1)个列向量线性相关,于是其对应的(oldeta)中的任意(r_n+1)个列向量都线性相关,因此初等行变换不会使列秩增大;
因此初等行变换不改变列秩
Step5
综合1234就可以把任意的矩阵通过初等行变换变成行阶梯形矩阵,再由秩的不变性得到任意矩阵的行秩等于列秩