即:矩阵的行秩和列秩都和矩阵的秩相等
记为: r r ( A ) = r c ( A ) = r ( A ) r_r(A)=r_c(A)=r(A) rr(A)=rc(A)=r(A)
证明:
设矩阵A的行秩和列秩为 r r r
矩阵A的行向量组的极大无关组包含r个行向量
则矩阵A的任意 r + 1 r+1 r+1个向量都线性相关
矩阵A的任意 r + 1 r+1 r+1阶子式的行向量也都线性相关
设A的一个极大线性无关组构成的矩阵为(设A的前r行能构成极大无关组)
A 1 = ( a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋮ a r 1 a r 2 ⋯ a r n ) A_1 =\begin{pmatrix} a_{11}&a_{12}&\cdots&a_{1n}\\ \vdots&\vdots&&\vdots\\ a_{r1}&a_{r2}&\cdots&a_{rn} \end{pmatrix} A1= a11⋮ar1a12⋮ar2⋯⋯a1n⋮arn
因为 r r ( A 1 ) = r c ( A 1 ) = r r_r(A_1)=r_c(A_1)=r rr(A1)=rc(A1)=r,不妨设 A 1 A_1 A1的前r列构成 A 1 A_1 A1的列向量组的极大无关组,将该组对应的矩阵记为 A 2 A_2 A2
A = ( 1 1 1 4 − 3 2 1 3 5 − 5 1 − 1 3 − 2 − 1 3 1 5 6 − 7 ) α 1 , ⋯ , α 5 分别对应 A 的 5 个列 对 A = ( Φ ) = ( α 1 , ⋯ , α 5 ) 做初等行变换 不妨记变换后的矩阵维 B = ( Ψ ) = ( β 1 , ⋯ , β 5 ) B 的行简化阶梯形矩阵形式 : ( 与 A , B 均等价 ) B = ( 1 0 2 1 − 2 0 1 − 1 3 − 1 0 0 0 0 0 0 0 0 0 0 ) 变换前后的任何相应部分 ( 或全部 ) 列向量组成的方程组仍然同解 因此 , 若 B 中的 β i 1 , ⋯ , β i r 是 Ψ 的极大无关组 , 则 原向量组 Φ 中的向量 α i 1 , ⋯ , α i r 也是 Φ 的极大无关组 . A=\begin{pmatrix} 1& 1& 1& 4& -3 \\ 2& 1& 3& 5& -5 \\ 1& -1& 3& -2& -1 \\ 3& 1& 5& 6& -7 \\ \end{pmatrix} \\\alpha_1,\cdots,\alpha_5分别对应A的5个列 \\ 对A=(\Phi)=(\alpha_1,\cdots,\alpha_5)做初等行变换 \\不妨记变换后的矩阵维B=(\Psi)=(\beta_1,\cdots,\beta_5) \\B的行简化阶梯形矩阵形式:(与A,B均等价) \\B=\begin{pmatrix} 1& 0& 2& 1& -2 \\ 0& 1& -1& 3& -1 \\ 0& 0& 0& 0& 0 \\ 0& 0& 0& 0& 0 \\ \end{pmatrix} \\ \\变换前后的任何相应部分(或全部)列向量组成的方程组仍然同解 \\因此,若B中的\beta_{i_1},\cdots,\beta_{i_r}是\Psi的极大无关组,则 \\原向量组\Phi中的向量\alpha_{i_1},\cdots,\alpha_{i_r}也是\Phi的极大无关组. A= 121311−11133545−26−3−5−1−7 α1,⋯,α5分别对应A的5个列对A=(Φ)=(α1,⋯,α5)做初等行变换不妨记变换后的矩阵维B=(Ψ)=(β1,⋯,β5)B的行简化阶梯形矩阵形式:(与A,B均等价)B= 100001002−1001300−2−100 变换前后的任何相应部分(或全部)列向量组成的方程组仍然同解因此,若B中的βi1,⋯,βir是Ψ的极大无关组,则原向量组Φ中的向量αi1,⋯,αir也是Φ的极大无关组.
通常,为了用极大无关组去表示其他不在极大无关组中的向量,记为 α p , ⋯ , α q , \alpha_p,\cdots,\alpha_q, αp,⋯,αq,
需要将B进一步初等行变换为行简化阶梯形矩阵,可以从中读出 α p , ⋯ , α q \alpha_p,\cdots,\alpha_q αp,⋯,αq关于极大无关组的表出系数.
而极大无关组的选取可以从行阶梯矩阵的各个阶梯上分别选取一个(阶梯上的元素非零元素所在的列)
如此构成的向量组形如
I = ( U r 0 ) I=\begin{pmatrix} U_r\\ \bold0 \end{pmatrix} I=(Ur0)
U r U_r Ur是r阶上三角矩阵(方阵), ∣ U r ∣ ≠ 0 |U_r|\ne{0} ∣Ur∣=0(即 U r x = 0 U_rx=0 Urx=0只有零解,构成 I I I的向量线性无关)
此时如果向 I I I加入新向量 β w \beta_w βw,构成 Δ = I ∪ β w \Delta=I\cup{\beta_w} Δ=I∪βw,则由于 r < t = r + 1 r
上例中,对于B,取极大无关组 I = β 1 , β 2 I=\beta_1,\beta_2 I=β1,β2,则其余向量可以表示为:
矩阵方程 A X = B AX=B AX=B有解的充要条件是 r ( A ) = r ( A , B ) r(A)=r(A,B) r(A)=r(A,B)
注意这里X,B的规格不一定是向量
证明:
设A,B,X分别为 m × n , m × l , n × l m\times{n},m\times{l},n\times{l} m×n,m×l,n×l的矩阵
对X和B按列分块:
矩阵方程 A X = B AX=B AX=B等价于 l l l个向量方程
记A的行简化(行最简形)矩阵为 A ~ \widetilde{A} A (仅通过初等行变换即可转化)
A X = B AX=B AX=B有解 ⇔ A x i = b i ( i = 1 , 2 , ⋯ , l ) 有解 \Leftrightarrow{Ax_i=b_i}(i=1,2,\cdots,l)有解 ⇔Axi=bi(i=1,2,⋯,l)有解
因此,如果 A X = B AX=B AX=B有解,则 r ( A , B ) = r ( A ) r(A,B)=r(A) r(A,B)=r(A)
设 A B = C AB=C AB=C,则 r ( C ) ⩽ m i n ( r ( A ) , r ( B ) ) r(C)\leqslant{min(r(A),r(B))} r(C)⩽min(r(A),r(B))
设 A , B A,B A,B都是 m × n m\times{n} m×n的矩阵,则 r ( A + B ) ⩽ r ( A ) + r ( B ) r(A+B)\leqslant{r(A)+r(B)} r(A+B)⩽r(A)+r(B)
设A为 m × l m\times{l} m×l的矩阵,B为 l × n l\times{n} l×n的矩阵,则: r ( A B ) ⩽ m i n ( r ( A ) , r ( B ) ) r(AB)\leqslant{min(r(A),r(B))} r(AB)⩽min(r(A),r(B))
此结论前面已经证明过了
下面是另一个版本
罗嗦版
设 A = ( α 1 , ⋯ , α l ) ( 分块矩阵形式 ) B = ( b 11 b 12 ⋯ b 1 n b 21 b 22 ⋯ b 2 n ⋮ ⋮ ⋮ b l 1 b l 2 ⋯ b l n ) = ( β 1 β 2 ⋮ β l ) C = A B = ∑ i = 1 l α i β i C = A B , c i = α i β i , C , c i 都为 m × n 的矩阵 C = ( ∑ i = 1 l α i b i 1 , ∑ i = 1 l α i b i 2 , ⋯ , ∑ i = 1 l α i b i n ) 由 c j = ∑ i = 1 l α i b i j , j = 1 , 2 , ⋯ , n 可见 C 可以由 A 线性表出 r ( C ) ⩽ r ( A ) 同理 r ( C ) ⩽ r ( B ) r ( C ) ⩽ m i n ( r ( A ) , r ( B ) ) 设A=(\alpha_1,\cdots,\alpha_l)(分块矩阵形式) \\ B=\begin{pmatrix} b_{11} &b_{12} &\cdots &b_{1n} \\ b_{21} &b_{22} &\cdots &b_{2n} \\ \vdots &\vdots & &\vdots \\ b_{l1} &b_{l2} &\cdots &b_{ln} \\ \end{pmatrix} =\begin{pmatrix} \beta_{1} \\ \beta_{2} \\ \vdots \\ \beta_{l} \\ \end{pmatrix} \\ C=AB=\sum\limits_{i=1}^{l}\alpha_i\beta_i \\ C=AB,c_i=\alpha_i\beta_i, \\C,c_i都为m\times{n}的矩阵 \\C=(\sum\limits_{i=1}^{l}\alpha_ib_{i1}, \sum\limits_{i=1}^{l}\alpha_ib_{i2}, \cdots, \sum\limits_{i=1}^{l}\alpha_ib_{in} ) \\由c_j=\sum\limits_{i=1}^{l}\alpha_ib_{ij},j=1,2,\cdots,n \\可见C可以由A线性表出 \\r(C)\leqslant{r(A)} \\同理 \\r(C)\leqslant{r(B)} \\r(C)\leqslant{min(r(A),r(B))} 设A=(α1,⋯,αl)(分块矩阵形式)B= b11b21⋮bl1b12b22⋮bl2⋯⋯⋯b1nb2n⋮bln = β1β2⋮βl C=AB=i=1∑lαiβiC=AB,ci=αiβi,C,ci都为m×n的矩阵C=(i=1∑lαibi1,i=1∑lαibi2,⋯,i=1∑lαibin)由cj=i=1∑lαibij,j=1,2,⋯,n可见C可以由A线性表出r(C)⩽r(A)同理r(C)⩽r(B)r(C)⩽min(r(A),r(B))