二次型讲义.docx

二次型是线性代数的重要内容之一,二次型的理论起源于解析几何学中二次曲线方程和二次曲面方程化为标准形问题的研究.二次型理论与域的特征有关,现在二次型的理论不仅在几何而且在数学的其他分支物理、力学、工程技术中也常常用到. 二次型应用的领域很广, 在以前的学习中求一元或多元函数的最值的方法通常有利用图象法或微分理论,通过矩阵乘法将二次型与对称矩阵联系起来,从而一方面使得二次型的问题可以用矩阵的理论和方法来研究,另一方面也可将对称矩阵的问题转化为用二次型的方法来解决.所以正确写出二次型的矩阵是研究二次型的基础.本文在对二次型性质研究的基础上, 介绍了正定矩阵的性质, 简单的举了一些实例来阐述实矩阵正定性的应用,并对二次型的理论进行了推广, 讨论了二次型的应用.如二次型,经过正交变换后可以化为标准型,所以f的图形是一个旋转单页双曲面。由此可知，任意一个n元二次型代表n维空间上的图形。二次型的定义含有n个变量的二次齐次多项式（即每次都是二次的多项式：，称为n元二次型，令，A=（），则二次型可用矩阵表示为：其中A是n阶实对称矩阵（AT=A），称A为二次型的矩阵，矩阵A的秩即为二次型f的秩。二次型与非零对称矩阵一一对应.即,给定一个二次型,则确定了一个非零的对称矩阵作为其系数矩阵;反之,给定一个非零的对称矩阵,则确定了一个二次型以给定的对称矩阵为其系数矩阵.二次型从本质上来说仍然是一个关于n个变量的函数，只不过是一个比较特殊的二次其次函数，在表达式中除了平方项就是交叉项，没有一次项或常数项，只是希望利用矩阵的理论来研究二次型时才将二次型写为。注: 一个二次型的矩阵之所以要求是对称矩阵,原因之一是使得二次型矩阵是唯一确定的.研究问题对于二次型，我们讨论的主要问题就是寻求可逆的线性变换使二次型只含有平方项。用矩阵形式可写为,使得这种只含有平方项的二次型称为二次型的标准型，若标准型的系数只在1,0，-1三个数中取值，那我们称这种标准型为二次型的规范型。化二次型为标准型的方法坐标变换 很显然，当所选的坐标不同时，二次型的标准型也不同。正交变换正交矩阵如果n阶矩阵A满足ATA=E（即A-1=AT）那么称A为正交矩阵。A为正交矩阵的充分必要条件是A的列向量都是单位矩阵且两两正交。（见P116）正交矩阵的性质：若A为正交阵，则A-1=AT也是正交阵，且|A|=1或-1.若A和B都是正交阵，则AB也是正交阵。定义 若P为正交阵，则线性变换y=Px称为正交变换。则有：||y||==||x||由于||||表示向量的长度，相当于线段的长度，经过正交变换线段的长度保持不变。这里，由于二次型规范型和标准型比较容易得到，所以我们不准备讲具体算法，而是把重点放在正定二次型的性质和应用上。正定二次型定义 设有实二次型, 若对任何, 都有, 则称为正定二次型, 并称对称矩阵是正定矩阵; 若对任给, 都有, 则称为负定二次型, 并称对称矩阵是负定矩阵.；若对任何, 都有，则称为半正定二次型；若对任给, 都有, 则称为半负定二次型。定理3 元实二次型为正定的充要条件是它的标准形中的个系数全为正.，即它的规范型的n个系数全为1，它的正惯性指数为n；证明p133推论 实对称矩阵为正定的充要条件是的特征值全为正.定理4 (霍尔维茨定理)实对称矩阵为正定的充分必要条件是: 的各阶顺序主子式 ,; 实对称矩阵为负定的充要条件是: 的奇数阶主子式为负, 而偶数阶主子式为正, 即 .矩阵的应用矩阵运算和文本处理中的分类问题我在大学学习线性代数时，实在想不出它除了告诉我们如何解线性方程外，还能有什么别的用途。关于矩阵的许多概念，比如特征值等等，更是脱离日常生活。后来在数值分析中又学了很多矩阵的近似算法，还是看不到可以应用的地方。当时选这些课，完全是为了混学分的学位。我想，很多同学都多多少少有过类似的经历。直到后来长期做自然语言处理的研究，我才发现数学家们提出那些矩阵的概念和算法，是有实际应用的意义的。在自然语言处理中，最常见的两类的分类问题分别是，将文本按主题归类（比如将所有介绍亚运会的新闻归到体育类）和将词汇表中的字词按意思归类（比如将各种体育运动的名称个归成一类）。这两种分类问题都可用通过矩阵运算来圆满地、同时解决。分类的关键是计算相关性。我们首先对两个文本计算出它们的内容词，或者说实词的向量，然后求这两个向量的夹角。当这两个向量夹角为零时，新闻就相关；当它们垂直或者说正交时，新闻则无关。当然，夹角的余弦等同于向量的内积。从理论上讲，这种算法非常好。但是计算时间特别长。通常，我们要处理的文章的数量都很大，至少在百万篇以上，二次回标有非常长，比如说有五十万个词（包括人名地名产品名称等等）。如果想通过对一百万篇文章两篇两篇地成对比较，来找出所有共同主题的文章，就要比较五千亿对文章。现在的计算机