秩与方程

一般方程

对于 $m \times n$ 的线性方程组 $\mathbf A \mathbf x = \mathbf b$, 增广矩阵为 $\mathop{\mathbf A}\limits^\sim = (\mathbf A, \mathbf b)$, 则解的情况:

• $r(\mathbf A)=r(\mathop{\mathbf A}\limits^\sim)$ $\iff$ 有解

  • $r(\mathbf A) = r(\mathop{\mathbf A}\limits^\sim) = n$ $\iff$ 唯一解 (有效方程数 = 未知量)
  • $r(\mathbf A) = r(\mathop{\mathbf A}\limits^\sim) < n$ $\iff$ 无穷多解 (有效方程数 < 未知量) 任意解向量相减 $x_1 - x_2$ 都是齐次方程 $\mathbf A \mathbf x = \mathbf 0$ 的解 设特解为 $\mathbf x_0$, 齐次方程通解为 $\boldsymbol \eta$, 则通解为 $\mathbf x_0 + \boldsymbol \eta$

• $r(\mathbf A)<r(\mathop{\mathbf A}\limits^\sim)$ $\iff$ 无解$\iff r(\mathbf A) = r(\mathop{\mathbf A}\limits^\sim)-1$ (系数矩阵和增广矩阵的阶梯形矩阵非零行数不同, 说明有矛盾行)

齐次方程

对于 $m \times n$ 的线性方程组 $\mathbf A \mathbf x = \mathbf 0$, 则解的情况:

• $r(\mathbf A)=n$ $\iff$ 有唯一零解 (满秩, 可逆, 行列式不为零) $\iff$ $|A| \neq 0$

• $r(\mathbf A) < n$ $\iff$ 有非零解, 且无穷多解 (不可逆, 行列式为零) $\iff$ $|A|=0$ 且含有 $n - r(\mathbf A)$ 个线性无关的解向量构成的基础解系, 线性表示通解为 $\mathbf x = k_1 \mathbf x_1 + k_2 \mathbf x_2 + \dots + k_{n-r} \mathbf x_{n-r}$

• 若 $m<n$, 则必有非零解

• 若 $m=n$, 则

  • $|A| \neq 0$ $\iff$ 有唯一零解
  • $|A|=0$ $\iff$ 有非零解, 且无穷多解

• 若 $m > n$, 使用秩判断