概念

子空间与商空间

子空间的交与和、直和分解展示向量空间的「积木结构」，商空间通过「模掉子空间」构造新的向量空间。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

子空间与商空间线性代数

01定义

子空间是向量空间内「自给自足」的部分（对加法数乘封闭）；商空间

V/W

把子空间

W

「压成一个点」，其余向量按与

W

相差多少分类——它是线性方程组解集结构的几何本质。

商空间 V/W：把平行于 W 的每条直线捏成一个点

子空间的交仍是子空间；和 $U+W$ 是「能拆成两块」的向量全体；若 $U\cap W=\{0\}$ 则为直和 $U\oplus W$ ，分解唯一。

$\dim(U+W)=\dim U+\dim W-\dim(U\cap W)$ ——与集合容斥原理同构；商空间维数 $\dim V/W=\dim V-\dim W$ 。

线性方程组的解集是一个陪集「特解 $+\$ 齐次解空间」——这正是商空间观点，把「无穷多解」组织成整齐的几何。

\dim V/W=\dim V-\dim W

\text{解集}=x_0+\ker A

商空间概念随 20 世纪初的抽象线性代数（诺特学派）成熟；它与群论的商群、环论的商环同构发展，是「同态基本定理」家族的成员。

信号处理中把噪声子空间商掉、控制理论的状态空间约化、同调代数「核除以像」的定义——商空间是「忽略无关细节」的数学形式化。

商空间 R²/W：陪集 = 平行线族W = span(v) 直线子空间；商映射沿 W 方向投影

W 方向角(°)35