§3 唯一性经过非退化线性替换,二次型的矩阵变成一个与之合同的矩阵.由第四章§4定理4,合同的矩阵有相同的秩,这就是说,经过非退化线性替换后,二次型矩阵的秩是不变的.标准形的矩阵是对角矩阵,而对角矩阵的秩就等于它对角线上不为零的平方项的个数.因之,在一个二次型的标准形中,系数不为零的平方项的个数是唯一确定的,与所作的非退化线性替换无关,二次型矩阵的秩有时就称为二次型的秩.
至于标准形中的系数,就不是唯一确定的.在一般数域内,二次型的标准形不是唯一的,而与所作的非退化线性替换有关.
下面只就复数域与实数域的情形来进一步讨论唯一性的问题.
设是一个复系数的二次型,由本章定理1,经过一适当的非退化线性替换后,变成标准形,不妨假定化的标准形是
,(1)
易知就是的矩阵的秩.因为复数总可以开平方,再作一非退化线性替换
(2)
(1)就变成
(3)
(3)就称为复二次型的规范形.显然,规范形完全被原二次型矩阵的秩所决定,因此有定理3 任意一个复系数的二次型经过一适当的非退化线性替换可以变成规范形,且规范形是唯一的.
定理3 换个说法就是,任一复数的对称矩阵合同于一个形式为
的对角矩阵.从而有两个复数对称矩阵合同的充要条件是它们的秩相等.
设是一实系数的二次型.由本章定理1,经过某一个非退化线性替换,再适当排列文字的次序,可使变成标准形
(4)
其中是的矩阵的秩.因为在实数域中,正实数总可以开平方,所以再作一非退化线性替换
(5)
(4) 就变成
(6)
(6)就称为实二次型的规范形.显然规范形完全被这两个数所决定.
定理4 任意一个实数域上的二次型,经过一适当的非退化线性替换可以变成规范形,且规范形是唯一的.
这个定理通常称为惯性定理.
定义3 在实二次型的规范形中,正平方项的个数称为的正惯性指数;负平方项的个数称为的负惯性指数;它们的差称为的符号差.
应该指出,虽然实二次型的标准形不是唯一的,但是由上面化成规范形的过程可以看出,标准形中系数为正的平方项的个数与规范形中正平方项的个数是一致的,因此,惯性定理也可以叙述为:实二次型的标准形中系数为正的平方项的个数是唯一的,它等于正惯性指数,而系数为负的平方项的个数就等于负惯性指数.
定理5 (1)任一复对称矩阵都合同于一个下述形式的对角矩阵:
.
其中对角线上1 的个数等于的秩.
(2)任一实对称矩阵都合同于一个下述形式的对角矩阵:
,
其中对角线上1的个数及-1的个数(等于的秩)都是唯一确定的,分别称为的正、负惯性指数,它们的差称为的符号差.
至于标准形中的系数,就不是唯一确定的.在一般数域内,二次型的标准形不是唯一的,而与所作的非退化线性替换有关.
下面只就复数域与实数域的情形来进一步讨论唯一性的问题.
设是一个复系数的二次型,由本章定理1,经过一适当的非退化线性替换后,变成标准形,不妨假定化的标准形是
,(1)
易知就是的矩阵的秩.因为复数总可以开平方,再作一非退化线性替换
(2)
(1)就变成
(3)
(3)就称为复二次型的规范形.显然,规范形完全被原二次型矩阵的秩所决定,因此有定理3 任意一个复系数的二次型经过一适当的非退化线性替换可以变成规范形,且规范形是唯一的.
定理3 换个说法就是,任一复数的对称矩阵合同于一个形式为
的对角矩阵.从而有两个复数对称矩阵合同的充要条件是它们的秩相等.
设是一实系数的二次型.由本章定理1,经过某一个非退化线性替换,再适当排列文字的次序,可使变成标准形
(4)
其中是的矩阵的秩.因为在实数域中,正实数总可以开平方,所以再作一非退化线性替换
(5)
(4) 就变成
(6)
(6)就称为实二次型的规范形.显然规范形完全被这两个数所决定.
定理4 任意一个实数域上的二次型,经过一适当的非退化线性替换可以变成规范形,且规范形是唯一的.
这个定理通常称为惯性定理.
定义3 在实二次型的规范形中,正平方项的个数称为的正惯性指数;负平方项的个数称为的负惯性指数;它们的差称为的符号差.
应该指出,虽然实二次型的标准形不是唯一的,但是由上面化成规范形的过程可以看出,标准形中系数为正的平方项的个数与规范形中正平方项的个数是一致的,因此,惯性定理也可以叙述为:实二次型的标准形中系数为正的平方项的个数是唯一的,它等于正惯性指数,而系数为负的平方项的个数就等于负惯性指数.
定理5 (1)任一复对称矩阵都合同于一个下述形式的对角矩阵:
.
其中对角线上1 的个数等于的秩.
(2)任一实对称矩阵都合同于一个下述形式的对角矩阵:
,
其中对角线上1的个数及-1的个数(等于的秩)都是唯一确定的,分别称为的正、负惯性指数,它们的差称为的符号差.