合同矩阵(等价矩阵、相似矩阵、置换矩阵、若尔当标准型)
(2012-04-05 13:58:14)
分类：工作篇
标签：
校园
合同矩阵
在线性代数，特别是二次型理论中，常常用到矩阵间的合同关系。两个矩阵和是合同的，当且仅当存在一个可逆矩阵，使得
。
对于二次型的矩阵表示来说，做一次非退化的线性替换相当于将二次型的矩阵变为一个与其合同的矩阵。
性质
合同关系是一个等价关系，也就是说满足：
反身性：
对称性：合同于，则可以推出合同于。
传递性：合同于，合同于，则可以推出合同于。
由于每个二次型都可以经过线性替换变成若干个平方和的形式，对于矩阵来说，就是每个对称矩阵都合同于一个对角矩阵，后者称为一个标准形。根据谱定理，替换的过渡矩阵可以是一个正交矩阵。
如果不考虑替换矩阵的正交性，那么在复数域中，每个对称矩阵都合同于一个对角线上元素只由0和1构成的对角矩阵。对角线上的1的个数等于原来的矩阵的秩。因此每个可逆的对称矩阵都合同于单位矩阵。
在实数域中，根据惯性定理，每个对称矩阵都合同于一个对角线上元素只由0和正负1构成的对角矩阵。如果设1的个数是p，-1的个数是q，那么给定(p,q)后，就确定了一个关于合同关系的等价类。数对(p,q)称为一个对称矩阵（或相应二次型）的惯性指数其中1的个数p 称为正惯性指数，-1的个数q称为负惯性指数，p-q叫做符号差。据此可以得出：合同关系将所有的对称矩阵分为个等价类。
正定二次型
主条目：正定二次型
一个二次型被称为半正定的，如果它对应的对称矩阵在实数域内合同到一个一个对角线上元素只由0和1构成的对角矩阵。如果一个二次型的矩阵在实数域内合同于单位矩阵，那么称其为正定二次型。一个二次型是半正定二次型当且仅当它的正惯性指数等于它对应的矩阵的秩；是正定二次型当且仅当它的正惯性指数是n。正定二次型必然是可逆矩阵，而且它的行列式大于0。
同样的可以定义半负定、负定和不定的二次型。
参看
相似矩阵
参考资料
北京大学数学系几何与代数教研室前代数小组，《高等代数》，高等教育出版社，2003年。来自“/w/index.php?title=合同矩阵&oldid=17636850”
合同矩阵
定义
在线性代数，特别是二次型理论中，常常用到矩阵间的合同关系。两个矩阵A和B是合同的，当且仅当存在一个可逆矩阵P，使得
对于二次型的矩阵表示来说，做一次非退化的线性替换相当于将二次型的矩阵变为一个与其合同的矩阵。
性质
合同关系是一个等价关系，也就是说满足：
1、反身性：任意矩阵都与其自身合同；
2、对称性：A合同于B，则可以推出B合同于A；
3、传递性：A合同于B，B合同于C，则可以推出A合同于C；
4、合同矩阵的秩相同。
正定二次型
主条目：正定二次型
一个二次型被称为半正定的，如果它对应的对称矩阵在实数域内合同到一个一个对角线上元素只由0和1构成的对角矩阵。如果一个二次型的矩阵在实数域内合同于单位矩阵，那么称其为正定二次型。一个二次型是半正定二次型当且仅当它的正惯性指数等于它对应的矩阵的秩；是正定二次型当且仅当它的正惯性指数是n。正定二次型必然是可逆矩阵，而且它的行列式大于0。
同样的可以定义半负定、负定和不定的二次型。
合同矩阵发展史
1855 年，埃米特(C.Hermite,1822-1901) 证明了其他数学家发现的一些矩阵类的特征根的特殊性质，如现在称为埃米特矩阵的特征根性质等。后来，克莱伯施(A.Clebsch,1831-1872) 、布克海姆(A.Buchheim) 等证明了对称矩阵的特征根性质。泰伯(H.Taber) 引入矩阵的迹的概念并得出了一些有关的结论。
在矩阵论的发展史上，弗罗伯纽斯(G.Frobenius,1849-1917) 的贡献是不可磨灭的。他讨论了最小多项式问题，引进了矩阵的秩、不变因子和初等因子、正交矩阵、矩阵的相似变换、合同矩阵等概念，以合乎逻辑的形式整理了不变因子和初等因子的理论，并讨论了正交矩阵与合同矩阵的一些重要性质。
1854 年，约当研究了矩阵化为标准型的问题。1892 年，梅茨勒(H.Metzler) 引进了矩阵的超越函数概念并将其写成矩阵的幂级数的形式。
扩展阅读：
/wiki/合同矩阵
/����_m/blog/item/e3306e10e1871a0b203f2e07.html
等价矩阵
在线性代数和矩阵论中，两个矩阵之间的等价是一种矩阵之间的等价关系。假设有两个
的矩阵，记作A和B。它们之间等价当且仅当存在两个可逆的方块矩阵：的矩阵P以
及的矩阵Q，使得
这时称两个矩阵A和B是等价矩阵。矩阵之间的等价和矩阵的相似关系有所不同。如果两个矩阵A和B相似，那么它们一定是等价矩阵，因为按照矩阵相似的定义，可以找到一个可逆矩阵P，使得
由于其中的P-1也是可逆的矩阵，所以A和B相似必然推出它们等价。但是，等价的矩阵不一定是相似的。首先相似的两个矩阵必须是大小相同的两个方块矩阵，而等价矩阵则没有这
个要求。其次，即使两个等价矩阵都是同样大小的方阵，中用到的Q也不
一定是P的逆矩阵。
性质
等价矩阵是矩阵集合中的一种等价关系。
两个矩阵等价当且仅当：
其中一者能够经过若干次初等行或列变换变成另一者。
它们有相同的秩。
参见
相似矩阵
合同矩阵
这是与数学相关的小作品。你可以通过编辑或修订扩充其内容。
相似矩阵
在线性代数中，相似矩阵是指存在相似关系的矩阵。相似关系是两个矩阵之间的一种等价关系。两个n×n矩阵A与B为相似矩阵当且仅当存在一个n×n的可逆矩阵P，使得：
或
