行秩是行向量组的极大无关组所含向量的个数,列秩是列向量组的相应个数,二者恒相等,秩这一概念才得以确立。证明的关键在于:初等行变换不改变列秩,初等列变换不改变行秩,于是任意施行行变换与列变换都不改变行秩与列秩。把 A 化为等价标准形之后,行秩与列秩显然都等于 r。
证明 / 推导引理. 左乘可逆阵 P 不改变列秩:PA 的列是 P 作用在 A 的各列上所得,而 P 可逆,保持任意一组列向量的线性相关性,故 A 与 PA 的列向量组的极大无关组所含向量的个数相同,即列秩相等。与此相类似,右乘可逆阵不改变行秩。 主证. 初等行变换 = 左乘可逆阵,由引理知它不改变列秩;又它不改变行空间,故也不改变行秩。同样地,初等列变换对二者也都不改变。于是对 A 施行初等行变换与初等列变换,化为等价标准形 (ErOOO),其间行秩与列秩始终不变。而标准形的行秩 = 列秩 =r(r 个单位行与单位列线性无关,其余各行各列全为零)。故 A 的行秩 = 列秩 =r。■