行秩(即行向量组的极大无关组所含向量的个数)与列秩(即列向量组的相应个数)总是相等,这是秩这一概念得以成立的基础。证明的要点是:初等行变换保持列秩,初等列变换保持行秩,因此任意施行行、列变换都不改变行秩与列秩;把 A 化为等价标准形后,行秩与列秩显然都等于 r。
证明 / 推导引理. 左乘可逆矩阵 P 不改变列秩。事实上,PA 的各列就是 P 作用在 A 的各列上所得,而 P 可逆,保持任意一组列向量的线性相关性,故 A 与 PA 的列向量组的极大无关组所含向量的个数相同,即列秩相等。与此相类似,右乘可逆矩阵不改变行秩。 证. 初等行变换 = 左乘可逆矩阵,由引理知它不改变列秩;又它显然不改变行空间,故也不改变行秩。初等列变换与此对称,两者也都不改变。于是对 A 施行行、列初等变换化为等价标准形 (ErOOO),全过程中行秩与列秩都不变。而标准形的行秩 = 列秩 =r(其中有 r 个单位行与单位列线性无关,其余全为零)。故 A 的行秩 = 列秩 =r。■