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

第八章 二次型 二次型理论起源于解析几何中的化二次曲线和二次曲面方程为标准形的问题，这一理论在数理统计、物理、力学及现代控制理论等诸多领域都有很重要的应用. 本章主要介绍二次型的基本概念,讨论化二次型为标准形及正定二次型的判定等问题. §8.1 二次型及其矩阵表示 在解析几何中,我们曾经学过二次曲线及二次曲面的分类,以平面二次曲线为例,一条二次曲线可以由一个二元二次方程给出： (1.1) 要区分(1.1)式是哪一种曲线(椭圆、双曲线、抛物线或其退化形式),我们通常分两步来做:首先将坐标轴旋转一个角度以消去项, 再作坐标的平移以消去一次项. 这里的关键是消去项,通常的坐标变换公式为: (1.2) 从线性空间与线性变换的角度看,(1.2)式表示平面上的一个线性变换.因此二次曲线分类的关键是给出一个线性变换,使(1.1)式中的二次项只含有平方项.这种情形也在空间二次曲面的分类时出现,类似的问题在数学的其它分支、物理、力学中也会遇到. 为了讨论问题的方便,只考虑二次齐次多项式. 定义8.1.1 设是数域上的元二次齐次多项式: (1.3) 称为数域上的元二次型,简称二次型. 如果数