查看“︁合同矩阵”︁的源代码

在[[线性代数]]，特别是[[二次型]]理论中，常常用到[[矩阵]]间的'''合同关系'''。两个矩阵<math>A</math>和<math>B</math>是'''合同'''的，如果有同数域上的可逆矩阵 <math>P</math>，使得
:<math>A=P^\mathrm{T} B P \, </math>。
其中的<math>P^\mathrm{T}</math>表示矩阵<math>P</math>的[[转置矩阵]]。

对于二次型的矩阵表示来说，做一次非退化的[[基变更|线性替换]]相当于将二次型的矩阵变为一个与其合同的矩阵。

在有限维线性空间中同一双线性函数在不同基下的度量矩阵是合同的。

== 性质 ==
合同关系是一个[[等价关系]]，也就是说满足：
:反身性：<math>A=I_n^\mathrm{T} A I_n</math>
:对称性：<math>A</math>合同于<math>B</math>，则可以推出<math>B</math>合同于<math>A</math>。
:传递性：<math>A</math>合同于<math>B</math>，<math>B</math>合同于<math>C</math>，则可以推出<math>A</math>合同于<math>C</math>。

合同类矩阵具有相等的秩和正惯性指数，秩和正惯性指数是合同关系下的完全不变量，即如果两个矩阵合同等价于他们的秩和正惯性指数相等。

由于每个[[二次型]]都可以经过线性替换变成若干个平方和的形式，对于矩阵来说，就是每个对称矩阵都合同于一个[[对角矩阵]]，后者称为一个'''标准形'''。根据[[谱定理]]，替换的过渡矩阵可以是一个[[正交矩阵]]。

如果不考虑替换矩阵的正交性，那么在[[复数 (数学)|复数]]域中，每个对称矩阵都合同于一个对角线上元素只由0和1构成的对角矩阵。对角线上的1的个数等于原来的矩阵的[[矩阵的秩|秩]]。因此每个可逆的对称矩阵都合同于[[单位矩阵]]。

在实数域中，根据[[惯性定理]]，每个对称矩阵都合同于一个对角线上元素只由0和正负1构成的对角矩阵。如果设1的个数是p，-1的个数是q，那么给定(p,q)后，就确定了一个关于合同关系的[[等价类]]。数对(p,q)称为一个对称矩阵（或相应二次型）的'''惯性指数'''其中1的个数p称为'''正惯性指数'''， -1的个数q称为'''负惯性指数'''， ''p''-''q''叫做'''符号差'''。据此可以得出：合同关系将所有的对称矩阵分为<math> {  (n+2)(n+1) \over 2 }</math> 个等价类。

== 正定二次型 ==
{{main|正定二次型}}

如果<math display="inline">\forall\alpha \in \R^n </math>，且<math display="inline">\alpha \ne 0 </math>，都有<math display="inline">\alpha^'A\alpha \ge 0 </math>,那么这个二次型被称为'''半正定的'''，它对应的对称矩阵在实数域内合同到一个一个对角线上元素只由0和1构成的对角矩阵。
如果一个二次型的矩阵在实数域内合同于单位矩阵，那么称其为'''正定二次型'''。一个二次型是半正定二次型当且仅当它的正惯性指数等于它对应的矩阵的秩；是正定二次型当且仅当它的正惯性指数是 ''n''。 正定二次型必然是可逆矩阵，而且它的顺序主子式全部大于0。

同样的可以定义半负定、负定和不定的二次型。


== 參見 ==
* [[合同_(數學)]]

* [[相似矩陣]]

== 参考资料 ==
*北京大学数学系几何与代数教研室前代数小组，《高等代数》，高等教育出版社，2003年。

[[Category:线性代数|H]]
[[Category:二次型|H]]
[[Category:矩阵|H]]