第 1–2 章 · 向量空间与有限维：建立新语言

这本书的立场与众不同：先别碰行列式，也别急着算矩阵——先把"向量空间"的公理化语言立起来。线性代数的所有定理其实都关于加法与数乘这两种运算的结构，矩阵只是它的记账工具。

向量空间：八条公理的游戏场

集合 $V$ 配上加法与数乘，满足结合律、交换律、零元、加法逆元、数乘的分配与结合、$1v = v$。抽象的好处立刻显现：多项式空间、函数空间、解空间与几何向量同属一套定理体系——证一次，处处适用。

线性组合、张成与线性无关

• $\mathbf{v}_1,\dots,\mathbf{v}_n$ 的线性组合全体 = 张成空间；
• 线性无关：$\sum a_i\mathbf{v}_i = 0$ 只有零解——"没有一个向量是其余的冗余"；
• 基 = 线性无关 + 张成全空间；维数 = 基的元素个数（任何两组基个数相同，这是第 2 章的核心定理）。

有限维与无限维的分界在"基是否有限"。本书主战场是有限维，但语言为无限维（函数空间、量子力学的态空间）预留了接口。

关键定理：维数公式

以及子空间维数不超全空间、线性无关组可扩充成基（基扩充定理）。这些是后面一切"秩的核算"的原型。

老师的提醒

• 判断线性无关的标准动作：设线性组合为零、写方程组、看是否有非零解。所有证明题的第一步都是它。
• "基不是唯一的、个数才是本质"——记住这句能省掉一半关于"换基"的困惑。

自检

• 证明 $\{(1,0),(1,1)\}$ 是 $\mathbb{R}^2$ 的基。
• 叙述并证明维数公式的简单情形（两个子空间的和与交）。
• 为什么"基的元素个数相同"这个定理重要？

更深一层：公理化带来的"一次证明、处处复用"

Axler 把向量空间公理化，初看是抽象化的代价，实则是复利式的收益。八条公理定义出的"向量空间"是一个接口标准：几何向量、多项式、矩阵、连续函数、解空间（齐次线性方程的解集）、随机变量——凡是满足接口的对象，线性代数的全部定理自动适用。最有冲击力的例子：$\{a, b\}$ 两个函数线性无关的判定，与你给两个三维向量解方程组是同一个证明的两次实例化。工程语言翻译：公理化 = 定义了"线性结构"的抽象类，各具体空间是子类实现——定理是基类方法，证明一次继承终身。这就是为什么数学家宁可忍受抽象也要公理化：抽象不是脱离现实，是压缩冗余。

有限维与无限维的分界也值得体会：本书主战场有限维（基的元素个数有限），但每条定理的语言都为无限维预留接口——学泛函分析（$L^2$ 空间、希尔伯特空间）时你会发现，凡是不用"取极大""数元素个数"的结论都能带过去。

推导细读：维数公式的"会计学"证明

维数公式 $\dim(U + W) = \dim U + \dim W - \dim(U\cap W)$ 的证明是线性代数推理的范本，值得逐步咀嚼。构造 $U \cap W$ 的基，分别扩充为 $U$ 与 $W$ 的基，然后证明"拼起来"是 $U + W$ 的基——两个方向：张成（任何 $u + w$ 用拼起来的基线性表示）与无关（设零组合，按"$U$ 部分属于 $W$"的技巧把系数赶到交空间里，由交空间无关得全零）。这个"扩充-拼接-赶系数"三步舞是线性代数证明的万能语法：基扩充定理、直和分解定理、秩-零化度定理的证明全是它的变奏。学会这一套语法，比多背十个定理更有价值。

在真实世界里：解空间的维数 = 自由度

向量空间语言在工程里的第一次变现是"自由度核算"。结构力学的超静定次数、机器人的自由度、电路的独立回路数——全是"某个解空间的维数"。例如：$n$ 个节点 $m$ 条支路的电路，独立回路数 = $m - n + 1$（回路空间的维数，图论的圈空间公式）——这不再是技巧，而是"回路构成向量空间"这个抽象事实的直接读数。另一个例子：三次样条的空间维数 = $n + 3$（$n$ 段各 4 参数减 3×4 个连续性约束的净效应）——插值理论的"待定系数预算"也是维数核算。维数公式是所有"数自由度"问题的统一记账本。

专题深入：公理化的"复利式收益"展开

公理化向量空间的复利式收益值得展开论证：八条公理定义出的"向量空间"是一个接口标准——几何向量、多项式、矩阵、连续函数、解空间、随机变量，凡是满足接口的对象，线性代数的全部定理自动适用。定理是基类方法，证明一次继承终身。最有冲击力的例子：$\{a, b\}$ 两个函数线性无关的判定，与你给两个三维向量解方程组是同一个证明的两次实例化。工程语言翻译：公理化 = 定义了"线性结构"的抽象类，各具体空间是子类实现——抽象不是脱离现实，是压缩冗余。

有限维与无限维的分界值得体会：本书主战场有限维（基的元素个数有限），但每条定理的语言都为无限维预留接口——学泛函分析（$L^2$ 空间、希尔伯特空间）时你会发现，凡是不用"取极大""数元素个数"的结论都能带过去。

数学细节展开：维数公式的"扩充-拼接-赶系数"三步舞

维数公式 $\dim(U + W) = \dim U + \dim W - \dim(U\cap W)$ 的证明是线性代数推理的范本：构造 $U \cap W$ 的基，分别扩充为 $U$ 与 $W$ 的基，然后证明"拼起来"是 $U + W$ 的基——两个方向：张成（任何 $u + w$ 用拼起来的基线性表示）与无关（设零组合，按"$U$ 部分属于 $W$"的技巧把系数赶到交空间里，由交空间无关得全零）。"扩充-拼接-赶系数"三步舞是线性代数证明的万能语法：基扩充定理、直和分解定理、秩-零化度定理的证明全是它的变奏。学会这一套语法，比多背十个定理更有价值。

工程案例细节：解空间的维数 = 自由度（工程版）

向量空间语言在工程里的变现是"自由度核算"：结构力学（超静定次数 = 约束数与自由度的差）、机器人（自由度 = 关节空间的维数）、电路（独立回路数 = $m - n + 1$——图论的圈空间公式）、样条插值（三次样条的空间维数 = $n + 3$——$n$ 段各 4 参数减 3×4 个连续性约束的净效应）。维数公式是所有"数自由度"问题的统一记账本——"解空间的维数"不再是一个抽象概念，是工程设计的第一个数。