《复数域和实数域上的二次型.ppt》由会员分享，可在线阅读，更多相关《复数域和实数域上的二次型.ppt（18页珍藏版）》请在三一办公上搜索。
1、9.2 复数域和实数域上的二次型,本教程只限于讨论复数域和实数域上的二次型和实二次型，这里将给出两个复二次和两个实二次型等价的充分必要条件，相当于给出复数域上两个对称矩阵和实数域上两个对称矩阵合同的充分且必要条件 先对复二次型回答这个问题，我们有 复数域上两个 n阶对称矩阵合同的充要条件是它们有相同的秩 两个复二次型等价的充要条件是它们有相同的秩(显然只要证明第一个论断),9.2 复数域和实数域上的二次型,证必要性显然成立，只证充分性设A,B是复数域上两个n阶对称矩阵，秩A=秩B=r，由定理，分别存在复可逆矩阵P的Q，使得,9.2 复数域和实数域上的二次型,当r 0时，ci 0,di 0,i=
2、1,2,r取n阶复矩阵,分别表示复数ci与di的一平方根，则 S=S，T=T，而,9.2 复数域和实数域上的二次型,因此，矩阵A,B都与矩阵,合同，所以A与B合同 下面考察实数域上的情形，首先证明定理：实数域上每一n阶对称矩阵A都合同于如下形式的一个矩阵：,9.2 复数域和实数域上的二次型,证 由定理，实可逆矩阵P使得,9.2 复数域和实数域上的二次型,如果 r 0，必要时交换两列和两行(相当于右乘以Pij，左乘以Pij)，总可以假定 c1,c2,.,cp 0,cp+1,.,cr 0,0 p r取,9.2 复数域和实数域上的二次型,(下面的定理与定理是平行的)定理 实数域上每个n 元二次型都与
3、如下形式的一个二次型等价：,其中，r是所给二次型的秩,9.2 复数域和实数域上的二次型,二次型(1)叫做实二次型的典范形式，定理是说，实数域上每一个二次型都与一个典范形式等价，在典范形式里，平方项的个数r 等于二次型的秩，因而是唯一确定的 还要进一步证明，在典范形式(1)中，系数是的项的个数 p 也是唯一确定的(因而系数是 1 的项的个数 r p 也是唯一确定的)，这就是 实二次型的惯性定律,9.2 复数域和实数域上的二次型,定理9.2.4(惯性定律)实数域R上n元二次型,等价于两个典范形式,那么 p=p 证设(2)与(3)分别通过变量的非奇异线性变换，,9.2 复数域和实数域上的二次型,化为
4、所给的二次型,如果 p p，考虑 p+n p 个方程的齐次线性方程组,9.2 复数域和实数域上的二次型,因为 p p，所以 p+n p n，方程组(6)在R内有非零解，令(c1,c2,.,cn)是(6)的一个非零解，把这一组值代入 yi 和 zi 的表示式(4)与(5)，记,则有 y1(c)2+.+yp(c)2 yp+1(c)2.yr(c)2=z1(c)2+.+zp(c)2 zp+1(c)2.zr(c)2,9.2 复数域和实数域上的二次型,然而 y1(c)=.=yp(c)=0，zp+1(c)=.=zr(c)=0，所以 yp+1(c)2.yr(c)2=z1(c)2+.+zp(c)2，因为 yi(
5、c)2 与 zi(c)2 都是非负实数，所以必须 yp+1(c)=.=yr(c)=0，z1(c)=.=zp(c)=0，又 zp+1(c)=.=zn(c)=0，所以 c1,c2,.,cn 是齐次线性方程组,的非零解，这与矩阵(tij)的非奇异性矛盾，从而证得：p p，同理可证 p p，所以p=p,9.2 复数域和实数域上的二次型,由这个定理，实数域上每个二次型 p(x1,x2,.,xn)都与唯一的典范形式(1)等价，在(1)中，正平方项的个数 p 叫做所给二次型的惯性指标，正项的个数 p 与负项的个数 r p 的差 s=p(r p)=2p r 叫做所给的二次型的符号差，一个实二次型的秩，惯性指标
6、和符号差都是唯一确定的(由定理和9.2.可得下列定理9.2.5),9.2 复数域和实数域上的二次型,实数域上两个 n 元二次型等价的充分且必要的条件是它们有相同的秩和符号差 证设 q1(x1,x2,.,xn)和 q2(x1,x2,.,xn)是实数域上两个n元二次型，令A1与A2分别是它们的矩阵，则由定理，可逆矩阵P，使得,9.2 复数域和实数域上的二次型,如果 q2 与 q1 等价，那么 A1 与 A2 合同，从而 实可逆矩阵 Q 使得：A2=QA1Q，取 T=Q1P，那么,因此 q2 与 q1 都与同一个典范形式等价，所以它们有相同的秩和符号差反之，若q1与q2有相同的秩r 和符号差s，则也
7、有相同的惯性指标：,9.2 复数域和实数域上的二次型,合同，从而：A2与A1合同，即有 q2 与 q1 等价,实数域 R 上一切实可行 n 元二次型可以分成,类，属于同一类的二次型彼此等价，属于不同类的二次型互不等价,9.2 复数域和实数域上的二次型,证给定 0 r n 与 0 p r，令,由定理，R 上每个n 元二次型恰与一个以Cr,p 为矩阵的典范形式等价，r 取定后，p 可以取 0,1,.,r；而 r 又可以取 0,1,.,n 中任何一个数，因此这样的 Cr,p 共有,返回第九章目录 9.2 复数域和实数域上的二次型,对于每一个Cr,p就有一个典范形式,与它相当，把与同一个典范形式等价的二次型放在一类，于是R上一切n元二次型恰可分成,类，属于同一类的二次型彼此等价，属于不同类的二次型互不等价,
