高等代数课件(北大版)第九章 欧式空间§9.6_第1页
高等代数课件(北大版)第九章 欧式空间§9.6_第2页
高等代数课件(北大版)第九章 欧式空间§9.6_第3页
高等代数课件(北大版)第九章 欧式空间§9.6_第4页
高等代数课件(北大版)第九章 欧式空间§9.6_第5页
已阅读5页,还剩31页未读 继续免费阅读

下载本文档

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

文档简介

1、2021-11-30数学与计算科学学院数学与计算科学学院数学与计算科学学院引理引理1 1 设设a是实对称矩阵,则是实对称矩阵,则a的特征值皆为实数的特征值皆为实数12nxxx 证:设证:设 是是a的任意一个特征值,则有非零向量的任意一个特征值,则有非零向量0 满足满足0.a 数学与计算科学学院,aaaa 其中其中 为为 的共轭复数,的共轭复数,iixx12,nxxx 令令0 ()a ()a 又由又由a实对称,有实对称,有0() aa ()a 0() ()a ()a 0() 0 数学与计算科学学院12120nnx xx xx x 由于是非零复向量,必有由于是非零复向量,必有 故故 00. 0.r

2、 考察等式,考察等式,00 数学与计算科学学院引理引理2 2 设设a是实对称矩阵,在是实对称矩阵,在 n 维欧氏空间维欧氏空间 上上nr( ),nar 定义一个线性变换如下:定义一个线性变换如下: ( ), ( ) , 则对任意有则对任意有 ,nr 或或()().aa 数学与计算科学学院1210001, .,0001n 1212(,.,)(,.,)nna 证:取证:取 的一组标准正交基,的一组标准正交基,nr则在基则在基 下的矩阵为下的矩阵为a,即,即 12,.,n 任取任取1122,nnnxyxyrxy数学与计算科学学院1 122.nnyyy1 122.nnxxx即即 ( ),()ax y

3、()xay 12(,.,),nx 12(,.,) ,ny 于是于是1212( )(,.,)(,.,),nnxax 1212( )(,.,)(,.,),nnyay 又又 是标准正交基,是标准正交基,12,.,n x ay ()x a y , ( ) 数学与计算科学学院 , ( ) ().a 即有即有 (), ( )a ( ), 又注意到在又注意到在 中中 ,xynr1 1定义定义 ( ), ( ) ,v 则称为则称为对称变换对称变换 设为欧氏空间设为欧氏空间v中的线性变换,如果满足中的线性变换,如果满足 数学与计算科学学院1)n维欧氏空间维欧氏空间v的对称变换与的对称变换与n级实对称矩阵在级实对

4、称矩阵在标准正交基下是相互确定的:标准正交基下是相互确定的: 2 2基本性质基本性质 实对称矩阵可确定一个对称变换实对称矩阵可确定一个对称变换 一组标准正交基一组标准正交基11(,.)(,.)nna 事实上,设事实上,设,n naraa 12,.,n 为为v的的定义定义v的线性变换:的线性变换: 则即为则即为v的对称变换的对称变换 数学与计算科学学院 对称变换在标准正交基下的矩阵是实对称矩阵对称变换在标准正交基下的矩阵是实对称矩阵()n nijaar 12,n 为为v的一组标准正交基,的一组标准正交基,事实上,设为事实上,设为n维欧氏空间维欧氏空间v上的对称变换,上的对称变换, 为为在这组基下

5、的矩阵,即在这组基下的矩阵,即 1212(,)(,)nna 或或1122()iiininaaa 1,1,2,nkikkain 数学与计算科学学院于是于是 1(),nijkikjka 1(,)nkikjka (,)jijja jia 1, (),nijikjkka 1(,)nkjikka (,)ijiia ija ,1,2,ijjii jn即即所以所以a为对称矩阵为对称矩阵由是对称变换,有由是对称变换,有 (), ()ijij 数学与计算科学学院2)()(引理引理3)对称变换的不变子空间的正交补也是)对称变换的不变子空间的正交补也是它的不变子空间它的不变子空间对对 ,w ,w 任取任取即即 (

6、),w ( ).w 证明:设是对称变换,证明:设是对称变换,w为的不变子空间为的不变子空间 要证要证( ),w 即证即证( ).w ( ),w 由由w是是 子空间,有子空间,有 ( ), ( )0 因此因此故故 也为的不变子空间也为的不变子空间w 数学与计算科学学院1 1( (引理引理4 4) )实对称矩阵属于不同特征值的特征向量实对称矩阵属于不同特征值的特征向量 分别是属于分别是属于 的特征向量的特征向量 , , 则则 ( ),a 是正交的是正交的 正交基下的矩阵,正交基下的矩阵,证:设实对称矩阵证:设实对称矩阵a为为 上对称变换的在标准上对称变换的在标准nr , 是是a的两个不同特征值的两

7、个不同特征值 ,( ),a 由由 ( ), ( ) 数学与计算科学学院又又, ( ,)0 即即 正交正交, ( (定理定理7 7) )对对 总有正交矩阵总有正交矩阵t,使,使,n naraa 112(,).nt attatdiag (,)( ,), 有有( ,)( ,). 即即数学与计算科学学院证:设证:设a为为 上对称变换在标准正交基下的矩阵上对称变换在标准正交基下的矩阵nr 由实对称矩阵和对称变换互相确定的关系,只需证由实对称矩阵和对称变换互相确定的关系,只需证有有n个特征向量作成的标准正交基即可个特征向量作成的标准正交基即可 n=1时,结论是显然的时,结论是显然的 对对 的维数的维数n用

8、归纳法用归纳法 nr有一单位特征向量有一单位特征向量 ,其相应的特征值为,其相应的特征值为 ,即,即1 1 1111(),| 1 假设假设n1时结论成立,对时结论成立,对 设其上的对称变换设其上的对称变换 ,nr数学与计算科学学院设子空间设子空间1(),lw 显然显然w是是 子空间,子空间, ,dim1nwwrwn ( ),( ),w 则则 也是也是 子空间,且子空间,且 w 又对有又对有,w , ( ) ,( )w 所以是所以是 上的对称变换上的对称变换ww 由归纳假设知由归纳假设知 有有n1 个特征向量个特征向量w 23,n 构成构成 的一组标准正交基的一组标准正交基w 数学与计算科学学院

9、从而就是从而就是 的一组标准正交基,的一组标准正交基,123,n nr又都是又都是 的特征向量的特征向量nr即结论成立即结论成立3实对称矩阵正交相似实对角矩阵步骤实对称矩阵正交相似实对角矩阵步骤设设 ,n naraa (i) 求出求出a的所有不同的特征值:的所有不同的特征值:12,rr 其重数其重数 必满足必满足 ; 12,rn nn1riinn (ii) 对每个对每个 ,解齐次线性方程组,解齐次线性方程组 i ()0iea x 数学与计算科学学院求出它的一个基础解系:求出它的一个基础解系:12,iiin它是它是a的属于特征值的属于特征值 的特征子空间的特征子空间 的一组基的一组基i iv 正

10、交基正交基12,.iiin把它们按把它们按 正交化过程化成正交化过程化成 的一组标准的一组标准schmidtiv (iii) 因为因为 互不相同,互不相同,12,.r 且且1dim,iriwn 11112112,rnrrrn就是就是v的一组的一组标准正交基标准正交基()ijvvij所以所以数学与计算科学学院则则t是正交矩阵,且是正交矩阵,且11112112,rnrrrn将将的分量依次作的分量依次作矩阵矩阵t的第的第1,2,n列,列,使使 为对角形为对角形1t attat 例例1设设 0111101 111 011 110a 求一正交矩阵求一正交矩阵t使使 成对角形成对角形t at 数学与计算科

11、学学院解:先求解:先求a的特征值的特征值11 1111|1 11111ea 211 1101011 3(1) (3)a的特征值为的特征值为 (三重)(三重),11 23. 2011 101010011111 31 11(1) 1 010 11 数学与计算科学学院其次求属于其次求属于 的特征向量,即求解方程组的特征向量,即求解方程组11 ()0ea x111 11 1111 111111 1ea得其基础解得其基础解 123(1,1,0,0)(1,0,1,0)( 1,0,0,1) 111 10 00 00 00 00 00 0数学与计算科学学院把它正交化,得把它正交化,得 11(1,1,0,0)2

12、122111(,)11( ,1,0)(,)22 313233121122(,)(,)1 1 1(,1)(,)(,)3 3 3 再单位化,得再单位化,得数学与计算科学学院111111(,0,0)|22 2221112(,0)|666 33311113(,)|12121212 这是特征值这是特征值 (三重三重)的三个单位正交特征向量,的三个单位正交特征向量,11 也即是特征子空间也即是特征子空间 的一组标准正交基的一组标准正交基1v 数学与计算科学学院再求属于再求属于 的特征向量,即解方程组的特征向量,即解方程组23 311 1131131 1311113ea1111022002200202 30

13、ea x444413111 13111131 0 010 1 0 10 0 1 10 0 0 0 得其基础解得其基础解 4(1, 1, 1,1), 数学与计算科学学院再单位化得再单位化得 4111 1( , )222 2 这样这样 构成构成 的一组标准正交基,它们的一组标准正交基,它们1234, 4r都是都是a的特征向量,正交矩阵的特征向量,正交矩阵 1234111122612111122612(,)211026123100212t 数学与计算科学学院使得使得 11.13t at 成立的正交矩阵不是唯一的成立的正交矩阵不是唯一的 对于实对称矩阵对于实对称矩阵a,使,使12(,)nt atdia

14、g 而且对于正交矩阵而且对于正交矩阵t, 还可进一步要求还可进一步要求1.t 数学与计算科学学院事实上,如果由上述方法求得的正交矩阵事实上,如果由上述方法求得的正交矩阵t12(,),1nt atdiagt 取正交矩阵取正交矩阵( 1,1,1),sdiag则则 是正交矩阵且是正交矩阵且1tts 11,tt s同时有同时有11()()()t atts a tss t at s12111111n 12(,)ndiag 数学与计算科学学院 如果不计较主对角线上元素的如果不计较主对角线上元素的排列的次序,与排列的次序,与实对称矩阵实对称矩阵a正交相似的对角矩阵是唯一确定的正交相似的对角矩阵是唯一确定的

15、因为正交相似的矩阵也是互相合同的,所以可因为正交相似的矩阵也是互相合同的,所以可用实对称矩阵的特征值的性质刻画其正定性:用实对称矩阵的特征值的性质刻画其正定性:设设 为实对称矩阵为实对称矩阵a的所有特征值的所有特征值12n(i) a为正定的为正定的0n (ii) a为半正定的为半正定的0n (iii) a为负定(半负定)的为负定(半负定)的 110(0)数学与计算科学学院(iv) a为不定的为不定的10 且且 0n 实对称矩阵实对称矩阵a的正、负惯性指数分别为正、负特的正、负惯性指数分别为正、负特特征值的个数(重根按重数计)特征值的个数(重根按重数计)n秩秩(a)是是0为为a的特征值的重数的特

16、征值的重数.数学与计算科学学院1解析几何中主轴问题解析几何中主轴问题将将 上有心上有心 二次曲线或二次曲线或 上有心二次曲面通过坐标上有心二次曲面通过坐标2r3r的旋转化成标准形,这个变换的矩阵是正交矩阵的旋转化成标准形,这个变换的矩阵是正交矩阵.2任意任意n元实二次型的正交线性替换化标准形元实二次型的正交线性替换化标准形1)正交线性替换正交线性替换如果线性替换如果线性替换x=cy的矩阵的矩阵c是正交矩阵,则称之为是正交矩阵,则称之为正交线性替换正交线性替换.数学与计算科学学院1211(,),nnnijijijjiijf x xxx xi j2)任一任一n元实二次型元实二次型 都可以通过正交的

17、线性替换都可以通过正交的线性替换 变成平方和变成平方和 xcy 221122.nnnyyy其中平方项的系数其中平方项的系数 为为a的全部特征值的全部特征值12,n 数学与计算科学学院例例2、在直角坐标系下,二次曲面的一般方程是、在直角坐标系下,二次曲面的一般方程是 222112233121323222a xa ya za xya xza yz1232220b xb yb zd(1) 20.x axb xd(2) 则(则(1)式可以写成)式可以写成 令令 111213121222323313233,aaabxaaaabbxyzbaaa 数学与计算科学学院对(对(2)中的)中的 有正交矩阵有正交矩阵c(且(且 )3 3aar 1c 确定的坐标变换公式确定的坐标变换公式 111213121222311313233cccxxycccyzzccc 123(,),c acdiag 曲面(曲面(1)的方程化成)的方程化成 这样由(这样由(2)知道经过由)知道经过由 的坐标轴旋转,的坐标轴旋转,1

温馨提示

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

最新文档

评论

0/150

提交评论