前置定理 1 对于任何非零矩阵 【定义】矩阵的秩_线性代数,总可经有限次初等行变换将它变为行阶梯形矩阵和行最简形矩阵。

证明见 “​​【定义】矩阵初等变换和矩阵等价​​”。

前置性质 2 若行列式的某一行(列)的元素都是两数之和,例如第 【定义】矩阵的秩_线性代数_02
【定义】矩阵的秩_线性代数_03
【定义】矩阵的秩_矩阵_04
【定义】矩阵的秩_矩阵_05

证明见 “​​行列式的性质​​”。

前置性质3 行列式的某一行(列)中所有的元素都乘同一个数 【定义】矩阵的秩_线性代数_06,等于用数 【定义】矩阵的秩_线性代数_06

证明见 “​​行列式的性质​​”。

注:因为 Latex 没有长的 【定义】矩阵的秩_线性代数_08 符号,故使用 【定义】矩阵的秩_线性代数_09


因为任何非零矩阵 【定义】矩阵的秩_线性代数_10,总可经有限次初等行变换将它变为行阶梯形矩阵和行最简形矩阵。我们可以直观地感觉到,行等价的矩阵的行最简形矩阵矩阵是相同的,行阶梯形矩阵中非零行的行数也是相同的。

为了描述矩阵中非零行的数量,我们引入行列式非零的概念。于是,有矩阵子式的定义如下:

定义 1 在 $m \times n $ 矩阵 【定义】矩阵的秩_线性代数_11 中,任取 【定义】矩阵的秩_线性代数_06 行与 【定义】矩阵的秩_线性代数_06 列(【定义】矩阵的秩_线性代数_14),位于这些行列交叉处的 【定义】矩阵的秩_线性代数_15 个元素,不改变它们在 【定义】矩阵的秩_线性代数_11 中所处的位置次序而得的 【定义】矩阵的秩_线性代数_06 阶行列式,称为 矩阵 【定义】矩阵的秩_矩阵_18【定义】矩阵的秩_矩阵_19

对于拥有 【定义】矩阵的秩_线性代数_20 个非零行的行阶梯形矩阵。我们取它所有非零行的首非零元所在的行和列所构成的 【定义】矩阵的秩_线性代数_20 阶子式,子式对角线左下的元素均为 【定义】矩阵的秩_线性代数_22,对角线的元素是所有非零行的首非零元,为上三角形行列式,显然是非零的。而它的任一 【定义】矩阵的秩_矩阵_23 阶子式,一定包含零行,从而使子式成为 【定义】矩阵的秩_线性代数_22。因此,拥有 【定义】矩阵的秩_线性代数_20 个非零行的行阶梯形矩阵的最高阶非零子式为 【定义】矩阵的秩_线性代数_20

对于对应的行阶梯形矩阵拥有 【定义】矩阵的秩_线性代数_20 非零行的一般矩阵,它的任一 【定义】矩阵的秩_矩阵_23

基于这个直观的感觉,我们有引理及证明如下:

引理 设 【定义】矩阵的秩_矩阵_29,则 【定义】矩阵的秩_线性代数_11【定义】矩阵的秩_线性代数_31

证明 因为只要经一次初等行变换结论成立,即可知经有限次初等行变换结论也成立,所以只要证明 【定义】矩阵的秩_线性代数_31 是由 【定义】矩阵的秩_线性代数_11

【定义】矩阵的秩_矩阵_04【定义】矩阵的秩_线性代数_11【定义】矩阵的秩_线性代数_36

(a)当 【定义】矩阵的秩_线性代数_37【定义】矩阵的秩_线性代数_38【定义】矩阵的秩_矩阵_39)时,在 【定义】矩阵的秩_线性代数_31 中总能找到与 【定义】矩阵的秩_矩阵_04 相对应的 【定义】矩阵的秩_线性代数_36 阶子式 【定义】矩阵的秩_线性代数_43,由于 【定义】矩阵的秩_矩阵_44【定义】矩阵的秩_线性代数_45【定义】矩阵的秩_矩阵_46,因此 【定义】矩阵的秩_矩阵_47

(b)当 【定义】矩阵的秩_线性代数_48 时,因为对于作变换 【定义】矩阵的秩_线性代数_49 时结论成立,所以只需要考虑 【定义】矩阵的秩_线性代数_50

【定义】矩阵的秩_矩阵_04 中不包含 【定义】矩阵的秩_线性代数_11 的第 1 行时,初等行变换前后 【定义】矩阵的秩_矩阵_04 没有变化,【定义】矩阵的秩_矩阵_04 仍然是 【定义】矩阵的秩_线性代数_31【定义】矩阵的秩_线性代数_36

【定义】矩阵的秩_矩阵_04 中包含 【定义】矩阵的秩_线性代数_11 的第 1 行时,可以将 【定义】矩阵的秩_线性代数_31 中与 【定义】矩阵的秩_矩阵_04 对应的 【定义】矩阵的秩_线性代数_36 阶子式记作 【定义】矩阵的秩_线性代数_43,根据前置性质 2 和前置性质 3,有
【定义】矩阵的秩_矩阵_63
【定义】矩阵的秩_线性代数_64,则 【定义】矩阵的秩_线性代数_65,有 【定义】矩阵的秩_线性代数_66。若 【定义】矩阵的秩_矩阵_67,则 【定义】矩阵的秩_线性代数_68 也是 【定义】矩阵的秩_线性代数_31【定义】矩阵的秩_线性代数_36 阶子式,因为 【定义】矩阵的秩_矩阵_71,所以 【定义】矩阵的秩_线性代数_43【定义】矩阵的秩_线性代数_68 不同时为 【定义】矩阵的秩_线性代数_74;因此,【定义】矩阵的秩_线性代数_31 中一定存在 【定义】矩阵的秩_线性代数_36 阶非零子式 【定义】矩阵的秩_线性代数_43【定义】矩阵的秩_线性代数_68

不妨设 【定义】矩阵的秩_线性代数_11【定义】矩阵的秩_线性代数_31 中非零子式的最高阶数分别为 【定义】矩阵的秩_线性代数_81【定义】矩阵的秩_线性代数_82,上述(a)和(b)证明了 【定义】矩阵的秩_矩阵_83。因为三种初等变换都是可逆的,所以 【定义】矩阵的秩_线性代数_11 也是由 【定义】矩阵的秩_线性代数_31 经过一次初等变换得到的,又有 【定义】矩阵的秩_线性代数_86。于是,【定义】矩阵的秩_线性代数_87

由此,得到矩阵的秩的定义:

定义 2 设在矩阵 【定义】矩阵的秩_线性代数_11 中有一个不等于 【定义】矩阵的秩_线性代数_74【定义】矩阵的秩_线性代数_36 阶子式 【定义】矩阵的秩_矩阵_04,且所有 【定义】矩阵的秩_线性代数_92 阶子式(如果存在的话)全等于 【定义】矩阵的秩_线性代数_74,那么 【定义】矩阵的秩_矩阵_04 称为矩阵 【定义】矩阵的秩_线性代数_11最高阶非零子式,数 【定义】矩阵的秩_线性代数_36 称为 矩阵 【定义】矩阵的秩_矩阵_18,记作 【定义】矩阵的秩_线性代数_98。并规定零矩阵的秩等于 【定义】矩阵的秩_线性代数_74

【定义】矩阵的秩_线性代数_100 中档所有 【定义】矩阵的秩_矩阵_101 阶子式全等于 【定义】矩阵的秩_线性代数_22 时,所有高于 【定义】矩阵的秩_矩阵_101 阶的子式也全等于 【定义】矩阵的秩_线性代数_22,因此把 【定义】矩阵的秩_矩阵_105 阶非零子式称为最高阶非零子式,而 【定义】矩阵的秩_线性代数_100 的秩 【定义】矩阵的秩_矩阵_107

由于 【定义】矩阵的秩_矩阵_107【定义】矩阵的秩_线性代数_100 的非零子式的最高阶数,因此,若矩阵 【定义】矩阵的秩_线性代数_100 中有某个 【定义】矩阵的秩_矩阵_111 阶子式不为 【定义】矩阵的秩_线性代数_22,则 【定义】矩阵的秩_矩阵_113;若 【定义】矩阵的秩_线性代数_100 中所有 【定义】矩阵的秩_矩阵_115 阶子式全为 【定义】矩阵的秩_线性代数_22,则 【定义】矩阵的秩_线性代数_117