二次型理论起源于解析几何中的化二次曲线和二次曲面方.doc

第八章 二次型 二次型理论起源于解析几何中的化二次曲线和二次曲面方程为标准形的问题，这一理论在数理统计、物理、力学及现代控制理论等诸多领域都有很重要的应用. 本章主要介绍二次型的基本概念,讨论化二次型为标准形及正定二次型的判定等问题. §8.1 二次型及其矩阵表示 在解析几何中,我们曾经学过二次曲线及二次曲面的分类,以平面二次曲线为例,一条二次曲线可以由一个二元二次方程给出： SKIPIF 1 0 (1.1) 要区分(1.1)式是哪一种曲线(椭圆、双曲线、抛物线或其退化形式),我们通常分两步来做:首先将坐标轴旋转一个角度以消去 SKIPIF 1 0 项, 再作坐标的平移以消去一次项. 这里的关键是消去 SKIPIF 1 0 项,通常的坐标变换公式为: SKIPIF 1 0 (1.2) 从线性空间与线性变换的角度看,(1.2)式表示平面上的一个线性变换.因此二次曲线分类的关键是给出一个线性变换,使(1.1)式中的二次项只含有平方项.这种情形也在空间二次曲面的分类时出现,类似的问题在数学的其它分支、物理、力学中也会遇到. 为了讨论问题的方便,只考虑二次齐次多项式. 定义8.1.1 设 SKIPIF 1 0 是数域 SKIPIF 1 0 上的 SKIPIF 1 0 元二次齐次多项式: SKIPIF 1 0 (1.3) 称为数域 SKIPIF 1 0 上的 SKIPIF 1 0 元二次型,简称二次型. 如果数域 SKIPIF 1 0 为实数域 SKIPIF 1 0 ,则称 SKIPIF 1 0 为实二次型; 如果数域 SKIPIF 1 0 为复数域 SKIPIF 1 0 ,则称 SKIPIF 1 0 为复二次型; 如果二次型中只含有平方项,即 SKIPIF 1 0 称为标准形式的二次型,简称为标准形. 说明: 在这个定义中,非平方项系数用 SKIPIF 1 0 主要是为了以后矩阵表示的方便. 例8.1.2 下列多项式都是二次型: SKIPIF 1 0 下列多项式都不是二次型: SKIPIF 1 0 定义8.1.3 设 SKIPIF 1 0 是两组文字,系数在数域 SKIPIF 1 0 中的一组关系式 SKIPIF 1 0 (1.4) 称为由 SKIPIF 1 0 到 SKIPIF 1 0 的一个线性替换,或简称线性替换. 如果系数行列式 SKIPIF 1 0 ,那么线性替换(1.4)就称为非退化的. 在研究二次型时,矩阵是一个有力工具,因此我们先把二次型用矩阵来表示. 令 SKIPIF 1 0 , 则有 SKIPIF 1 0 , 于是(1.3)式可以改写为 SKIPIF 1 0 SKIPIF 1 0 记 SKIPIF 1 0 则二次型可记为 SKIPIF 1 0 , (1.5) 其中 SKIPIF 1 0 是对称矩阵. 称(1.5)式为二次型的矩阵形式. 例8.1.4 二次型 SKIPIF 1 0 的矩阵形式为 SKIPIF 1 0 说明: 任给一个二次型就唯一地确定一个对称矩阵. 反之,任给一个对称矩阵可唯一地确定一个二次型. 因此, 二次型与对称矩阵之间有着一一对应的关系. 把对称矩阵 SKIPIF 1 0 称为二次型 SKIPIF 1 0 的矩阵,也把 SKIPIF 1 0 称为对称矩阵 SKIPIF 1 0 的二次型. 称对称矩