第1章 向量空间

从实数与复数、列表和域出发，建立向量空间、子空间、子空间和与直和。

先做预测

先预测：如果删去有限维、复数域、正交性或非零条件，哪条结论会最先失败？从实数与复数、列表和域出发，建立向量空间、子空间、子空间和与直和。 本页围绕、、、和建立定义、定理、证明、反例和计算证据。

第四版权威目录定位

本页一一对应Sheldon Axler《Linear Algebra Done Right》第四版“第1章 向量空间”。第四版是Springer 2024开放获取版；站内保留原书9章顺序，并把每章的正式小节压缩为可追踪的学习单元，而不沿用第三版旧目录。

原书小节覆盖

  1. 1A R^n and C^n: complex numbers, lists, F^n and fields
  2. 1B Definition of Vector Space
  3. 1C Subspaces
  4. Sums of Subspaces
  5. Direct Sums

核心定义

  1. 向量空间：集合连同向量加法和标量乘法满足八条公理，标量域取实数或复数。
  2. 子空间：向量空间的子集若含零向量且对加法和标量乘封闭，则自身也是向量空间。
  3. 子空间和：多个子空间中各取一个向量相加所得的最小包含它们的子空间。
  4. 直和：子空间和中的表示唯一；两个子空间时等价于交集只有零向量。
  5. 标量域：实数域与复数域决定特征值、内积和算子结构的差异。

先声明假设

证明前先写标量域、定义域、陪域、维数以及是否给定内积。许多错误并非推导失误，而是把实数域结论搬到复数域、把有限维结论搬到无限维，或把一般算子当作正规算子。

A=(F,V,W,dim⁡V,inner product if any)\mathcal A=(\mathbb F, V, W, \dim V, \text{inner product if any})

向量空间与子空间必须放在同一组假设下比较。定义中的“任意”“存在”“唯一”和“非零”都影响证明方向，不能在转述时省略。

定理与可核查推导

V=U1⊕⋯⊕Um  ⟺  ∀v∈V, v=u1+⋯+um has a unique representationV=U_1\oplus\cdots\oplus U_m\iff \forall v\in V,\ v=u_1+\cdots+u_m\ \text{has a unique representation}

若一个向量有两种分解，两式相减得到来自各子空间的零和；直和条件迫使每个差都为零，所以分解唯一。反过来，零向量若有非平凡分解，就同时拥有该分解和全零分解，违反唯一性。 证明验收要求逐步标注定义、已有定理和新构造，不能用待证结论的等价形式循环论证。

assumptions⟹lemma⟹invariant⟹claim\text{assumptions}\Longrightarrow\text{lemma}\Longrightarrow\text{invariant}\Longrightarrow\text{claim} 
def is_subspace_sample(vectors, add, scale, zero):
    return zero in vectors and all(add(a,b) in vectors for a in vectors for b in vectors) \
        and all(scale(c,a) in vectors for c in (-1,0,1) for a in vectors)
 
assert is_subspace_sample({0,2,-2,4,-4}, lambda a,b:a+b, lambda c,a:c*a, 0) is False

代码不是证明，但能暴露维数、顺序、共轭和边界错误。至少使用一个非对角、非对称或不满秩样例；单位矩阵与零算子只能作为冒烟测试。

结构图与证明骨架

向量空间：集合连同向量加法和标量乘法满足八条公理，标量域取实数或复数。

子空间：向量空间的子集若含零向量且对加法和标量乘封闭，则自身也是向量空间。

子空间和：多个子空间中各取一个向量相加所得的最小包含它们的子空间。

先从定义构造对象，再找到保持不变的子空间、维数或多项式，最后把局部结论拼成全空间结论。若构造依赖选择基，要继续说明最终结论为何与基无关。

反例与边界

直和：子空间和中的表示唯一；两个子空间时等价于交集只有零向量。

标量域：实数域与复数域决定特征值、内积和算子结构的差异。

边界集至少覆盖零空间、零映射、重复特征值、线性相关列表、实数与复数域切换、缺少内积和接近秩亏。抽象证明用反例检查必要性，数值实现用残差和条件尺度检查稳定性。

r=∥left side−right side∥,r≤τabs+τrel∥reference∥r=\|\text{left side}-\text{right side}\|,\qquad r\le\tau_{abs}+\tau_{rel}\|\text{reference}\| 
audit={"assumptions":"explicit","normal":"nontrivial example","counterexample":"只验证集合含零向量就称为子空间，漏掉加法与标量乘封闭。","replay":"fixed basis and tolerance"}
assert set(audit)=={"assumptions","normal","counterexample","replay"}

工程与学习案例

把多项式、函数和矩阵都当向量后，只需验证封闭性就能复用同一套线性结构；证明时必须说明标量域，因为某些实空间的算子在复数域上才有特征值。 交付物同时保存定义域和陪域、基、矩阵或算子表示、关键中间子空间、残差、反例以及结论适用范围。

evidence=[("向量空间","definition"),("子空间和","proof"),("标量域","counterexample")]
assert len({name for name,_ in evidence})==3
  1. 原样写出定义中的量词、域、空间和非零条件。
  2. 画出子空间、映射或分解关系，并标记要保持的不变量。
  3. 用最小非平凡例子逐步重算，再删除一个假设寻找反例。
  4. 对数值版本保存基、容差、残差和重构误差，保证可重复。

常见误区

本章回顾

本章覆盖向量空间、子空间、子空间和、直和、标量域。掌握标准不是背结论，而是能声明假设、重建证明骨架、给出删除假设后的反例，并以具体矩阵或代码检查表示与不变量。

术语表

讨论

评论区加载中…