内积空间精选课件.ppt

1、第二章第二章 内积空间内积空间一、实内积空间的定义一、实内积空间的定义1、实内积空间的概念、实内积空间的概念定义定义1 设设 ,如果对如果对 ，存在实数，存在实数（记为（记为 ）与之对应，且满足下列条件）与之对应，且满足下列条件 ，当且仅当，当且仅当 时等号成立。时等号成立。则称实数则称实数 为向量为向量 的内积，定义了内积的的内积，定义了内积的 实线性空间称为实内积空间，简称为内积空间。实线性空间称为实内积空间，简称为内积空间。()VL R(,)x y,x yV (,)(,)x yy x(,)(,),x yx yR (,)(,)(,)xy zx zy zzV 0(,)x x x (,)x y

2、,x y例例1 常见几个线性空间上内积的定义：常见几个线性空间上内积的定义：欧氏空间（有限维实内积空间）欧氏空间（有限维实内积空间）：nR1(,)niiix yx y 1212(,),(,)nnnxxxxyyyyR 上连续函数的全体构成的空间上连续函数的全体构成的空间 ：,C a b(),()()()baf xg xf x g x dx (),(),f xg xC a b ,a b注：向量的长度注：向量的长度 或或 (,)xx x 2(,)xx x 正交向量正交向量 ：0(,)x y ,x y实数域上所有实数域上所有n n次多项式构成的线性空间次多项式构成的线性空间 ：nR t0(),()ni

3、iif tg ta b 00(),()nniiiiiif ta tg tb t 实数域上所有实数域上所有n n阶方阵构成的线性空间阶方阵构成的线性空间 ：n nR 11(,)nnijijijA Ba b(),()ijijAaBb 性质性质1 （内积的性质）（内积的性质）0(,)(,)xx (,)(,),xyx yR (,)(,)(,),x yzx yx zx y zV 定理定理1（Cauchy-Schwarz不等式）不等式）设设 是内积空间，是内积空间，是是 中任意两个向量，则有：中任意两个向量，则有：V2(,)(,)(,)x yx xy y V,x y当且仅当当且仅当 线性相关时等号成立。线

4、性相关时等号成立。,x y0(,)xty xtytR 220(,)(,)(,)y y tx y tx x 2440(,)(,)(,)x yx xy y 2(,)(,)(,)x yx xy y 上上Cauchy-Schwarz不等式的分量形式不等式的分量形式：nR112222000nnniiiiiiix yxy 上上Cauchy-Schwarz不等式的积分形式不等式的积分形式：,C a b 112222()()()()bbbaaaf x g x dxfx dxg x dx 例例2 设设 是是 中的一组向量，证明这组中的一组向量，证明这组向量线性无关的充要条件是下列行列式（向量线性无关的充要条件是

5、下列行列式（Gram）12,n 1112121222120(,)(,)(,)(,)(,)(,)(,)(,)(,)nnnnnn nR1niiik 证明：设证明：设110,(,)(,)(,)nnkiikiikiikkk 2、正交基与子空间的正交关系、正交基与子空间的正交关系定义定义1（正交组）（正交组）内积空间中两两正交的一组非零向量，称之为正交组。内积空间中两两正交的一组非零向量，称之为正交组。注：注：任何一个正交组都是线性无关的任何一个正交组都是线性无关的。定义定义2（正交基）（正交基）在在n维欧氏空间中，由正交组构成的基，称之为正交基。维欧氏空间中，由正交组构成的基，称之为正交基。如果正交基

6、中每个基向量的长度均为如果正交基中每个基向量的长度均为1 1，则称该组正交基，则称该组正交基为标准（或规范）正交基，通常记为为标准（或规范）正交基，通常记为1201,;(,)nijije eeeeij 定理定理1（正交基的构造正交基的构造）任一任一n维欧氏空间维欧氏空间 都存在正交基。都存在正交基。V证明证明（略）。（略）。证明过程给出了正交基的一种构造方法：证明过程给出了正交基的一种构造方法：著名的著名的Schmidt正交化方法（线性代数学过）。正交化方法（线性代数学过）。定义定义3（正交矩阵）（正交矩阵）设设 ，如果，如果 ，则称，则称 为正交矩阵。为正交矩阵。n nAR TA AE A性

7、质性质1 不同标准正交基之间的过渡矩阵为正交矩阵。不同标准正交基之间的过渡矩阵为正交矩阵。1212(),;(),nnI e eeII e ee 设设n维欧氏空间的两组标准正交基为维欧氏空间的两组标准正交基为1212(,)(,)nne eee eeA 111212122212nnnnnnaaaaaaAaaa 111 121 21212 122221122nnnnnnnnnnea ea ea eea ea ea eea ea ea e 11 2,;nikikkea ein 1111(,)(,)(,)nnnnijkikmjmkimjkmkmkme ea ea ea aee 101 21;,nkikj

8、kija ai jnij 即即TA AE 注：注：正交矩阵的不同列对应元素乘积的和为零；类似地正交矩阵的不同列对应元素乘积的和为零；类似地可以证明正交矩阵的不同行对应元素乘积的和为零。可以证明正交矩阵的不同行对应元素乘积的和为零。TTA AAAE正交矩阵正交矩阵性质（略）性质（略）12,xV yV 12VV 0(,)x y 定义定义4（正交子空间）（正交子空间）设设 是内积空间是内积空间 的两个子空间，如果对的两个子空间，如果对 ，均有，均有 ，则称，则称 与与 是正交的子空间，并记为是正交的子空间，并记为 。12,V VV1V2V性质性质2 设内积空间设内积空间 的两个子空间的两个子空间 与

9、与 是正交是正交的，则的，则 是直和。是直和。V1V12VV 2V两种方法说明：交集为零空间；两种方法说明：交集为零空间；零元素表示唯一。零元素表示唯一。1212,VV VVV 21VV 定义定义5（正交补空间）（正交补空间）设设 是内积空间是内积空间 的两个子空间，且满足的两个子空间，且满足 ，则称，则称 是是 的正交补空的正交补空间，简称正交补，记为间，简称正交补，记为 。12,V VV1V2V性质性质3 n n维欧氏空间维欧氏空间 的任一子空间的任一子空间 都有唯一的正都有唯一的正交补。交补。V1V证明证明:1 V V如果如果 ，则，则 是是 唯一的正交补。唯一的正交补。1V1 V V如

10、果如果 ，在，在 中选取一组正交基中选取一组正交基，并将其扩充为，并将其扩充为 的一组正交基的一组正交基1V12,ke ee121,kkne ee ee 则则 就是就是 的正交补。的正交补。21(,)knVL ee 1V2131133,xVxVxxxxV xV 唯一性：唯一性：1213VVVVV1113111310(,)(,)(,)(,)xxx xxx xx xx x 13323xxxVVV 证明证明:1 V V如果如果 ，则，则 是是 唯一的正交补。唯一的正交补。1V同理同理32VV 23VV 例例3 已知已知 中：中：，其中，其中1211234340,xxVA Axxxxxx 2 2R 求

11、求 。123110100001011,AAA 1123(,)VL A A A 1V 利用利用Schmidt正交化方法将其化为正交基：正交化方法将其化为正交基：41010A 将将 扩充为扩充为 的一组基：的一组基：1234,A A A A2 2R 123,A A A1234,A A A A1123(,)VL A A A 14()VL A 解：解：例例4 设设 ，称，称 的子空间的子空间为矩阵为矩阵 的值域，求的值域，求 。12()(,),nnR ALy yAx xR nR12(,)n nnAR A()R A 1122(),()nnyR Aykkk 1 2,iyin 01 2(,),Tiiyyin

12、 TA y ()()TTR Ay A yN A 注注：一般来说，称：一般来说，称 为矩阵为矩阵 的零空间。的零空间。()TN ATA3、内积空间的同构、内积空间的同构定义定义1（内积空间的同构）（内积空间的同构）设设 是两个内积空间，如果是两个内积空间，如果 和和 之间存在一个一一对应关系之间存在一个一一对应关系 ，使得对任意的，使得对任意的 满足满足 则称则称 和和 是同构的。是同构的。12(),()VL P VL P 2V1V1,x yVR()()()()()xyxyxx 1V2V(),()(,)xyx y 注：注：首先作为线性空间是同构的，在此同构之下保持内首先作为线性空间是同构的，在此

13、同构之下保持内积不变。积不变。定理定理1 所有所有n n维欧氏空间都同构。维欧氏空间都同构。V设设 是是n n维欧氏空间，维欧氏空间，是其一组标准是其一组标准正交基，则有正交基，则有定义定义容易验证该映射为同构映射，且保持内积不变，从而容易验证该映射为同构映射，且保持内积不变，从而 与与 同构。同构。12,ne ee1 122,nnxV xx ex ex e :nVR 12()(,)nnxx xxR VnRV 设设 是另一是另一n n维欧氏空间，维欧氏空间，是其一组是其一组标准正交基，则有标准正交基，则有定义定义从而从而 与与 同构。同构。12,ne ee1 12 2,n nxV xxex e

14、x e :VV 1 12 2()n nxxex ex eV VV 4、正交变换、正交变换定义定义1（正交变换）（正交变换）设设 是内积空间是内积空间 的线性变换，如果的线性变换，如果 对任意的对任意的 ，满足，满足则称线性变换则称线性变换 为为 的一个正交变换。的一个正交变换。()VL P T,x yV(,)(,)Tx Tyx y TV定理定理1（正交变换的等价定义）（正交变换的等价定义）设设 是是n n维欧氏空间维欧氏空间 的一个线性变换，则下列的一个线性变换，则下列命题等价：命题等价：是正交变换。是正交变换。保持向量长度不变，即对保持向量长度不变，即对 ，均有，均有 。VTxV TTTxx

15、 如果如果 是是 的一组标准正交基，则的一组标准正交基，则 也是也是 的一组标准正交基。的一组标准正交基。在在 中任一标准正交基下的矩阵是正交矩阵。中任一标准正交基下的矩阵是正交矩阵。VTVV12,ne ee12,nTe TeTe证明思路：证明思路：121334()();()();()()12()()是正交变换是正交变换T,(,)(,)x yVTx Tyx y 取取yx 22(,)(,)Tx Txx xTxx 21()(),(,)(,)(),()(,)xV TxxTx Txx xT xy T xyxy xy 13()()是正交变换是正交变换T,(,)(,)x yVTx Tyx y 10(,)(

16、,)ijijijTe Tee eij 31()()1 1221 122,nnnnx yV xx ex ex eyy ey ey e 11221122nnnnTxx Tex Tex TeTyy Tey Tey Te (,)(,)Tx Tyx y 34()()43()()11(),;,;Tijn nnnikikjkjkkkAaA AETea eTea e 1212(,)(,)nnT e eee eeA 1212(,)(,)nnTe TeTee eeA A由由2中中性质性质1：不同标准正交基之间的过渡矩阵为正：不同标准正交基之间的过渡矩阵为正交矩阵，因此交矩阵，因此 为正交矩阵。为正交矩阵。110(

17、,)nijkikjkijTe Tea aij 例例5 几个正交变换的例子：几个正交变换的例子：的一个线性变换的一个线性变换 ，对，对 则则 是正交变换。是正交变换。3R3123(,)xx xxR 123231(,)()T x x xxxx TT设设 是内积空间是内积空间 的一个线性变换，则的一个线性变换，则 是正交变换是正交变换 。即：保持距离不变的线性变换是正交变换。即：保持距离不变的线性变换是正交变换。TTx Tyxy VT设设 是内积空间是内积空间 的一个变换，证明：如果的一个变换，证明：如果 保持保持向量的内积不变，即对向量的内积不变，即对 ，则则 一定是线性变换，故是正交变换。一定是

18、线性变换，故是正交变换。T,(,)(,)x y V Tx Tyx y VTT5、点到子空间的距离与最小二乘法、点到子空间的距离与最小二乘法定义定义1（距离）（距离）设设 是欧氏空间，是欧氏空间，称称 为为 与与 的距离，记为的距离，记为 。yV,x yV(,)d x yxy x性质性质1（距离的性质）（距离的性质），当且仅当，当且仅当 时等号成立。时等号成立。xy 0(,)d x y (,)(,);d x yd y x(,)(,)(,);d x zd x yd y z 定义定义2（点到子空间的距离）（点到子空间的距离）设设 是欧氏空间是欧氏空间 的一个子空间，的一个子空间，称称 为为 到到 的

19、距离。的距离。WWxV miny Wdxy Vx问题问题:达到最小距离的达到最小距离的 具有什么性质？具有什么性质？y12,(,)kxV WL xxx 设设1 2,ixWxx ik xWxy y,()yWxyW 如果如果,zW xzxyyz xzxy 定义定义3 最小二乘法问题最小二乘法问题提法提法1 （矛盾方程组求解）（矛盾方程组求解）设给定不相容（或矛盾）线性代数方程组设给定不相容（或矛盾）线性代数方程组其中其中12(),(,)Tijm nmAamn bb bb Axb 12(,);,Tniiijxx xxx b aR 寻求近似解寻求近似解 ，满足，满足故称之为最小二乘解，相应方法称为最小

20、二乘法。故称之为最小二乘解，相应方法称为最小二乘法。22minnx RAxbAxb 12(,)TnnxxxxR 提法提法2 （数据拟合问题）（数据拟合问题）设给定一组数据设给定一组数据 ，寻，寻求一个近似函数求一个近似函数 （经验函数）来拟合该组（经验函数）来拟合该组数据，使得数据，使得1 2(,),iixyin 21min()niiixy ()yx 提法提法1的求法的求法nyAxR 记记22minnx RAxbAxb b问题问题 相当于：对于相当于：对于给定的向量给定的向量 ，寻求，寻求 使得使得 之间之间的距离达到最小。的距离达到最小。by yAx 12(,)nA 记记112212(,)n

21、nnyxxxLW ()bybAxW 120(,)(,)(,)n 120TTTn ()TAbAx TTA AxA b 法（正规）方程组法（正规）方程组解：解：34()(,)rank Arank A b TA A 41364411 1 TA b 21 3176136 46 x 例例6 6：求下列方程组的求下列方程组的最小二乘解最小二乘解101x2x3x 121 0101111 2011一、复内积空间的定义一、复内积空间的定义6、复内积空间（酉空间）、复内积空间（酉空间）定义定义1 设设 ,如果对如果对 ，存在复数，存在复数（记为（记为 ）与之对应，且满足下列条件）与之对应，且满足下列条件 ，当且仅

22、当，当且仅当 时等号成立。时等号成立。则称复数则称复数 为向量为向量 的内积，定义了内积的内积，定义了内积的的 复线性空间称为复内积空间，或称为酉空间。复线性空间称为复内积空间，或称为酉空间。()VL C(,)x y,x yV(,)(,)x yy x(,)(,),x yx yC (,)(,)(,)xy zx zy zzV 0(,)x x x (,)x y,x y例例7 常见几个线性空间上复内积的定义：常见几个线性空间上复内积的定义：n n维酉空间（有限维复内积空间）维酉空间（有限维复内积空间）：nC1(,)niiix yx y 1212(,),(,)nnnxxxxyyyyC 实数域上所有实数域

23、上所有n n次多项式构成的线性空间次多项式构成的线性空间 ：1 nCt 0(),()niiif tg ta b 00(),()nniiiiiif ta tg tb t 实数域上所有实数域上所有n n阶方阵构成的线性空间阶方阵构成的线性空间 ：n nC 11(,)nnijijijA Ba b(),()ijijAaBb 性质性质1 （复内积的性质）（复内积的性质）0(,)(,)xx (,)(,),xyx yC (,)(,)(,),x yzx yx zx y zV 定理定理1（Cauchy-Schwarz不等式）不等式）设设 是内积空间，是内积空间，是是 中任意两个向量，则有：中任意两个向量，则有：

24、V2(,);(,)(,)(,)x yx yx yx xy yV,x y当且仅当当且仅当 线性相关时等号成立。线性相关时等号成立。,x y 上上Cauchy-Schwarz不等式的分量形式不等式的分量形式：nC112222000nnniiiiiiix yxy 关于复向量的长度、正交向量、正交基、标准关于复向量的长度、正交向量、正交基、标准正交基的概念完全类似实内积空间中的定义，这儿正交基的概念完全类似实内积空间中的定义，这儿不再一一概述。不再一一概述。定义定义2（酉变换）（酉变换）设设 是酉空间是酉空间 的线性变换，如果的线性变换，如果 对对任意的任意的 ，满足，满足则称线性变换则称线性变换 为

25、为 的酉变换。的酉变换。()VL C T,x yV(,)(,)Tx Tyx y TV二、酉变换二、酉变换定义定义3（酉矩阵）（酉矩阵）设设 ，如果，如果 ，则称，则称 为酉矩阵。为酉矩阵。n nAC HHA AAAE A定理定理2（酉变换的等价定义）（酉变换的等价定义）设设 是是n n维酉空间维酉空间 的一个线性变换，则下列命的一个线性变换，则下列命题等价：题等价：是酉变换。是酉变换。保持向量长度不变，即对保持向量长度不变，即对 ，均有，均有 。VTxV TTTxx 如果如果 是是 的一组标准正交基，则的一组标准正交基，则 也是也是 的一组标准正交基。的一组标准正交基。在在 中任一标准正交基下

26、的矩阵是酉矩阵。中任一标准正交基下的矩阵是酉矩阵。VTVV12,ne ee12,nTe TeTe定理定理3 所有所有n n维酉空间都是同构的。维酉空间都是同构的。7、正规矩阵、正规矩阵定义定义1（正规矩阵）（正规矩阵）设设 ，如果，如果 ，则称，则称 为正规为正规矩阵。矩阵。n nAC HHA AAA A常见的正规矩阵：常见的正规矩阵：实对称矩阵：实对称矩阵：实反对称矩阵：实反对称矩阵：厄米特矩阵：厄米特矩阵：反厄米特矩阵：反厄米特矩阵：正交矩阵：正交矩阵：酉矩阵：酉矩阵：TAA TAA HAA HAA TA AE HA AE 不属于前述类型的正规矩阵：不属于前述类型的正规矩阵：1111A 引

27、理引理 （酉矩阵的构造）（酉矩阵的构造）设设 是酉空间是酉空间 的一个单位的一个单位向量，则存在一个以向量，则存在一个以 为第一个列向量的酉矩阵为第一个列向量的酉矩阵 。112(,)Tnea aa QnC1e证明：证明：取取 ，且满足，且满足12(,)Tnnxx xxC10(,)x e 11220nnx ax ax a 上述关于变量上述关于变量 的方程组的解空间为的方程组的解空间为n-1n-1维，不妨假设维，不妨假设其线性无关组为其线性无关组为 ，将其正交单位化后，将其正交单位化后得到得到 ，则，则 构成构成的一组标准正交基，从而的一组标准正交基，从而ix23,n23,ne ee123,ne

28、e eenC123(,)nQe e ee 证明：充分性直接利用定义验证易得。证明：充分性直接利用定义验证易得。定理定理1 （正规矩阵的判定条件）（正规矩阵的判定条件）设设 为正规矩阵的充要条件是：存在酉矩为正规矩阵的充要条件是：存在酉矩阵阵 ，使得，使得 酉相似于对角矩阵，即酉相似于对角矩阵，即n nAC QA121HnQ AQQ AQ 必要性必要性：数学归纳法证明（对阶数：数学归纳法证明（对阶数n n归纳）归纳）当当n=1n=1时，结论显然成立。时，结论显然成立。假设结论对假设结论对n-1n-1阶矩阵阶矩阵成立，下证对成立，下证对n n阶矩阵也成立。阶矩阵也成立。1 设设 是是 的一个特征值

29、，的一个特征值，是相应单位特征向量，是相应单位特征向量，A1e11 11()Aee e由引理知，存在以由引理知，存在以 为列向量的酉矩阵为列向量的酉矩阵1e1Q112(,)nQe ee 1111112(,)nEQ QQe ee 11111121(,)nQ e Q eQ e 1111 00(,)TQ e 1111112(,)nQ AQQAe AeAe 111 12111111121(,)(,)nnQe AeAeQ e Q AeQ Ae 10B 其中其中 是是n-1n-1阶矩阵阶矩阵B下面易证下面易证 矩阵矩阵 和和 均为正规矩阵。均为正规矩阵。1111AQ AQ B因为因为 是是n-1n-1阶正

30、规矩阵，由归纳假设结论阶正规矩阵，由归纳假设结论成立。成立。B 由归纳假设，存在由归纳假设，存在n-1n-1阶酉矩阵阶酉矩阵 ，满足，满足C23HnC BC 2100QC 记记 ，仍为酉矩阵，仍为酉矩阵，12QQ Q 12,HnQ AQdiag ()HHEQ AQQEA QEA 是矩阵是矩阵 的的n n个特征值。个特征值。12,n A推论推论1 设设 是是n n阶正规矩阵，特征值为阶正规矩阵，特征值为 是厄米特矩阵是厄米特矩阵 的特征值全为实数。的特征值全为实数。是反厄米特矩阵是反厄米特矩阵 的特征值为的特征值为0 0或纯虚数。或纯虚数。是酉矩阵是酉矩阵 的每个特征值的每个特征值 的模均为的模

31、均为1 1。12,n AAA AAAAAi 推论推论2 厄米特（厄米特（HermiteHermite）矩阵）矩阵 任意两个任意两个不同特征值对应的特征向量是正交的。不同特征值对应的特征向量是正交的。n nAC 8、厄米特（、厄米特（HermiteHermite）二次型）二次型()n nijAaC 12(,)Tnnxx xxC A1,()nHijiji jf xa x xx Ax 定义定义1（厄米特二次型）（厄米特二次型）设设 ，为厄米特矩阵，则二次型为厄米特矩阵，则二次型称之为厄米特二次型，称之为厄米特二次型，的秩为二次型的秩。的秩为二次型的秩。例如：例如：1231112121331222(,

32、)f x xxx xix xix xx xx xx x 1120100iAi 1123123231120100(,)ixf x x xxxxixx 注意注意：厄米特二次型与实二次型的区别。厄米特二次型与实二次型的区别。二次型矩阵二次型矩阵厄米特二次型中不含交叉项时，称为二次型的厄米特二次型中不含交叉项时，称为二次型的标标准型准型，即此时二次型矩阵为，即此时二次型矩阵为对角形对角形矩阵。矩阵。0(,)n nxCy CCC ()Hf xx Ax 定理定理1 厄米特二次型厄米特二次型 经满秩线性经满秩线性变换变换 后仍为厄米特后仍为厄米特二次型，且秩不变。二次型，且秩不变。xCy A()Hf xx

33、Ax 定义定义2（厄米特相合）（厄米特相合）设厄米特二次型设厄米特二次型 经满秩线性变换经满秩线性变换 化为化为 ，则称矩阵，则称矩阵 与与 是是厄米特相合。或者说，存在可逆矩阵厄米特相合。或者说，存在可逆矩阵 ，使得，使得 ，则称，则称 与与 厄米特相合。厄米特相合。()Hg yy By ABCBHBCAC 注意注意：实二次型时称为合同关系。：实二次型时称为合同关系。()HHxQy Q QQQE ()Hf xx Ax 定理定理2 每个厄米特二次型每个厄米特二次型 都可用都可用某个酉变换某个酉变换 ，使，使其化为标准型：其化为标准型：其中其中 是是 的特征值。的特征值。11 1222nnnfy

34、 yy yy y 12,n A12HnQ AQ 12(,)nQq qq 1212(,)(,)nnA q qqq qq iiiAqq 例例8 化下列厄米特二次型为标准型：化下列厄米特二次型为标准型：1121311232132322fx xix xx xix xix xx xix x 解：解：该厄米特二次型的矩阵为该厄米特二次型的矩阵为1102120iAiii 下面先计算矩阵的特征值。下面先计算矩阵的特征值。解：解：该厄米特二次型的矩阵为该厄米特二次型的矩阵为1102120iAiii 11212iEAiii 021102212()iiiii 230()()123023,下面特征值相应的特征向量。下

35、面特征值相应的特征向量。10 解方程组解方程组1()EA x1231100201200ixiixix 121i 22 解方程组解方程组2()EA x 1233102201220ixiixix 201i 33 解方程组解方程组3()EA x 1232103201230ixiixix 31ii 将特征向量将特征向量 利用利用SchmiteSchmite方法正交化方法正交化处理（本题处理（本题3 3个向量已经正交：不同特征值对应的特个向量已经正交：不同特征值对应的特征向量一定正交），然后再进行单位化。征向量一定正交），然后再进行单位化。123,12161qi 20112qi 3113iqi 将上述三

36、个向量按照列排起来的矩阵就是酉矩阵将上述三个向量按照列排起来的矩阵就是酉矩阵 。Q所求标准型为：所求标准型为：223323fx xx x 2063116231623iiQii()Hf xx Ax 定义定义3（正（负）定二次型）（正（负）定二次型）如果对如果对 ，厄米特二次型，厄米特二次型 恒为正（负）数，则称该二次型是恒为正（负）数，则称该二次型是正（负）定的，此时厄米特矩阵正（负）定的，此时厄米特矩阵 称为正（负）定的；称为正（负）定的；若若 恒不为负（正）数，即恒不为负（正）数，即 ，则称，则称 为半正（负）定的，相应的矩阵为半正（负）定的，相应的矩阵 称为半正（负）定称为半正（负）定的。

37、的。A00()ff n nxC fAfA()Hf xx Ax 定理定理3 厄米特二次型厄米特二次型 为正定（或为正定（或半正定）的充要条件是半正定）的充要条件是 的特征值全为正数（或全为的特征值全为正数（或全为非负数）非负数）。证明：证明：充分性由充分性由定理定理2易证，必要性（采用反证法）易证，必要性（采用反证法）0k 设存在特征值为非负，不妨假设设存在特征值为非负，不妨假设00 1 00(,)TxQ 取非零向量取非零向量001 00001 000(,)(,)HHTkfx AxQ AQ 类似地可以证明半正定的情况。类似地可以证明半正定的情况。HABB HC ACE 定理定理4 如果如果 为厄

38、米特矩阵，则下列两个条件中的任为厄米特矩阵，则下列两个条件中的任何一个都是何一个都是 为正定矩阵的充要条件：为正定矩阵的充要条件：存在满秩矩阵存在满秩矩阵 ，使得，使得 ；存在满秩矩阵存在满秩矩阵 ，使得，使得 。AACB12(,)HnQ AQdiag 11112222()()HHAQEQQE Q 111122()()HQAQE 112()HCQ A()Hf xx Ax 定理定理5 厄米特二次型厄米特二次型 为正定的充为正定的充要条件是要条件是 的各阶顺序主子式大于零的各阶顺序主子式大于零。2211,nnkkkkkfygy ()Hf xx Ax 定理定理6 设设 ，是两是两个厄米特二次型，且个厄米特二次型，且 正定，则存在正定，则存在满秩线性变换满秩线性变换 ，使这两个二次型同时化为标，使这两个二次型同时化为标准型：准型：()Hg xx Bx()Hg xx Bx xCy 利用利用定理定理4证明。证明。