向量空间的基

它指向谁（出边）

定义引用 1

• 每个向量空间有基 用到 本页定义引用

  「每个向量空间有基」中的「基」由线性无关与生成两个概念定义。

谁指向它（入边）

定义引用 3

• 域 → 本页定义引用

  「设 $K$ 是域，$V$ 是 $K$ 上的向量空间」—— 向量空间的系数取自一个域。（取 $K = \mathbb{R}$ 就是最常用的实向量空间。）

• 子集 → 本页定义引用

  「$S$ 的每个有限子集都线性无关」——线性无关性是逐有限子集定义的。

• 有限特征 → 本页定义引用

  正因为逐有限子集定义，线性无关性具有有限特征（注里点明了这一步）。

类比 2

• 有限特征类比
  「有限特征」这个抽象概念，在向量空间里有一个现成的实例

  严格说这不只是类比 —— 它是一个实例，但方向不是逻辑蕴含： def.finchar 不推出 def.vs，def.vs 也不推出 def.finchar； 它们是「抽象工具」和「具体落地」的关系。

  线性无关性恰好是有限特征的： 「$S$ 线性无关 $\iff S$ 的每个有限子集线性无关」—— 这就是 def.finchar 的定义，一字不差。

  所以「每个向量空间有基」的证明里，那个「链的并仍线性无关」的关键一步， 本质上是在验证有限特征在链条下保持。 Tukey 引理正是为此而生的。

  💡 这条边是「跨星团」的：序理论 $\leftrightarrow$ 抽象代数。 它不提供新的定理，但它告诉你两块内容为什么长得像。

• 生成的 σ-代数类比
  「取一切包含它的 X 之交」——生成同一个模板

  两处都在做同一件事：给定一点种子，造出包含它的最小结构。

  • 生成的 $\sigma$-代数：$\mathcal{M}(\mathcal{E}) = \bigcap \{ \mathfrak{A} : \mathfrak{A} \supseteq \mathcal{E},\ \mathfrak{A}$ 是 $\sigma$-代数 $\}$。
  • 由 $S$ 生成的子空间 / 张成：$\operatorname{span} S = \bigcap \{ W : W \supseteq S,\ W$ 是子空间 $\}$。

  共同的招：不直接写「最小的那个」，而是取一切候选之交 —— 交封闭保证了交出来还是同类结构， $\mathcal{P}(X)$（或整个空间）保证了候选族不空。这两句话就是良定义性证明的全部。

  为什么值得记：凡是要「造最小的封闭结构」（子群、理想、闭包、$\sigma$-代数、$\sigma$-环）， 都是这个模板；反过来，验证一个「包含关系」时，也总是把两边都化成「交」。

  💡 跨星团：测度的构造 $\leftrightarrow$ 抽象代数。