§第四章第四节向量组的秩
一、向量组秩的概念
定义6.设有向量组A,如果在A中存在r个向量α 1 ,α 2 ,⋯,α r ,满足(1)向量组A 0 :α 1 ,α 2 ,⋯,α r 线性无关;(2)向量组A中任意r+1个向量(如果A中有r+1个向量的话)都线性相关,那么向量组A 0 是向量组A的一个极大线性无关组(简称极大无关组);极大无关组所含向量的数r称为向量组A的秩.
1.零向量组的秩为0.
2.一个向量组的极大无关组通常不唯一.
二、向量组秩的有关定理
定理6.矩阵的秩等于它的列向量组的秩,也等于它的行向量组的秩
证:设A=(α 1 ,α 2 ,⋯,α m ),R(A)=r,并设r阶子式D r ≠0.根据定理4和D r ≠0知D r 所在的r列线性无关;又由A中所有r+1阶子式均为零,知A中任意r+1个列向量都线性相关.因此D r 所在的r列是A的列向量组的一个极大无关组,所以列向量组的秩等于r.同理可证矩阵A的行向量组的秩也等于R(A).
由此可见:若D r 是矩阵A的一个最高阶非零子式,则D r 所在的r列即是列向量组的一个极大无关组,D r 所在的r行即是行向量组的一个最大无关组.
注:向量组α 1 ,α 2 ,⋯,α m 的秩也记作R(α 1 ,α 2 ,⋯,α m ).
例如:设向量组α 1 =⎛ ⎝ ⎜ 111 ⎞ ⎠ ⎟ ,α 2 =⎛ ⎝ ⎜ 025 ⎞ ⎠ ⎟ ,α 3 =⎛ ⎝ ⎜ 247 ⎞ ⎠ ⎟ ,把向量组拼成矩阵,即:(α 1 ,α 2 ,α 3 )=⎛ ⎝ ⎜ 111 025 247 ⎞ ⎠ ⎟ 显然R(α 1 ,α 2 )=2,知α 1 ,α 2 线性无关;由R(α 1 ,α 2 ,α 3 )=2知α 1 ,α 2 ,α 3 线性相关.因此α 1 ,α 2 是向量组α 1 ,α 2 ,α 3 的一个极大无关组.
此外,R(α 1 ,α 3 )=2及R(α 2 ,α 3 )=2可知α 1 ,α 3 和α 2 ,α 3 都是向量组α 1 ,α 2 ,α 3 的一个极大无关组.
性质1.向量组是线性无关的充分必要条件是向量组的秩数等于向量组中向量的个数.
性质2.向量组与其极大无关组等价.
证:设向量组A 0 :α 1 ,α 2 ,⋯,α r 是A的极大无关组,则A 0 是A的部分组,故A 0 总能由A线性表示;由极大无关组的定义知,对于A中任意向量α,r+1个向量α 1 ,α 2 ,⋯,α r ,α线性相关,而α 1 ,α 2 ,⋯,α r 线性无关,由定理2知α能由α 1 ,α 2 ,⋯,α r 线性表示,即向量组A能由A 0 线性表示.所以向量组A与A 0 等价.
例1.全体n维向量组构成的向量组记作R n ,求R n 的一个最大无关组和R n 的秩.
解:我们已经证明了n维单位坐标向量组构成的向量组E:e 1 ,e 2 ,⋯,e n 是线性无关的,而任意n+1个n维向量都线性相关,因此向量组E是R n 的一个极大无关组,且R n 的秩等于n.显然,任何n个线性无关的n维向量都是R n 的极大无关组,故R n 的极大无关组有无穷多个.
例2.设矩阵A=⎛ ⎝ ⎜ ⎜ ⎜ 2143 −11−66 −1−22−9 11−27 2449 ⎞ ⎠ ⎟ ⎟ ⎟ ,求矩阵A的列向量组的一个极大无关组,并把不是极大无关组的列向量用极大无关组线性表示.
解:对A作初等行变换,使之变成行阶梯矩阵A=⎛ ⎝ ⎜ ⎜ ⎜ 2143 −11−66 −1−22−9 11−27 2449 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1223 1−1−36 −2−11−9 11−17 4229 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 1−3−53 −235−3 1−1−34 4−6−6−3 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 16−53 −2−65−3 12−34 412−6−3 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 11−53 −2−15−3 1−1−34 46−6−3 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 1100 −2−100 1−1−87 4624−21 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 1100 −2−100 1110 40−30 ⎞ ⎠ ⎟ ⎟ ⎟ 显然R(A)=3,故列向量组的极大无关组含3个列向量.而三个非零行的非零首元在1、2、4三列,故α 1 、α 2 、α 4 为列向量组的一个极大无关组。这是因为:(α 1 、α 2 、α 4 )=⎛ ⎝ ⎜ ⎜ ⎜ 1000 1100 1110 ⎞ ⎠ ⎟ ⎟ ⎟ ,知R(α 1 、α 2 、α 4 )=3,故α 1 、α 2 、α 4 线性无关.为把α 3 、α 5 用α 1 、α 2 、α 4 线性表示,把A再变成最简形矩阵A∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 −1−100 0010 43−30 ⎞ ⎠ ⎟ ⎟ ⎟ 即得:α 3 =−α 1 −α 2 α 5 =4α 1 +3α 2 −3α 4
定理7.设向量组B能由向量组A线性表示,则向量组B的秩不大于向量组A的秩.
证:设向量组B和A的一个极大无关组分别为B 0 :b 1 ,b 2 ,⋯,b r ,A 0 :α 1 ,α 2 ,⋯,α s ,要证:r≤s.因B 0 组能由B组线性表示,B组能由A组线性表示,A组能由A 0 组线性表示,故B 0 组能由A 0 组线性表示,即:(b 1 ,b 2 ,⋯,b r )=(α 1 ,α 2 ,⋯,α s )⎛ ⎝ ⎜ ⎜ k 11 ⋮k s1 ⋯⋱⋯ k 1r ⋮k sr ⎞ ⎠ ⎟ ⎟ ,如果r>s,则方程组K sr ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ x 1 x 2 ⋮x r ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ =0(Kx=0)有非零解,从而方程组(α 1 ,α 2 ,⋯,α s )Kx=0有非零解,即(b 1 ,b 2 ,⋯,b r )x=0有非零解,这与B 0 组线性无关矛盾,因此r>s不能成立,故r≤s.
推论1.等价的向量组的秩相等.
证:设向量组A与向量组B的秩分别为s和r,因为两个向量组等价,即两个向量组能相互线性表示,故s≤r,r≤s同时成立,所以s=r.
推论2.设C m×n =A m×s B s×n ,则R(C)≤min{R(A),R(B)}.
证:将矩阵C和A用其列向量表示为C=(c 1 ,c 2 ,⋯,c n ),A=(α 1 ,α 2 ,⋯,α s ),B=(b ij ),由(c 1 ,c 2 ,⋯,c n )=(α 1 ,α 2 ,⋯,α s )⎛ ⎝ ⎜ ⎜ b 11 ⋮b s1 ⋯⋯ b 1n ⋮b sn ⎞ ⎠ ⎟ ⎟ ,知矩阵C的列向量能由A的列向量组线性表示,因此R(C)≤R(A).因C T =B T A T ,同理可证R(C T )≤R(B T ).即R(C)≤R(B)故R(C)≤min{R(A),R(B)}.
注:定理7与推论2是同一个原理的两种表现形式,定理7是以向量的形式表现的,而推论2则是以矩阵的形式表现的.
推论3.设向量组B是向量组A的部分组,若向量组B线性无关,且向量组A能由向量组B线性表示,则向量组B是向量组A的一个极大无关组.
证:设向量组B含r个向量,则R(B)=r,因A组能由B线性表示,故R(A)≤r,从而A组中任意r+1个向量线性相关.所以向量组B满足极大无关组的条件,故向量组B是向量组A的一个极大无关组.
例3.设向量组B能由向量组A线性表示,且它们的秩相等,证明:向量组A与向量组B等价.
证:设向量组A、B的秩均为r,并设A组与B组的极大无关组分别为:A 0 :α 1 ,α 2 ,⋯,α r B 0 :b 1 ,b 2 ,⋯,b r 因B组能由A组线性表示,故B 0 组也能由A 0 组线性表示,即有r阶方阵K r 使(b 1 ,b 2 ,⋯,b r )=(α 1 ,α 2 ,⋯,α r )K r 因为B 0 组线性无关,故R(b 1 ,b 2 ,⋯,b r )=r由推论2,有R(K r )≥R(b 1 ,b 2 ,⋯,b r )=r.但R(K r )≤r,因此R(K r )=r于是矩阵K r 可逆,并有(α 1 ,α 2 ,⋯,α r )=(b 1 ,b 2 ,⋯,b r )K −1 r 即A 0 能由B 0 线性表示,从而A组能由B组线性表示.向量组A与向量组B等价.
例4.已知(α 1 ,α 2 )=⎛ ⎝ ⎜ ⎜ ⎜ 20−13 3−21−1 ⎞ ⎠ ⎟ ⎟ ⎟ ,(β 1 ,β 2 )=⎛ ⎝ ⎜ ⎜ ⎜ −56−59 4−43−5 ⎞ ⎠ ⎟ ⎟ ⎟ ,证明向量组α 1 ,α 2 与β 1 ,β 2 等价.
证.要证存在2阶方阵X、Y,使(β 1 ,β 2 )=(α 1 ,α 2 )X,(α 1 ,α 2 )=(β 1 ,β 2 )Y,先求X,对增广矩阵(α 1 ,α 2 ,β 1 ,β 2 )施以初等行变换变为行最简形矩阵:(α 1 ,α 2 ,β 1 ,β 2 )=⎛ ⎝ ⎜ ⎜ ⎜ 20−13 3−21−1 −56−59 4−43−5 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ −1000 1−252 −56−15−6 3−4104 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ −1000 1100 −5−300 3200 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 2−300 −1200 ⎞ ⎠ ⎟ ⎟ ⎟ 即得X=(2−3 −12 )因|X|=1≠0,知X可逆,取Y=X −1 ,即合要求.因此向量组α 1 ,α 2 与β 1 ,β 2 等价