数学一

线性代数

解空间与解的结构

定位信息

• 章节：第四章 线性方程组 §4.4
• 编号：MATH-LIN-17
• 难度：★★★★☆
• 近5年考频：中频考点，约2-3年一次

---

一、知识点讲解

17.1 齐次方程组的解空间

定理：$Ax = 0$ 的全体解向量构成 $\mathbb{R}^n$ 的一个子空间，称为 $Ax = 0$ 的解空间，记 $N(A)$。

• $\dim N(A) = n - r(A)$
• 解空间的基 = 基础解系

17.2 四个基本子空间

对 $m \times n$ 矩阵 $A$：

子空间	定义	维数
列空间 $C(A)$	$A$ 的列向量的线性组合	$r(A)$
行空间 $C(A^T)$	$A$ 的行向量的线性组合	$r(A)$
零空间 $N(A)$	$Ax = 0$ 的解空间	$n - r(A)$
左零空间 $N(A^T)$	$A^Ty = 0$ 的解空间	$m - r(A)$

正交关系：

• $N(A) \perp C(A^T)$（零空间与行空间正交，都是 $\mathbb{R}^n$ 的子空间）
• $N(A^T) \perp C(A)$（左零空间与列空间正交，都是 $\mathbb{R}^m$ 的子空间）

维数关系：

• $r(A) + (n - r(A)) = n$（列空间 + 零空间 = $\mathbb{R}^n$）
• $r(A) + (m - r(A)) = m$（行空间 + 左零空间 = $\mathbb{R}^m$）

17.3 解的结构定理

齐次：$Ax = 0$ 的通解 = 基础解系的线性组合。

非齐次：$Ax = b$ 的通解 = 一个特解 + 齐次通解。

解之间的关系：

• $Ax = b$ 的两个解之差 $\in N(A)$
• $Ax = b$ 的解 $+$ $N(A)$ 的向量 $\in \{x : Ax = b\}$

17.4 解空间的正交补

$N(A)$ 的正交补是 $C(A^T)$（行空间）。即：

$\mathbb{R}^n = C(A^T) \oplus N(A)$

（直和分解，两个子空间正交且维度之和为 $n$）

---

二、记忆辅助

1. 四个子空间的维数：列空间 $=$ 行空间 $=$ $r$，零空间 $=$ $n-r$，左零空间 $=$ $m-r$
2. 正交补关系：$N(A) \perp C(A^T)$，$N(A^T) \perp C(A$ —— "零空间与行空间正交"
3. 非齐次通解 = 特解 + 齐次通解：这是最核心的结构定理，理解为"一个点 + 一个子空间"

---

三、例题精解

例1：证明解空间的维数

题目：设 $A$ 为 $m \times n$ 矩阵，$r(A) = r$。证明 $Ax = 0$ 的解空间维数为 $n - r$。

第一步：审题与分析 需要构造解空间的 $n-r$ 个线性无关的解，并证明任意解都可由它们表示。

第二步：选择方法 通过行最简形构造基础解系。

第三步：完整计算

设 $A$ 经初等行变换化为行最简形，有 $r$ 个主元变量 $x_{j_1}, \ldots, x_{j_r}$ 和 $n-r$ 个自由变量 $x_{k_1}, \ldots, x_{k_{n-r}}$。

对每个自由变量 $x_{k_l}$（$l = 1, \ldots, n-r$），令 $x_{k_l} = 1$，其余自由变量为0，回代得到解向量 $\xi_l$。

线性无关性：$\xi_1, \ldots, \xi_{n-r}$ 在自由变量分量上形成单位矩阵（即 $\xi_l$ 的第 $k_l$ 分量为1，其余自由分量为0），所以它们线性无关。

完备性：$Ax = 0$ 的任意解 $x$ 的自由变量分量 $(x_{k_1}, \ldots, x_{k_{n-r}})$ 可以唯一地确定主变量分量，因此 $x = x_{k_1}\xi_1 + \cdots + x_{k_{n-r}}\xi_{n-r}$。

故 $\xi_1, \ldots, \xi_{n-r}$ 是解空间的基，$\dim N(A) = n - r$。

第四步：验证与总结$\boxed{\dim N(A) = n - r(A)}$。这是线性代数中最基本的维数公式之一。

---

例2：利用解的结构求通解

题目：设 $A$ 为 $3 \times 4$ 矩阵，$r(A) = 2$，且 $\eta_1 = (1,2,3,4)^T$，$\eta_2 = (2,3,4,5)^T$ 是 $Ax = b$ 的两个解。求 $Ax = b$ 的通解。

第一步：审题与分析$r(A) = 2$，$n = 4$，所以 $Ax = 0$ 的基础解系有 $4 - 2 = 2$ 个向量。

第二步：选择方法 通解 = 特解 + 齐次通解。齐次解由两个解之差得到。

第三步：完整计算

特解：取 $\eta^* = \eta_1 = (1,2,3,4)^T$

齐次解：$\eta_1 - \eta_2 = (1,2,3,4)^T - (2,3,4,5)^T = (-1,-1,-1,-1)^T$

需要再找一个与 $\xi_1 = (-1,-1,-1,-1)^T$ 线性无关的齐次解。但这里只有两个非齐次解的差，需要更多信息。

实际上，我们只能确定 $\xi_1 = \eta_1 - \eta_2 = (-1,-1,-1,-1)^T$ 是 $Ax = 0$ 的一个非零解。要构成基础解系（2个向量），还需要另一个线性无关的齐次解。

但仅凭题目信息，我们只能写出部分通解：

$x = \eta_1 + c_1(\eta_1 - \eta_2) + c_2\xi_2$

其中 $\xi_2$ 需要通过求解 $Ax = 0$ 的基础解系得到。

如果题目只要求利用已有信息，那么通解的形式为：

$x = (1,2,3,4)^T + c_1(-1,-1,-1,-1)^T + c_2\xi_2$

第四步：验证与总结$\boxed{x = \eta_1 + c_1(\eta_1 - \eta_2) + c_2\xi_2}$，其中 $\xi_2$ 为 $Ax = 0$ 的基础解系中另一个线性无关解。

关键思想：两个非齐次解之差是齐次解。

---

四、考情分析

• 题型分布：选择题（四个子空间的维数和正交关系）、证明题（解空间维数的证明）
• 考查重点：四个基本子空间的维数关系、解的结构定理
• 命题趋势：四个子空间的正交补关系是近年来的选择题高频考点
• 分值占比：约3-6分

---

五、易错点

1. 零空间与行空间正交：$N(A) \perp C(A^T)$，不要弄反。零空间在 $\mathbb{R}^n$ 中，列空间在 $\mathbb{R}^m$ 中，维度不同不能直接说正交
2. 非齐次解之和不是非齐次解：$\eta_1 + \eta_2$ 不是 $Ax = b$ 的解。$\eta_1 - \eta_2$ 才是 $Ax = 0$ 的解
3. 维数公式：$\dim N(A) = n - r(A)$ 中 $n$ 是列数（未知数个数），不是行数

---

六、来源标注

• 同济大学《线性代数》第6版 第4章 §4.4-§4.5
• 李永乐《线性代数辅导讲义》第4章
• 张宇《考研数学线性代数9讲》第7讲