二次型

第五章 二 次 型 ［教学目标］ 1理解二次型、二次型的矩阵、线性替换和矩阵 合同 劳动合同范本免费下载装修合同范本免费下载租赁合同免费下载房屋买卖合同下载劳务合同范本下载 的概念，掌握二次型与对称矩阵的关系。2掌握二次型为标准形的方法。 3理解二次型的秩、复（实）二次型的 规范 编程规范下载gsp规范下载钢格栅规范下载警徽规范下载建设厅规范下载 形、实二次型的正（负）惯性指数和符号差的概念，理解复（实）二次型的规范形的唯一性和实二次型的惯性定理。 4理解正定二次型和正定矩阵的概念，掌握正定二次型和正定矩阵的性质。 ［教学重难点］1 二次型的矩阵的定义和求法，二次型的秩、正（负）惯性指数和符号差的概念，化二次型为标准形和规范型的方法，正定二次型和正定矩阵的概念、判断和性质。 ［教学方法］讲授，讨论和习 题 快递公司问题件快递公司问题件货款处理关于圆的周长面积重点题型关于解方程组的题及答案关于南海问题 相结合。 ［教学时间］12学时。 ［教学 内容 财务内部控制制度的内容财务内部控制制度的内容人员招聘与配置的内容项目成本控制的内容消防安全演练内容 ］二次型的矩阵表示，标准形，唯一性，正定二次型。 ［考核目标］ 会求二次型的矩阵，会用配方法化二次型为标准形和规范形，会求实二次型的正（负）惯性指数和符号差，会判断二次型或矩阵的正定性。    ［教学过程］ §1  二次型的矩阵表示 设 是一个数域，一个系数在数域 中的 的二次齐次多项式 … … … … …（1） 称为数域 上的一个 元二次型（简称二次型）。 例如  是一个三元二次型 是一个四元二次型 注意：（1）中 （ < ）的系数写成 ，而不是简单地写成 ,其目的是更加方便地用我们已熟悉的矩阵来研究二次型。 和几何中一样，在处理许多其他问题时也常常希望通过变量的线性替换来简化有关的二次型，例如： 是一个三元二次型，如果令 则该三元二次型就变成了 其中只含平方项，不含交叉项。为此，我们引入线性替换的概念。 定义1  设 ， 是两组文字，系数在数域P中的一组关系式       … … … … …（2） 称为由 到 的一个线性替换（简称线性替换）。 如果系数行列式 则称线性替换（2）是非退化的。 易知，若把（2）代入（1），那么就会得到关于 的多项式仍然是二次齐次的。也就是说，线性替换把二次型变成二次型。 为了用我们已熟知的矩阵来研究二次型，下面我们就来给出二次型的矩阵表示，为此先令 ， < 。由于 ，所以二次型（1）可以写成 … … … … … （3） 把（3）的系数排成一个 矩阵 称为二次型（1）的矩阵。 因为 ， ，所以 。这就是我们以前学过的对称矩阵。由此可见，二次型的矩阵都是对称矩阵。 这样我们就把二次型用矩阵表示出来了，并且二者之间是相互唯一决定的。 （注意：二次型（1）的矩阵 的元素， 时， 正是交叉项 系数的一半，而 是平方项 的系数。） 令 ，有 这说明二次型可以用矩阵的乘积表示出来。同样，线性替换（2）也可以用矩阵的乘积表示出来。令 ， 则线性替换（2）可以写成 或者 我们知道，经过一个非退化的线性替换，二次型还是变成二次型。现在就来看一下，替换后的二次型与原来的二次型之间有什么关系，即，找出替换后的二次型的矩阵与原二次型的矩阵之间的关系。 设 ，       … … … … … … （5） 是一个二次型，作非退化线性替换 （6） 我们得到一个 的二次型 现在来看 与 的关系。 把（6）代入（5），有 因为 ，所以 也是对称矩阵。由此，有 这就是前后两个矩阵的关系。 于是，我们引入合同的概念。 定义2  数域 上 矩阵 与 称为合同的，如果有数域 上可逆的 矩阵 ，使 。 合同是矩阵之间的一个等价关系。它满足 （1） 身性： ； （2）对称性：由 即得 ； （3）传递性：由 ，即得 。    定理：二次型 经非退化的线性替换 后得到一个新的二次型 其中  。  即新二次型的矩阵与原二次型的矩阵合同。 注意：在变换二次型时，我们总是要求所作的线性替换是非退化的（为什么？）。 练习： 1、 下列两式是不是二次型？ （1）   （不是） （2） （不是） 2、 写出下列二次型的矩阵： （1） （2） （3） （4） §2  标 准 形 我们认为，二次型中最简单的一种是只包含平方项的二次型。本节的主要结果是 定理1  数域 上任意一个二次型都可以经过非退化的线性替换变成平凡和的形式，如： （1） 证明  对变量的个数 用数学归纳法 首先证明 时结论成立。 再假定对 元的二次型，结论成立证明对 元二次型结论也成立。此时分三种情况来讨论： 1） 中至少有一个不为零。 2） 所有 ，但是至少有一 （ >1）。 3） 。 具体证明过程略。 易知，二次型（1）的矩阵是对角矩阵， 反之，矩阵为对角形就只含平方项。经非退化的线性替换，二次型的矩阵变到一个合同的矩阵，因此，用矩阵的语言，定理1可以叙述为 定理2  在数域 上，任意一个对称矩阵都合同于一个对角矩阵。即：对于任意一个对称矩阵 都可以找到一个可逆矩阵 使 为对角矩阵。 二次型 经过非退化的线性替换所变成的平方和称为 的一个标准型。 下面我们举例来说明如何化二次型为标准型： 例1 化二次型 为标准型。 解：  作非退化线性替换 则      再令        或 则  最后令 或 则  是平方和，而这几次线性替换的结果相当于一个总的线性替换， 例2    化二次型 为标准型。 练习：   1（1）；作业：1（2）（4） §3  唯一性 我们看到，经过非退化的线性替换，二次型的矩阵变成一个与之合同的矩阵。而合同的矩阵有相同的秩，即经过非退化的线性替换后，二次型的秩是不变的。标准型的矩阵是对角矩阵，而对角矩阵的秩就等于它对角线上不为零的元素的个数。因此，在一个二次型的标准型中，系数不为零的平方项的个数是唯一确定的，与所作的非退化的线性替换无关。二次型矩阵的秩有时也称为二次型的秩。 至于标准型中的系数，就不是唯一确定的。（举例说明）这说明，在一般的数域内，二次型的标准型不是唯一的，而与所作的非退化线性替换有关。 下面我们就复数域和实数域的情况来进一步讨论唯一性的问题。先看复数域的情形。 设 是复数域的二次型。经适当的非退化线性替换 可以变成标准型。不妨设它的标准型是 ，                   （1） 易知 就是 的秩。因为复数总可以开平方，我们再作一非退化线性替换（1）就可以变成 （2） （2）称为复二次型 的规范型。显然，规范型完全被原二次型的秩所决定，因此有 定理3  任意一个复系数的二次型，经过一适当的非退化线性替换可以变成规范型；且规范型是唯一的。 即任一复数的对称矩阵合同于另一个对称矩阵，该对称矩阵的主对角线上为1的元素个数等于该二次型的秩，其余元素均为零。 故两个复数对称矩阵合同的充分必要条件是它们的秩相等。 再来看实数域的情况。 设 是实数域的二次型。经适当的非退化线性替换再适当排列文字的次序，可使 变成标准型。不妨设它的标准型是 （3） > ， ， 就是 的秩。 因为在实数域内，正实数总可以开平方，所以再作一非退化的线性替换（3）就可以变成 （4） （4）被称为实二次型 的规范型。显然规范型完全被r，p这两个数所决定。因此有 定理4  任意一个实系数的二次型，经过一适当的非退化线性替换可以变成规范型；且规范型是唯一的。 定义3  在实二次型 的规范型中，正平方项的个数 称为 的正惯性指数；负平方项的个数 称为 的负惯性指数；它们的差 称为 的符号差。 注意：虽然实二次型的标准型不是唯一的，但是标准型系数为正的平方项的个数与规范型中正平方项的个数是一致的。故惯性定理也可以叙述为：实二次型的标准型中系数为正的平方项的个数是唯一确定的，它等于正惯性指数，而系数为负的平方项的个数就等于负惯性指数。 即实二次型的对称矩阵合同于另一个对称矩阵，该对称矩阵的主对角线上为1的元素个数就是该二次型的正惯性指数，-1的个数就是该二次型的负惯性指数，1与-1的个数的和就是该二次型的秩，其余元素为零。 故两个实数对称矩阵合同的充分必要条件是它们的正惯性指数与负惯性指数分别相等。 小结：如果复数域上的两个二次型的秩相等，它们就能用非退化线性替换相互转化。但实二次型不是这样。两个秩相等的是实二次型的正惯性指数不一定相等，因而也不一定有相同的标准型，所以它们就不一定能用非退化的线性替换互相转化。两个实二次型能够用非退化的线性替换互相转化的充要条件是它们的秩相等，正惯性指数也相等；或者是它们的正惯性指数相等，负惯性指数也相等。 练习：   1、（分复数域与实数域两种情况来把二次型的规范型写出来） §4  正定二次型 定义4  实二次型 称为正定的，如果对于任意一组不全为零的实数 都有 > ；如果都有 < ， 称为负定的；如果都有 ， 称为半正定的；如果都有 ， 称为半负定的；如果它既不是半正定的又不是半负定的，则 称为不定的。 显然，二次型 是正定的，因为只有在 时， 才成立。不难验证，实二次型 是正定的当且仅当 > ， 。 定理5  元实二次型 是正定的充分必要条件是它的正惯性指数等于 。 证明：设实二次型 ，     （1） 是正定的，经过非退化的实线性替换 （2） 变成二次型 ，         （3） 我们的目的是要证明二次型 也是正定的，即要证明：对于任意一组不全为零的实数 都有 > 。 事实上，令 ， 代入（2）的右端，就得 对应的一组值 ，这就是说 因为 可逆，就有 所以当 是一组不全为零的实数时， 也是一组不全为零的实数。显然 > 。 即经过非退化的线性替换正定性保持不变。 从而，设二次型 经过非退化的线性替换变成标准型 （4） 则 正定当且仅当（4）正定，而二次型（4）是正定的当且仅当 > ， ，即正惯性指数为 。 定理5说明，正定二次型 的规范型为 （5）