您好,欢迎访问三七文档
当前位置:首页 > 商业/管理/HR > 广告经营 > 第一章第1讲线性空间
返回矩阵理论李厚彪lihoubiao0189@163.com13194884912数学科学学院返回一.引言1.方程组求解,Axb1111012,,,,,niinnnaaAainaaA非奇异1xAb1100,nnaADa121211100000000,,,,nnnnnnnaaaLUaaa返回,ADLU1(),JacobiiterativemethodMDNLUAxb0AMN(detM)MxNxbMxNxb11xMNxMb111(k)(k)(k)xMNxMbMxb2(),Gauss-SeideliterativemethodMDLNU1131()(),[()]SuccessiveOverrelaxationIterativemathodsMDLNDU返回第一章线性代数基础返回1.线性空间中定义加法:在是一个数域是一非空集合,设VPV.1、什么是线性空间?如果之间定义数量乘法:与在.;kPVv加法与数量乘法满足:1)2)()()3)0,,0VV有4),,.0VVst1)5)()()6kllklklk)()7kkk)()8性空间.则V称为数域P上的线返回.2线性空间判断下列集合是否构成的全体向量所构向量空间中不平行于一已知)1成的集合,的多项式全体所上次数等于定数数域)1()2nnP构成的集合,?性空间是否构成复数域上的线返回3.与矩阵相关的四个基本子空间(1)值域空间(2)行向量空间(3)核(4)左核这里讨论长方阵A,m-by-n列向量空间返回.4线性空间的基和维数在中有个线性无关的向量而中任意个向量都线性相关则称是定的就义一组基维间数是线性空的:,,,,,,,.nnVnVnVn111线性空间的维数与所考虑的数域有关如:复数域看作自身上的线性空间为的;若看作实数域上的线性空注意1间为维维的.2:.C返回..4与一组基求下列线性空间的维数,阶方阵构成的空间上全体数域nnPnP)1.)2上的空间域中全体对称矩阵构成数PPnn解:njiEPijnn,,2,1,)1基为2)dim(nPnnnjiEEEFiijiijij1)2令.2)1(nn维数为返回可交换的矩阵组,证明:全体与设APAnn5).(AC成的一个子空间,记为证EAAE).(ACE)(,21ACAA2211,AAAAAAAAAAA)()121AAAA2121AAAA)(21AAAPVWVWV:,.如果数域上的线性空间的一非空子集对于的两种运算也构成线性空间则称是的线性定子空间义返回AkA)()21)(1AAk)(1AAk)(1kAA.)(的子空间是nnPAC则的两个非平凡子空间,是线性空间、设VVV21.6.21同时成立、,使中存在向量VVV是非平凡子空间1V证:1V存在向量,则结论成立如果2VV2,如果:是非平凡子空间2V返回2V存在向量,则结论成立如果1V,就有如果1V2211,;,VVVV21,VV返回2空间分解与维数定理设是线性空间的子空间和则与的定为义1:1212,,VVVVV12VV121122{|,}VV返回1l2l211V2V返回定理1:设1V2V和是线性空间V的子空间,则dim()dim()dim()dim()121212VVVVVV(,)121122有VV且是唯一的,这个和12VV就称为直和,记为21VV定义2:设1V2V和是线性空间V的子空间,若对,12VV返回定理2:设,1V2V是线性空间V的子空间,则下列命题等价(1)21VV是直和:(2)零向量表示法唯一;(3)}.0{21VV例1:,,()(),LL设线性无关则是直和.()()LL而,不是直和返回定义3:设sVVV,,,21是线性空间V的子空间,如果和sVVV21,(1,2,,)12VissiisVVV21中的每个向量的分解式是唯一的,这个和就称为直和,记为V+V++V12s相互等价:(2)零向量表示法唯一;定理3:设是线性空间V的子空间,则下列命题sVVV,,,21(1)是直和:sVVVW21(3)}.0{)(ijjiVV(4).)dim()dim(iVW返回3商空间定义1:MMVV模与则称满足如果设''',,,同余).(mod'M记为性质1反身律:性质2对称律:性质3传递律:。)(modM。则若)(mod),(modMM。则若)(mod),(modMM。则)(modM返回定义2:设,V则V的子集{|}MmmM内的任一向量必与;M模同余反之,M与模同余的向量必属于.MM则为模M的一个同余类,称为这个同余类的代表.性质4:.,MMM若则.)()(,MMMM则若性质5:定义3:V的所有模M的同余类的全体组成的集合称为V的商集,记为.V给商集定义如下的加法和数乘运算:()()()MMM(2)()kMkM(1)返回下面证明如上定义的运算的合理性。'(mod)M)(mod'M}(1):)(11'Mmm})(22'MmmMmm)()(21''''()()MM)()()()(''MMMM(2):)(mod'M)('MmmMkkmkk'MkMk')()('MkMk返回定理1商集关于上面定义的加法和数量乘法运算为数域上的一个线性空间,这个线性空间称为V对于子空间M的商空间,记为V/M.定理2设M是V的子空间,则dim(V/M)=dim(V)-dim(M).证明:,,,12MVs将的一组基扩充为的基为nss,,,,,,121下面证明12,,,(21)ssnMMM是商空间V/M的一组基.返回(1):先证(2-1)式在V/M内线性无关。MMkMknnss0)()(11MMkknnss0)(11ssnnsskkkk111101111ssnnsskkkk021nsskkk(2):再证任一M都可由(2-1)式线性表出。1111kkkkssssnn()1111kkkkMssnnss返回(mod)11kkMssnn()11MkkMssnn()()11MkMkMssnn()()11MkMkMssnn由(1)和(2)知(2-1)式是商空间V/M的一组基,故dim(V/M)=dim(V)-dim(M)返回oyx那么,取),1,0(则M就是商空间V/M的基,由MkMk)(就得到商空间V/M的所有元素。例1xoy平面向量的线性空间V的维数是dim(V)=2,而ox轴上所有向量形成V的一维子空间M,且有dim(M)=1,故,dim(V/M)=2-1=1因子空间M,可取基),0,1(返回例2设,3RV取M是ox轴的一维子空间,则dim(V/M)=3-1=2oxyz取),0,1,0()1,0,0(,MM基,由就是商空间的)()(MlMk就得到商空间的所有元素。返回4线性流形与凸闭包定义1:所谓线性空间的线性流形,即为}|{1010VrVrP其中,1V是V的子空间,0r是V的固定向量,1V的维数称为线性流形P的维数。注:一维线性流形称为直线,二维线性流形称为平面,更高维的线性流形称为超平面.返回证明:例1任一秩为r的n元线性方程组Ax=b的解集合是组,使其解集合为P.n维向量空间的维线性流形.反之,对nR任一ddnr维线性流形P,存在一系数矩阵秩为的n元线性方程dnrAxb解Ax=b的解集01PrV是n维向量空间的线性流形。反之,设10VrP是nR的d维性流形,取一组基为(,,,,)111121(,,,,)12aaanaaaddddn1V返回(,,,,)111121(,,,,)222222(,,,,)12bbbnbbbnbbbrrrrn作齐次方程组,01xA其中,(,,,),112TTTTAd的一组基为故此方程组的解空间是维子空间.2Vrdn设2V记.0,),,,(121TTrAAA则作Ax=0,故此方程组的解空间即为,1V于是令,0Arb则Ax=b即为所求方程组.返回定理1:设,,,,10s是的任意s+1个向量,且nR,110skkk则形如)11(1100sskkkx的所有向量构成一个维数等于向量组,,,02010s的秩的线性流形P.证明:将(1-1)式改写为)()()(00220110sskkkx))(,),(),(()()()(002010022011sssLkkk则有1V10Vx返回222VrP相等充要条件是.,12121VrrVV定理2:,1V是V的子空间,而2V则,,21Vrr,111VrP证明:必要性,1220PPr)(111VPr120rr112Vrr222,PrV(1)(2))(111VPr12rr121)(Vrr12VV同理,21VV}21VV返回充分性:21VV122111;VrPVrP121Vrr21PP定理3:中任意两条直线包含在某个三维线性流形中。)3(nRn证:102101;trtr:1l:2l0x)(0031211ttt10VP即,031时当ttPt120,1,032时当ttPt110{时,当3)dim(1VP就是三维线性流形,时,当3)dim(1V返回.,,''''1是三维线性流形而包含这两条直线则扩展成三维子空间中将在PVPVVRn定理4:中两条直线)1(nRn1010txtx和位于一个平面内的充要条件是线性相关.)(,,0011证必要性:位于平面P内,1010txtx和设P平行于二维子空间),(111LV100V)(,,0011线性相关.返回充分性:)(,,0011线性相关线性相关11,)1线性无关11,)2{线性相关11,)1平行和直线1010txtx必在同一平面内和1010txtx11,)2线性无关1100lkPL),(1100内必在平面和Ptxtx1010返回定理5空间的两个维数分别为k和h的线性流形P和Q包含在一个维数的线性流形中。nR1hk证:设,,2010VQVP,,,,121kVV的基底分别为.,,1h和令),,,,,,(00113kkLV
本文标题:第一章第1讲线性空间
链接地址:https://www.777doc.com/doc-2116035 .html