§9.2复数域和实数域上的二次型.pptVIP

§9.2 复数域和实数域上的二次型 ? 本教程只限于讨论复数域和实数域上的二次型和实二次型，这里将给出两个复二次和两个实二次型等价的充分必要条件，相当于给出复数域上两个对称矩阵和实数域上两个对称矩阵合同的充分且必要条件． 先对复二次型回答这个问题，我们有 定理9.2.1 复数域上两个 n阶对称矩阵合同的充要条件是它们有相同的秩． 两个复二次型等价的充要条件是它们有相同的秩． (显然只要证明第一个论断) §9.2 复数域和实数域上的二次型 证??必要性显然成立，只证充分性．设A, B是复数域上两个n阶对称矩阵，秩A = 秩B = r，由定理9.1.2，分别存在复可逆矩阵P的Q，使得 §9.2 复数域和实数域上的二次型 当r 0时，ci ? 0, di ? 0, i = 1, 2, …, r．取n阶复矩阵 §9.2 复数域和实数域上的二次型 因此，矩阵A, B都与矩阵 §9.2 复数域和实数域上的二次型 证?? 由定理9.1.2，? 实可逆矩阵P使得 §9.2 复数域和实数域上的二次型 如果 r 0， 必要时交换两列和两行(相当于右乘以Pij，左乘以P?ij)，总可以假定 c1, c2, ..., cp 0, cp+1, ..., cr 0, 0 ? p ? r．取 §9.2 复数域和实数域上的二次型 (下面的定理9.2.3与定理9.2.2是平行的) 定理9.2.3? 实数域上每个n 元二次型都与如下形式的一个二次型等价： §9.2 复数域和实数域上的二次型 二次型(1)叫做实二次型的典范形式，定理9.2.3是说，实数域上每一个二次型都与一个典范形式等价，在典范形式里，平方项的个数r 等于二次型的秩，因而是唯一确定的． 还要进一步证明，在典范形式(1)中，系数是１的项的个数 p 也是唯一确定的(因而系数是 ?1 的项的个数 r ? p 也是唯一确定的)，这就是 实二次型的惯性定律． §9.2 复数域和实数域上的二次型 定理9.2.4(惯性定律) 实数域R上n元二次型 §9.2 复数域和实数域上的二次型 化为所给的二次型 §9.2 复数域和实数域上的二次型 因为 p p?，所以 p + n ? p? n，方程组 (6) 在R内有非零解，令 (c1, c2, ..., cn) 是 (6) 的一个非零解， 把这一组值代入 yi 和 zi 的表示式 (4) 与 (5)，记 §9.2 复数域和实数域上的二次型 然而 y1(c) = ... = yp(c) = 0， zp?+1(c) = ... = zr(c) = 0， 所以 ? yp+1(c)2 ? ... ? yr(c)2 = z1(c)2 + ... + zp?(c)2， 因为 yi(c)2 与 zi(c)2 都是非负实数，所以必须 yp+1(c) = ... = yr(c) = 0，z1(c) = ... = zp?(c) = 0， 又 zp?+1(c) = ... = zn(c) = 0， 所以 c1, c2, ..., cn 是齐次线性方程组 §9.2 复数域和实数域上的二次型 由这个定理，实数域上每个二次型 p(x1, x2, ..., xn) 都与唯一的典范形式 (1) 等价，在(1)中，正平方项的个数 p 叫做所给二次型的惯性指标，正项的个数 p 与负项的个数 r ? p 的差 s = p ? (r ? p) = 2p ? r 叫做所给的二次型的符号差，一个实二次型的秩，惯性指标和符号差都是唯一确定的． (由定理9.2.3和9.2.４可得下列定理9.2.5) §9.2 复数域和实数域上的二次型 定理9.2.5　实数域上两个 n 元二次型等价的充分且必要的条件是它们有相同的秩和符号差． 证　设 q1(x1, x2, ..., xn) 和 q2(x1, x2, ..., xn) 是实数域上两个n元二次型，令A1与A2分别是它们的矩阵，则由定理9.2.2，? 可逆矩阵P，使得 §9.2 复数域和实数域上的二次型 如果