LA@三秩相等@向量组相关定理

文章目录

    • 矩阵的三秩相等
    • 矩阵秩和矩阵方程之间的关系
    • 向量组秩之间的关系
    • 小结
    • 利用行(列)秩解决矩阵秩的问题

矩阵的三秩相等

  • 即:矩阵的行秩和列秩都和矩阵的秩相等

  • 记为: 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阶子式的行向量也都线性相关

      • 将r+1阶子式对应的行列式取矩阵,则该矩阵(方阵)记为 Q Q Q,其含有r+1个行向量
      • 由于Q的行向量线性相关,从而方程 Q x = 0 Qx=0 Qx=0具有非零解,也即是 ∣ Q ∣ = 0 |Q|=0 Q=0
    • 设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= a11ar1a12ar2a1narn

      • 因为 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 2 = ( a 11 ⋯ a 1 r ⋮ ⋮ a r 1 ⋯ a r r ) 由于 A 2 的列向量组线性无关 , A 2 x = 0 只有一个零解 且 ∣ A 2 ∣ ≠ 0 ∣ A 2 ∣ 就是 A 的一个非 0 的 r 阶子式 ( r + 1 阶子式全为 0 ) ∴ A 的秩就是 r A_2=\begin{pmatrix} a_{11}&\cdots&a_{1r}\\ \vdots&&\vdots\\ a_{r1}&\cdots&a_{rr} \end{pmatrix} \\ 由于A_2的列向量组线性无关,A_2x=0只有一个零解 \\且|A_2|\neq{0} \\|A_2|就是A的一个非0的r阶子式(r+1阶子式全为0) \\ \therefore A的秩就是r A2= a11ar1a1rarr 由于A2的列向量组线性无关,A2x=0只有一个零解A2=0A2就是A的一个非0r阶子式(r+1阶子式全为0)A的秩就是r

  • 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= 12131111133545263517 α1,,α5分别对应A5个列A=(Φ)=(α1,,α5)做初等行变换不妨记变换后的矩阵维B=(Ψ)=(β1,,β5)B的行简化阶梯形矩阵形式:(A,B均等价)B= 10000100210013002100 变换前后的任何相应部分(或全部)列向量组成的方程组仍然同解因此,B中的βi1,,βirΨ的极大无关组,原向量组Φ中的向量αi1,,αir也是Φ的极大无关组.

    • 通常,为了用极大无关组去表示其他不在极大无关组中的向量,记为 α p , ⋯   , α q , \alpha_p,\cdots,\alpha_q, αp,,αq,

    • 需要将B进一步初等行变换为行简化阶梯形矩阵,可以从中读出 α p , ⋯   , α q \alpha_p,\cdots,\alpha_q αp,,αq关于极大无关组的表出系数.

    • 而极大无关组的选取可以从行阶梯矩阵的各个阶梯上分别选取一个(阶梯上的元素非零元素所在的列)

      • 阶梯数和非零行的行数一致(都为r)
      • 选中的向量个数恰为r个(极大无关组包含的向量个数为r
        • 也就是说,极大线性无关组包含的向量个数是确定的)
    • 如此构成的向量组形如

      • 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 rr<t=r+1,向量组 Δ \Delta Δ线性相关,且 β w \beta_w βw可以被 I I I唯一线性表出(前面讨论过相关结论)

    • 上例中,对于B,取极大无关组 I = β 1 , β 2 I=\beta_1,\beta_2 I=β1,β2,则其余向量可以表示为:

      • β 3 = 2 β 1 − β 2 \beta_3=2\beta_1-\beta_2 β3=2β1β2
      • β 4 = β 1 + 3 β 2 \beta_4=\beta_1+3\beta_2 β4=β1+3β2
      • β 5 = − 2 β 1 − β 1 \beta_5=-2\beta_1-\beta_1 β5=2β1β1
      • β \beta β替换为 α \alpha α,即得到A对应的向量组 Φ \Phi Φ的极大无关组和其余向量用极大无关组的表示

矩阵秩和矩阵方程之间的关系

  • 矩阵方程 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按列分块:

        • X = ( x 1 , ⋯   , x l ) X=(x_1,\cdots,x_l) X=(x1,,xl),
        • B = ( b 1 , ⋯   , b l ) B=(b_1,\cdots,b_l) B=(b1,,bl)
      • 矩阵方程 A X = B AX=B AX=B等价 l l l向量方程

        • C i = A x i = b i ( i = 1 , 2 , ⋯   , l ) C_i=Ax_i=b_i(i=1,2,\cdots,l) Ci=Axi=bi(i=1,2,,l)
      • 记A的行简化(行最简形)矩阵为 A ~ \widetilde{A} A (仅通过初等行变换即可转化)

        • A ~ \widetilde{A} A 有r个非零行,且 A ~ \widetilde{A} A 的后 m − r m-r mr行为全零行
        • C = ( A , B ) = ( A , b 1 , ⋯   , b l ) → ( A ~ , b 1 ~ , ⋯   , b l ~ ) C=(A,B)=(A,b_1,\cdots,b_l)\to{(\widetilde{A},\widetilde{b_1},\cdots,\widetilde{b_l})} C=(A,B)=(A,b1,,bl)(A ,b1 ,,bl )
          • 其中 A ~ \widetilde{A} A 是A的行最简形式
          • b 1 ~ , ⋯   , b l ~ \widetilde{b_1},\cdots,\widetilde{b_l} b1 ,,bl 后续再讨论
        • 从列向量的角度改写为 ( A , b i ) → ( A ~ , b i ) ( i = 1 , 2 , ⋯   , l ) (A,b_i)\to{(\widetilde{A},b_i)}(i=1,2,\cdots,l) (A,bi)(A ,bi)(i=1,2,,l)
      • 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)有解

        • ⇔ r ( A , b i ) = r ( A ) = r \Leftrightarrow{r(A,b_i)}=r(A)=r r(A,bi)=r(A)=r, ( i = 1 , 2 , ⋯   , l ) (i=1,2,\cdots,l) (i=1,2,,l)
        • ⇔ b i ~ \Leftrightarrow{\widetilde{b_i}} bi 的后 m − r m-r mr个分量(元)全为0 ( i = 1 , 2 , ⋯   , l ) (i=1,2,\cdots,l) (i=1,2,,l)
          • 若后 m − r m-r mr个元中存在非零元,会导致 r ( A , b i ) > r ( A ) r(A,b_i)>r(A) r(A,bi)>r(A)
          • 而其前 r r r个元的取值情况不会影响 r ( A , b i ) = r ( A ) r(A,b_i)=r(A) r(A,bi)=r(A)的成立,我们不关心
        • ⇔ \Leftrightarrow 矩阵 ( b 1 ~ , ⋯   , b l ~ ) {(\widetilde{b_1},\cdots,\widetilde{b_l})} (b1 ,,bl )的后 m − r m-r mr行全为0
        • ⇔ r ( A , B ) = r = r ( A ) \Leftrightarrow{r(A,B)=r=r(A)} r(A,B)=r=r(A)
      • 因此,如果 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的秩要小等于A的增广矩阵 A ‾ \overline{A} A,取 A ‾ = ( A , C ) \overline{A}=(A,C) A=(A,C)
      • r ( A ) ⩽ r ( A , C ) = r ( C , A ) r(A)\leqslant{r(A,C)}=r(C,A) r(A)r(A,C)=r(C,A),
        • 矩阵 ( A , C ) 和 ( C , A ) (A,C)和(C,A) (A,C)(C,A)可以看作是初等列变换,初等变换都不改变矩阵的秩
      • 类似的: r ( C ) ⩽ r ( A , C ) r(C)\leqslant{r(A,C)} r(C)r(A,C)
    • 由于 A B = C AB=C AB=C,则矩阵 B B B满足 A X = C AX=C AX=C(该方程有解,且B就是一个解)
    • 根据上一条定理, r ( A ) = r ( A , C ) r(A)=r(A,C) r(A)=r(A,C)
      • 所以 r ( C ) ⩽ r ( A , C ) = r ( A ) r(C)\leqslant{r(A,C)}=r(A) r(C)r(A,C)=r(A)
    • A B = C , 则 B T A T = C T AB=C,则B^TA^T=C^T AB=C,BTAT=CT,类似上述证明,可以得到 r ( C T ) ⩽ r ( B T C T ) = r ( B T ) r(C^T)\leqslant{r(B^TC^T)=r(B^T)} r(CT)r(BTCT)=r(BT)
      • 任意矩阵A满足 r ( A T ) = r ( A ) r(A^T)=r(A) r(AT)=r(A)(转置不改变矩阵的秩)
      • r ( C ) ⩽ r ( B ) r(C)\leqslant{r(B)} r(C)r(B)
    • 综上, r ( C ) ⩽ r ( A ) , 同时 r ( C ) ⩽ r ( B ) r(C)\leqslant{r(A)},同时r(C)\leqslant{r(B)} r(C)r(A),同时r(C)r(B),即 r ( C ) ⩽ m i n ( r ( A ) , r ( B ) ) r(C)\leqslant{min(r(A),r(B))} r(C)min(r(A),r(B))

向量组秩之间的关系

  1. 向量 β \beta β能由向量组A= α 1 , α 2 , ⋯   , α m \alpha_1,\alpha_2,\cdots,\alpha_m α1,α2,,αm线性表示的充要条件是:
    • 矩阵 A = ( α 1 , α 2 , ⋯   , α m ) A=(\alpha_1,\alpha_2,\cdots,\alpha_m) A=(α1,α2,,αm)的秩等于矩阵 B = ( A , β ) = ( α 1 , α 2 , ⋯   , α m , β ) B=(A,\beta)=(\alpha_1,\alpha_2,\cdots,\alpha_m,\beta) B=(A,β)=(α1,α2,,αm,β)的秩.(即 r ( A ) = r ( B ) r(A)=r(B) r(A)=r(B))
      • 因为,线性方程组 A x = β Ax=\beta Ax=β具有非零解的充要条件是 r ( A ) = r ( B ) r(A)=r(B) r(A)=r(B),该方程组有解意味这 β \beta β可以被向量组A线性表出
  2. 向量组 Φ = b 1 , ⋯   , b l \Phi=b_1,\cdots,b_l Φ=b1,,bl能由向量组 Ψ = a 1 , ⋯   , a m \Psi=a_1,\cdots,a_m Ψ=a1,,am线性表出的充要条件是矩阵 A = ( Φ ) A=(\Phi) A=(Φ)的秩等于矩阵 B = ( Ψ ) B=(\Psi) B=(Ψ)的秩,即 r ( A ) = r ( A , B ) r(A)=r(A,B) r(A)=r(A,B)
    • 矩阵A能够被B线性表出,说明 A = B X , 即 B X = A A=BX,即BX=A A=BX,BX=A有解,这等价于 r ( A ) = r ( A , B ) r(A)=r(A,B) r(A)=r(A,B)
      • A , B , X A,B,X A,B,X分块处理后,可分别视为 1 × m , 1 × l , l × m 1\times{m},1\times{l},l\times{m} 1×m,1×l,l×m的矩阵
      • X作为表出系数矩阵
    • 推论:向量组 Φ \Phi Φ Ψ \Psi Ψ等价的充要条件是: r ( A ) = r ( B ) = r ( A , B ) r(A)=r(B)=r(A,B) r(A)=r(B)=r(A,B)
      • 其中 A = ( Φ ) , B = ( Ψ ) A=(\Phi),B=(\Psi) A=(Φ),B=(Ψ)
      • 证明:
        • 由于 Φ , Ψ \Phi,\Psi Φ,Ψ可以相互表出,则 A X 1 = B , B X 2 = A AX_1=B,BX_2=A AX1=B,BX2=A都有解,从而 r ( A ) = r ( A , B ) , r ( B ) = r ( B , A ) r(A)=r(A,B),r(B)=r(B,A) r(A)=r(A,B),r(B)=r(B,A)
        • 又因为 r ( A , B ) = r ( B , A ) r(A,B)=r(B,A) r(A,B)=r(B,A)
        • 从而 r ( A ) = r ( B ) = r ( A , B ) r(A)=r(B)=r(A,B) r(A)=r(B)=r(A,B)
  3. 设向量组B能够由向量组A线性表示,则 r ( B ) ⩽ r ( A ) r(B)\leqslant{r(A)} r(B)r(A)
    • 形象的理解该结论:B能够被其他矩阵(比如A)表示(代替掉),说明B的内涵(秩)不超过A
    • 证明:
      • B = b 1 , ⋯   , b l B=b_1,\cdots,b_l B=b1,,bl, A = a 1 , ⋯   , a m A=a_1,\cdots,a_m A=a1,,am
        • 根据上下文语境,有时A,B指的是矩阵,有时指的是对应的向量组
      • 由于B可以被A表出,则 r ( A ) = r ( B , A ) r(A)=r(B,A) r(A)=r(B,A),(因为方程 A X = B AX=B AX=B有解)
        • 又因为 r ( B ) ⩽ r ( A , B ) r(B)\leqslant{r(A,B)} r(B)r(A,B)(对任意矩阵成立)
        • 所以 r ( B ) ⩽ r ( A , B ) = r ( A ) r(B)\leqslant{r(A,B)=r(A)} r(B)r(A,B)=r(A)
      • r ( B ) ⩽ r ( A ) r(B)\leqslant{r(A)} r(B)r(A)

小结

  • 上述各定理之间的对应,其基础是向量组与矩阵的对应(线性方程组)
  • 向量组B能有向量组A线性表示
    • ⇔ \Leftrightarrow 有矩阵K,使得 B = A K B=AK B=AK
    • ⇔ \Leftrightarrow 方程 A X = B AX=B AX=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)

    • 运用三秩相等的结论
    • 可以用列秩表达 r c ( A + B ) ⩽ r c ( A ) + r c ( B ) r_c(A+B)\leqslant{r_c(A)+r_c(B)} rc(A+B)rc(A)+rc(B)
    • C = A + B C=A+B C=A+B,则C对应的列向量组可以被A,B的列向量组线性表示
    • A , B A,B A,B对应的列向量组分别为 Φ , Ψ \Phi,\Psi Φ,Ψ,各含有n个向量
    • Ω = Φ ∪ Ψ \Omega=\Phi\cup\Psi Ω=ΦΨ,该向量组含有2n个列向量
    • Φ , Ψ \Phi,\Psi Φ,Ψ的极大线性无关组分别记为 Φ 1 , Ψ 1 \Phi_1,\Psi_1 Φ1,Ψ1,它们分别含有 r ( A ) , r ( B ) r(A),r(B) r(A),r(B)个列向量
      • r ( Φ 1 ) = r ( A ) r(\Phi_1)=r(A) r(Φ1)=r(A)
      • r ( Ψ 1 ) = r ( B ) r(\Psi_1)=r(B) r(Ψ1)=r(B)
    • Ω \Omega Ω Ω 1 = Φ 1 ∪ Ψ 1 \Omega_1=\Phi_1\cup\Psi_1 Ω1=Φ1Ψ1等价
      • Ω 1 \Omega_1 Ω1是线性相关的,说明 Ω 1 \Omega_1 Ω1中仍然存在多余的向量(能够被 Ω 1 \Omega_1 Ω1的极大无关组 ξ \xi ξ所表示)
        • 此时 r ( ξ ) < r ( Φ 1 ) + r ( Ψ 1 ) = r ( A ) + r ( B ) r(\xi)<{r(\Phi_1)+r(\Psi_1)=r(A)+r(B)} r(ξ)<r(Φ1)+r(Ψ1)=r(A)+r(B)
      • Ω 1 \Omega_1 Ω1线性无关,则 r ( ξ ) = r ( A ) + r ( B ) r(\xi)=r(A)+r(B) r(ξ)=r(A)+r(B)
      • 综上 r ( ξ ) ⩽ r ( A ) + r ( B ) r(\xi)\leqslant r(A)+r(B) r(ξ)r(A)+r(B)
      • 且C可以被 ξ \xi ξ线性表出( ξ \xi ξ的某个线性组合可以得到C)
    • r ( C ) ⩽ r ( ξ ) ⩽ r ( A ) + r ( B ) r(C)\leqslant{r(\xi)}\leqslant{r(A)+r(B)} r(C)r(ξ)r(A)+r(B)
    • r ( C ) ⩽ r ( A ) + r ( B ) r(C)\leqslant{r(A)+r(B)} r(C)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))

    • 此结论前面已经证明过了

    • 下面是另一个版本

      • C = A B C=AB C=AB,则显然C可以同时由A,B各自线性表出
        • A X 1 = C AX_1=C AX1=C,
          • 方程组的解,即矩阵 X 1 X_1 X1是C关于A的表出系数
          • r ( C ) ⩽ r ( A ) r(C)\leqslant{r(A)} r(C)r(A)
        • 对于 X 2 B = C , 有 B T X 2 T = C T X_2B=C,有B^TX_2^T=C^T X2B=C,BTX2T=CT
          • r ( C T ) ⩽ r ( B T ) r(C^T)\leqslant{r(B^T)} r(CT)r(BT)
            • 转置不改变矩阵的秩
            • r ( C ) ⩽ r ( B ) r(C)\leqslant{r(B)} r(C)r(B)
      • 从而 r ( C ) ⩽ r ( A ) , r ( C ) ⩽ r ( B ) r(C)\leqslant{r(A)},r(C)\leqslant{r(B)} r(C)r(A),r(C)r(B)
      • 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 = ( α 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= b11b21bl1b12b22bl2b1nb2nbln = β1β2βl C=AB=i=1lαiβiC=AB,ci=αiβi,C,ci都为m×n的矩阵C=(i=1lαibi1,i=1lαibi2,,i=1lαibin)cj=i=1lαibij,j=1,2,,n可见C可以由A线性表出r(C)r(A)同理r(C)r(B)r(C)min(r(A),r(B))

你可能感兴趣的:(线性代数,矩阵)