扬大高等代数(北大三版)--第五章二次型-(精品课件).ppt

* 二次型 * * 二次型 * 二 复二次型 （复数域C上的二次型） 1. 规范型： z12 + z22 + … + zr2 称为复二次型的规范型. 2. 定理3 任一复二次型经适当的可逆线性替换可化成 规范型，且规范型唯一. * 该定理的矩阵语言描述：任一秩为 r 的复对称矩阵合同于一个对角矩阵 * 二次型 * 证明： 设复二次型 f = X/AX , r(A) = r → 存在可逆线性替 换X= C1Y(C1可逆) , 使f = X/AX = (C1Y)/A(C1Y) =Y(C1/AC1 )Y = d1y12 + … + dryr2 (di=1,…,r, 1≤r≤n) → 取可逆线性替换 * 二次型 * 3. 两复对称矩阵合同的充要条件是其秩相等 (复对称矩阵按合同关系可分为n+1个不同的类)； 复二次型共有n+1个不同的类型,其秩为决定因素. * 二次型 * 三 实二次型 z12 ＋…＋zp2－zP+12…－zr2 称为实二次型的规范型 → 规范型完全由 p, r 所确定 (其中r为二次型的秩，它确定了规范型中非零项的个数，p 确定了规范型中正、负项的个数）. 定理4（惯性定理） 任一实二次型经适当的可逆线性替换可化成规范型，且规范型唯一. * 二次型 * * 二次型 * * 二次型 * * 二次型 * 惯性定理的意义 定义3 实二次型的规范型中正平方项的个数 p 称为该二次型的正惯性指数；负平方项的个数 r－p 称为该二次型的负惯性指数；其差 p －(r－p) = 2p－r 称为该二次型的符号差. *1 实二次型的标准型虽不唯一，但由于标准型到规范 型的变换中，非零项的个数，正(负)项个数并未发生变 化 → 据惯性定理中规范型的唯一性可知： 实二次型的标准型中的非零项个数及正(负)项个数由秩 和正(负)惯性指数唯一确定，即在不考虑系数数值差异 的前提下，实二次型的标准型唯一确定； * 二次型 * *2 定理3、4的矩阵语言描述 → 定理5： * 二次型 * *3 称二次型 X/ AX 与 Y/BY 可互化，如果存在可逆的线性替换 X = CY，使得B = C/AC → 1) X/ AX 与 Y/BY可互化当且仅当A，B合同； 2) 设数域 P 上 n 元二次型全体构成集合 M(P)，则二次型的互化关系是 M(P) 的一个等价关系. 证明： 1) 显然. 2) X = EX，有A = E/AE → X/AX 与 X/ AX可互化； X/ AX 与 Y/BY 可互化, 显然Y/BY 与X/ AX 可互化； X/ AX 与 Y/BY 可互化, Y/ BY与 Z/DZ 可互化 → 有可逆线性替换 X = C1Y, Y = C2Z, 使 B = C1/AC1, D = C2/BC2 →有可逆线性替换 X = C1C2Z，使D = (C1C2)/A (C1C2) → X/ AX 与 Y/BY 可互化 →命题成立. □ 互化意义： 若存在X = CY,C可逆，且B=C/AC → Y = C-1X, A = (C/)-1BC-1 = (C-1)/BC-1 → X/AX = (CY)/A(CY) = Y/(C/AC)Y = Y/BY； Y/BY = (C-1X)/B(C-1X)=X/((C-1)/BC-1)X =X/AX * 二次型 * 3) 复二次型按可互化分成 n + 1 个不同的类(型). 证明： 复二次型 X/AX, Y/BY 可互化 ? A, B合同 ? A, B的 秩相等 ? 复二次型 X/AX, Y/BY 的秩相等. 而秩的所有可能 的结果为 r = 0, 1, …, n ,共 n + 1种 → 命题成立. □ 复二次型全体M(C) 复对称矩阵全体M(C) A f (x1,…,xn) g(y1,…,yn) B f , g可互化, 即同一类型 →共n+1个不同类型 * 二次型 * * 二次型 * * 用矩阵语言描述该性质： 复对称矩阵按合同分类共有 不同的类 * 二次型 * 0 1 ……… r