- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
正定二次型是二次型中一项非常重要的二次型,.ppt
正定二次型是二次型中一项非常重要的二次型, 它在极值问题的研究中有极重要的作用。 定义( 正定二次型与正定矩阵 )设 为一个n元二次型,若 都有 为正定二次型,相应地称A 为正定矩阵。 则称 6.2 正定二次型 是正定的。 不是正定的。 因为 ?( 0, 1, 0 )= - 2 0。 定理6.2 二次型经过可逆线性变换,其正定性不变。 证明 设二次型 f (x)=xTAx, 经过可逆线性变换 x = Cy 化成了二次型 f (y) = (Cy)TA C y= yTCTAC y 若xTA x 是正定的,即对任意的 有 xTA x 0。于是 有 得 因此,二次型 f (y) = (Cy)TA C y= yTCTAC y是正定的。 反过来也是对的,故xTA x 和yTCTAC y有相同的正定性。 从定理的证明还可以看出,对于实对称矩阵A,A和 CTAC (其中C可逆)有相同的正定性。 其中 为 的单位化特征向量。 证(1)A 为n 阶实对称矩阵,因而A 有n个标准 定理6.3 设n阶实对称矩阵A的全部特征值为: 正交的特征向量 ( 分别对应于 ) 组成n维空间的基。 (1) (2) 当 时, (2) 设 推论 实对称矩正定矩阵的充要条件是: A的所有特征值都大于零. 证 设A为正定矩阵, 为任一特征值, 为 的特征向量,即 ,由于A正定,则 若A的所有特征值都大于零,则其最小的特征值 即A正定. ,由定理6.3 证* A正定,则存在正交矩阵P,使 为A的特征值, 定理6.4* 实对称矩阵A为正定的充要条件是存在可逆 合同. 矩阵M,使 ,即 , A与I 令 则M可逆,且 若存在可逆矩阵M,使 即A为正定矩阵。 则 注意: 不是A正定的充分条件。 推论 若A正定,则 。 证 为A的r 阶(顺序)主子式 。 我们还有一个利用A的行列式判断正定的充要条件. r 阶主子方阵 的行列式 设n 阶方阵 定义 ,称它的左上角的 故r 阶方阵为正定,因而 , 。 证* 设A为正定,则 ( 从略见书 ) 定理6.5 实对称矩阵A为正定矩阵的充要条件是 当 时,求 f 的最大,小特征值及对应的向量。 解 例6.6 对应的最大,小的特征值为: 对应于最大,小特征值的单位特征向量为: 例6.7 判定二次型 的正定性。 解 用顺序主子式法,f 的矩阵为 A的各阶主子式为 由于A的各阶主子式都大于零,故二次型f 为正定的。 解 为正定二次型。 例6.8 确定t 使 (舍去) . ∴当 时,A正定。 例6.9 设A与B合同,即存在可逆矩阵C , 使 则A 正定 B 正定。 ∴ A 正定。 证 设B 正定, 二次曲面的一般方程为: 则二次曲面方程可写成: 6.6 二次曲面方程的标准方程 对A(实对称矩阵),存在正交矩阵P,使 作正交变换: 其中 即 这样就消去了二次交叉项,然后再通过配方法将 变换中既有平方项又有一次项的一次项消去,就可得 到二次曲面的标准方程了。 令 这是一个单叶双曲面。 配方后得 消去二次交叉乘积项后的方程为 例6.10 对 配方 例6.11 消去二次交叉项后方程为 令 ,则 这是一个抛物椭圆面。 为什么要研究正定二次型? 来源于微积分中极值问题的研究。 由Taylor定理, 在 处取得极值的必要条件是: 处取得极值的充分条件是: 在 二元函数的极值问题: 则称 f 为负定二次型 , 相应地 , 称A为负定矩阵。 定义: 对二次型 称 f 为半正定二次型; 称 f 为半负定二次型。 定义: 对二次型 习 题 六 p.169 9. (1),(3) 10. 12. 13.
文档评论(0)