1二次型理论起源于解析几何中二次曲线.docVIP

第九章 二次型 综述 1．二次型理论起源于解析几何中二次曲线、二次曲面的简化问题.一般的n 元二次型化为标准型问题在很多工程问题中有广泛的应用,而n 维欧氏空间中二次型正交化为标准型问题,在相近学科如分析、统计学中有直接的应用,但内容本身作为高等代数（线性代数）的一部分,不太需要完整的论述而又必要作一讨论. 2．n元二次型理论（一般数域F上）从体系结构上来讲,可作为一独立的内容,但其可建立与F上n 阶对称矩阵的一一对应,所以可安排在矩阵一节之后（北大教材即如此）,而其又可与F上的向量空间v上的对称内积（亦可为对称双线性函数（型））的集合一一对应,因而可放在欧氏空间后.（先推广欧氏空间即定义一般数域上的（对称）内积（或更一般的酉内积）,具体见下补）.特别是对欧氏空间中实二次型的讨论（主轴问题、正定等）因而可放在欧氏空间后（因有些结论是对称变换的推论）. 3．就本章内容而言,主要是二次型的概念及标准形问题,实二次型分类及实二次型的正定及主轴问题.如刚才所讲,实际上：一般数域F上的n元二次型的集合,F上n维向量空间的对称双线型（函数）的集合（亦是对称内积的集合）,F上n 阶对称矩阵的集合是一一对应的,即是同一事物的三种表现形式,可通过一方研究（表示）另一方,且大多是通过对称矩阵来研究二次型的（如标准形（化简）、复、实二次型的规范型、实二次型的正定及主轴问题皆是如此）,这是方法问题,而理论上为认识二次型是先介绍了双线性型（对称双线性函数）,所以在具体内容上直接给出二次型定义,用上述方法讨论前述问题. 4．本节重点难点是二次型的标准形,复、实二次型的规范形及正定二次型的判定,所以二次型的初等变换法化简、惯性定理是难点. 5．简要介绍一下欧氏空间的推广——内积空间与西空间.（略） 6．本教材是先定义双线性型（函数）,对称双线性型（函数）,引入与对称双线性型（函数）的关联函数得出二次型定义,好在理论 上可进一步了解二次型,但不利于实质上（用对称矩阵）讨论二次型本章要解决的问题,以及9.2以后的内容；重要的是引导学生建立F上n元二次型与F上n阶对称矩阵的一一对应,通过对称矩阵研究本章所有问题. 9.1 二次型 一 教学思考 1．二次型的理论起源于解析几何中二次曲线、二次曲面的化简问题,但其理论在网络问题中、分析、热力学等中有广泛应用.仅从数学内容上言,其与F上n维向量空间v上所有对称双线性型（对称内积）,F上所有n 阶对称方阵是同一事物的三种表现形式,即存在一一对应.这样不管从理论上还是从方法上提供了讨论问题的方法.本节重要的是给出二次型的定义及二次型的表示,特别是其矩阵表示,从而建立n 元二次型与n 阶对称矩阵的对应,用对称矩阵来讨论二次型的标准形问题,为下面具体讨论C上R上的二次型的规范形（分类）（正定、主轴问题）打下基础. 2．本节不从书中介绍,直接给出二次型的定义 、表示、标准形等概念,及标准形的化法. 二 内容要求 1．内容：二次型、二次型的矩阵、可逆性替换,矩阵的合同、二次型的等价、二次型的标准型 2．要求：掌握上述概念及二次型的标准形的化法. 三 教学过程1．二次型及表示 定义 数域F上n个文字x,x,…x的一个二次齐次多项式叫做F上n个文字的二次型或n元二次型（简称二次型）.一个n 元二次型总可以写成： q(x,x,…x)=ax+ax+…+ax +2axx+…+2axx +2axx+…+2axx (Ⅰ) +… …+2axx (Ⅰ)式称为二次型的一般形式. q(x,x,…x) (Ⅱ) （2）二次型的矩阵 定义 令A=是由（Ⅱ）的系数所构成的矩阵.称为二次型（Ⅱ）的矩阵. 二次型（Ⅰ）（Ⅱ）又可表示为（矩阵）形式： q(x,x,…x)= (x,x,…x)A=xAX. (Ⅲ) 定义：一个二次型的矩阵叫做二次型的秩. (3)可逆（非退化、满秩）线形替换有矩阵的合同. 定义 x,x,…x和是两组文字,系数在数域F中的一组关系式 （＊） 称为由x,x,…x到的一个线性替换. 定理1 n元二次型q(x,x,…x)= xAX经（可逆）线性替换（＊）X=CY变为二次型YBY.其中B=CAC. 定义 设A,B∈M(F),若存在一可逆矩阵P∈M(F),使得B=,则称A与B合同. 合同关系的性质： 自反性： A∈M(F),A与A合同.(∵A=). 对称性：若A与B合同,则B与A亦合同