您好,欢迎访问三七文档
当前位置:首页 > 电子/通信 > 综合/其它 > 《二次型及其标准型》PPT课件
中南财经政法大学信息系第六章二次型定义6.1称n元二次齐次函数(6.1)212111121211221122222221122,,,nnnnnnnnnnnnfxxxaxaxxaxxaxxaxaxxaxxaxxax1211,,,()nnnijijijjiijfxxxaxxaa为的一个n元二次型,若其中系数均为实数,称之为实二次型。本章只讨论实二次型。12,,,nxxxija一、二次型的定义(6.1)式可以写成2121111212112222222,,,222nnnnnnnnfxxxaxaxxaxxaxaxxax记12nxxXx111212122212nnnnnnaaaaaaAaaa12(,,,)nfXfxxxTfXXAX(6.2)f也可写成如下的矩阵和向量的乘积形式:nnnnnnnnTxxxaaaaaaaaaxxxAXX2121222211121121,,,nnnnnnnnnnxaxaxaxaxaxaxaxaxaxxx22112222121121211121),,,(njnijiijxxa11证明如下:),,,(21nxxxf称式(6.2)为二次型(6.1)的矩阵形式,矩阵A称为二次型所对应的矩阵,矩阵A的秩称为二次型的秩。在A中,为(6.1)中的系数,为(6.1)中混合项系数的一半。显然,A是一个n阶对称矩阵,即。fXfXiia2ix()ijaijijxxTAA从二次型的定义可以看到:(1)二次型的矩阵都是对称的矩阵。(2)二次型和它的矩阵是一一对应的。例11)写出二次型所对应的矩阵。2)写出矩阵所对应的二次型。22123112233,,23fxxxxxxxxx123202321A11031023012B解1)原二次型所对应的对称矩阵为:2212311213233,,464fxxxxxxxxxxx2)矩阵对应的二次型为:定义6.2设有两组变量;,其中一组变量可以写成另外一组变量的线性组合,即有:12,,,nxxx12,,,nyyy11111221221122221122nnnnnnnnnnxcycycyxcycycyxcycycy(6.3)二、线性变换则称上式为由到的一个线性变换(或线性替换)12,,,nxxx12,,,nyyy由系数组成的矩阵111212122212nnnnnnccccccCccc称为线性变换(6.3)的矩阵。记;,那么,(6.3)式可以写为:12nxxXx12nyyYyX=CY若,则称(6.3)式为可逆(或非退化)的线性变换。若C为正交矩阵,则称(6.3)为正交线性变换。0C注意:本章中的线性变换都为可逆或正交线性变换.本章主要问题之一:找一个恰当的线性变换,使二次型形式更简单(只含有平方项)。做线性变换后,二次型所对应的矩阵和原二次型矩阵之间具有某种关系,这种关系就是合同。定义6.3设A和B为两个n阶矩阵,如果存在一个n阶可逆矩阵C,使得,那么,称A与B合同。TCAC=B合同关系具有下列性质:(1)反身性(2)对称性(3)传递性(4)合同的矩阵有相同的秩三、矩阵的合同关系定理6.1二次型经非退化线性替换后仍为二次型,且新二次型矩阵与原二次型矩阵合同。证明:设二次型,经过可逆线性替换,得:TfXXAXX=CYTTTfXCYACYYCACY设,则可得:TB=CACTfXYBY又因为TTTTTTB=CACCAC=CAC=B所以B是对称矩阵,为新二次型对应的矩阵又因为有,C可逆,所以A与B合同。TCAC=B注:新二次型的秩与原二次型相等。定义6.4若二次型经过可逆线性替换化为12,,,TnfxxxXAXX=CY2221122nnfdydydy(6.4)称这种只具有平方项的二次型(6.4)为二次型(6.1)的标准形.一、二次型的标准形将二次型的标准型化成矩阵形式,易知,标准形的矩阵具有对角阵形式:12nddD=d二次型的秩等于中非零元素的个数12,,,nfxxx12,,,nddd说明2222211nnykykyk使就是要变成标准形经可逆变换要使二次型,,CyxCyxf寻找可逆替换,),,,(212121yyykkkyyynnn.,成为对角矩阵使也就是要找矩阵ACCBCTyACCyCyACyAxxfTTTT)()()(定理6.2任意一个二次型都可以经过非退化的线性变换化为标准形:TfXXAXX=CY二、配方法化二次型为标准形,2222211nnyyyf证明:数学归纳法。定理6.2的矩阵描述:定理6.3任何一个对称矩阵都与一个对角矩阵合同。即对任意一个对称矩阵A,存在一个可逆矩阵C,使,D为对角形。TCAC=D证明:设A为n阶对称矩阵,那么可以得到唯一的二次型TfXXAX根据定理6.2,可以通过可逆线性变换化为标准形,其中D为对角形。又根据定理6.1可知fXX=CYTYDYTCAC=D解32312123222162252xxxxxxxxxf.,62252323121232221并求所用的变换矩阵为标准形化二次型xxxxxxxxxf例231212122xxxxx322322652xxxx的项配方含有x1含有平方项2321xxx322322652xxxx3223222xxxx去掉配方后多出来的项322322232144xxxxxxx.22322321xxxxx3332232112xyxxyxxxy令3332232112yxyyxyyyx321321100210111yyyxxx32312123222162252xxxxxxxxxf.2221yy所用变换矩阵为.01,100210111CC例3化二次型为标准形,并求所用的非退化线性变换。123121323,,fxxxxxxxxx解在二次型中,不含有的平方项,而含有交叉项,为了利用上面配方时所用的方法,先作可逆线性变换:123,,fxxx1x12xx1121233xyxyyxy(6.6)1231121312321121323,,2fxxxyyyyyyyyyyyyyyy再用例3的方法进行配方,即2221231232311,,24fxxxyyyyy1123223312zyyyzyzy令即(6.7)1123223312yzzzyzyz在上面的配方中,用了两个可逆的线性变换,将(6.7)式代入(6.6)式,可得:11232123331212xzzzxzzzxz11223311121112001xzxzxz即为所求的可逆线性变换此时,原二次型所对应的标准形为:2221231231,,4fxxxzzz配方法化二次型标准形:(1)若二次型中含有平方项,则在针对某个含平方项的变量进行配方时,应对所有含此变量的项进行配方,使得此配方过程完成后,在剩下的项中不能再含有该变量;然后对剩下的其它变量进行配方,直到所有的变量都完成配方。根据配方结果就可以得到可逆线性变换,使得原二次型变为标准形。(2)若二次型中不含有平方项,但是则先作可逆线性变换0ija),(ji化二次型为含有平方项的二次型,然后再按(1)中方法配方.kkjijiiyxyyxyxjiknk,,,2,1且kkjijjiiyxyyxyyx或.,,,323121321变换并写出所作的可逆线性为标准形化二次型xxxxxxxxxf思考题P155例6.4(试用不同的变换)故令方项由于所给二次型不含平,解,,,33212211yxyyxyyx,)(2322312yyyyf有,,,,,,33223113322211zyzyzzyyzyzyyz或再令思考题解答,232221zzzf得标准形.,,3332123211zxzzzxzzzx所用可逆线性变换为有型把此结论应用于二次即使总有正交矩阵阵由于对任意的实对称矩,.,,,1APPAPPPAT化为标准形使正交变换总有任给二次型定理fPyxaaxxafjiijnjijiij,,4.61,,2222211nnyyyf.,,,21的特征值的矩阵是其中ijnaAf三、正交变换化实对称矩阵为标准型证明:设是实二次型,则A为实对称矩阵,则一定能找到一个正交矩阵Q,使得:TfXXAX121nQAQ=D其中为A的全部特征值12,,,nTQAQD则(6.10)作正交变换X=QY2221122nnfXQYAQYYQAQY=YDY=yyyTTTT从而得到二次型的标准形用正交替换法化实二次型为标准形的一般步骤:1)求出实二次型的矩阵A的全部特征值12,,,n2221122nnfX=yyy2)求出使A对角化的正交矩阵Q,即.1AQQAQQT3)作正交线性替换,可使二次型化为标准形:QYX解1.写出对应的二次型矩阵,并求其特征值144241422217A144241422217AE9182.,844141417323121232221化成标准形通过正交变换将二次型Pyxxxxxxxxxxf例4从而得特征值.18,9321得基础解系代入将,091xEA2.求特征向量得基础解系代入将,01832xEA,)0,1,2(2T.)1,0,2(3T3.将特征向量正交化,11取.)1,1,21(1T,22,,,2223233得正交向量组.)1,54,52(3T,)0,1,2(2T,)1,1,21(1T,3,2,1,iiii令得,051522,3232311.4554544523.45503245451324525231P所以4.将正交向量组单位化,得正交矩阵P于是所求正交变换为,45503245451324525231321321yyyxxx.18189232221yyyf且有解.222222,434232413121化为标准形把二次型求一个正交变换xxxxxxxxxxxxfPyx二次型的矩阵为,0111101111011110A它的特征多项式为例5.111111111111
本文标题:《二次型及其标准型》PPT课件
链接地址:https://www.777doc.com/doc-3850531 .html