次课正定二次型.pptVIP

只含平方项的二次型 称为二次型的标准形标准形(或法式)。 定义定义6.106.10（二次型标准形） 平方项系数只在1,-1,0中取值的标准形 称为二次型的规范形规范形。（见书第五节二次型的规范形） 以上说明： 注意： 2. 在变换二次型时，要求所作的线性变换是可逆的. 设二次型 f(x) = xTAx ( r(A)=r )经正交变换化为: (思考为什么一定可化为上面形式？) 再做一次可逆的线性变换 则 f 化为 思考：在可互化的二次型 中最简单的是什么？在对 称矩阵合同等价类中最简 单的矩阵是什么？ 任意一个实二次型f(x1,x2,xn) = xTAx 定理定理6.126.12(惯性定理) 总可以经过一个适当的可逆线性变换化成如下形式的规范形 其中r是二次型f的秩， p是二次型f的矩阵A的正特征值个数（ 重根按重数计），r-p是矩阵A的负特征值个数（重根按重数 计），且规范形是唯一的.证明略 二次型的标准形中正项个数称为二次型的 正惯性指数, 负项个数称为二次型的负惯性指数. 设二次型 f 的秩为 r , 正惯性指数为 p , 则 负惯性指为 r p . f 的规范形为 惯性定理指出惯性定理指出：两个二次型是否等价，被其秩 和正惯性指数唯一确定。 推论推论6.116.11(惯性定理的矩阵语言描述) p正、负惯性指数与实二次型的矩阵A的正、负特征值的个数对应相等. n阶实对称矩阵A合同于 ，其中r是A的秩， p是A的正特征值个数，r-p是A的负特征值个数.（重根按重数计） 惯性定理指出：两个二次型是否等价，被其秩和正惯性指数唯一确定. 思考并回答思考并回答 (1) 二次型的标准形唯一吗？ (2) 二次型的标准形中平方项的个数与二次型的 秩有何关系？与二次型矩阵的非零特征值的个数有 何关系？ (3) 设CTAC = D (C可逆，D是对角阵)，D的对角 元是A的特征值吗？如果C是正交矩阵又如何？ (4) 设4阶对称矩阵A的特征值为0, 2, 2, -3 , A的二 次型的规范形是什么？ 思考：在可互化的二次型中最简单的是什么？在对称矩 阵合同等价类中最简单的矩阵是什么？ 如果 n 维的二次型 f(x) = xTAx 其标准形系数全为正， 则称之为正定二次型，二次型的矩阵 A 称为正定矩阵；如果标 准形中系数全为负，则称之为负定二次型，二次型的矩阵称为 负定矩阵。 定义定义 化标准形 化规范形 正定二次型为 正定矩阵就是特征值全大于零的对称矩阵，也是与单位正定矩阵就是特征值全大于零的对称矩阵，也是与单位 矩阵合同的对称矩阵。矩阵合同的对称矩阵。 显然，如果 f 负定，则 f 正定，以后只需讨论正定二 次型(正定矩阵)。 定理定理 二次型二次型 f f( (x x) = ) = x x T T AxAx 正定的充要条件是对任意正定的充要条件是对任意x x00， 都有都有 f f( (x x) = ) = x x T T AxAx 0 0. (注：书上以后者为定义) 证 设 必要性：设 f 正定，即 对任意x0，则 ，故 充分性：反证。如果有某个 ，取 , 与 矛盾。 如果 n 维的二次型 f(x) = xTAx 其标准形系数全为正 (秩和正惯性指数都等于n)，则称之为正定二次型正定二次型，二次型的矩 阵 A 称为正定矩阵正定矩阵；如果标准形中系数全为负，则称之为负定 负定 二次型二次型，二次型的矩阵称为负定矩阵负定矩阵. 定义定义6.136.13 p显然，如果 f 负定，则 f 正定. 设f(x)是实二次型，若对任意非零向量x， (1) 恒有f(x) 0 ，则称实二次型f(x) 是半正定的； (2) 恒有f(x) 0 ，则称实二次型f(x) 是半负定的. 定义定义6.146.14 p我们重点讨论正定二次型(正定矩阵). 定理定理( 霍尔维茨定理 ) 对称矩阵A为正定的充要条件是：A的各阶主子 式全为正，即 总结总结: 二次型 f(x) = xTAx 为正定二次型(A为正定矩阵) 判别二次型 是否正定. 它的各阶顺序主子式 故上述二次型是正定的. 例1 f 的矩阵为 解 例2 解 判别二次型 是否正定. 二次型的矩阵为 即知A是正定矩阵，故此二次型为正定二次型. 求得其特征值 判别二次型 的正定性. 例3 解 二次型的矩阵 它的各阶顺序主子式 A是负定矩阵，二次型是负定二次型。 或者，判别 为正定. 例4 与矩阵 合同的矩阵是( ) A特征值是两正一负。 是正定二次型？ 解 二次型的矩阵为 A的顺序主子式为： 所以当 例5 问t 满足什么条件时，二次型 A的顺序主子式全大于0，此时 f 正定。 例6设 是正定矩阵, 证明 例7 证明 ATA 为正定矩阵的充要条件是 A 为 列满秩矩阵. 例8 为A的最大特征值。 证明：二次型 f(x) = xTAx 在 时的最大值 思考题：1、 (1) 合同且相似；(2) 合同但不相似； (3) 不合同但相似； (4) 不合同且不相似； 正定二次型 本节讨论二次型的分类问题. 重点是正定二次型. 在n维的二次型中, 如果两个二次型 xTAx 和 yTBy 可以互化，即 则称这两个二次型等价。这相当于 即在n阶对称矩阵中A与B合同等价。 我们把等价的二次型分为同一类。相当于对称矩 阵的合同等价类。 什么条件决定两个二次型等价？ 我们知道, 等价的二次型有相同的秩, 也就是标准形 中平方项个数相等. 但秩相等的两个二次型不一定等价. 例如 与 不可能等价. 因为不存在可逆矩阵 C 满足 因为 例6.16设A为正定矩阵，证明 证明因为A为正定矩阵，所以A的特征值全大于零. 设 是A的所有特征值，则A+E的特征值