还剩17页未读,继续阅读
本资源只提供10页预览,全部文档请下载后查看!喜欢就下载吧,查找使用更方便
文本内容:
第五章二次型§1二次型及其矩阵表示
一、二次型及其矩阵表示设是一个数域一个系数在数域中的的二次齐次多项式称为数域上的一个元二次型,简称二次型.定义1设是两组文字,系数在数域P中的一组关系式2称为由到的一个线性替换,或简称线性替换.如果系数行列式那么线性替换2就称为非退化的.线性替换把二次型变成二次型.令由于所以二次型1可写成把3的系数排成一个矩阵4它称为二次型3的矩阵.因为所以把这样的矩阵称为对称矩阵,因此,二次型的矩阵都是对称的.令或应该看到二次型1的矩阵A的元素当时正是它的项的系数的一半而是项的系数,因此二次型和它的矩阵是相互唯一决定的.由此可得若二次型且则.令于是线性替换
(4)可以写成或者.经过一个非退化的线性替换,二次型还是变成二次型,替换后的二次型与原来的二次型之间有什么关系,即找出替换后的二次型的矩阵与原二次型的矩阵之间的关系.设7是一个二次型,作非退化线性替换8得到一个的二次型,
二、矩阵的合同关系现在来看矩阵与的关系.把
(8)代入
(7),有易看出,矩阵也是对称的,由此即得.这是前后两个二次型的矩阵的关系定义2数域P上两个阶矩阵,称为合同的,如果有数域P上可逆的矩阵使得.合同是矩阵之间的一个关系,具有以下性质:1自反性:任意矩阵都与自身合同.2对称性:如果与合同那么与合同.3传递性:如果与合同与合同那么与合同.因此,经过非退化的线性替换,新二次型的矩阵与原来二次型的矩阵是合同的这样把二次型的变换通过矩阵表示出来,为以下的讨论提供了有力的工具最后指出,在变换二次型时,总是要求所作的线性替换是非退化的从几何上看,这一点是自然的因为坐标变换一定是非退化的一般地,当线性替换是非退化时,由上面的关系即得.这也是一个线性替换,它把所得的二次型还原.这样就使我们从所得二次型的性质可以推知原来二次型的一些性质.§2标准形
一、二次型的标准型二次型中最简单的一种是只包含平方项的二次型.
(1)定理1数域上任意一个二次型都可以经过非化线性替换变成平方和
(1)的形式.易知,二次型
(1)的矩阵是对角矩阵,反过来,矩阵为对角形的二次型就只包含平方项.按上一节的讨论,经过非退化的线性替换,二次型的矩阵变到一个合同的矩阵,因此用矩阵的语言,定理1可以叙述为定理2在数域上,任意一个对称矩阵都合同于一对角矩阵.定理2也就是说,对于任意一个对称矩阵都可以找到一个可逆矩阵使成对角矩阵.二次型经过非退化线性替换所变成的平方和称为的标准形.例化二次型为标准形.
二、配方法
1.这时的变量替换为令则上述变量替换相应于合同变换为计算,可令.于是和可写成分块矩阵这里为的转置,为级单位矩阵.这样矩阵是一个对称矩阵,由归纳法假定,有可逆矩阵使为对角形,令于是这是一个对角矩阵,我们所要的可逆矩阵就是.
2.但只有一个.这时,只要把的第一行与第行互换,再把第一列与第列互换,就归结成上面的情形,根据初等矩阵与初等变换的关系,取行显然.矩阵就是把的第一行与第行互换,再把第一列与第列互换.因此,左上角第一个元素就是,这样就归结到第一种情形.
3.但有一与上一情形类似,作合同变换可以把搬到第一行第二列的位置,这样就变成了配方法中的第二种情形.与那里的变量替换相对应,取于是的左上角就是也就归结到第一种情形.
4.由对称性,也全为零.于是是级对称矩阵.由归纳法假定,有可逆矩阵使成对角形.取,就成对角形.例化二次型成标准形.§3唯一性经过非退化线性替换,二次型的矩阵变成一个与之合同的矩阵.由第四章§4定理4,合同的矩阵有相同的秩,这就是说,经过非退化线性替换后,二次型矩阵的秩是不变的.标准形的矩阵是对角矩阵,而对角矩阵的秩就等于它对角线上不为零的平方项的个数.因之,在一个二次型的标准形中,系数不为零的平方项的个数是唯一确定的,与所作的非退化线性替换无关,二次型矩阵的秩有时就称为二次型的秩.至于标准形中的系数,就不是唯一确定的.在一般数域内,二次型的标准形不是唯一的,而与所作的非退化线性替换有关.下面只就复数域与实数域的情形来进一步讨论唯一性的问题.设是一个复系数的二次型,由本章定理1,经过一适当的非退化线性替换后,变成标准形,不妨假定化的标准形是.1易知就是的矩阵的秩.因为复数总可以开平方,再作一非退化线性替换21就变成33就称为复二次型的规范形.显然,规范形完全被原二次型矩阵的秩所决定,因此有定理3任意一个复系数的二次型经过一适当的非退化线性替换可以变成规范形,且规范形是唯一的.定理3换个说法就是,任一复数的对称矩阵合同于一个形式为的对角矩阵.从而有两个复数对称矩阵合同的充要条件是它们的秩相等.设是一实系数的二次型.由本章定理1,经过某一个非退化线性替换,再适当排列文字的次序,可使变成标准形4其中是的矩阵的秩.因为在实数域中,正实数总可以开平方,所以再作一非退化线性替换54就变成66就称为实二次型的规范形.显然规范形完全被这两个数所决定.定理4任意一个实数域上的二次型,经过一适当的非退化线性替换可以变成规范形,且规范形是唯一的.这个定理通常称为惯性定理.定义3在实二次型的规范形中,正平方项的个数称为的正惯性指数;负平方项的个数称为的负惯性指数;它们的差称为的符号差.应该指出,虽然实二次型的标准形不是唯一的,但是由上面化成规范形的过程可以看出,标准形中系数为正的平方项的个数与规范形中正平方项的个数是一致的,因此,惯性定理也可以叙述为实二次型的标准形中系数为正的平方项的个数是唯一的,它等于正惯性指数,而系数为负的平方项的个数就等于负惯性指数.定理5
(1)任一复对称矩阵都合同于一个下述形式的对角矩阵.其中对角线上1的个数等于的秩.
(2)任一实对称矩阵都合同于一个下述形式的对角矩阵其中对角线上1的个数及-1的个数(等于的秩)都是唯一确定的,分别称为的正、负惯性指数,它们的差称为的符号差..§4正定二次型
一、正定二次型定义4实二次型称为正定的,如果对于任意一组不全为零的实数都有.实二次型是正定的当且仅当.设实二次型1是正定的,经过非退化实线性替换2变成二次型3则的二次型也是正定的,或者说,对于任意一组不全为零的实数都有.因为二次型
(3)也可以经非退化实线性替换变到二次型
(1),所以按同样理由,当
(3)正定时
(1)也正定.这就是说,非退化实线性替换保持正定性不变.
二、正定二次型的判别定理6实数域上二次型是正定的它的正惯性指数等于.定理6说明,正定二次型的规范形为5定义5实对称矩阵A称为正定的,如果二次型正定.因为二次型
(5)的矩阵是单位矩阵E,所以一个实对称矩阵是正定的它与单位矩阵合同.推论正定矩阵的行列式大于零.定义6子式称为矩阵的顺序主子式.定理7实二次型是正定的矩阵的顺序主子式全大于零.例判定二次型是否正定.定义7设是一实二次型,如果对于任意一组不全为零的实数都有那么称为负定的;如果都有,那么称为半正定的;如果都有,那么称为半负定的;如果它既不是半正定又不是半负定,那么就称为不定的.由定理7不难看出负定二次型的判别条件.这是因为当是负定时,就是正定的.定理8对于实二次型,其中是实对称的,下列条件等价
(1)是半正定的;
(2)它的正惯性指数与秩相等;
(3)有可逆实矩阵,使其中;
(4)有实矩阵使.
(5)的所有主子式皆大于或等于零;注意,在
(5)中,仅有顺序主子式大于或等于零是不能保证半正定性的.比如就是一个反例.证明Th8设的主子式全大于或等于零,是的级顺序主子式,是对应的矩阵其中是中一切级主子式之和,由题设,故当时,,是正定矩阵.若不是半正定矩阵,则存在一个非零向量,使令与时是正定矩阵矛盾,故是半正定矩阵.Th8记的行指标和列指标为的级主子式为,对应矩阵是,对任意,有其中又是半正定矩阵从而.若,则P23412T,存在使与矛盾,所以.◇设为级实矩阵,且,则都是正定矩阵.◇设为实矩阵,则都是半正定矩阵.证明是实对称矩阵,令,则是维实向量是半正定矩阵,同理可证是半正定矩阵.◇设是级正定矩阵,则时,都是正定矩阵.证明由于正定,存在可逆矩阵,使从而为正定矩阵.正定又正定,正定正定.对称当时,从而正定.当时所以与合同,因而正定.第五章二次型小结
一、二次型与矩阵
1.基本概念二次型;二次型的矩阵和秩;非退化线性替换;矩阵的合同.
2.基本结论1非退化线性替换把二次型变为二次型.2二次型可经非退化的线性替换化为二次型.3矩阵的合同关系满足反身性、对称性和传递性.
二、标准形
1.基本概念二次型的标准形;配方法.
2.基本定理1数域上任意一个二次型都可经过非退化的线性替换化为标准形式.2在数域上,任意一个对称矩阵都合同于一对角矩阵.
三、唯一性
1.基本概念复二次型的规范形;实二次型的规范形正惯性指数、负惯性指数、符号差.
2.基本定理1任一复二次型都可经过非退化的线性替换化为唯一的规范形式的秩.因而有:两个复对称矩阵合同它们的秩相等.2惯性定律:任一实二次型都可经过非退化线性替换化为唯一的规范形式的秩为的惯性指数.因而两个元实二次型可经过非退化线性替换互化它们分别有相同的秩和惯性指数.4实二次型的标准形式中系数为正的平方项的个数是唯一确定的它等于正惯性指数,而系数为负的平方项的个数就等于负惯性指数.
四、正定二次型
1.基本概念正定二次型,正定矩阵;顺序主子式,负定二次型,半正定二次型,半负定二次型,不定二次型.
2.基本结论1非退化线性替换保持实二次型的正定性不变.2实二次型正定
①与单位矩阵合同即存在可逆矩阵使得;
②的顺序主子式都大于零.
③的正惯性指数等于.YmVjSgOdLaI6F__0yv%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPe__J7G4C1z-wt!pYmVjRgOdL9I6E__0yv%s#oXlTiQfNbK8H5D2A+x*u$qZnWkShPe__J7F4C1zwt!pYmUjRgOcL9I6E__+yv%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPd__I7F4C0zws!pYmUjRfOcL9H6E__+yu%r#oWlTiQeN__8G5D1A-x*t$qYnVkSgPd__I7F3C0zvs!pXmUiRfOcK9H6E2B+xu%rZoWlThQeM__8G4D1A-w*t$qYnVjSgPdLaI7F3C0yvs#pXmUiRfNcK9H5E2B+xu$rZoWkThQeM__7G4D1z-w*t!qYmVjSgOdLaI6F__0yv%s#pXlUiRfNcK8H5E2A+xu$rZnWkThPeM__7G4C1z-wt!qYmVjRgOdL9I6F__0yv%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPe__J7G4C1zwt!pYmVjRgOcL9I6E__0yv%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPd__J7F4C0zws!pYmUjRfOcL9H6E__+yu%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPd__I7F4C0zvs!pXmUjRfOcK9H6E2B+yu%rZoWlThQeN__8G4D1A-w*t$qYnVjSgPdLaI7F3C0zvs#pXmUiRfOcK9H5E2B+xZnVkSgPd__I7F4C0zvs!pXmUjRfOcK9H6E2B+yu%rZoWlThQeN__8G4D1A-w*t$qYnVkSgPdLaI7F3C0zvs#pXmUiRfOcK9H5E2B+xu%rZoWkThQeM__8G4D1z-w*t!qYnVjSgOdLaI6F3C0yv%s#pXlUiRfNcK9H5E2A+xu$rZoWkThPeM__7G4D1z-wt!qYmVjSgOdL9I2B+xu%rZoWkThQeM__8G4D1z-w*t!qYnVjSgOdLaI6F3C0yvs#pXlUiRfNcK9H5E2A+xu$rZoWkThPeM__7G4D1z-wt!qYmVjSgOdL9I6F__0yv%s#oXlUiQfNcK8H5D2A+x*u$rZnWkThPe__J7G4C1z-wt!pYmVjRgOdL9I6E__0yv%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPd__J7F4C1zws!pYmUjRgOcL9I6E__+yv%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPd__I7F4C0zws!pXmUjRfOcL9H6E2B+yu%r#oWlThQeN__8G5D1A-w*t$qYnVkSgPd__I7F+yv%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPd__I7F4C0zws!pXmUjRfOcL9H6E2B+yu%r#oWlTiQeN__8G5D1A-x*t$qYnVkSg9I6E__+yv%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPd__I7F4C0zws!pXmUjRfOcL9H6E__+yu%r#oWlTiQeN__8G5D1A-x*t$qYnVkSgPd__I7F3C0zvs!pXmUiRfOcK9H6E2B+xu%rZoWlThQeM__8G4D1A-w*t$qYnVjSgPdLaI7F3C0yvs#pXmUiRfNcK9H5E2B+xu$rZoWkThQeM__7G4D1z-w*t!qYmVjSgOdLaI6F__0yv%s#pXlUiQfNcK8H5E2A+xu$rZnWkThPeM__7G4C1z-wt!qYmVjRgOdL9I6F__0y$rZoWkThQeM__7G4D1z-w*t!qYmVjSgOdLaI6F3C0yv%s#pXlUiRfNcK8H5E2A+xu$rZnWkThPeM__7G4C1z-wt!qYmVjRgOdL9I6F__0yv%s#oXlUiQfNbK8H5D2A+x*u$rZnWkShPe__J7G4C1zwt!pYmVjRgOcL9I6E__0yv%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPd__J7F4C0zws!pYmUjRfOcL9H6E__+yv%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPd__I7F4C0zvs!pXmUjRfOcK9H6E2B+yu%rZoWlThQeN__8G4D1A-w*t$qYnVkSgPH6E__+yv%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPd__I7F4C0zvs!pXmUjRfOcK9H6E2B+yu%rZoWlThQeN__8G5D1A-w*t$qYnVkSgPdLaI7F3C0zvs#pXmUiRfOcK9H5E2B+xu%rZoWkThQeM__8G4D1z-w*t!qYnVjSgOdLaI6F3C0yvs#pXlUiRfNcK9H5E2A+xu$rZoWkThPeM__7G4Dvs#pXmUiRfOcK9H5E2B+xu%rZoWkThQeM__8G4D1z-w*t!qYnVjSgPdLaI6F3C0yvs#pXlUiRfNcKD1A-w*t$qYnVkSgPdLaI7F3C0zvs#pXmUiRfOcK9H5E2B+xu%rZoWlThQeM__8G4D1A-w*t!qYnVjSgPdLaI6F3C0yvs#pXlUiRfNcK9H5E2A+xu$rZoWkThPeM__7G4D1z-wt!qYmVjSgOdL9I6F__0yv%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPe__J7G4C1z-wt!pYmVjRgOdL9I6E__0yv%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPe__J7F4C1zwpXlUiQfNcK8H5E2A+x*u$rZnWkThPe__J7G4C1z-wt!pYmVjRgOdL9I6E__0yv%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPe__J7F4C1zwt!pYmUjRgOcL9I6E__+yv%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPd__I7F4C0zws!pYmUjRfOcL9H6E__+yu%r#oWlTiQeN__8G5D1A-x*t$qYnVkSgPd__I7F3C0zvs!pXmUiRfOcK9H6E2B+xu%rZoWlTd__J7F4C0zws!pYmUjRfOcL9H6E__+yu%r#oWlTiQeN__8G5D1A-x*t$qYnVkSgPd__I7F3C0zvs!pXmUiRfOcK9H6E2B+yu%rZoWlThQeN__8G4D1A-w*t$qYnVjSgPdLaI7F3C0yvs#pXmUiRfNcK9H5E2B+xu$rZoWkThQeM__7G4D1z-w*t!qYnVjSgOdLaI6F3C0yv%s#pXlUiRfNcK8H5E2A+xu$rZnWkThPeM__7G4C1z-wt!qYmVjRgOdL9I6F__0yv%s#oXlUiQfNcK8H5D2A+x*u$rZngOdLaI6F3C0yv%s#pXlUiRfNcK8H5E2A+xu$rZnWkThPeM__7G4C1z-wt!qYmVjRgOdL9I6F__0yv%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPe__J7G4C1zwt!pYmVjRgOcL9I6E__0yv%r#oXlTiQfNbK8G5D2A-x*u$qZnWkShPd__J7F4C1zws!pYmUjRgOcL9H6E__+yv%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPd__I7F4C0zvs!pXmUjRfOcK9H6E2B+yu%r#oWlThQeN__8G5D1A-w*t$qYnVkSgPdLaI7F3C0zvs#pXmUiRfOcK9H5E2B+xu%rZoWkThQeM__8G4D1z-w*t!qYnVjSgPdLaI6F3C0yvs#pXlUiRfNcK9H5E2A+xu$rZoWkThLaI7F3C0zvs#pXmUiRfOcK9H5E2B+xu%rZoWkThQeM__8G4D1A-w*t!qYnVjSgPdLaI6F3C0yvs#pXlUiRfNcK9H5E2A+xu$rZoWkThPeM__7G4D1z-wt!qYmVjSgOdL9I6F__0yv%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPe__J7G4C1z-wt!pYmVjRgOdL9I6E__0yv%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPe__J7F4C1zwt!pYQfNcK8H5E2A+x*u$rZnWkThPe__J7G4C1z-wt!pYmVjRgOdL9I6E__0yv%s#oXlTiQfNbK8H5D2A+x*u$qZnWkShPe__J7F4C1zwt!pYmUjRgOcL9I6E__+yv%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPd__I7F4C0zws!pYmUjRfOcL9H6E__+yu%r#oWlTiQeN__8G5D1A-x*t$qYnVkSgPd__I7F3C0zvs!pXmUiRfOcK9H6E2B+xu%rZoWlThQeM__8G4D1A-w*t$qYnVjSgPdLaI7F3C0yvs#pXmUiRfNcK9H5E2B+xu$rZoWkThQeM__7G4D1z-w*t!qYmVjSgOdLaI6F__0yv%s#pXlQeN__8G4D1A-w*t$qYnVjSgPdLaI7F3C0yvs#pXmUiRfNcK9H5E2B+xu$rZoWkThQeM__7G4D1z-w*t!qYmVjSgOdLaI6F3C0yv%s#pXlUiRfNcK8H5E2A+xu$rZnWkThPeM__7G4C1z-wt!qYmVjRgOdL9I6F__0yv%s#oXlUiQfNbK8H5D2A+x*u$rZnWkShPe__J7G4C1zwt!pYmVjRgOcL9I6E__0yv%r#oXPeM__7G4C1z-wt!qYmVjRgOdL9I6F__0yv%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPe__J7G4C1zwt!pYmVjRgOcL9I6E__0yv%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPd__J7F4C1zws!pYmUjRgOcL9H6E__+yv%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPd__I7F4C0zvs!pXmUjRfOcK9H6E2B+yu%r#oWlTh__J7F4C1zws!pYmUjRgOcL9H6E__+yv%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPd__I7F4C0zvs!pXmUjRfOcL9H6E2B+yu%r#oWlThQeN__8G5D1A-w*t$qYnVkSgPdLaI7F3C0zvs#pXmUiRfOcK9H5E2B+xu%rZoWkThQeM__8G4D1A-w*t!qYnVjSgPdLaI6F3C0yvs#pXlUiRfN。