工程矩阵理论(第4章-Hermite二次型)
- 格式:ppt
- 大小:1006.00 KB
- 文档页数:53
第五章 Hermite 二次型§1 Hermite 阵,正规阵设函数()〉〈===∑X AX AX X x x a x x x f T j i ij n ,,,,21其中n n ij a A ⨯=)(为实对称阵,X 是实向量。
设n n C A ⨯∈,n C X ∈,则在n C (酉空间)j i ji ij H x x a AX X X AX x f ∑==〉〈=,,)( (1.1))(x f 是实函数f f H=⇔AX X X A X H H H =⇔0)(=-⇔X A A X H H ,n C X ∈∀。
取k e X =,00=⇒=kk H m MX X ,0=⇒+=ij j i m ie e Xf fH=A A H =⇔即ji ij a a =定义1.1 设n n C A ⨯∈若A A H =则称A 为Hermite 阵。
简称为H 阵,记m H A ∈,若A 为Hermite 阵,则称共轭对称的二次齐式(1.1)为Hermite 二次型。
显然实对称阵⇔Hermite 阵(实)。
定理1.1 Hermite 阵必酉相似于一实对角阵。
证明 设A 为m H 则T 及上三角阵U ∃使T AU =H U , 而A A H =T AU U A H ===⇒H H H U U T 所以T 是一个实对角阵。
定理1.2 Hermite 阵的特征值全为实数。
(T AU =H U ,实对角阵)定理 1.3 Hermite 阵相异特征值对应的特征向量必正交。
(0,,==〉〈=λi H j j i Ax x x x UT AU )定义1.2 若n 阶复方阵A 满足H H AA A A =,则称A 为正规阵,如Hermite 阵是正规阵。
定理1.4 方阵A 酉相似于对角阵A ⇔是正规阵。
证明 “⇒”: 设Λ=AU H U ,(Λ为对角阵,U 为酉阵)H H H H H H H H H U U U U U U A A ΛΛ=ΛΛ=⇒ΛΛ=ΛΛ⇒ H H H AA U U =ΛΛ=“⇐”T AU =H U ,H H AA A A =⇒H H TT T T =⇒。
双语国际教育版系统分析的数学工具——工程矩阵理论(适用于数学专业和其它理工科研究生)倪郁东编著合肥工业大学数学学院目录第一章线性空间与线性变换 1 §1.1 线性空间 1§1.2 线性变换及其矩阵 3§1.3 内积空间8§1.4 正交变换及其几何与代数特征§1.5 应用于小波变换的框架理论15 第二章矩阵的标准形理论§2.1 线性变换的特征值和特征向量29 §2.2 矩阵的相似对角化32 §2.3 特征矩阵的Smith标准形34 §2.4 矩阵的Jordan标准形34 §2.5 矩阵的最小多项式第三章矩阵分解29 §3.1 Gauss消去法与矩阵三角分解29 §3.2 矩阵的QR分解32 §3.3 矩阵的满秩分解34 §3.4 矩阵的奇异值分解34§3.5 矩阵分解的应用第四章矩阵范数理论及其应用16 §4.1 范数与赋范线性空间§4.2 向量范数及其性质17 §4.3 矩阵的范数18 §4.4 范数的应用19 第五章矩阵分析及其应用20 §5.1 矩阵序列20 §5.2 矩阵级数21 §5.3 矩阵函数22 §5.4 矩阵的微分和积分25 §5.5 矩阵函数的一些应用26 §5.6 梯度分析和最优化27 第六章特征值估计及极性38 §6.1 特征值的估计38 §6.2 广义特征值问题40 §6.3 对称矩阵特征值的极性41 §6.4 广义特征值分析的应用42 第七章广义逆矩阵43 §7.1 投影矩阵43 §7.2 广义逆矩阵46 §7.3 总体最小二乘方法49第八章Matlab中的矩阵运算简介50 §8.1 基本矩阵运算50 §8.2 矩阵分解52 §8.3 广义逆矩阵和解线性系统54 参考文献57编著者说明1、体例格式为:知识要点,章节内容,各章习题。
摘要Hermite矩阵是矩阵类中的一种特殊形式,它在矩阵理论中处于重要的地位,尤其是在酉空间、酉变换及复系数二次型的应用中起着主导的作用,它一方面是对实对称矩阵的推广,另一方面它在复矩阵的地位相当于实数在复数C的地位,复矩阵中的Hermite矩阵与实对称矩阵在其性质和证明方法上都十分的相似,本文主要从Hermite矩阵和反Hermite矩阵的定义、性质、基本定理和Hermite矩阵的正定性四个方面讨论Hermite矩阵和反Hermite矩阵.关键词:Hermite矩阵;反Hermite矩阵;正定性;酉矩阵.AbstractThe Hermite matrix forms a special class of matrices in matrix theory.It occupies an important position in the matrix theory and plays a leading role,especially in the unitary space,unitary transformation and the application of the quadratic form of coefficient of polytropy.On the one hand,it is the promotion of the real symmetric matrix ,on the other hand,the staues it occupies in the complex matrix comes up to the position that real number in the plural form C. In the nature and methods of proof ,Hermite matrices and real symmetric matrix are very similar. This article is concerned about the definition,nature,fundamental theorem of the Hemite matrix and anti-Hermite matrix and the positive definiteness of Hermite matrix.Key words:Hermite matrix;Anti-Hermite matrix;Positive definite;Unitary matrix目录一、引言 (01)二、Hermite矩阵和反Hermite矩阵的定义 (01)三、Hermite矩阵的性质定理(一)Hermite矩阵的性质 (02)(二)Hermite矩阵的定理 (02)(三)Hermite矩阵的正定性 (05)四、反Hermite矩阵的性质定理(一)反Hermite矩阵的性质 (14)(二)反Hermite矩阵的定理 (15)五、结论 (20)参考文献 (21)致谢 (22)Hermite 矩阵与反Hermite 矩阵一、引言众所周知,矩阵理论在历史上至少可追溯到Sylvester 与Cayley ,特别是Cayley 1858年的工作.近代数学的一些学科,如代数结构理论与泛函分析可以在矩阵理论中寻到它们的根源,另一方面,随着计算机的广泛应用,矩阵理论在不断地发展,矩阵已成为处理数值问题的有力工具.作为数学的一个重要分支,矩阵理论具有极为丰富的内容,在数学以及其他科学技术领域都有十分重要的应用,如数值分析、最优化理论、运筹学与控制论、概率论与数理统计、力学、电学、信息科学、管理科学与工程技术等都与矩阵理论有着密切的关系.对称矩阵是一类非常重要的矩阵,近年来,在矩阵理论中,Hermite 矩阵的应用越来越广泛,对其研究也取得很大的进展.在复矩阵中,Hermite 矩阵实际上是实对称矩阵的推广,它在复矩阵中的地位相当于实数在复数中的地位,本文主要从Hermite 矩阵和反Hermite 矩阵的定义、性质,基本定理以及Hermite 矩阵正定性几个方面讨论Hermite 矩阵和反Hermite 矩阵并给出了相关的证明,来加深对矩阵理论的理解,从而能更好地使用这些工具.二、Hermite 矩阵和反Hermite 矩阵的定义定义 1 设A 是一个n 阶复矩阵,即n n A C ´Î,H A 为A 的共轭转置,H A =A , 则将称A 为Hermite 矩阵.若H A A =-,则称之为反Hermite 矩阵. 定义 2 设A 是一个n 阶Hermite 矩阵,若对于任一非零的n 维复向量X ,均有0H X AX >,则称A 为Hermite 正定矩阵.定义 3 设A 是一个n 阶复矩阵,H A 为A 的共轭转置,若H H AA A A =,则称A 为正规矩阵.定义 4 设A 是一个n 阶复矩阵,H A 为A 的共轭转置,H H A A AA E ==,则将称A 为酉矩阵,它的行列式的绝对值等于1.三、Hermite 矩阵的性质定理(一)Hermite 矩阵的性质由Hermite 矩阵的定义可知,Hermite 矩阵具有如下简单的性质[][]12:(1)对所有n n A C ´Î,则H A A +,H AA 和H A A 都是Hermite 矩阵;(2)如果A 是Hermite 矩阵,则对正整数k ,k A 也是Hermite 矩阵;(3)如果A 是可逆Hermite 矩阵,则1A -也是Hermite 矩阵;(4)如果A ,B 是Hermite 矩阵,则对实数k ,p ,kA pB +也是Hermite 矩阵;(5)如果A ,B 是Hermite 矩阵,则AB 是Hermite 矩阵的充分必要条件是AB BA =;(6)A 是Hermite 矩阵的充分必要条件是对于任意n 阶方阵S ,H S AS 是Hermite 矩阵.(二)Hermite 矩阵的定理定理3-1 若A 是n 阶复矩阵,则A 是Hermite 矩阵的充分必要条件是对于任意n X C Î,H X AX 是实数;证明 必要性 因为H X AX 是数,所以()H X AX =()H H X AX =H H X A X =H X AX因此H X AX 是实数.充分性 因为对于任意X ,Y n C Î,H X AX ,H Y AY ,()()H X Y A X Y ++都是实数,而()()()()H H H H H H H X Y A X Y X Y A X Y X AX X AY Y AX Y AY ++=++=+++ 于是对任意X ,Y n C Î,H H X AY Y AX +是实数,令(,,,,,,)T j X =00100,(,,,,,,)T k Y =00100则H H X AY Y AX +=jk kj a a +是实数,这表明jk a 与kj a 的虚部值相等,但符号相反,即()()jk kj Im a Im a =-再令(,,,,,,)T j X i =0000,(,,,,,,)T k Y =00100其中i =H H X AY Y AX +=jk kj ia ia -+是实数,则jk a 与kj a 的实部相等,即()()jk kj Re a Re a =因此kj jk a a =,,,,,,j k n =123即A 是Hermite 矩阵. 定理3-2[]4(Hermite 矩阵的谱定理) 设n n A C ´Î是给定的,则A 是Hermite 矩阵当且仅当存在一个酉矩阵n n U C ´Î和一个实对角矩阵n n C ´L ?,使得H U AU =L 12(,,,)n diag l l l =,其中12,,,n l l l 均为实数,此外,A 是实Hermite 矩阵(即实对称的),当且仅当存在一个实正交矩阵n n P C ´Î和一个实对角矩阵n n C ´L ?,使得12(,,,)H n P AP diag l l l =L =,其中12,,,n l l l 均为实数.虽然Hermite 矩阵的实线性组合总是Hermite 矩阵,但它们的复线性组合就不一定是Hermite 矩阵,例如,如果A 是Hermite 矩阵,那么,只有当0A =时iA 才是Hermite 矩阵.另外,如果A 和B 是Hermite 矩阵,那()H H H AB B A BA ==,因此,AB 是Hermite 矩阵,当且仅当A 与B 可交换.定理3-3 设A 为n 阶Hermite 矩阵,则(ⅰ)A 是正规矩阵且所有特征值全是实数;(ⅱ)A 的不同特征值所对应的特征向量是互相正交的.证明 (ⅰ)A 为n 阶Hermite 矩阵,由定理3-2可知A 必酉相似于实对角矩阵L ,即存在n 阶酉矩阵U ,使得H U AU =L其中L =12(,,,)n diag l l l ,(,,,)i i n l =12是A 的是特征值,且2H H A A A AA ==即A 是正规矩阵.设H A A =,l 为A 的特征值,非零向量a 为l 的特征向量,即A a l a =,H H A a a l a a =又()()H H H H A A A a a a a a a l a a ===所以H H l a a l a a =即 l l =所以l 为实数.(ⅱ)设l ,m 是A 的两个不同特征值,相应的特征向量分别为x ,y ,则Ax x l =,Ay y m =从而H H y Ax y x l =,H H x Ay x y m =因为A 是Hermite 矩阵,l ,m 均为实数,则H H y Ax y x m =于是()0H y x l m -=由于l m ¹,故x 与y 正交.定理3-4[]5(Hermite 矩阵的惯性定理) 设H 是n 阶Hermite 矩阵,则H (复)合同与0p q I A I 骣÷ç÷ç÷ç÷ç÷ç÷ç÷ç÷桫=-, 而且p ,q 由H 唯一确定.其中A 称为H 的规范型,n I 表示n 阶单位矩阵,p ,q ,p q -分别称为H 的正惯性指数、负惯性指数和符号差.注:由惯性定理导出的Hermite 矩阵的正惯性指数、负惯性指数及符号差等,不仅是代数学中的重要内容,而且在几何学、物理学中都有许多重要的应用,构成几何对象及物理对象的“指标”或“守恒量” .下面讨论一下Hermite 矩阵的正定性.(三)Hermite 矩阵的正定性在讨论Hermite 矩阵的正定性之前,我们先来引入矩阵的UR 分解定理及其引理.矩阵UR 分解定理 设n n n A C ´Î,则A 可以唯一地分解为A UR =或11A RU =其中U ,1U n n U ´Î,R 是正线上三角阵,1R 是正线下三角阵。
§1 二次型及其矩阵表示教学目的: 使学生了解及掌握二次型及其矩阵的表示方法 重点: 矩阵的表示方法及矩阵合同关系 难点: 矩阵合同关系的性质 课时: 2学时 教学方法: 讲授法 教学内容:一、二次型及其矩阵表示设P 是一个数域,一个系数在数域P 中的n x x ,,1 的二次齐次多项式)1(222),,,(2222222112112211121nnn n n n n n x a x x a x a x x a x x a x a x x x f ++++++++= 称为数域P 上的一个n 元二次型,简称二次型.定义1 设n n y y x x ,,;,,11 是两组文字,系数在数域P 中的一组关系式⎪⎪⎩⎪⎪⎨⎧+++=+++=+++=n nn n n n n n n n y c y c y c x y c y c y c x y c y c y c x 22112222121212121111,, (2)称为由n x x ,,1 到n y y ,,1 的一个线性替换,或简称线性替换.如果系数行列式≠ij c ,那么线性替换(2)就称为非退化的.线性替换把二次型变成二次型.令.,j i a a ji ij <=由于,i j j i x x x x =所以二次型(1)可写成)3(),,,(11222112222221221112112211121∑∑===++++++++++++=ni nj ji ij n nn n n n n nn nn n x x a x a x x a x x a x x a x a x x a x x a x x a x a x x x f把(3)的系数排成一个n n ⨯矩阵,212222111211⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=nn n n n n a a a a a a a a a A (4) 它称为二次型(3)的矩阵.因为,,,2,1,,n j i a a ji ij ==所以A A ='把这样的矩阵称为对称矩阵,因此,二次型的矩阵都是对称的.令()()∑∑===⎪⎪⎪⎪⎪⎭⎫⎝⎛+++++++++=⎪⎪⎪⎪⎪⎭⎫⎝⎛⎪⎪⎪⎪⎪⎭⎫⎝⎛='ni nj ji ij n nn n n n n n n n n nn n n n n n x x a x a x a x a x a x a x a x a x a x a x x x x x x a a a a a a a a a x x x AX X 11221122221211212111212121222211121121,,,,,,或AX X x x x f n '=),,,(21应该看到二次型(1)的矩阵A 的元素,当j i ≠时ji ija a =正是它的j i x x 项的系数的一半,而ii a 是2i x 项的系数,因此二次型和它的矩阵是相互唯一决定的.由此可得,若二次型BX X AX X x x x f n '='=),,,(21且B B A A ='=',,则B A =.令⎪⎪⎪⎪⎪⎭⎫⎝⎛=⎪⎪⎪⎪⎪⎭⎫⎝⎛=n nn n n n n y y y Y c c c c c c c c c C21212222111211,,于是线性替换(4)可以写成⎪⎪⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛n nn n n n n n y y y c c c c c c c c c x x x 2121222211121121 或者CY X =.经过一个非退化的线性替换,二次型还是变成二次型,替换后的二次型与原来的二次型之间有什么关系,即找出替换后的二次型的矩阵与原二次型的矩阵之间的关系.设A A AX X x x x f n '='=,),,,(21 (7)是一个二次型,作非退化线性替换CY X = (8)得到一个n y y y ,,,21 的二次型BY Y ' ,例1 试写出2211ni ji i j nxx x =≤< ≤+∑∑的矩阵解:111122211112221111222A ⎛⎫ ⎪ ⎪ ⎪ ⎪= ⎪ ⎪ ⎪ ⎪⎝⎭例2写出11211(,,,)n n i i i f x x x ix x -+==∑ 的矩阵解:122334123(1)n n f x x x x x x n x x -=++++-∴100212022202102102A n n ⎛⎫⎪⎪ ⎪ ⎪⎪ ⎪= ⎪ ⎪- ⎪ ⎪⎪- ⎪⎝⎭例3写出222121211n n n n n x x x x x x x ---+++++ 的矩阵解:(21)(21)121211212n n n n A -⨯-→⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎪= ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭行列二、矩阵的合同关系 现在来看矩阵A 与B 的关系. 把(8)代入(7),有.)()()(),,,(21BY Y Y AC C Y ACYC Y CY A CY AX X x x x f n '=''=''='='=易看出,矩阵AC C '也是对称的,由此即得AC C B '=.这是前后两个二次型的矩阵的关系。