秩 (I)
对任意矩阵 作一系列初等行、列变换, 都可以将其化为一个标准形
问题 4.65 下列结论等价:
(1) 存在初等矩阵 使得
(2) 存在可逆矩阵 使得 .
为了方便, 我们称矩阵 为相抵的, 如果 可以由 经过一系列初等 行、列变换得到.
用相抵的语言来说, 任意矩阵 都与某个 相抵, 这样的 称为 在相抵下的标准形. 从矩阵初等变换的过程来看, 的标准形的唯一性并不明显. 不过, 数学是美的, 更是和谐的, 我们的确有
问题 4.66 矩阵 的在相抵下的标准形 是唯一的, 称 为 的秩, 记为 .
只需证明: 若 与 相抵, 则 . 利用相抵的定义和分块矩阵乘法不难得到.
矩阵的秩是矩阵的非常重要的不变量, 有很多的应用. 首先我们利用标准形和秩给出矩阵相抵的若干等价条件.
问题 4.67 设 , 则下列结论等价:
(1) 与 相抵;
(2) 存在初等矩阵 使得
(3) 存在可逆矩阵 使得 ;
(4) 有相同的标准形;
(5) .
利用矩阵的秩, 我们很容易给出矩阵可逆的另一个判别法则.
问题 4.68 设 , 则 当且仅当 可逆当且仅当.
这样, 我们把方阵的行列式与秩建立了一个比较松散的联系. 对于一般的矩阵, 如果 是方阵, 可能为零; 如果 不是方阵, 无法定