二次型理论起源于解析几何中的化二次曲线和二次曲面方.doc
《二次型理论起源于解析几何中的化二次曲线和二次曲面方.doc》由会员分享,可在线阅读,更多相关《二次型理论起源于解析几何中的化二次曲线和二次曲面方.doc(20页珍藏版)》请在三一文库上搜索。
1、第八章 二次型二次型理论起源于解析几何中的化二次曲线和二次曲面方程为标准形的问题,这一理论在数理统计、物理、力学及现代控制理论等诸多领域都有很重要的应用. 本章主要介绍二次型的基本概念,讨论化二次型为标准形及正定二次型的判定等问题.8.1 二次型及其矩阵表示在解析几何中,我们曾经学过二次曲线及二次曲面的分类,以平面二次曲线为例,一条二次曲线可以由一个二元二次方程给出: (1.1)要区分(1.1)式是哪一种曲线(椭圆、双曲线、抛物线或其退化形式),我们通常分两步来做:首先将坐标轴旋转一个角度以消去项, 再作坐标的平移以消去一次项. 这里的关键是消去项,通常的坐标变换公式为: (1.2)从线性空间
2、与线性变换的角度看,(1.2)式表示平面上的一个线性变换.因此二次曲线分类的关键是给出一个线性变换,使(1.1)式中的二次项只含有平方项.这种情形也在空间二次曲面的分类时出现,类似的问题在数学的其它分支、物理、力学中也会遇到. 为了讨论问题的方便,只考虑二次齐次多项式.定义8.1.1 设是数域上的元二次齐次多项式: (1.3)称为数域上的元二次型,简称二次型. 如果数域为实数域,则称为实二次型; 如果数域为复数域,则称为复二次型; 如果二次型中只含有平方项,即称为标准形式的二次型,简称为标准形.说明: 在这个定义中,非平方项系数用主要是为了以后矩阵表示的方便.例8.1.2 下列多项式都是二次型
3、:下列多项式都不是二次型:定义8.1.3 设是两组文字,系数在数域中的一组关系式 (1.4)称为由到的一个线性替换,或简称线性替换. 如果系数行列式,那么线性替换(1.4)就称为非退化的.在研究二次型时,矩阵是一个有力工具,因此我们先把二次型用矩阵来表示.令 , 则有 , 于是(1.3)式可以改写为记 则二次型可记为 , (1.5)其中是对称矩阵. 称(1.5)式为二次型的矩阵形式.例8.1.4 二次型 的矩阵形式为说明: 任给一个二次型就唯一地确定一个对称矩阵. 反之,任给一个对称矩阵可唯一地确定一个二次型. 因此, 二次型与对称矩阵之间有着一一对应的关系. 把对称矩阵称为二次型的矩阵,也把
4、称为对称矩阵的二次型. 称对称矩阵的秩为二次型的秩.例8.1.5 给定对称矩阵则其对应的二次型为: 对于二次型,作线性替换,其中则 令 , 则有,即是对称矩阵.这样, 对称矩阵同样定义了一个二次型. 于是, 线性替换将二次型化为二次型.定义8.1.6 设是数域上的阶方阵,如果有数域上的阶可逆矩阵,使得则称矩阵与合同, 记作.合同是矩阵之间的一个关系.易知,合同关系具有:(1) 反身性: 即与合同,因为;(2) 对称性: 即若与合同,则与合同,因为由,即得;(3) 传递性: 即若与合同,与合同,则与合同,由和,即得.说明: 经过非退化的线性替换,新二次型的矩阵与原二次型的矩阵是合同的. 这样,
5、我们就把二次型的变换通过矩阵表示出来,为以后的讨论提供了有力的工具.另外, 在二次型变换时,我们总是要求所作的线性替换是非退化的, 因为这样我们可以把所得的二次型还原.定理8.1.7 若与合同,则.证明: 因为与合同,所以存在阶可逆矩阵,使得由于可逆矩阵乘以矩阵两边不改变矩阵的秩,故.说明: 这个定理给我们化二次型为标准形提供了保证. 这样,若是对角矩阵,则非退化的线性替换就把二次型化为了标准形. 因此, 把二次型化为标准形的问题其实质是: 对于对称矩阵,寻找可逆矩阵,使得为对角矩阵.8.2 化二次型为标准形现在来讨论用非退化的线性替换化简二次型的问题. 1 配方法定理8.2.1 数域上任意一
6、个二次型都可以经过非退化的线性替换化为标准形,即只含有平方项.证明: 对变量的个数作数学归纳法.对于,二次型就是, 显然已经是平方项了. 现假定对元的二次型,定理的结论成立.再设 分三种情形来讨论:(1) 中至少有一个不为零,例如,这时这里 是一个关于的二次型.令即这是一个非退化线性替换,它使由归纳法假定,对有非退化的线性替换能使它变成平方和于是非退化线性替换就使变成即变成平方和了.根据归纳法原理,定理得证.(2) 所有都等于零,但是至少有一个,不失普遍性, 设.令它是非退化线性变换,且使这时,上式右端是的二次型,且的系数不为零,属于第一种情况,定理成立.(3) ,由对称性知这时是元的二次型,
7、 根据归纳法假定,它能用非退化线性替换变成平方和. 证毕.例8.2.2 用配方法化二次型为标准形,并写出所用的非退化线性替换.解: 由定理的证明过程,令, 即 得: 上式右端除第一项外已不再含, 继续配方,令, 即 得: 所有的非退化线性替换为例8.2.3 用配方法化二次型为标准形,并写出所用的非退化性替换.解: 由定理的证明过程, 令代入原二次型得:这时项不为零,于是令于是, 其中的系数为零,故没有写出.为求非退化线性替换, 我们可将第二个替换代入第一个替换中, 得说明: 在用配方法化二次型为标准形时,必须保证线性替换是非退化的. 有时,我们在配方过程中会遇到看似简单的方法,但得到的结果未必
8、正确.如若令则.然而, 所以, 此处所作的线性替换是退化的,于是最后的结果并不是所求的.2 初等变换法由于二次型与对称矩阵一一对应, 所以能用非退化线性替换化标准形的过程也可以用矩阵的方法做到, 由8.1我们知道,矩阵合同可以将矩阵化为对角阵.于是,定理8.2.1可以用矩阵的语言描述出来.定理8.2.4 数域上任意一个对称矩阵都合同于一对角矩阵. 即存在可逆矩阵, 使得 (2.1)现在我们就根据定理8.2.4, 讨论用矩阵的初等变换来求定理8.2.4中的可逆矩阵及对角矩阵. 由前面的知识,我们知道,可逆矩阵可以表示为有限个初等矩阵的乘积,即 (2.2)将(2.2)式代入(2.1)式, 得 (2
9、.3)(2.3)式表明,对对称矩阵施行次初等行变换及相同的次初等列变换, 就变为了对角矩阵. 而(2.2)式表明对单位矩阵施行上述的初等列变换, 就变为可逆矩阵. 这种利用矩阵的初等变换求可逆矩阵及对角矩阵,使得与合同的方法称为初等变换法. 具体做法: 对以阶对称矩阵和阶单位矩阵做成的矩阵进行初等变换则.例8.2.5 已知对称矩阵用初等变换法求可逆矩阵及对角矩阵,使得与合同.解: 所求可逆矩阵及对角矩阵为:且.例8.2.6 已知二次型用初等变换法将其化为标准形,并求非退化的线性替换.解: 二次型对应的矩阵为:于是有, 故非退化线性替换为这样,二次型化为8.3 惯性定理我们知道, 二次型与对称矩
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 二次 理论 起源于 解析几何 中的 二次曲线 二次曲面
链接地址:https://www.31doc.com/p-10159653.html