二次型理论起源于解析几何中的化二次曲线和二次曲面方.docx
《二次型理论起源于解析几何中的化二次曲线和二次曲面方.docx》由会员分享,可在线阅读,更多相关《二次型理论起源于解析几何中的化二次曲线和二次曲面方.docx(33页珍藏版)》请在三一文库上搜索。
1、第八章二次型二次型理论起源于解析几何中的化二次曲线和二次曲面方程为标准形的问题,这一理论在数理统计、物理、力学及现代控制理论等诸多领域都有很重要的应用本章主要介绍二次型的基本概念,讨论化二次型为标准形及正定二次型的判定等问题 8.1二次型及其矩阵表示在解析几何中,我们曾经学过二次曲线及二次曲面的分类,以平面二次曲线为例,一条二次曲线可以由一个二元二次方程给出:22(1.1),我们通常分两步来做:首ax bxy cy dx ey f 0要区分(1.1)式是哪一种曲线(椭圆、双曲线、抛物线或其退化形式先将坐标轴旋转一个角度以消去 xy项,再作坐标的平移以消去一次项.这里的关键是消去xy项,通常的坐
2、标变换公式为:X X cos y x siny siny cos(1.2)从线性空间与线性变换的角度看,(1.2)式表示平面上的一个线性变换.因此二次曲线分类的关键是给出一个线性变换,使(1.1)式中的二次项只含有平方项.这种情形也在空间二次曲面的分类时出.为了讨论问题的方便,只现,类似的问题在数学的其它分支、物理、力学中也会遇到考虑二次齐次多项式.定义8.1.1设f是数域P上的n元二次齐次多项式:2f (Xl,X2,L5Xn)印必 242X1X2L 2ainXlXn2(1.3)如果322X2 2a23X2X3 L2a2nXaXn1222L an 1,n 1 xn 1 2an 1,n xn 1
3、 xnann xn称为数域P上的n元二次型,简称二次型.如果数域P为实数域R,则称f为实二次型;数域P为复数域C,则称f为复二次型;如果二次型中只含有平方项,即2 2 2f(Xl,X2, Xn) djXl CI2X2L dnXn称为标准形式的二次型,简称为标准形.说明:在这个定义中,非平方项系数用24主要是为了以后矩阵表示的方便例8.1.2下列多项式都是二次型:22f (x, y) x 3xy 3yf (x, y,z) 2x2 2xy 3xz y2 4yz , 3z2F列多项式都不是二次型f (x, y) x2 3xy 3y2 2x 1f(x,y,z) 2x3 2xy 4yz 3z21C11
4、yiC|2y2L(1.4)X2 。21 V1 O22 V2LC2n%LL LXnCn2y2 Lcnn yn称为由XX2,L,Xn到y*y2, L ,yn的一个 线性替换,或简称线性替换.如果系数行列式|q0,那么线性替换(1.4)就称为非退化的在研究二次型时,矩阵是-个有力工具,因此我们先把二次型用矩阵来表示.令aij 明则有2aij xixjaj xx ajjXjXi,于是(1.3)式可以改写为f(xi,X2,L ,Xn) anxj定义8.1.3设Xi,X2,L,Xn;丸y2_L,yn是两组文字,系数在数域P中的一组关系式a: 1X2X13: 2X2 L a: n 卷 Xian1xnx1an
5、 2xn x2annxnXi (anXia1n An)a2nXn)X2(821X1 822X2 LHnnAna11a21a12a22an1则二次型可记为aAX a21X (为,X2,L ,Xn) an1x1812Ax2a11(Xi,X2,L ,Xn)a2nannf tX Ax,a(2X322X2an2x2a12a1na21Lan1a22La2nLannXiX2MXna1nxna2n片1annAnXiX2MXn(1.5)其中A是对称矩阵称(1.5)式为二次型的矩阵形式例 8.1.4 二次型 f (x, y,z) 2x2 2xy 3xz y2 4yz , 3z2 的矩阵形式为f(x, y, z)
6、(x, y, z)2y说任给一个二次型就唯一地确7E一个对称矩阵.反之,任给一个对称矩阵可唯一地确XE则其对应的二次型为:f (Xl,X2, X3, X4)X!24X-|X2对于二次型f xAx,作线性替换x6x-|X4 2X22 Cy,其中6X2X3222x2X4 3X3 4X4C|2f xTAx (Cy)TA(Cy)cnP21c22On,yCn1cn2ynyTc TACy yT(CTAC)y.把对称矩阵A称为二次型一个二次型.因此,二次型与对称矩阵之间有着一一对应的关系f的矩阵,也把f称为对称矩阵A的二次型.称对称矩阵A的秩为二次型的秩.例8.1.5给定对称矩阵13121310BCTAC厕
7、有 bt (ctac )t样,对称矩阵B同样定义了一个二次型.于是,线性替换将二次型化为二次型定义8.1.6设A,B是数 域P上的n阶方阵,如果有数域P上的n阶可逆矩阵C,使得CTAC B则称矩阵A与B合同,记作A;B.合同是矩阵之间的一个关系易知,合同关系具有: 则令B ,即B是对称矩阵.这反身性:即A与A合同,因为AETAE;(2)对称性:即若A与B合同,则B与A合同,因为由B CTAC,即得A(C?tbC1;(3)传递性:即若A与B合同,B与C合同,则A与C合同,由BC/AC和C C2 BC2,即得 C C2 BC2 (C1C2) A(GC2).这样,我们就说明:经过非退化的线性替换,新
8、二次型的矩阵与原二次型的矩阵是合同的 把二次型的变换通过矩阵表示出来,为以后的讨论提供了有力的工具另外,在二次型变换时nnaiXiXiaijXiXji2j22 a11x12 aijXiXjj2nndlj Al Aj 2j2我们总是要求所作的线性替换是非退化的,因为这样我们可以把所得的二次型还原.定理8.1.7若A 与 B 合同,则 ran kA rankB .证明:因为A与B合同,所以存在n阶可逆矩阵C ,使得CT AC B由于可逆矩阵乘以矩阵两边不改变矩阵的秩,故rankA rankB .说明:这个定理给我们化二次型为标准形提供了保证这样,若B是对角矩阵,则非退化的线性替换xCy就把二次型化
9、为了标准形.因此,把二次型化为标准形的问题其实质是:对于对称矩阵A,寻找可逆矩阵C,使得CTACB为对角矩阵. 8.2化二次型为标准形现在来讨论用非退化的线性替换化简二次型的问题.1配方法定理8.2.1数域P上任意一个二次型都可以经过非退化的线性替换化为标准形,即只含有平方项.证明:对变量的个数n作数学归纳法.对于n 1,二次型就是f (xi) anxi2 ,显然已经是平方项了 .现假定对n 1元的二次型,定Xn) 3ij XiXj(3ij 3ji )理的结论成立再设.nnf(X1, X2, L ,i1 J1分三种情形来讨论:(l)aH(i 1,2, L, n)中至少有一个不为零,例如0,这时
10、nf(xi, X2, L , Xn) anxi2 aijXiXjJ2na11 (X1C77、dlj AIAJ j212a11 a1 jxj aw ( axj)j22nna“ 山12+ “川 bijXiXjbi2j2这里nnbij XiXj i2j2n12a11 ( ajxj)J2nndlJAIAJ i2j2是一个关于X2,X3, L , Xn的二次型.令yiXiy2 X2LL Lyn Xn1Si 1 3,ij Xj j2nxi yi an1ai jyjj2X2 y2LLLXn yn这是一个非退化线性替换,它使 nn 2f(x*X2,L ,Xn) anyibiji2j2由归纳法假定,对 bij
11、yi y j有非退化的线性替换 i2j2C2r)ynC3nynz2 c22 丫2 c23 丫3 L z3 c32,2 c33 丫3 LLLLZn Cn2 y2 Cn3y3 L Cnnyn能使它变成平方和d2Z22 d3Z32 L dnZn2于是非退化线性替换zi y1z2c22 y2c23 y3L C2nynLL Lzn Cn2 y2Cn3y3L cnn,n就使f(X1,X2,L ,Xn)变成f(X1,X2,L ,Xn) anZl2 d2Z22 d3Z32 L dnZn2即变成平方和了 .根据归纳法原理,2,3 , n),不失普遍性,设所有Hi(i 1,2,L , n)都等于零,但是至少有一个
12、的0( jai2。.令X1 Z1 Z2 X2 Z1 Z2 X3 Z3 LLL Xn Zn它是非退化线性变换,且使f (Xi,X2,L,Xn) 2ai2XiX2 L2ai2(ZiZ2)(ZiZ2) L22 2ai2Zi 2ai2Z2 L2这时,上式右端是Zi,Z2_L, Zn的二次型,且乙的系数不为零,属于第一种情况,定理成立. an a12L am0,由对称性知 a?i a3i L ani 0nn这时f(Xi,X2,L ,Xn)ajXjXj是n 1元的二次型,根据归纳法假定,它能用非退化线i2j2性替换变成平方和证毕 例8.2.2用配方法化二次型f(Xi,X2,X3)& 2 2X225X32
13、2XX2 2XiX3 6X2X3为标准形,并写出所用的非退化线性替换解:由定理的证明过程,令V、 Xi X2 X3Xi yiy2 yay2 X2 ,即X2 y273 X3X3 ys得:f(X,X2,X3)yi2 y22 4y2y3 4y32上式右端除第一项外已不yi Ziy2 Z2 2Z3ys Z3再含yi,继续配方,令zi yiZ2 y2 2y3,Z3 ys得:f(Xi,X2,X3) Zi2 Z22所有的非退化线性替换为例8.2.3用配方法化二次型f (Xi,X2,X3,X4)xiXZ1Z2z2 z32Z3X3Z32X1X2 XlX3X1X4 X2X3 X2X4 2X3X4为标准形,并写出所
14、用的非退化性替换解:由定理的证明过程,令XiX2X3V2y2y3代入原二次型得:f (Yt. 乂.2这时y项不为零,于是x4V42yj 3 2y4 2 Yaf(Xi,X2,X33X4) (2yi22yy2yj。2 膜2y3 hj2屏丫 4 2y22 2 y32(yi2y34y32(yiy3尹4)12iy42(yi2y3、2y4.f (Xi, X2, X3, 2z,2 X4)1 i ya y4Ziyi 22Z2 y2Z3ys y4Z4 y42Z3其中Z4的系数为零,故没有写出为求非退化线性替换,我们可将第二个替换代入第一个替换中,得Xi Zi Z2 2Z3 Z1Xo 7i 797q 7d2X3Z
15、3Z4X4 Z4说明:在用配方法化二次型为标准形时,必须保证线性替换是非退化的有时,我们在配方过程中会遇到看似简单的方法,但得到的结果未必正确如 2 2 2f (搭公 2 必)2Xi 2X2 2X3 2X1X2 2X1X3 2X2X3X2)2 Xi X3)2X3)2若令yi Xiy2Xi X3ysX2 X3则 f(Xi,X2,X3) yj y22/然而,所以,此处所作的线性替换是退化的,于是最后的结果并不是所求的2初等变换法由于二次型与对称矩阵对应矩阵的方法做到,由 8.1我们知道,,所以能用非退化线性替换化标准形的过程也可以用矩阵合同可以将矩阵化为对角阵.于是,定理8.2.1可以用矩阵的语言
16、描述出来定理8.2.4数域P上任意一个对称矩阵A都合同于一对角矩阵D.即存在可逆矩阵C,使di(2.i)CtAC Ddn现在我们就根据定理 8.2.4,讨论用矩阵的初等变换来求定理8.2.4中的可逆矩阵C及对角矩阵D.由前面的知识,我们知道,可逆矩阵C可以表示为有限个初等矩阵 Pi, P2,L,Pm的乘积,即C RP2L PmERP2L Pm(2.2)将(2.2)式代入(2.1)式,得(2.3)PmT LP2TPiTAPiP2L PmD(2.3)式表明,对对称矩阵A施行m次初等行变换及相同的m次初等列变换,A就变为了对角矩阵D .而(2.2)式表明对单位矩阵E施行上述的初等列变换,E就变为可逆
17、矩阵C.这种利用矩阵的初等变换求可逆矩阵C及对角矩阵D,使得A与D合同的方法称为初等变换法.具体做法:对以n阶对称矩阵A和n阶单位矩阵E做成的2nn矩阵进行初等变换对A施行初等行变换对2n n矩阵施行相同的初等列变换例8.2.5已知对称矩阵111A 1 23135用初等变换法求可逆矩阵C及对角矩阵D ,使得A与D合同.A解:E0C2( 1)n2 (1)c11)nC3(1)C13 (2)r2C3 ( 2)C2所求可逆矩阵C及对角矩阵D为:10例8.2.6已知二次型co0,D0100f(X1,X2,X3)2x1X22x1X36X2X3解:二次型对应的矩阵为: 于是有,011103A13 oE1 0
18、001000121122 0313 3兀1八 00 C22002。2C3 cl 110010293(4)21C3(4)C2A 10310012 0010200 061231 210 012020222201201120001故非退化线性替换为XiX300Vy2y3这样,二次型化为2 1 222yi y26y3 8.3惯性定理我们知道,二次型与对称矩阵一一对应,并且对称矩阵可以合同化为对角矩阵 又因为合同不改变矩阵的秩,这样一来,任意一个对 称矩阵合同的对角矩阵对角线上不为零的元素 的个数是不变的,就是矩阵的秩因此,在一个 二次型的标准形中,系数不为零的项的个数 是唯一确定的,与所作的非退化的线
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 二次 理论 起源于 解析几何 中的 二次曲线 二次曲面
链接地址:https://www.31doc.com/p-14002048.html