前置定理 1 对于任何非零矩阵 ,总可经有限次初等行变换将它变为行阶梯形矩阵和行最简形矩阵。
证明见 “【定义】矩阵初等变换和矩阵等价”。
前置性质 2 若行列式的某一行(列)的元素都是两数之和,例如第
则
证明见 “行列式的性质”。
前置性质3 行列式的某一行(列)中所有的元素都乘同一个数 ,等于用数
证明见 “行列式的性质”。
注:因为 Latex 没有长的 符号,故使用
因为任何非零矩阵 ,总可经有限次初等行变换将它变为行阶梯形矩阵和行最简形矩阵。我们可以直观地感觉到,行等价的矩阵的行最简形矩阵矩阵是相同的,行阶梯形矩阵中非零行的行数也是相同的。
为了描述矩阵中非零行的数量,我们引入行列式非零的概念。于是,有矩阵子式的定义如下:
定义 1 在 $m \times n $ 矩阵 中,任取 行与 列(),位于这些行列交叉处的 个元素,不改变它们在 中所处的位置次序而得的 阶行列式,称为 矩阵 的 。
对于拥有 个非零行的行阶梯形矩阵。我们取它所有非零行的首非零元所在的行和列所构成的 阶子式,子式对角线左下的元素均为 ,对角线的元素是所有非零行的首非零元,为上三角形行列式,显然是非零的。而它的任一 阶子式,一定包含零行,从而使子式成为 。因此,拥有 个非零行的行阶梯形矩阵的最高阶非零子式为 。
对于对应的行阶梯形矩阵拥有 非零行的一般矩阵,它的任一
基于这个直观的感觉,我们有引理及证明如下:
引理 设 ,则 与
证明 因为只要经一次初等行变换结论成立,即可知经有限次初等行变换结论也成立,所以只要证明 是由
设 是 的
(a)当 或 ()时,在 中总能找到与 相对应的 阶子式 ,由于 或 或 ,因此 。
(b)当 时,因为对于作变换 时结论成立,所以只需要考虑
当 中不包含 的第 1 行时,初等行变换前后 没有变化, 仍然是 的
当 中包含 的第 1 行时,可以将 中与 对应的 阶子式记作 ,根据前置性质 2 和前置性质 3,有
若 ,则 ,有 。若 ,则 也是 的 阶子式,因为 ,所以 和 不同时为 ;因此, 中一定存在 阶非零子式 或 。不妨设 和 中非零子式的最高阶数分别为 和 ,上述(a)和(b)证明了 。因为三种初等变换都是可逆的,所以 也是由 经过一次初等变换得到的,又有 。于是,。
由此,得到矩阵的秩的定义:
定义 2 设在矩阵 中有一个不等于 的 阶子式 ,且所有 阶子式(如果存在的话)全等于 ,那么 称为矩阵 的 最高阶非零子式,数 称为 矩阵 ,记作 。并规定零矩阵的秩等于 。
在 中档所有 阶子式全等于 时,所有高于 阶的子式也全等于 ,因此把 阶非零子式称为最高阶非零子式,而 的秩
由于 是 的非零子式的最高阶数,因此,若矩阵 中有某个 阶子式不为 ,则 ;若 中所有 阶子式全为 ,则 。