线性代数及其实际应用.pptVIP

则可逆线性变换x=Cy化二次型为标准形 思考练习 对实二次型 f (x1, x2, ···, x3)=xTAx，用不同的可逆线性变换均可将其化为标准形，如果所用的可逆线性变换不同,则化成的标准形一般也不同．但是，对同一个二次型，不同的标准形还是有一些共同特性的． 第5.3节 惯性定理 二次型的规范形 基本内容 惯性定理 二次型的规范形 1. 惯性定理 定理 设实二次型f(x1,…,xn)=xTAx 的秩为r,可逆线性 变换x＝C1y和x＝C2z分别把它化为标准形 则p=q.(证明略) 设实二次型f(x1, x2,x3)=xTAx 经可逆线性变换化 为标准形 ，继续施行可逆线性变 换，可以进一步化为下面两种形式: 对比以上三种标准化形式,在实数范围内,可以推断：无 论做何种可逆线性变换,标准形的平方项系数中,非零的个数 不变；正数、负数的个数不变．该结果具有一般性,这就是 实二次型的惯性定律． 惯性定理告诉我们： (1) 二次型的标准形中，平方项系数中非零的个数唯一确定，是二次型的秩；正数、负数的个数唯一确定，分别称其为二次型的正、负惯性指数；正惯性指数与负惯性指数之差称为二次型的符号差． (2) 该定理反映在几何上，即是：通过可逆线性变换将二次曲线（面）方程化为标准方程时，方程的系数与所作的变换有关，但曲线的类型（椭圆型、双曲型等）不会因所作线性变换不同而有所改变． 第5.4节 正定二次型 对不同二次型进行分类，在理论上和应用上都 有重要意义,本节介绍一种重要的二次型 ——正定 二次型. 基本内容 二次型的有定性 正定二次型的判别法 二次型有定性在求函数极值中的应用 1.二次型的有定性 定义：设有实二次型f(x1,…,xn)=xTAx，如果对任意的 x?0，都有 f(x1,…,xn)=xTAx0 称f 为正定二次型;相应的矩阵A称为正定矩阵，记为 A0; 若对任意x?0都有f0,称f为负定二次型,相应 的矩阵A称为负定矩阵；若对任何 x?0 都有f ≥0，称 f为半正定二次型，若f≤0，称f 为半负定二次型，相 应的矩阵A分别称为半正定、半负定矩阵. 二次型的正定（负定）、半正定（半负定） 统称为二次型及其矩阵的有定性，不具备有定性的 二次型及其矩阵是不定的． 半负定二次型 正定二次型 负定二次型 半正定二次型 考察 2.正定二次型（正定矩阵）的判别法 定理1：二次型经过可逆线性变换，其正定性不变. 第5章 二次型 二次型与对称矩阵 二次型的标准化 惯性定理 二次型的规范形 正定二次型 Mathematica软件应用 第5.1节 二次型与对称矩阵 二次型理论起源于解析几何中化二次曲线或 二次曲面方程为标准形问题. 这里首先介绍一些 基本概念，然后讨论如何利用可逆线性变换把一 个二次型化成标准形. 基本内容 二次型的定义 二次型的矩阵表示 称为n元二次型，简称二次型. 称为二次型的系数. 1. 二次型定义 定义1 定义2 （二次型的标准形） 只含有平方项的二次型，即 称为标准形. 例如： 一般二次型 标准型 二次型f 与实对称矩阵是一一对应的. 称A为二次型f 的矩阵；称A的秩为二次型f 的秩. 二次型f 的标准形与对角矩阵是一一对应的. 二次型的矩阵表示 例1 写出二次型的矩阵表示 解 问题： 如何将一个二次型经过可逆（满秩）的线 性变换化为标准形？即通过怎样的线性变换将一 个带有交叉的二次齐次多项式(一般二次型)化简 为只含有平方项的二次齐式 (标准形). 第5.2节 二次型的标准化 1. 预备知识 将二次型化为标准形，需要借助线性变换来 实现．首先回顾线性变换的概念． 若C可逆，称之为可逆线性变换；若C是正交矩阵，称之为正交线性变换. 其次，给出矩阵合同的概念． 对n元二次型，我们关心的主要问题是：寻找 可逆的线性变换x=cy，使 将上式中A和?满足的特殊关系一般化，有以下定义: 定义（合同矩阵）：设A、B为n阶矩阵，如果有可逆 矩阵C，使 CTAC=B 称A与B合同. 合同是矩阵之间的一种关系，具有 反身性 对称性 传递性 定理：可逆线性变换后的二次型矩阵与原二次型的 矩阵合同． 二次型的标准化问题转化为：如何将一个实对称矩阵合同于一个对角矩阵。 1. 正交变换法 由于二次型的矩阵A都是实对称矩阵，根据上 一节的结果知,存在