高代课程论文二次型的分类.docxVIP

高等代数课程论文 ——二次型的分类 姓名： 学号：班级：摘要 二次型quadratic form，是线性代数的重要内容之一。它起源于几何学中二次曲线方程和二次曲面方程化为标准形问题的研究。二次型理论与域的特征有关。：本文基于二次型与对称矩阵的关系，即利用二次型与对称矩阵之间就存在一一对应的关系，通过矩阵的乘法将二次型与对称矩阵联系起来，从而使得二次型的问题可以用矩阵的理论和方法来研究。为了判定实二次型引入了矩阵的合同线型变换法，基于对称矩阵与二次型的密切关系，在正负惯性指数未知的情况下利用其矩阵的判别法给出了判断实对称矩阵正定型，负定型，半正定型，半负定型的充要条件从而得到判断实二次型的简便方法。二、关键字二次型 正定二次型 负定二次型 不定二次型 分类三、二次型的阐述1、二次型的定义定义：若V是域F上的线性空间,q是从V到F的一个映射,使q(x)=φ(x,x)，x∈V,式中φ是V上的对称双线性型，则q称为V上的二次型。2、二次型的分类1).正定二次型：若对任何非零向量x，实二次型 ，如果对任何x≠0都有f(x)0(显然f(0)=0)，则称f为正定二次型，并称矩阵A是正定的，记之A0.3）.负定二次型：2）.不定二次型：设f(X)=x‘AX(A‘=A)是一个n元实二次型，若有X，Y任R”，且X井0，Y笋0，使f(X)o，而f(Y)0，则称f(X)为不定二次型。当域F的特征不为2时，则φ由q唯一决定。此时φ(x,x）称为V上的二次型或二次齐式，而φ(x,y）称为此二次型的极型。若{e1,e2，…，en}为V的基底，则（式1）式1，于是，二次型φ(x,x）可表为 （式2）式2式中（式3），（式4），j,k=1,2，…，n。令（式5）则（式6），j,k=1,2，…，n。于是⑴可唯一地表为对称形式式3（式7）式5式中（式8）是对称矩阵，且称为二次型φ(x，x）在基底e1,e2，…，en之下的矩阵式4。A的秩rankA称为此二次型的秩，记为rankφ。当V的基底改变时，即（e1,e2,...,en)=(e1,e2，…，en)^T，二次型φ(x,x）在新基底e1,e2,...,en之下的矩阵变成B=PAP^T，仍为对称矩阵，且与A是合同的。所以，研究二次型的合同性可归结为研究对称矩阵的合同性。式6V上的二次型也可看成F上的变元x1,x2，…，xn的二次齐次函数，又称为n元式7二次齐式或n元二次型，它与对称矩阵和对称双线性型都是一一对应的。当F为实数域R时，可以证明必有V的一组基底使二次型φ(x,x）有如下的式8形式 （式11）， ⑶式17式中p+q=rankA。⑶称为实二次型φ(x，x）的实标准形。若⑶中的系数不限于±1，则⑶又可化为 （式12），⑷并称为实二次型φ(x,x）的实对角型。式中αj、bk均大于零。所谓惯性定理，即实二次型φ(x,x）中的p、q、式11p┡、q┡必满足p=p┡，q=q┡，亦即⑶中的p、q或⑷中的p┡、q┡是由φ(x,x）唯一决定的式12合同不变量，分别称之为φ(x,x）的正、负惯性指标，而s=p-q称为φ(x,x）的符号差。易知，rankφ、s、p、q四个数都是合同不变量，其中任意两个都可唯一决定标准形⑶。式14当F为复数域C时，作为实二次型的推广有所谓埃尔米特二次型。若V为C上的线性空间，从 VXV到C的映射φ满足φ（α1x1+α2x2,y)=α1φ（x1,y)+α2φ（x2,y），（式14），式中x,y在V中，α1、α2在C 中，则φ称为 V上的埃尔米特双线性型。由此可推出（式15）（式16），式中x、yj在V中，b1上横线、b2上横线是b1、b2的共轭复数，均在C中。此时φ(x,x）称为埃尔米特二次型。易知，φ(x,x）∈R。若{e1,e2，…，en}是V?的基底，（式17），则（式18）（式19），式中ajk=φ(ej,ek），A=(ajk)n*n，且A=A横线的转置矩阵。因此，当V的基底取定时，埃尔米特二次型φ(x，x) 则由一个埃尔米特矩阵唯一确定。实二次型的基本性质都可推广到埃尔米式18特二次型上。所谓正定（恒正）的埃尔米特二次型或正定的实二次型φ(x,x）是指对于V的非零向量x，有φ(x,x)0。可以证明，对于φ(x,x），下述的命题是等价的：①φ(x,x）是正定的。②A是正定矩阵。③有非奇异矩阵Q使A=Q*Q，式中Q*表Q的共轭转置矩阵。④有对角元全为正的上三角矩阵M，使A=M*M，式中M*表M的共轭转置矩阵。⑤A的所有主子式全为正。⑥A的j阶主子式之和全为正，j=1,2，…，n，这里n=dimV。⑦A的所有左上角主子式（顺序主子式）全为正。⑧A?的所有特征值全为正。⑨φ(x，x）的正项指标p =n，这里n=dimV。若将上述正定定义中的“”，分别换为≥、“；”和“≤”，即得出φ(x,