矩阵的秩
定义
矩阵 中非零子式的最高阶数称为矩阵 的秩,记作 或 。
具体来说,如果矩阵 存在一个 阶子式不为零,并且任意 阶子式(如果存在)都为零,那么称矩阵 的秩为 ,记为 。
规定:零矩阵的秩为 。
从向量组的角度看,矩阵的秩可以定义为:
- 行秩:矩阵 的行向量组的秩,即行向量组中极大线性无关组所含向量的个数。
- 列秩:矩阵 的列向量组的秩,即列向量组中极大线性无关组所含向量的个数。
矩阵的行秩恒等于其列秩,统称为矩阵的秩。
性质
设矩阵 为 矩阵。
- 基本性质:。
- 转置:
- 数乘:若 ,则 。
- 和的秩 (秩不等式):
- 积的秩 (西尔维斯特 Sylvester 不等式):
- 另一个积的秩不等式 (弗罗贝尼乌斯 Frobenius 不等式):设 为 矩阵, 为 矩阵,则:
- 可逆矩阵:若 为 阶可逆矩阵, 为 阶可逆矩阵,则: 这个性质表明,用可逆矩阵去乘一个矩阵,不改变它的秩。这正是矩阵初等行 (列) 变换不改变矩阵秩的理论基础。
- 分块矩阵:
- 伴随矩阵:设 为 阶方阵, 为其伴随矩阵。
- 若 ,则 , 可逆,所以 。
- 若 ,则 , 但 中至少有一个 阶子式不为 0, 所以 不为零矩阵。又因为 ,有 ,即 ,得出 。因此 。
- 若 ,则 的所有 阶子式均为 ,即 的所有元素均为 。因此 。 总结为:
| 操作 | 秩的变化规律 | 准确描述 |
|---|---|---|
| 矩阵相乘 (AB) | 秩小于或等于相乘前矩阵的最小秩 | 秩不增加 () |
| 矩阵增广 (A,b) | 秩大于或等于原矩阵的秩 | 秩不减小 () |
子式
在 矩阵 中,任取 行和 列(),位于这些行列交叉处的 个元素,按其原来的相对位置所构成的 阶行列式,称为矩阵 的一个 阶子式。
例如,对于矩阵 :
取第 行和第 列,所构成的 阶子式 为:
取第 行和第 列,所构成的 阶子式 为:
矩阵 的所有不为零的子式中,阶数最高的子式称为 最高阶非零子式。矩阵的秩就是其最高阶非零子式的阶数。