矩阵的合同，等价与相似的联系与区别
200509113 李娟娟
一、基本概念与性质
（一）等价：
1、概念。若矩阵A 可以经过有限次初等变换化为B ，则称矩阵A 与B 等价，记为A B ≅。
2、矩阵等价的充要条件：
A B ≅.{P Q A B ⇔同型，且人r(A)=r(B)存在可逆矩阵和，使得PAQ=B 成立
3、向量组等价，两向量组等价是指两向量组可相互表出，有此可知：两向量组的秩相同，但两向量组各自的线性相关性却不相同。
（二）合同：
1、概念，两个n 阶方阵A,B ，若存在可逆矩阵P ，使得A B ≅P T AP B =成立，则称A,B 合同，记作A B ≅该过程成为合同变换。
2、矩阵合同的充要条件：矩阵A,B 均为实对称矩阵，则A B ≅⇔二次型x T Ax 与x T Bx 有相等的E 负惯性指数，即有相同的标准型。
（三）相似
1、概念：n 阶方阵A,B ，若存在一个可逆矩阵P 使得1B P AP -=成立，则称矩阵A,B 相似，记为~A B 。
2、矩阵相似的性质：
~A B 11~,~,~(,)
|E-A |||,()(),T T k k A B A B A B A B E B A B tr A tr B A B λλ--=-⇒=前提，均可逆即有相同的特征值（反之不成立）
r(A)=r(B)
即的逆相等
|A|=|B|
3、矩阵相似的充分条件及充要条件：
①充分条件：矩阵A,B 有相同的不变因子或行列式因子。
②充要条件：~()()A B E A E B λλ⇔-≅-
二、矩阵相等、合同、相似的关系
（一）、矩阵相等与向量组等价的关系：
设矩阵 12(,,,)n A λλλ= ，12(,,,)m B βββ=
1、若向量组（12,,,m βββ ）是向量组（12,,,n λλλ ）的极大线性无关
组,则有m n ≤，即有两向量等价，而两向量组线性相关性却不同，钱者一定线性无关，而后者未必线性无关。而矩阵B 与A 亦不同型，虽然()()r A r B =但不能得出A B ≅。
2、若m=n ，两向量组（12,,,n λλλ ）≅（12,,,m βββ ）则有矩阵A,B
同型且()()~,,r A r B A B A B A B =⇒≅ r()()A r B A B =⇒≅。
3、若r()()A B A r B ≅⇒=⇒两向量组秩相同，⇐两向量组等价，即有1212(,,,)(,,,)n n A B λλλβββ≅≠>≅
综上所述：矩阵等价与向量等价不可互推。
（二）、矩阵合同。相似，等价的关系。
1、联系：矩阵的合同、相似、等价三种关系都具有等价关系，因为三者均具有自反性、对称型和传递性。
2、合同、相似、等价之间的递推关系
①相似⇒等价：~A B ⇒A,B 同型且()()r A r B A B =⇒≅
②合同⇒等价：,A B A B ⇒ 同型且()()r A r B A B =⇒≅
③相似与合同之间一般情况不能递推，但有一下附加条件时可以 Ⅰ、若A,B 均为实对称矩阵，则有A,B 一定可以合同于对角矩阵当~A B 时，||||E A E B λλ-=-⇒二次型()T f x X AX =与()T g x X BX =有相同的标准型，即二者有相同的正负惯性指数A B A B ⇒⇒≅
即有~A B A B A B ⇒⇒≅
Ⅱ、存在一个正交矩阵P ，即T P P E =使得T P AP B =即A B 则有
1~T B P AP P AP A B -==⇒ 即有~A B A B ⇒
Ⅲ、若A,B 实对称，且存在一个正交矩阵P ，则
~A B 时有 ~A B A B A B ⇔⇔≅
Ⅳ、~()()A B r A r B ⇒=、()()A B r A r B ⇒= 、()()A B r A r B ≅⇒= 下面讨论()()r A r B =时~,,A B A B A B ≅ 成立的条件。
由Ⅰ、Ⅱ、Ⅲ的论述可知
存在正交矩阵P 时，有1T P P -=，则
()()T r P AP r A =记T B P AP =则()()r A r B =
此时~A B A B A B ⇒⇒≅
即P 为正交矩阵时，由()()~,,r A r B A B A B A B =⇒≅
（三）
1、矩阵等价：①同型矩阵而言
②一般与初等变换有关
③秩是矩阵等价的不变量，同次，两同型矩阵相似的
本质是秩相等
2、矩阵相似：①针对方阵而言
②秩相等是必要条件
③本质是二者有相等的不变因子
3、矩阵合同：①针对方阵而言，一般是对称矩阵
②秩相等是必需条件
③本质是秩相等且存在惯性指数相等，即标准型同
由以上知，秩是矩阵等价的不变量；不变因子是矩阵相似的不变量；特征值是可对角化矩阵相似的不变量，存在负惯性指数是对称矩阵合同的不变量，等价关于最弱、合同与相似是特殊的等价关系。由相似和合同一定可以推出等价，而反之不成立。相似与合同不可互推，需要一定的条件。而且相似不一定会都与对角阵相似，不能与对角阵可看作同意线性变换在不同基下的矩阵
