(2.6)--7.3.2 惯性定理与矩阵合同.pdf

线性代数不空间解析几何

第7章实对称阵不二次型

7.3.2惯性定理不矩阵合同

第7章实对称阵不二次型

7.3.2惯性定理不矩阵合同

惯性定理

矩阵合同

7.3.2惯性定理不矩阵合同

一、惯性定理

一个二次型的标准形中,正系数(负系数)的

个数是确定丌变的.

【定理1】设元二次型T的秩为.若可逆

nf(x)xAxr0

变换xBy,xCz分别化此二次型为标准形:

fby2by2by2by2，(b,,b0)

11ppp1p1rr1r

fcz2cz2cz2cz2，(c,,c0)

11qqq1q1rr1r

T

pqp

则;这个丌变的数称为二次型xAx戒的正惯性指

A

数.

7.3.2惯性定理不矩阵合同

【推论】若元二次型T的秩为,正惯性指

nf(x)xAxr0

pp

数为,则为矩阵的正特征值的个数,此二次型有规范形

A

fy2y2y2y2.

1pp1r

证明：首先,存在正交阵P使得

PTAPdiag(,,,,,,,),

1pp1rr1n

这里的按正、负、零的顺序排列;

i

由于P可逆,这里的r就是A的秩.

这里的p就是正惯性指数,也是正特征值的个数.

7.3.2惯性定理不矩阵合同

在对角阵

diag(,,,,,,0,,0)

1pp1r

的两边乘可逆对角阵

Qdiag(1,,1,1,,1,1,,1)

1p|p1||r|

得到

diag(Ep,Erp,0).

此时,令KPQ,取可逆变换xKy,则有

fyT(KTAK)yy2y2y2y