关于Lang《本科生分析》中有限/可数集序列并集定理证明的技术疑问

定理：若 ( S_1, S_2, \dots ) 是一列集合，每个集合要么有限要么可数，则它们的并集 ( S_1 \cup S_2 \cup \dots ) 要么有限要么可数。

证明：每个有限集都包含于某个可数集，因此结论可由命题4.1和命题4.6推出。

相关定义与命题 #

• 可数集的定义：集合 ( S ) 被称为可数的，若存在从 ( S ) 到正整数集 ( \mathbb{Z}^+ ) 的双射。
• 命题4.1：设 ( D ) 是 ( \mathbb{Z}^+ ) 的无限子集，则 ( D ) 是可数的，且存在唯一的枚举 ( {k_1, k_2, \dots} ) 满足 ( k_1 < k_2 < \dots < k_n < k_{n+1} < \dots )。
• 命题4.6：设 ( {D_1, D_2, \dots} ) 是一列可数集，令 ( S ) 为所有 ( D_i )（( i=1,2,\dots )）的并集，则 ( S ) 是可数的。

我的疑问 #

1. 为什么任何有限集都包含于某个可数集？根据定义，可数集都是无限的，但如果我限定在一个有限的对象宇宙中（比如所有对象都是有限字母表中的字符），那根本不存在可数集啊？
2. 命题4.1和命题4.6怎么用来证明这个定理？这两个命题都是关于无限集的性质，而定理同时涉及有限和无限集，看起来两者之间没有直接的对应关系？

解答 #

针对问题1：

你提的这个点非常敏锐，其实这里的核心是分析教材默认的集合论语境是包含无限集的——在Lang这本书的框架里，我们是基于标准的ZFC集合论来讨论的，正整数集 ( \mathbb{Z}^+ ) 本身就是一个天然的可数无限集，是默认存在的。

你说的“有限对象宇宙”是一个特殊的受限场景，但在基础分析的讨论中，我们不会做这种限定。回到问题本身：对任意有限集 ( F )，我们可以轻松构造一个包含它的可数集——比如把 ( F ) 和 ( \mathbb{Z}^+ ) 取并集，得到 ( F \cup \mathbb{Z}^+ )，这个集合显然是可数的（有限集和可数集的并集依然与 ( \mathbb{Z}^+ ) 等势），而且确实包含 ( F )。

当然，如果硬要在完全有限的宇宙里讨论，那定理的前提（存在可数集）都不成立，定理本身也就失去了讨论的意义，但这不是教材要覆盖的常规情况。

针对问题2：

我们可以通过分情况讨论来补全Lang省略的证明细节，把两个命题和定理的结论衔接起来：

• 情况1：并集中只有有限个非空集合，且全是有限集：它们的并集必然是有限集，这是有限集的基本性质（有限个有限集的并仍是有限集），这部分不需要用到那两个命题，属于基础常识。
• 情况2：并集中有无限个非空集合，或至少包含一个可数集：这时候我们按照Lang的思路，把每个有限集 ( S_i ) 替换成一个包含它的可数集 ( D_i )（比如刚才构造的 ( S_i \cup \mathbb{Z}^+ )），原本的可数集 ( S_j ) 直接作为 ( D_j )。这样就得到了一列可数集 ( {D_1, D_2, \dots} )，它们的并集 ( \bigcup D_i ) 包含原定理中的并集 ( \bigcup S_i )。

接下来：

• 根据命题4.6，( \bigcup D_i ) 是可数的；
• 如果原并集 ( \bigcup S_i ) 是无限集，那它就是可数集 ( \bigcup D_i ) 的无限子集，根据命题4.1，它本身也必然是可数的；
• 如果原并集是有限集，那自然符合定理的结论。

这样就把有限和无限的情况都覆盖到了，Lang的证明只是把这个分情况的过程简化了，毕竟教材常常会省略一些基础的推导步骤。

备注：内容来源于stack exchange，提问作者AnalyticMind