n元齐次线性方程组的解集.docxVIP

n元齐次线性方程组的解集 当nx。0解集w是roni的两个线性方程ax时，它是n的一个子空间。0是nx非齐线性方程ax=的一个特殊解，其解集w=0=w={s0=sw}，而不是非营利组织的解决方案。为了表示非齐次线性方程的解决方案，文献中引入了两个子空间。 定义1设V是数域P上的线性空间,W是V的子空间,α0∈V,把 W′=α0+W={α0+α|α∈W} 叫做V的次子空间,W叫做W′的导出子空间. 在定义1下,n元非齐次线性方程组AX=β的非空解集W′的Rn的次子空间,其导出组AX=0的解集W是它的导出子空间. 为了叙述方便,把不是子空间的次子空间叫做真次子空间. 定理1设W′=α0+W是V的次子空间,W是W′的导出子空间,那么 1)W′是子空间当且仅当α0∈W. 2)W′是真次子空间当且仅当W∩W′=?. 证明1) 如果α0∈W, 那么α0+W=W是子空间. 如果α0?W, 那么-α0?W,从而0=α0+(-α0)?W′,所以W′不是子空间. 2) 如果W∩W′=?, 由于α0∈W′, 从而α0?W,所以W′是真次子空间. 反过来,如果W∩W′非空,取α∈W∩W′,可设α=α0+β(β∈W),于是α0=α-β∈W,所以W′是子空间. 由于当α0∈W时,α0+W=W,所以子空间必是次子空间,但当α0?W时,W′=α0+W是真次子空间,所以次子空间未必是子空间. 文献还给出了次子空间的另一等价定义. 定义2设V是数域P上的线性空间,W′是V的非空子集,如果对任意α,β∈W′,和任意a∈P,有 aα+(1-a)β∈W′ 称W′是V的次子空间.任取α0∈W′,容易验证 -α0+W′={-α0+α′|α′∈W′} 是V的子空间,称之为W′的导出子空间. 文献的主要结论有: 结论1设W′是V的次子空间,α0,β0是W′中任意两个向量,则 -α0+W′=-β0+W′ 这说明一个次子空间W′的导出子空间由W′唯一决定,与α0的选取无关. 结论2W′是V的次子空间当且仅当存在V的子空间W和α0∈V,使得W′=α0+W. 这说明定义1与定义2完全等价,从而?α0∈W′, 都有W′=α0+W. 2 次子空间的基和维数 为了用次子空间研究线性方程组解的结构,我们引入 定义3设W′是V的次子空间,把W′中的向量组α′1,α′2…,α′t称做W′的基,如果 1)α′1,α′2…,α′t线性无关. 2)W′中的每个向量都可由α′1,α′2…,α′t线性表示. 显然W′的不同基所含向量个数相同,称之为W′的维数,记为dimW′. 例如,文献给出的非齐次线性方程组的基础解系就等价于解集的基. 设γ0是非齐次线性方程组AX=β的一个特解,η1,η2,…ηn-r是其导出组的基础解系,令 γi=γ0+ηi,i=1,2,…,n-r 容易验证γ0,γ1,…γn-r是AX=β的解集W′的基,从而dimW′=n-r+1. 一般有 定理2设W′是V的真次子空间,α1,α2,…,αt是其导出子空间W的基. ?α0∈W′, 令 αi′=α0+αi,i=1,2,…,t 那么α0,α′1,…,α′t是W′的基. 证明由于W′=α0+W, 所以α′1…,α′t∈W′. 设x0α0+x1α′1+…+xtα′t=0,那么 (x0+x1+…+xt)α0+x1α1+…+xtαt=0 ① 假设x0+x1…+xt≠0,那么α0可由α1,…,αt线性表示,从而α0∈W,与定理1矛盾.所以必有 x0+x1+…+xt=0 ② ②代入①得x1α1+x2α2+…+xtαt=0, 但α1,α2,…,αt线性无关,从而有x1=x2=…xt=0,代入②得x0=0,所以α0,α′1, …,α′t线性无关. ?α′∈W′,可设α′=α0+k1α1+…+ktαt,但αi=α′t-α0(i=1,…,t),故得 α′=(1-k1-…-kt)α0+k1α′+…ka′t 从而α0,α′1,…,α′t是W′的基. 定理2说明,在有限维线性空间V中,次子空间W′的基一定存在,从而次子空间也是有限维. 设W是W′的导出子空间,如果W′也是子空间,那么dimW′=dimW. 如果W′是真次子空间,那么dimW′=1+dimW′. 定理3设W′是V的真次子空间,W是W′的导出子空间. 给定W′的基α0,α′1, …,α′t,令 αi=αi′-α0,i=1,2,…,t 那么α1,α2,…,αt是W的基. 证明由定理2知dimW=dimW′-1=t, 且αi=-α0+α′i∈-α0+W′=W,只须证明α1,α2,…αt线性无关. 设x1α1+x2α2+…+xtαt=0,即得 -(x1+x2+…+xt)α0+k1α′1+k2α′2+…+ktα′t=0 但α0,α′i, …,α′t线性无关,故x1=x2=…xt=0, 从而