两个向量组等价课件

第11讲向量组的极大无关组

主要内容：1.两个向量组等价2.向量组的极大无关组第11讲向量组的极大无关组主要内容：13.3向量组的极大无关组

3.3.1两个向量组等价Def3.7设A和B是两个向量组，若向量组B中的每个向量可由向量组A线性表示，则称向量组B可由向量组A线性表示(BlinearlyexpressedbyA).若向量组A与向量组B可相互表示，则称向量组A与向量组B等价(equivalentVectorsets).3.3向量组的极大无关组3.3.1两个向量组等价2设向量组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).

设向量组A:1,2,…,m,向量组B:13对于矩阵方程AX=B，例如它有解的充要条件就是向量组B可由向量组A线性表示，即R(A)=R(A,B).该结论推广了第1章定理1.1:

Ax=b有解的充要条件是R(A)=R(A,b).对于矩阵方程AX=B，例如4根据上述定理知，向量组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).根据上述定理知，向量组A可由向量组B线性表示的充要条件是R(5例3.9设向量组A证明：向量组B可由向量组A线性表示.例3.9设向量组A6ProofR(A)=R(A,B)=2.Proof7因为定理3.2的结论不容易记住，主要是R(A)=R(A,B)和R(B)=R(A,B)容易混淆.可直接根据定义验证向量组B的三个向量是否可由向量组A线性表示.例3.10下列两个向量组等价:因为定理3.2的结论不容易记住，主要是R(A)=R(A,8Proof显然向量组i,j,k可由向量组R3线性表示.R2?Proof9对于下列向量组A和B,由于

3=-2

1+

2,所以向量组A与向量组B等价.线性方程组对于下列向量组A和B,由于3=-21+2,所10的增广矩阵的三个行向量分别为

1,

2,

3

.由于将第1个方程两边乘以-2加到第2个方程，就得到第3个方程，即

3=-2

1+

2,因此上述线性方程组与线性方程组同解.所以，两个线性方程组同解又称为这两个线性方程组等价，是指增广矩阵的行向量组等价，这也是考虑向量组等价的一个原因.的增广矩阵的三个行向量分别为1,2,3.由于将11向量组之间的等价关系具有以下3条性质，其证明是显然的.(1)自反性任意向量组A与A本身等价.(2)对称性若向量组A与向量组B等价，则向量组B与向量组A等价.(3)传递性若向量组A与向量组B等价且向量组B与向量组C等价，则向量组A与向量组C等价.向量组之间的等价关系具有以下3条性质，其证明是显然的.123.3.2向量组的极大无关组1.向量组的极大无关组的定义在一个向量组中，总希望在其中找出一个所含向量个数最多的线性无关的向量组.例如在向量组3.3.2向量组的极大无关组13Def3.8给定向量组A，若存在部分组B，满足(1)向量组B线性无关.(2)任意真包含B的部分组均线性相关.则称B是A的极大线性无关组，简称极大无关组(maximalsubsetwithlinearindependence).只有零向量的向量组不存在极大无关组.换句话说，含有非零向量的向量组均存在极大无关组.Def3.8给定向量组A，若存在部分组B，满足14下述定理在进一步的讨论中至关重要.Theorem3.3设向量组

1,

2,…,

n线性无关，向量组

1,

2,…,

n,

线性相关，则

可由向量组

1,

2,…,

n线性表示且表示形式是唯一的.Proof由于向量组

1,

2,…,

n,

线性相关,则存在一组不全为0的数k1,k2,…,kn,k,使得

k=0?下述定理在进一步的讨论中至关重要.15

k

0:假设k0:16例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.11设向量组1,2,3线性相关，向量组217向量组与其极大无关组是等价的.由于向量组之间的等价关系满足自反性、对称性和传递性，根据定理3.4知，等价向量组A和B的极大无关组也是等价的.特别地，同一个向量组A的两个极大无关组也是等价的.向量组与其极大无关组是等价的.182.向量组的秩下面将证明等价向量组的极大无关组所含的向量个数相同，先证明Theorem3.4设向量组

1,

2,…,

r线性无关且可由向量组

1,

2,…,

s线性表示，则r≤s.Proof假设r>s.根据已知条件有2.向量组的秩19若k1

1+k2

2+…+kr

r=0.r>s:有非零解,C!

若k11+k22+…+krr=0.20Corollary1若向量组

1,

2,…,

r可由向量组

1,

2,…,

s线性表示，且r>s,则

1,

2,…,

r必线性相关.Corollary2等价向量组的极大无关组所含的向量个数相同.Proof设向量组A和B等价,

1,

2,…,

r和

1,

2,…,

s分别是A和B的极大无关组，则

1,

2,…,

r和

1,

2,…,

s等价.

Corollary1若向量组1,2,…,r可由21例3.12证明：任意m+1个m维向量必线性相关.Proof

由于m个m维标准单位向量线性无关:任意m+1个m维向量构成的向量组

1,

2,…,

m,

m+1可由它们线性表示，故之.例3.12证明：任意m+1个m维向量必线性相关.22根据推论2知，向量组A的两个极大无关组所含的向量个数是相同的.正因为这样，将向量组A的极大无关组所含的向量个数称为向量组A的秩(rankofthevectorsetA).只有零向量的向量组不存在极大无关组，其所含向量个数为0，这时它的秩为0.显然，任意两个等价的向量组有相同的秩.下面证明根据推论2知，向量组A的两个极大无关组所含的向量个数是相同的23Theorem3.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.Theorem3.6向量组A的秩等于由它们作为列向量所构24Corollary设向量组A的秩为r，若A存在r个线性无关的向量

1,

2,…,

r,则

1,

2,…,

r是A的极大无关组.Proof任取

A,因为

1,

2,…,

r,

的的秩为r，所以

1,

2,…,

r,

线性相关,进而

1,

2,…,

r是A的极大无关组.

Corollary设向量组A的秩为r，若A存在r个线性无关253.向量组的极大无关组的计算下面结合例子给出利用矩阵的初等行变换求一个向量组的极大无关组的方法.例3.13求下列向量组的极大无关组，并将其余向量用极大无关组线性表示出来.3.向量组的极大无关组的计算26分析将所给向量组中的向量作为列向量构成矩阵假定存在一组常数使得k1,k2,k3,k4,k5使得k1

1+k2

2+k3

3+k4

4+k5

5=0:

分析将所给向量组中的向量作为列向量构成矩阵27对A实施矩阵的初等行变换相当于对向量组

1,

2,

3,

4,

5相应的分量作变换，于是得到的列向量组

1,

2,

3,

4,

5满足k1

1+k2

2+k3

3+k4

4+k5

5=0.关键是其中的k1,k2,k3,k4,k5是保持不变的.例如，交换矩阵A的第1行和第2行，下等式仍成立两个向量组等价ppt课件28实施矩阵的另外两种初等行变换仍然如此.于是，若

1,

2,

3,

4,

5线性相关