92复数和实数域的二次型.pptVIP

* * 9.2 复数域和实数域上的二次型 一.内容分布 9.2.1 复二次型的典范形 9.2.2 实二次型的典范形 二.教学目的 1．掌握复二次型的典范形、实二次型的典范形、实二次型的惯性指标、符号差等概念。 2．掌握实二次型的惯性定律. 三.重点、难点： 实二次型的惯性定律. 9.2.1 复二次型的典范形式 定理9.2.1 复数域上两个n阶对称矩阵合同的充分且必要条件是它们有相同的秩. 两个复二次型等价的充分且必要条件是它们有相同的秩. 证 显然只要证明第一个论断. 　　条件的必要性是明显的. 我们只要证条件的充分性. 设A，B是复数域上两个n阶对称矩阵，且A与B有相同的秩r ，由定理9.1.2，分别存在复可逆矩阵P和Q，使得 取 n 阶复矩阵 的一个平方根. 这里 分别表示复数 那么 ，而 因此，矩阵A，B 都与矩阵 合同，所以A与B合同. 即复二次型 9.2.2 实二次型的典范形式 定理9.2.2 实数域上每一n 阶对称矩阵A 都合同于如下形式的一个矩阵： （1） 这里 r 等于A的秩. 证 由定理9.1.2，存在实可逆矩阵P，使得 　　如果r 0 ，必要时交换两列和两行，我们总可以假定 取 那么 定理9.2.3 实数域上每一 n 元二次型都与如下形式的一个二次型等价： （1） 这里 r 是所给的二次型的秩. 　　二次型（1）叫做实二次型的典范形式，定理9.2.3 是说，实数域上每一个二次型都与一个典范形式等价. 在典范形式里，平方项的个数 r 等于二次型的秩，因而是唯一确定的. 定理 9.2.4（惯性定律）设实数域R上n元二次型 等价于两个典范形式 （2） （3） 那么 证 设（2）和（3）分别通过变量的非奇异线性变换 （4） （5） 化为所给的二次型 如果 不 妨设 考虑 个方程的齐次线性方程组 （6） 因为 所以 因此，方程组（6）在R内有非零解. 令 是（6）的一个非零解. 把这一组值代入 的表示式 （4）和（5）. 记 我们有 然而 所以 因为 都是非负数，所以必须 又 所以 是齐次线性方程组 的一个非零解.这与矩阵 的非奇异性矛盾. 这就证明了 . 同理可证得 . 所以 　　由这个定理，实数域上每一个二次型都与  唯一的典范形式（1）等价. 在（1）中，正平方项的个数 p 叫做所给二次型的惯性指标. 正项的个数p与负项的个数 r – p 的差s = p – (r – p) = 2p – r 叫做所给的二次型的符号差. 一个实二次型的秩，惯性指标和符号都是唯一确定的. 定理9.2.5 实数域上两个 n 元二次型等价的充分且必要条件是它们有相同的秩和符号差. 证 设 是实数域上两个n元二次型. 令 分别是它们的矩阵. 那么由定理9.2.2，存在实可逆矩阵P，使得 如果 等价，那么 合同. 于是存在实可逆矩阵Q 使得 . 取 ，那么 因此 都与同一个典范形式等价，所以它们有相同的秩和符号差. 　　反过来，如果 有相同的秩 r 和符号差s , 那么它们也有相同的惯性指标 . 因此  都与矩阵 合同. 由此推出 合同，从而 等价. 推论 9.2.6 实数域 R 上一切n元二次型可以分成