1第六章 二次型 6.4 二次型的正定性 6.4 二次型的正定性一、惯性定理与惯性指数二、正定二次型三、负定(半正定、半负定) 二次型*2第六章 二次型 6.4 二次型的正定性 一、惯性定理与惯性指数1. 惯性定理对对于一个给给定的实实二次型定理则其中正、负项的项数是惟一确定的，经过经过 非退化线性变换化为标准形(或规范形)，即它们的和等于矩阵 A 的秩 。(略)证明3第六章 二次型 6.4 二次型的正定性 一、惯性定理与惯性指数1. 惯性定理称为该二次型的正惯性指数 ；2. 惯性指数定义实实二次型 的标准形中正平方项的项数p负平方项的项数 称为该q二次型的负惯性指数 ；它们的差 称为该二次型的符号差。正、负惯性指数统称为惯性指数。 4第六章 二次型 6.4 二次型的正定性 答D 与 A 相似。 （特征值相同且可相似对角化）矩阵阵 A 的特征值为值为 ： 矩阵阵 B 的特征值为值为 ： 矩阵阵 C 的特征值为值为 ： 矩阵阵 D 的特征值为值为 ： B, C, D 与 A 等价；（秩相同） C, D 与 A 合同； （惯性指数相同）问问 B, C, D 中哪些与 A 等价、合同、相似？例5第六章 二次型 6.4 二次型的正定性 1. 正定二次型与正定矩阵则则称 f (X ) 为为正定二次型，注(1) A 为为正定矩阵隐阵隐 含 A 为对为对 称矩阵阵；二、正定二次型设设n 元实实二次型定义如果对对空间间 中任意的都有称二次型矩阵 A 为正定矩阵 .(2) A 为为正定矩阵阵有时记为时记为 A 0 .6第六章 二次型 6.4 二次型的正定性 (是)(不是)(不是)(不是)一般说来，由于且 X 与 Z 一一对应，故 f (X ) 的正定性取决于 g (Z ) 正定性。判断下列二次型是否为正定二次型？例记为7第六章 二次型 6.4 二次型的正定性 2. 二次型正定的充要条件(2) 正惯惯性指数为为 n ； (3) A 的特征值值全部大于零； (4) A 与 I 合同；1. 正定二次型与正定矩阵二、正定二次型n 元实实二次型 正定(或 n 阶实对实对 称阵阵A定理1正定)的充要条件是下列条件之一：证明题用条件 (1), (3), (4)；判断题用条件 (3) .注(略)证明8第六章 二次型 6.4 二次型的正定性 2. 二次型正定的充要条件1. 正定二次型与正定矩阵二、正定二次型n 元实实二次型 正定(或 n 阶实对实对 称阵阵A 正定)的充要条件是 A 的顺序主子式全大于零，定理2 (Sylvester定理)(略)证明即西尔维斯特 史泰龙 (Sylvester Stallone )9第六章 二次型 6.4 二次型的正定性 方法一故 正定。即 A 的顺序主子式全大于零，判断 的正定性。例已知解10第六章 二次型 6.4 二次型的正定性 已知判断 的正定性。方法二可得 A 的特征值为值为 2、2、4，故 正定。即 A 的特征值全大于零，例解由11第六章 二次型 6.4 二次型的正定性 故 A 的顺序主子式必须全大于零，即由于 为为正定阵阵，解已知 正定，求 t 所满足的条件。例可得 t 所满足的条件为：12第六章 二次型 6.4 二次型的正定性 故 均为正定阵。 证证明 均为正定阵。 已知 A、B 为正定阵，M 为可逆阵，例首先 均为对称阵。证对于任意的 有 且13第六章 二次型 6.4 二次型的正定性 即 A 对称且 A 与 I 合同，故 A 为正定矩阵。若存在可逆对称矩阵 B ，使得 使得证明 A 为正定矩阵的充要条件是存在可逆对称矩阵 B ，例充分性证则14第六章 二次型 6.4 二次型的正定性 必要性 若 A 为正定矩阵，则 A 的特征值全大于零且存在其中， 正交矩阵 C ，使得满足 且15第六章 二次型 6.4 二次型的正定性 称 f (X ) 为半负定二次型，称 f (X ) 为半正定二次型，称 f (X ) 为负定二次型，三、负定(半正定、半负定)二次型*设设n 元实实二次型定义如果对对空间间 中任意的都有(1)(2)(3)称 A 为负定矩阵；称 A 为半正定矩阵；称 A 为半负定矩阵 .16第六章 二次型 6.4 二次型的正定性 (正定)(半正定、非负定)(负定)(半负定、非正定)(不定)判断下列二次型的正定性？例17第六章 二次型 6.4 二次型的正定性 三、负定(半正定、半负定)二次型*n 元实实二次型 负负定(或 n 阶实对实对 称阵阵A 定理(3) 负惯负惯 性指数为为 n ； (4) A 的特征值值全部小于零； 负定)的充要条件是下列条件之一： (2)正定 (或 A 正定);(1)-(5) A 与 I 合同；-(6) A 的顺序主子式 满足即奇(偶)数阶顺序主子式全小(大)于零。18第六章 二次型 6.4 二次型的正定性 附：二次型的正定性在二元函数极值问题中的应用设 点为某二元函数 的驻点，即记则二元函数 在 点的泰勒展开式为 在 点的一个“微小”邻域内，有19第六章 二次型 6.4 二次型的正定性 记则在 点“附近”，可由 “代替”二次型 正定，(1) 当 时，即故 为极小值；二次型 负定，(2) 当 时，即故 为极大值；20第六章 二次型 6.4 二次型的正定性 轻松一下吧