第11讲向量组的极大无关组主要内容:1.两个向量组等价2.向量组的极大无关组3.3向量组的极大无关组3.3.1两个向量组等价Def3.7设A和B是两个向量组,若向量组B中的每个向量可由向量组A线性表示,则称向量组B可由向量组A线性表示(BlinearlyexpressedbyA).若向量组A与向量组B可相互表示,则称向量组A与向量组B等价(equivalentVectorsets).设向量组A:1,2,…,m,向量组B:1,2,…,n.若向量组B可由向量组A线性表示,则下列每个线性方程组都有解,利用上面的等式对(A,B)进行矩阵的初等列变换可以将其化成(A,O),进而有R(A)=R(A,B).反过来,若R(A)=R(A,B),则向量组B可由向量组A线性表示.Theorem3.2向量组B可由向量组A线性表示的充要条件是R(A)=R(A,B)..,...,2,1,2211nlkkkmmllllαααβ对于矩阵方程AX=B,例如它有解的充要条件就是向量组B可由向量组A线性表示,即R(A)=R(A,B).该结论推广了第1章定理1.1:Ax=b有解的充要条件是R(A)=R(A,b).132231113122120323122211211xxxxxx根据上述定理知,向量组A可由向量组B线性表示的充要条件是R(A)=R(B,A).=R(A,B).于是有Corollary1向量组A与向量组B等价的充要条件是R(A)=R(B)=R(A,B).若R(B)=R(A,B),因为R(A)≤R(A,B),所以有Corollary2若向量组A可由向量组B线性表示,则R(A)≤R(B).例3.9设向量组A证明:向量组B可由向量组A线性表示.3113,1111:21ααA3120,1102,2011:321βββBProofR(A)=R(A,B)=2.31231110112011102131),(BA00000000001112002131row因为定理3.2的结论不容易记住,主要是R(A)=R(A,B)和R(B)=R(A,B)容易混淆.可直接根据定义验证向量组B的三个向量是否可由向量组A线性表示.例3.10下列两个向量组等价:RRzyxzyx,,3100,010,001kjiProof显然向量组i,j,k可由向量组R3线性表示.R2?kjizyxzyxzyx100010001.10,01ji对于下列向量组A和B,由于3=-21+2,所以向量组A与向量组B等价.线性方程组2,2,1,0,4,4,3,2,1,1,2,1:321αααA.4,4,3,2,1,1,2,1:21ααB2244321232321321xxxxxxxx的增广矩阵的三个行向量分别为1,2,3.由于将第1个方程两边乘以-2加到第2个方程,就得到第3个方程,即3=-21+2,因此上述线性方程组与线性方程组同解.所以,两个线性方程组同解又称为这两个线性方程组等价,是指增广矩阵的行向量组等价,这也是考虑向量组等价的一个原因.443212321321xxxxxx向量组之间的等价关系具有以下3条性质,其证明是显然的.(1)自反性任意向量组A与A本身等价.(2)对称性若向量组A与向量组B等价,则向量组B与向量组A等价.(3)传递性若向量组A与向量组B等价且向量组B与向量组C等价,则向量组A与向量组C等价.3.3.2向量组的极大无关组1.向量组的极大无关组的定义在一个向量组中,总希望在其中找出一个所含向量个数最多的线性无关的向量组.例如在向量组321,432,111321ααα?,21αα?,31αα?,32ααDef3.8给定向量组A,若存在部分组B,满足(1)向量组B线性无关.(2)任意真包含B的部分组均线性相关.则称B是A的极大线性无关组,简称极大无关组(maximalsubsetwithlinearindependence).只有零向量的向量组不存在极大无关组.换句话说,含有非零向量的向量组均存在极大无关组.下述定理在进一步的讨论中至关重要.Theorem3.3设向量组1,2,…,n线性无关,向量组1,2,…,n,线性相关,则可由向量组1,2,…,n线性表示且表示形式是唯一的.Proof由于向量组1,2,…,n,线性相关,则存在一组不全为0的数k1,k2,…,kn,k,使得k=0?Oβαααkkkknn2211Oαααnnkkk2211k0:假设nnkkkkkkαααβ2211nnαααβ2211nnαααβ2211nnnnαααααα22112211Oαααnnn)()()(222111.,,,2211nn例3.11设向量组1,2,3线性相关,向量组2,3,4线性无关,证明(1)1可由2,3线性表示.(2)4不能由1,2,3线性表示.Proof(1)由于向量组2,3,4线性无关,于是2,3线性无关.又因为1,2,3线性相关,根据定理3.2知,1可由2,3线性表示.(2)(反证法)如果4能由1,2,3线性表示,再根据(1)得4能由2,3线性表示.根据定理3.1知,2,3,4线性相关.C!向量组与其极大无关组是等价的.由于向量组之间的等价关系满足自反性、对称性和传递性,根据定理3.4知,等价向量组A和B的极大无关组也是等价的.特别地,同一个向量组A的两个极大无关组也是等价的.2.向量组的秩下面将证明等价向量组的极大无关组所含的向量个数相同,先证明Theorem3.4设向量组1,2,…,r线性无关且可由向量组1,2,…,s线性表示,则r≤s.Proof假设rs.根据已知条件有ssrrrrsssslllllllllβββαβββαβββα22112222112212211111若k11+k22+…+krr=0.rs:有非零解,C!000221122221211212111rsrssrrrrklklklklklklklklklCorollary1若向量组1,2,…,r可由向量组1,2,…,s线性表示,且rs,则1,2,…,r必线性相关.Corollary2等价向量组的极大无关组所含的向量个数相同.Proof设向量组A和B等价,1,2,…,r和1,2,…,s分别是A和B的极大无关组,则1,2,…,r和1,2,…,s等价..,srrssr例3.12证明:任意m+1个m维向量必线性相关.Proof由于m个m维标准单位向量线性无关:任意m+1个m维向量构成的向量组1,2,…,m,m+1可由它们线性表示,故之.100,,010,00121mεεε根据推论2知,向量组A的两个极大无关组所含的向量个数是相同的.正因为这样,将向量组A的极大无关组所含的向量个数称为向量组A的秩(rankofthevectorsetA).只有零向量的向量组不存在极大无关组,其所含向量个数为0,这时它的秩为0.显然,任意两个等价的向量组有相同的秩.下面证明Theorem3.6向量组A的秩等于由它们作为列向量所构成的矩阵A的秩.Proof设矩阵A的秩为r,则矩阵A存在一个不为0的r阶子式.因为其所在的r个列构成的矩阵(1,2,…,r)的秩亦为r,根据命题3.2知线性无关.任取包含1,2,…,r,的r+1个向量,由于矩阵的秩为r,由命题3.1知它们线性相关,因此1,2,…,r是向量组A的极大无关组,故向量组A的秩为r.Corollary设向量组A的秩为r,若A存在r个线性无关的向量1,2,…,r,则1,2,…,r是A的极大无关组.Proof任取A,因为1,2,…,r,的的秩为r,所以1,2,…,r,线性相关,进而1,2,…,r是A的极大无关组.3.向量组的极大无关组的计算下面结合例子给出利用矩阵的初等行变换求一个向量组的极大无关组的方法.例3.13求下列向量组的极大无关组,并将其余向量用极大无关组线性表示出来.1258,4721,3001,3625,031254321ααααα分析将所给向量组中的向量作为列向量构成矩阵假定存在一组常数使得k1,k2,k3,k4,k5使得k11+k22+k33+k44+k55=0:12584721300136250312A对A实施矩阵的初等行变换相当于对向量组1,2,3,4,5相应的分量作变换,于是得到的列向量组1,2,3,4,5满足k11+k22+k33+k44+k55=0.关键是其中的k1,k2,k3,k4,k5是保持不变的.例如,交换矩阵A的第1行和第2行,下等式仍成立00001258472130013625031254321kkkkk实施矩阵的另外两种初等行变换仍然如此.于是,若1,2,3,4,5线性相关,则1,2,3,4,5线性相关.反之亦然.00001285471230103652032154321kkkkk上面的结论对于向量组A的部分组也是成立的.通过以上的分析知,矩阵的初等行变换不改变(列)向量组及其部分组的线性相关性.可以结合下列例3.13之求解过程的每一步进行逐一分析,以加深对该方法正确性的理解.SolutionofExample3.1312584721300136250312A01110100001200100001row这时,令0111,0100,0012,0010,000154321βββββ.,23215213βββββββ.,23215213ααααααα