线性方程组的解的结构

-1-第四章线性方程组的解的结构§4.4线性方程组在几何中的应用§4.3非齐次线性方程组解的结构§4.2齐次线性方程组解的结构§4.1线性方程组解的存在性定理-2-在前面的章节学习中，我们已经研究了线性方程组的求解问题，本章将在整理前面知识点的同时，深入研究解的性质和解的结构。-3-§4.1线性方程组解的存在性定理1、非齐次方程组解的存在性定理2、齐次方程组解的存在性定理-4-(4-1)mnmnaaaaA1111mbbb1nxxx1bAx(矩阵形式)bxxxbAxnn2121),,,(bxxxnn2211(向量形式)mnmnmmnnnnbxaxaxabxaxaxabxaxaxa22112222212111212111(原始形式)-5-一、非齐次方程组解的存在性定理定理4.1.1对于非齐次方程组)0(bbxAnm)()()()(ArArArAr无解有解nArAr)()()1有唯一解nArAr)()()2有无穷多解(4-1)向量可由A的列向量组bn,,,21线性表示。-6-定理4.1.2nnnnnnnnnnbxaxaxabxaxaxabxaxaxa22112222212111212111设nn的线性方程组0212222111211nnnnnnaaaaaaaaaD的系数行列式Cramer法则则方程组有唯一解,且解为:njDDxjj,,2,1,(4-2)-7-二、齐次方程组解的存在性定理(4-3)mnmnaaaaA111100bnxxx10Ax(矩阵形式)02211nnxxx(向量形式)000221122221211212111nmnmmnnnnxaxaxaxaxaxaxaxaxa(原始形式)-8-定理4.1.3对于齐次方程组0xAnmnAr)(只有零解nAr)(有非零解即有无限多解(1)A的列向量组线性无关(2)A的列向量组线性相关推论1当方程的个数m小于未知量的个数n，则(4-3)一定有非零解.齐次方程组解的存在性定理-9-定理4.1.4000221122221211212111nnnnnnnnnxaxaxaxaxaxaxaxaxa设nn的线性方程组有非零解(4-4)0D-10-矩阵，是设nmA例：(1)如果非齐次线性方程组有惟一解，AX则只有零解？0AX(2)如果只有零解，则0AX非齐次线性方程组有惟一解吗？AX-11-第四章线性方程组的解的结构§4.4线性方程组在几何中的应用§4.3非齐次线性方程组解的结构§4.2齐次线性方程组解的结构§4.1线性方程组解的存在性定理-12-§4.2齐次线性方程组解的结构(2)解集的秩是多少?(3)解集的最大无关组(又称为基础解系)如何求?0Ax齐次方程组(假设有无穷多解)(1)解集的特点?是方程组的解，若nncxcx,,11.),,(1为方程组的解向量则称TnccX称：-13-性质1：若是(4-3)的解，12,解空间:0AX的所有解向量的集合S，对加法和数乘都封闭，所以构成一个向量空间，称为这个齐次线性方程组的解空间。{|0,}nSXAXXR的解。也是则)34(21性质2：,)34(1Rk的解，是若的解。也是则)34(1k注：如果(4-3)只有零解，解空间是零空间。如果(4-3)有非零解，解空间是非零空间。性质推论1而在解空间中，基的概念我们在这里称为基础解系。首先回答问题(1)-14-设12,,,nr是0AX的解，满足121,,,nr（）线性无关；20AX（）的任一解都可以由12,,,nr线性12,,,nr是0AX的一个基础解系。基础解系表示,则称下面我们用一个例子回答第(2)和第(3)个问题，同时也是定理4.2.1的例证。ttkkkx2211(取任意实数)ik从而也是(4-3)的解。-15-0252062420832032543215421543215421xxxxxxxxxxxxxxxxxx通过下面的例子,针对一般的方程组例1回答所提问题.rAxAnm)r(,0第一步:对系数矩阵A初等行变换化行最简形BBAr0000000000541003102125121620428312131021从行最简形能得到什么？-16-54354215432xxxxxxx第二步：写出同解的方程组(保留第一个未知数在方程的左边,其余的都移到右边.右边的又叫自由变量)自由变量的个数=?332211105-030140100012kkkx352412,,kxkxkx第三步:令自由变量为任意实数写出通解，再改写成向量形式35243231232115432kxkxkkxkxkkkx-17-321,,是解吗?321,,线性无关吗?任一解都可由表示吗?321,,321,,是基础解系吗?基础解系所含向量的个数=?第四步:写出基础解系TTT)1,0,5,0,3(,)0,1,4,0,1(,)0,0,0,1,2(321332211105-030140100012kkkx-18-设A是mn矩阵，如果(),rArn则齐次线性方程组0AX的基础解系存在，且每个基础解系中含有nr个解向量。定理4.2.1推论2设A是mn矩阵，如果(),rArn则齐次线性方程组0AX的任意个线性无关的解向量均可构成基础解系。nr-19-设,证明OBAlnnmnBrAr)()(证],,,[21lB记则由),,1(0liAOABi说明),,1(lii都是0Ax的解)())((],,,[21ArnANrrl因此nBrAr)()(移项重要结论推论3-20-例2设,是的1)(nArnm21,0Ax两个不同的解向量,k取任意实数,则Ax=0的通解是)((D))((C)(B)(A)212121kkkk-21-的三个解向量，是设OAXAR32156,,,2)(且线性无关，则_______是AX=O的基础解系。;,)1(3221;,,)2(321;,,)3(133221.,,)4(133221(2),(3)练习1、-22-练习2、求下列线性方程组的基础解系与通解.0211022203432143214321xxxxxxxxxxxx0793083032054321432143214321xxxxxxxxxxxxxxxx－-23-例3)()()(TTAArAArAr证明设,首先证明nmA0)(,0)(,0xAAxAxxAATT即则满足若00)()(AxAxAxT同解与0)(0xAxAnnTnmA)()()()(AArArAArnArnTT因此即则满足若,0)(,0)(xAxAxAxATTT)()())(()(ArArAArAArTTTTT利用这一结论证重要结论第四章线性方程组的解的结构§4.4线性方程组在几何中的应用§4.3非齐次线性方程组解的结构§4.2齐次线性方程组解的结构§4.1线性方程组解的存在性定理-25-§4.3非齐次线性方程组解的结构以下总假设)1(bxAnm有解,而其对应的齐次方程组)2(0xAnm的基础解系为rn,,,21这里)r(Ar-26-)1(......bxAnm)2(......0xAnm性质(1)设都是(1)的解,则21,21x是(2)的解.(2)设是(1)的解,是(2)的解,则仍是(1)的解.x设是(1)的一个解(固定),则对(1)的任一解xx是(2)的解,从而存在使得ikrnrnkkkx2211)3(2211rnrnkkkx又形如(3)的向量(任取)都是(1)的解.ik由此得:(3)注：非齐次方程组的解集不是空间。-27-定理4.3.1设是(1)的任一解,则(1)的通解为)(2211Rkkkkxirnrn.2132,13,0432143214321xxxxxxxxxxxx2132111311101111~A,00000212100211011例4故方程组有无穷多解可见,42)~()(ArAr解-28-2122143421xxxxx,042xx取,2131xx则T)0,,0,(2121,1201,001121得齐次方程组的基础解系).,(,0210211201001121214321Rkkkkxxxx于是所有通解即得方程组的一个解24231221121221kxkxkxkkx02102112010011214321kkxxxx-29-练习求下列线性方程组的通解.12334523622232375432154325432154321xxxxxxxxxxxxxxxxxxx5793583332154321432143214321xxxxxxxxxxxxxxxx-30-021mkkkm,,,21设是非齐次方程组Ax=b的解,则mmkkk2211是Ax=0的解mmkkk2211是Ax=b的解121mkkk例5※※-31-例6设四元非齐次线性方程组的系数矩阵的秩为3,已知是它的三个解向量,且321,,4321,5432321求该方程组的通解.解T)6,5,4,3()(2321取,则它就是解,从而也是基础解系.基础解系所含向量个数=4–3=1故非齐次方程组的通解为)(1Rkkx自学书P.144-145例2、3、5。-32-小结：作业：P1421P1474第四章线性方程组的解的结构§4.4线性方程组在几何中的应用§4.3非齐次线性方程组解的结构§4.2齐次线性方程组解的结构§4.1线性方程组解的存在性定理-34-§4.4线性方程组在几何中的应用-35-例7求一个齐次方程组,使它的基础解系为T)3,2,1,0(1T)0,1,2,3(2