第五章第七节.docVIP

§7 正定二次型 一.. 规范形 一个二次型化为标准形时，由于所用的可逆线性变换不同，得的标准形也可能不同. 例如,二次型 经可逆线性变换 化为 而经为逆线性变换 化为 这说明二次型的标准形不是惟一的,但是一个二次型化为标准形后,标准形中的项数是惟一的(这个项为就是二次型的秩).当限定二次型的系数为实数, 且所用的可逆线性变换为实变换时,标准形中正系数的个数是不变的,从而负系数的的个数也是不变的. 对于任意一个元实二次型，可以通过以下两种方法之一得到标准形 一种方法是通过正交变换后得到的, 其中是阶正交矩阵, 即满足. 此时, 根据 知道, 所得到的标准形中的个系数就是对称矩阵的全体特征值. 另一种方法是通过可逆变换后得到的, 这里为可逆矩阵, 此时, 标准形中的系数就未必是对称矩阵的特征值. 我们要指出一个重要事实: 不管是通过哪一种方法得到的标准形，都可以进一步化简. 我们先看一个实例. 例1 对于三元标准二次型，经过可逆线性变换 ， 必可变为 . 换成矩阵的说法，它就是 这是一种最简单的标准形, 它只含变量的平方项, 而且其系数只可能是和. 定义7.1 所有平方项的系数为或的标准二次型称为规范二次型.. 为了叙述方便, 对二次型, 化得的规范二次型,可简称为二次型的规范形. 用例1中所述方法,不难理解,对于给定的二次型, 不论是用什么方法得到一个标准形 如果其中的系数都是正数，都是负数，，那么经过可逆变换 ， , , 就可把上述标准形化为规范形 . 这个规范形, 是可以根据标准形中系数的正、负性和零, 不需要任何计算, 就可直接写出来的. 对于给定的元二次型, 它的标准形不是由惟一确定的. 那么自然要问: 它的规范形是否由惟一确定? 定理7.1（惯性定理）设有实元二次型, 它的秩为,有两个实的可逆变换 使 则中正数的个数与中正数的个数相等. 推论 任何一个实系数的二次型都可以通过可逆的线性变换化成规范形: 惯性定理的矩阵形式. 对于任意一个阶对称矩阵，一定存在阶可逆矩阵使得 定义7.2 规范形中的称为二次型(或对称矩阵)的正惯性指数，称为二次型(或对称矩阵)的负惯性指数，称为它们的符号差. 定理7.2 对称矩阵合同当且仅当它们有相同的秩和相同的正惯性指数. 证 必要性：设. 因为是对称矩阵，是可逆矩阵，所以，必是对称矩阵，一定存在可逆矩阵使得 这里，, 为的正惯性指数.于是有 这说明也合同于.根据惯性定理中的正惯性指数的惟一性知道,也是的正惯性指数. 充分性：设阶对称矩阵有相同的秩和相同的正惯性指数. 则根据惯性定理知道, 必存在可逆矩阵和使得 和 于是，根据立刻得到 . 这说明一定合同. 证毕 例2 在以下四个矩阵中, 哪些是合同矩阵? 哪些是不合同矩阵? ，. 解 这四个方阵的秩都同为.因为，的正惯性指数同为，所以合同.的正惯性指数同为，所以合同. 但不合同. 不合同. 二、实二次型的分类 元实二次型和对应的阶实对称矩阵，可分成以下五类： （1）如果对于任何非零实列向量，都有，则称为正定二次型. 称为正定矩阵. （2）如果对于任何实列向量，都有，则称为半正定二次型. 称为半正定矩阵. （3）如果对于任何非零实列向量，都有，则称为负定二次型. 称为负定矩阵. （4）如果对于任何实列向量，都有，则称为半负定二次型. 称为半负定矩阵. （5）其它的实二次型称为不定二次型.其它的实对称阵称为不定矩阵. 例1 以为例. （1）正定二次型：. 对应的矩阵. (2）半正定二次型：. 对应的矩阵. （3）负定二次型：. 对应的矩阵. （4）半负定二次型：. 对应的矩阵. （5）不定二次型：. 对应的矩阵. 注意:（1）不管是哪种二次型，其中的必须是实对称矩阵. （2）是非零向量指的是其中的分量不全为零，即至少有一个分量不为零. 所有分量都不为零的向量当然是非零向量，但它仅仅是一种特殊的非零向量，其范围小了很多. 因此，如果仅对所有分量都不为零的向量都有，那么还不能说是正定矩阵和是正定二次型. 例如,,. 但它