合集线性代数第 3 / 8 篇Lec 10 · 四个基本子空间
约 13 分钟
一、四个基本子空间概览
给定一个 m×n 的矩阵 A,秩为 r:
| 子空间 | 记号 | 所在空间 | 维数 | 基的求法 |
|---|
| 列空间 | C(A) | Rm | r | A 的主元列 |
| 零空间 | N(A) | Rn | n−r | Ax=0 的特解 |
| 行空间 | C(AT) | Rn | r | 消元后阶梯形矩阵 R 的非零行 |
| 左零空间 | N(AT) | Rm | m−r | ATy=0 的特解,或消元到 R 时记录下的 E 矩阵的对应行 |
四个子空间的维数之和恰好是 m+n。其中,行空间与零空间、列空间与左零空间分别互为正交补。
二、用一个具体例子串起来
取一个 2×3 矩阵:
A=(122436)
一眼看出第二行是第一行的两倍,所以 r=1。
1. 列空间 C(A)
- 所在空间:R2
- 维数:r=1
- 基:主元列是第一列 (12)。第二、三列都是它的倍数,不增加新方向。
- 几何:R2 中过原点的直线。
2. 零空间 N(A)
- 所在空间:R3
- 维数:n−r=3−1=2
- 求基:解 Ax=0,即 x1+2x2+3x3=0。自由变量是 x2,x3,特解:
- 令 x2=1,x3=0⇒x1=−2,得 −210
- 令 x2=0,x3=1⇒x1=−3,得 −301
- 几何:R3 中过原点的平面(方程 x1+2x2+3x3=0)。
3. 行空间 C(AT)
- 所在空间:R3
- 维数:r=1
- 基:第一行 (123)(第二行是倍数,不独立)。
- 几何:R3 中过原点的直线。
4. 左零空间 N(AT)
-
所在空间:R2
-
维数:m−r=2−1=1
-
求基:解 ATy=0:
AT=123246,123246(y1y2)=000
即 y1+2y2=0,取 y1=2,y2=−1,得基 (2−1)。
-
几何:R2 中与列空间垂直的直线。
三、正交补关系
这四个空间两两正交:
- 行空间 ⊥ 零空间:两者在 Rn 中互为正交补,维数之和 r+(n−r)=n。
- 列空间 ⊥ 左零空间:两者在 Rm 中互为正交补,维数之和 r+(m−r)=m。
验算上面的例子:
- 行空间向量 (1,2,3) 与零空间向量 (−2,1,0),(−3,0,1) 的点积都是 0。
- 列空间向量 (1,2) 与左零空间向量 (2,−1) 的点积是 0。
这种正交关系是后续最小二乘和投影理论的基础。
四、一个避免混淆的关键点
消元时,寻找行空间基最直接可靠的方法,是从阶梯形矩阵 R 中取非零行。行变换不改变行空间,但会改变列空间,所以:
- 列空间的基必须是原矩阵 A 的主元列。
- 行空间的基可以是 R 的非零行(干净、线性无关一目了然)。