大学数学(高数微积分)第五章二次型第三节(课堂讲解)_第1页
大学数学(高数微积分)第五章二次型第三节(课堂讲解)_第2页
大学数学(高数微积分)第五章二次型第三节(课堂讲解)_第3页
大学数学(高数微积分)第五章二次型第三节(课堂讲解)_第4页
大学数学(高数微积分)第五章二次型第三节(课堂讲解)_第5页
已阅读5页,还剩19页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、主要内容引例第 三 节 唯 一 性复数域的情形实数域的情形一、引例引例 二次型 2x1x2 + 2x1x3 -6x2x3 的标准形.这个二次型是上一节中的例1,由此可知,二次型 2x1x2 + 2x1x3 -6x2x3 经过线性替换变成的标准形为可以验证,该二次型经过线性替换就得到另一个标准形这就说明,在一般的数域内,二次型的标准形不是唯一的,而与所作的非退化线性替换有关.但有一点是肯定的,即在一个二次型的标准形中,系数不为零的平方项的个数是唯一确定的,与所作的线性替换无关.这是因为,经过非退化线性替换四章第四节合同的矩阵有相同的秩,这就是说,经过非退化线性替换之后,二次型矩阵的秩是不变的.标

2、准形的矩阵是对角矩阵,而对角矩阵的秩就等于它对角线上不为零的元素的个数.这就证明了标准形中,系数不为零的平方项的个数是唯一确定的.于是,我们引入二次型秩的概念:二次型的矩阵变成了一个与之合同的矩阵.由第定义5 称二次型矩阵的秩为二次型的秩.在本节中,我们要讨论的问题是:在复数域和实数域中,进一步研究唯一性的问题.二、复数域的情形设 f ( x1 , x2 , , xn ) 是一个复系数的二次型.由本章经过一适当的非退化线性替换后f ( x1 , x2 , , xn ) 变成标准形.不妨假设它的标准形是d1y12 + d2y22 + + dryr2 , di 0, i = 1, 2, , r ,

3、其中 r 是 f ( x1 , x2 , , xn ) 的矩阵的秩.因为复数总可以开平方,所以我们再作一非退化线性替换d1y12 + d2y22 + + dryr2 , di 0, i = 1, 2, , r ,就变成z12 + z22 + + zr2 .上式称为复二次型 f ( x1 , x2 , , xn ) 的规范形.显然规范形完全被原二次型矩阵的秩所决定,因此有定理 3 任意一个复系数的二次型,经过一适当的非退化线性替换可以变成规范形,且规范形是唯一的.定理 3 换个说法就是定理 3 任一复数的对称矩阵合同于一个形式为的对角矩阵.从而有,两个复数对称矩阵合同的充分必要条件是它们的秩相等

4、.三、实数域的情形设 f ( x1 , x2 , , xn ) 是一个实系数的二次型.由本章经过一适当的非退化线性替换,再适当排列文字的次序,可使 f ( x1 , x2 , , xn ) 变成标准形d1y12 + + dpyp2 - dp+1y2p+1 - - dryr2 ,其中 di 0 , i = 1, , r ; r 是 f ( x1 , x2 , , xn )的秩. 因为在实数域中,正实数总可以开平方,所以再作一非退化线性替换二次型 d1y12 + + dpyp2 - dp+1y2p+1 - - dryr2 就变成z12 + + zp2 - z2p+1 - - zr2 .称之为实二次

5、型 f ( x1 , x2 , , xn )的规范形.显然规范形完全被 r, p 这两个数所决定.对于实系数二次型的规范形,我们有以下定理:定理 4 (惯性定理) 任意一个实数域上的二次型,经过一适当的非退化线性替换可以变成规范形,且规范形是唯一的.证明定理的前一半在上面已经证明,下面就来证唯一性.设实二次型 f ( x1 , x2 , , xn ) 经过非退化线性替换 X = BY 化成规范形f ( x1 , x2 , , xn ) = y12 + + yp2 - y2p+1 - - yr2 ,而经过非退化线性替换 X = CZ 也化成规范形f ( x1 , x2 , , xn ) = z1

6、2 + + zq2 - z2q+1 - - zr2 .现在来证明 p = q .用反证法. 设 p q .由以上假设,我们有y12+yp2-y2p+1-yr2 = z12+zq2-z2q+1-zr2 ,其中Z = C -1BY .令则有于是可得关于y1,yp ,yp+1, yn的齐次线性方程组为了从等式y12+yp2-y2p+1-yr2 = z12+zq2-z2q+1-zr2中找到矛盾,令 yp+1 = = yn = 0 , z1 = = zq = 0,该方程组含有 n 个未知量,而含有q + ( n - p ) = n - ( p - q ) 0 ,而它的右边为- z2q+1 - - zr2

7、 0 ,这是一个矛盾,它说明假设 p q 是不对的.因此就有 p q .同理可证 q p , 从而 p = q .这就证明了规范形的唯一性.定义 6 在实二次型 f ( x1 , x2 , , xn ) 的规范形中,正平方项的个数 p 称为 f ( x1 , x2 , , xn ) 的正惯性指数;负平方项的个数 r - p 称为 f ( x1 , x2 , , xn ) 的负惯性指数;它们的差 p - ( r - p ) = 2p - r 称为 f ( x1 , x2 , , xn ) 的符号差.应该指出,虽然实二次型的标准形不是唯一的,但是由上面化成规范形的过程可以看出,标准形中系数为正的平

8、方项的个数与规范形中正平方项的个数是一致的.因此,惯性定理也可以叙述为:实二次型的标准形中系数为正的平方项的个数是唯一确定的,它等于正惯性指数,而系数为负的平方项的个数就等于负惯性指数.把上述关于二次型的规范形的结论,移置到矩阵上来,就是定理 5 (1) 任一复对称矩阵 A 都合同于一个下述形式的对角矩阵:其中对角线上 1 的个数 r 等于 A 的秩.(2) 任一实对称矩阵 A 都合同于一个下述形式的对角矩阵:其中对角线上 1 的个数 p 及 -1 的个数 r - p ( r 是 A的秩)都是唯一确定的,分别称为 A 的正、负惯性指数.它们的差 2p - r 称为 A 的符号差.本节内容已结束

9、 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容已结束 !若想结束本堂课, 请单击返回按钮.本节内容

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论