不变因子
行列式因子
定义:设-矩阵的秩为r,对,中必有非零的k级子式,中全部
k级子式的首项系数为1的最大公因式称为的k级行列式因子
定理:等价的-矩阵具有相同的秩与相同的各级行列式因子
证明:
计算标准形矩阵的行列式因子
设标准形为
其中是首一多项式,且
易证,在这种形式的矩阵中,若一个k级子式包含的行与列的标号不完全相同,则该k级子式一定为零
为计算k级行列式因子,只要看由行与列()组成的k级子式即可
而该k级子式等于
显然,该k级子式的最大公因式为
定理:-矩阵的标准形是唯一的
证明:
不变因子
定义:标准形的主对角线上非零元素称为-矩阵的不变因子
定理:两个-矩阵等价的充要条件为它们有相同的行列式因子,或它们有相同的不变因子
证明:
在-矩阵的行列式因子之间,有关系
计算-矩阵的行列式因子时,常先计算最高级的行列式因子,则大致有低级行列式因子的范围
可逆矩阵的标准形
设为一个可逆矩阵
,其中d为一非零常数,即
,故
故,可逆矩阵的标准形是单位矩阵E
反之,与单位矩阵等价的矩阵一定是可逆的,因为它的行列式为一非零的数
即,矩阵可逆的充要条件为它与单位矩阵等价
又矩阵与等价的充要条件为有一系列初等矩阵,使
特别地,当时,可得定理
定理:矩阵是可逆的充要条件为它可表成一些初等矩阵的成绩
推论:两个的-矩阵与等价的充要条件为有一个可逆矩阵与一个可逆矩阵,使