首页 理论教育向量线性相关-《高等代数》

向量线性相关-《高等代数》

【摘要】:在线性空间中,向量的加法与数乘运算统称为向量的线性运算.本节研究向量在线性运算之下的关系,也就是通常所说的向量的线性相关性.定义4.2 若α1,α2,…,s.因此表示方法是唯一的.证毕.推论4.1 零向量由一个线性无关向量组线性表示的方法是唯一的.定义4.4 设向量组A:α1,α2,…

线性空间中,向量的加法与数乘运算统称为向量的线性运算.本节研究向量在线性运算之下的关系,也就是通常所说的向量的线性相关性.

定义4.2α1α2,…,αs是数域F上的线性空间V中的一组向量,k1k2,…,ks是数域F中的一组数,则形如

的向量,称为向量α1α2,…,αs的线性组合.系数k1k2,…,ks称为这个线性组合的组合系数.

对向量β,若存在一组数l1l2,…,lsF,使得

则称向量β可由向量组α1α2…,αs线性表示.

例4.10 零向量可由任意向量组线性表示,所有组合系数都是0即可.

例4.11 若向量

则显然有γ1=3α+2β,即γ1αβ的线性组合.但是,γ2就不是αβ的线性组合.这是因为如若不然的话,则必然存在实数kl,使得

γ2=+

简单分析知道这个方程组无解,也就是说,γ2不是αβ的线性组合.

定义4.3α1α2,…,αs是数域F上的线性空间V中的一组向量,如果存在一组不全为零的数k1k2,…,ksF使得

则称向量组α1α2,…,αs是线性相关的.否则,称为线性无关的,即如果有线性组合

则必可推出全部系数

k1=k2=…=ks=0.

例4.12 向量组0,α1α2,…,αs是线性相关的,即含有零向量的向量组一定线性相关.

例4.13 对只由一个向量α组成的向量组来说,若α=0,则是线性相关的;否则,是线性无关的.

例4.14 在三维空间R3中,向量组

是线性无关的.任何一个三维向量α=(a1a2a3T都可写成向量组e1e2e3的线性组合

α=a1e1+a2e2+a3e3.

定理4.1α1α2,…,αss≥2,是数域F上的线性空间V中的一组向量,则α1α2,…,αs线性相关的充分必要条件是其中存在某一向量αi,1≤is,可由其余向量α1,…,αi-1αi+1,…,αs线性表示.

证明:必要性.由于α1α2,…,αs是线性相关的,所以存在一组不全为零的数k1k2,…,ksF使得

不妨设系数k1≠0,则有

必要性成立.

充分性.如果向量αi可以由其余向量线性表示,即

αi=l1α1+…+li-1αi-1+li+1αi+1+…+lsαs

则显然有

l1α1+…+li-1αi-1+(-αi)+li+1αi+1+…+lsαs=0,

α1α2,…,αs线性相关.证毕.

定理4.2 在数域F上的线性空间V中,若向量组α1α2,…,αs是线性无关的,但是添加向量β之后得到的向量组βα1α2,…,αs是线性相关的,则向量β可由向量组α1α2,…,αs线性表示,并且表示方法是唯一的.

证明:由于向量组βα1α2,…,αs是线性相关的,所以存在一组不全为零的数kk1k2,…,ksF使得

k=0,那么就有

由向量组α1α2,…,αs线性无关,可以得到

k1=k2=…=ks=0,

数组kk1k2,…,ksF不全为零矛盾,因此k≠0.从而有

下面证明表示方法的唯一性.若有两组数域F中的数m1m2,…,msFl1l2,…,lsF,使得

同时成立,那么必然有

α1α2,…,αs是线性无关向量组,由定义4.3得到mi-li=0,即mi=lii=1,2,…,s.因此表示方法是唯一的.证毕.

推论4.1 零向量由一个线性无关向量组线性表示的方法是唯一的.

定义4.4 设向量组

Aα1α2,…,αs

Bβ1β2,…,βt

是线性空间V中的两组向量.如果向量组A中的任意一个向量皆可由向量组B线性表示,则称向量组A可由向量组B线性表示.如果向量组AB可以互相线性表示,则称这两个向量组是等价向量组.

命题4.6 如果向量组A可由向量组B线性表示,向量组B可由向量组C线性表示,则向量组A可由向量组C线性表示.

命题4.7 如果向量组AB等价,BC等价,则向量组AC等价.

证明留作习题.

定理4.3(Steinitz替换定理) 如果向量组

Aα1α2,…,αs

是线性无关向量组,并且可由向量组

Bβ1β2,…,βt

线性表示,则有st,并且在向量组B中存在s个向量,全部以A中的向量替换后,所得新向量组和B等价.

证明:对向量组A所含的向量个数s用归纳法.

s=1时,由条件知道

其中kj(1≤jt)中至少有一个不是零.不失一般性地,不妨设k1≠0,则易见向量组

α1β2,…,βt

β1β2,…,βt

可以互相线性表示,因此彼此等价.命题成立.(www.chuimin.cn)

假设当向量组A含有s个向量时,命题成立.那么当向量组A为含有s+1个向量

α1α2,…,αs+1

的线性无关向量组时,其部分向量组α1α2,…,αs一定线性无关,且可以用向量组B线性表示.由归纳假设,知道st,且B中有s个向量,以α1α2,…,αs替换后,所得新向量组和B等价.不妨设这s个被替换掉的向量是β1β2,…,βs,则向量组

Cα1,…,αsβs+1,…,βt

B等价.这时由条件知道αs+1能用向量组B线性表示,因此也能用向量组C线性表示,即

由于向量组A线性无关,所以kjs+1≤jt)不能全都是零.不妨设ks+1≠0,则此时易见向量组

α1,…,αsαs+1βs+2,…,βt

α1,…,αsβs+1βs+2,…,βt

等价.因此,也和向量组B等价,此时显然有s+1≤t.证毕.

推论4.2 如果向量组

α1α2,…,αs

可由向量组

β1β2,…,βt

线性表示,且s>t,则向量组α1α2,…,αs一定是线性相关的.

一个含有非零向量α的向量组A,一定可以从中选出部分向量组成线性无关向量组.例如,向量组{α},这样的向量组称为向量组A的线性无关组.如果向量组α1α2,…,αrA的线性无关组,并且把A中任何一个向量添入这个向量组中,都成为线性相关的向量组,则这个向量组称为A的极大线性无关向量组.

对于一个向量组来说,极大线性无关向量组总是存在的,除非它只含有零向量.

定理4.4 向量组A的线性无关组BA的极大线性无关组的充分必要条件是A中任何向量都可以用向量组B线性表示.

证明留作习题.

例4.15 设向量组

它们之间显然的线性关系是2α+β-γ=0,并且任意两个都线性无关.因此,我们可以知道这三个向量中任意两个都可以构成一个极大线性无关组.

例4.15表明对于一个向量组来说,极大线性无关组不一定是唯一确定的.但是,关于极大线性无关组我们有如下定理.

定理4.5 向量组A的极大线性无关组所含向量的个数是唯一确定的.

证明:设向量组A有两个极大线性无关组A1A2,分别含有kl个向量.由极大线性无关组的定义有AA1等价,AA2也等价.由命题4.7可知,A1A2等价.由替换定理可见kllk,所以k=l,即向量组A的极大线性无关组所含向量的个数是唯一确定的.证毕.

定理4.5中出现的这个唯一确定的数称为向量组A的秩,记作rankA.如果A中所有向量都是零向量,则规定其秩是零.

推论4.3 如果向量组AB等价,则rankA=rankB.

推论4.4 如果向量组A可由B线性表示,则rankA≤rankB.

例4.16 若向量组

Aα1α2,…,αs

Bβ1β2,…,βt

合并之后所得向量组记为A+B,则有

rank(A+B)≤rankA+rankB.

证明:AB的秩分别为r1r2,不妨设它们的极大线性无关组分别为

α1α2,…,αr1β1β2,…,βr2.

显见,AB都可以由向量组

Cα1,…,αr1β1,…,βr2

线性表示,所以A+B可由C线性表示,因此,

rank(A+B)≤rankCr1+r2=rankA+rankB.

证毕.

习题

4.2.1. 在习题4.1.2定义的线性空间C0中,记

证明:

(1)AB是线性无关的;

(2)C0中任何矩阵都是AB的线性组合;

(3)C0中任何矩阵写成AB的线性组合的方式是唯一的.

4.2.2. 在线性空间M2R)中,证明:E11E12E21E22是线性无关的,且M2R)中任何一个矩阵都可以唯一地写成这四个矩阵的线性组合的形式.

4.2.3. 证明命题4.6及命题4.7.

4.2.4. 证明推论4.2.

4.2.5. 在线性空间R3中,找出向量组

α1=(1,2,1),α2=(-1,1,0),α3=(-2,-1,-1)

的一个极大线性无关向量组.

4.2.6. 在线性空间R3中,向量组α1=(1,2,3),α2=(4,5,6).

(1)证明:向量组α1α2是线性无关的;

(2)给出一个向量α3,使得α1α2α3仍旧线性无关.

4.2.7. 如果两个向量组有相同的秩,且其中一组可由另一组线性表示,则它们一定是等价的.

4.2.8. 若向量组α1α2,…,αs线性相关,且α10,则存在αk使其可由α1α2,…,αk-1线性表示.