线性代数与空间解析几何(哈工大)8课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《线性代数与空间解析几何(哈工大)8课件.ppt》由用户(ziliao2023)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 线性代数 空间 解析几何 哈工大 课件
- 资源描述:
-
1、第八章 二次型与二次曲面 二次型讨论的对象是多元二次齐次函数,这种函数在物理、统计、规划、极值等问题中有广泛的应用 例如在三维空间的几何问题中,一般二次曲面在直角坐标系下表示为三元二次函数,通过对二次型的讨论,可以研究二次曲面的分类.本章主要讨论:1 二次型的理论;2 空间曲面与曲线;3.二次曲面的分类 8.1 实二次型实二次型8.1.1 二次型的定义及矩阵表示 1定义8.1 个变量 的二次齐次函数 称为 元二次型,简称二次型.n12,nx xx1211(,)nnnijijijf x xxa x x211 1121211nna xa x xa x x2212122222nna x xa xa
2、x x21122nnnnnnna x xa x xa x211 112121122nna xa x xa x x2222223232222nnnnna xa x xa x xa xn 当 为实数时,称 为实二次型,为复数时 为复二次型,本书只讨论实二次型ijafijaf 2矩阵形式:11121121222212,nnijjinnnnnaaaxaaaxaaaaaxAX 则二次型的矩阵形式为 为二次型 的矩阵,为二次型的秩 12(,),nf x xx X AXAf()r Af 3二次型 对称阵 注:讨论二次型问题,首要的问题是给定二次型能准确地写出二次型的矩阵,反之,给定一个对称阵,会写出以它为矩
3、阵的二次型.这里的关键概念是二次型的矩阵是一个对称矩阵.|f 对应A 例例1 设二次型 试写出二次型的矩阵.(为三元二次型)221212132324fxxx xx xx xff2 解:将交叉项 的系数 即平均分配给 及的二次型的系数矩阵 为.ijx xijx x()jiijjix xxxx xA11121121202 A 例例 将二次型 写成矩阵形式.解:是一个四元二次型,先写出二次型的矩阵1234fx xx xf 12341000210002,1000210002xxxxAX 121234341000210002(,)1000210002xxfx x x xxxX AX 例例 设 ,试写出以
4、 为矩阵的二次型.分析:是一个3阶对称阵,对应的三元二次型,把 与 合并后写出二次型.110101011 AAAijajia 解:设 T123(,)x xxX1T2212321122333110(,)10122011xfx x xxxx xx xxxX AX8.1.2 合同矩阵 1定义8.2(合同)二个 阶方阵 和 ,可逆阵,使 ,则称 与 合同(Congruent)记成 .矩阵合同的定义与矩阵相似的定义很相似,也是 阶方阵之间的一种等价关系.即 2合同 等价,合同 等秩,反之都不成立但不等秩,则一定不合同.nABCTC ACBABABn 3合同关系具有以下性质:(1)自反性:.(2)对称性:
5、则 .(3)传递性:,则 .(4)与 合同,则 .可逆,.AAABBA,ABBCACAB()()rrABCTC ACB 4(二次型的变换)合同二次型 设二次型 ,经可逆线性变换 (可逆)其中 ,即 与 合同,仍是对称阵.所以经可逆线性变换后,二次型的对应矩阵是合同的.也可以说:合同的矩阵是同一二次型关于不同变量的矩阵我们教材是将变量看成 个基下的坐标,是一个基到另一个基的过渡矩阵,合同阵是不同基下的矩阵.Tf X AXXCYCTTTT()f CYACYY C ACYY BYTBC ACABBnR C 5实对称阵 (不但和对角阵相似,也与对角阵合同).由于实对称可正交相似对角化.所以存在正交阵
6、,使 所以实对称阵 都与对角阵合同.换句话说,就是任意实二次型都可通过一个适当的可逆线性变换化成只有平方项 而没有混合项 .这就引出了二次型的标准形的概念.P1T,PAPP APA2()ixijx x230 例4.与矩阵 既相似又合同的矩阵是()(A).(B).(C).(D).202030202A110340230 分析:是实对称矩阵,所以 正交阵,使它和一个对角阵既相似又合同,对角阵的对角元恰是 的特征值.AA 解:的特征值是 ,与 既相似又合同的矩阵是,所以应选(D).202|030(3)(4)202 EAA0,3,4A4308.2 化实二次型为标准化实二次型为标准 1标准二次型:只含有平
7、方项的二次型 称为 元二次型的一个标准型.不惟一.线性变换为2221 12 2nnyyyn 设 (1)令 (1)可变为 .但不惟一.(2)当 是可逆阵时.(1)式是可逆线性变换.11111221221122221122nnnnnnnnnnxc yc yc yxc yc yc yxc yc yc y1111121222122212,nnnnnnnnxycccxycccxycccXYCXCYC 注1 的秩 的标准形中系数不为0的平方项的个数.2 任一个实二次型都可通过可逆线性变换化为标准形.元二次型的标准形不惟一,有三种方法化标准形.n8.2.1 用正交变换化实二次型为标准形 对于实二次型,最实用
8、的方法是正交变换法,即所作的可逆线性变换中可逆矩阵 不只是可逆,还是正交矩阵.这个正交阵的存在是由实对称矩阵的性质决定的,值得注意的是这种方法仅限于实二次型.C 定理定理8.1 对 元实二次型 ,正交线性变换:(不惟一),使二次型 化为标准形.是 的 个特征值.nTf X AXXPYf222112212,nnnfyyy AnT()()(),rrrfAC ACf 例例5 用正交线性变换化实二次型为标准形.化成标准形.解:(1)二次型 的矩阵为222123121323255448fxxxx xx xx xf222254245A(2)由 ,得 的特征值为 .2222|254(1)(10)0245EA
9、A1231,1,10(3)对 时,解 .即 121(1)0EA X122122244000244000所以得同解方程组为 得基础解系为 .正交化:123223322xxxxxxx 12221,001 11210 21221112522(,)4401(,)55101 245 单位化:111252111|5500 2222452144|45455545 当 时,由方程组310(10)EA X0 即5112108222542225401818011011245099000000 得基础解系为 ,单位化为 .13233312xxxxxx 3122 333132|323 得正交阵 .2213545142
10、3545520345P 则 注:正交变换不惟一,但正交变换得到的标准形是惟一的.(不考虑对角元的次序时)1T1110P APP AP8.2.2 用配方法化二次型为标准形 如果不考虑正交变换,可以用可逆线性变换把二次型化为标准形,得到标准形不是惟一的.f 例例6 用配方法将二次型化为标准形 分析:这是只有交叉项没有平方项的二次型,先对用平方差公式.解:令 (1)123122313(,)234f x x xx xx xx x12,x x11221233xyyxyyxy1110110001C 则 221213231323223344fyyy yy yy yy y22121323227yyy yy y
11、 222222113322333377114912()2()2224241616yy yyyy yyyy 22213233712()2()644yyyyy 再令 (2)113223337414zyyzyyzy 则 222123226fzzz 所作可逆线性变换为 (2)代入(1)得113223337414yzzyzzyz271041014001C 可逆.为可逆线性变换.1123212333322xzzzxzzzxz123112112,|0001CC CCC121 2()XCYc c Zc c Z8.2.3 用初等变换法化二次型为标准形 矩阵的初等变换法是对二次型矩阵 ,构造一个的矩阵 ,对 交替
12、作初等行变换和相应的初等列变换,对 作列变换时,同时对 作相同的列变换,当 化作标准形时,就化作了 .这就是作可逆线性变换那个可逆矩阵.对角阵.A2n nAEAAEAECTAC ACEC 例例7 用初等变换法将下列二次型化为标准形,并求可逆线性变换 分析:由于左上角的元素为0,而主对角线上第二个元素不为0,将第一列和第二列变换,同时将第一行和第二行交换,使得左上角元素不为0.T010111011fXX 解:010111100100111100011010011101010001100010010011010100111110001001001001由此得标准形 所用的可逆线性变换为所以 222
13、123fyyy011,110001XCYCT222123fyyyY CY8.3 正定实二次型8.3.1 实二次型的惯性定律 我们知道 元二次型都可以通过一个可逆线性变换化为标准形,标准形不唯一,因为用不同的可逆线性变换把同一个实二次型 化为标准形时,这些标准形中的系数一般说是不同的.nf 但在实可逆线性变换下,同一个实二次型的标准形中的正系数、负系数及零系数的个数是不变的,(实可逆线性变换可以不同),这就是实二次型的惯性定律.定理定理8.2 设 元实二次型 经实可逆线性变换 分别化成标准形nTf X AX12,XCYYC Z 及 2221122nnfk yk yk y2221 122nnfl
14、zl zl z则 中正数的个数,负数的个数及0的个数都与 中正数的个数,负数的个数及0的个数相同,正数的个数称为 的正惯性指数,记为 负数的个数称为的负惯性指数,记为 .12,nk kk12,nl llfPf,()rP rrA8.3.2 正定二次型 对于实二次型有一个特别重要的性质正定性.1定义8.3 设有 元实二次型 ,如果对且 ,都有 ,则称 为正定(负定、半正定、半负定)二次型.的矩阵称为正定(负定、半正定、半负定)矩阵.nTf X AXX0nRXT0(0,0,0)f X AXff 2正定阵 实对称阵,但反之不一定.3二次型正定的充要条件:定理定理8.3 实二次型 正定 正惯性指数 (标
15、准形中 个系数全为正).证:设 ,经实可逆性变换 化为 .反证:若 某个f()PnrAnTf X AXXCY2221122nnfk yk yk y0(1).ikin 取 ,而 00100 Y0001000 XCYC而 TTT222000010100inifkkkkX AXY C ACY与 正定矛盾,正惯性指数 .维实向量 ,由 可逆知 故 为正定二次型.fPnn12nxxxX0C1210nyyyYCXTTT2211()0(0)1,nnik yk ykinX AXYC AC Yf 推论推论 8.1 实二次型 正定 的矩阵 的特征值全大于 .ffA0,0,1,2,iin 证证 是实二次型,由定理8
16、.1知 正交变换 ,使 由定理8.3知,正定 fXPY2221122nnfyyyf0,1,2,iin其中 .推论推论8.2 实二次型 正定 实可逆阵 使,.证 维实向量 可逆,.所以 是正定二次型.f QTAQ QnXQ0,QX0TTTT2()()|0X AXX Q QXQXQXQXf 已知 是正定二次型,由推论8.1知,正交阵 ,使 ,fP12TnP AP0(1,2,)iin 1112TT22nnnAPPPP令 ,则 1T2nQP1T2nQP所以 由 可逆及 可逆,知 可逆.TAQ QP1nQ定理定理8.4 实对称阵 为正定的 的各阶顺序主子式都大于零.即 A A11121212221112
17、112122120,0,|0nnnnnnaaaaaaaaaaaaaaA 总结:二次型正定的充要条件 实二次型 正定 的正惯性指数 .的特征值全大于 实可逆阵 ,使 .的各阶顺序主子式全 与 合同 ff,()Prn rrA A0,0(1,2,)iin QTAQ Q A0 AETT()AQ QQ EQ 注:当 正定时,可证 ,正定.A1*2(0),kkAAA AAE 负定 正定.ff 的奇数阶主子式 ,偶数阶主子式 .A00 重点与难点:在实二次型(或实对称阵)中,合同是一种分类的办法,正定性是另一种分类的方法,重点是正定二次型(或正定矩阵).注:说 或 是正定的,已经包涵了 实对称,可逆,及 .
18、利用 的正定性,来证明其他的问题,则是一个难点,要具体问题具体分析.1正定阵(正定二次型的判断)fAATAAA0iia|0AA 例例8 判别二次型 的正定性.解解 二次型的对应矩阵为1212111(,)nnniiiiif x xxxx x1100021110022101002100012100012 A ,21000121000120020002100012A 和 具有相同的正定性,故判定 的正定性即可(将分数运算化成参数运算)A2A2A 2130121000212100400012003|2|0002111000121kk kkkkkA 10,1,2,kkn 122120,3012PP 的全
展开阅读全文