泛函分析习题讲解 习题1.24

习题题面

设 \(X\) 是 \(T_1\) 的拓扑空间，证明点 \(x\) 是 \(X\) 中集 \(E\) 的极限点，当且仅当 \(x\) 的任意领域中包含 \(E\) 中的无穷多点. 如不假设 \(X\) 是 \(T_1\) 的，这个结论是否成立？

教材参考答案

如果 \(x\) 的任意邻域中包含 \(E\) 中无穷多点，则显然点 \(x\) 是集 \(E\) 的极限点.

反之，如果点 \(x\) 是集 \(E\) 的极限点，设 \(G\) 是点 \(x\) 的任一邻域，则 \(G\) 中存在不同于 \(x\) 的点 \(x_1\)，由于 \(X\) 是 \(T_1\) 的，单点集是闭集，因此 \(G/X\) 是开集且是 \(x_1\) 的邻域，因此，其中存在不同于 \(x_1\) 的点 \(x_2\)（显然也不同于 \(x\)）. 如此继续下去，假设已得 \(x,x_1,\cdots,x_n\) 是集中不同的点，则由于 \(\left\{x,x_1,\cdots,x_n\right\}\) 是闭集，从而 \(G/\left\{x,x_1,\cdots,x_n\right\}\) 是开集. 于是 \(G\) 中存在不同于 \(x,x_1,\cdots,x_n\) 的 \(E\) 中点 \(x_{n+1}\). 如此继续下去，可知 \(G\) 中包含无穷多个 \(E\) 中点.

如不假设 \(X\) 是 \(T_1\) 的，取例 1.5.5. 设 \(E=\{b\}\)，则点 \(a\) 的仅有邻域 \(X\) 中包含有 \(\{b\}\) 中不同于点 \(a\) 的点 \(b\). 因此 \(a\) 点是集 \(E=\{b\}\) 的极限点. 但是，\(X\) 中只有一个点 \(b\) 不同于 \(a\). 故题中结论不成立.

习题分析

在深入证明之前，有必要先对教材参考答案中的几处笔误进行勘误与评析。教材在描述集合的差集时使用了 \(G/X\) 的记号，标准数学符号应当为 \(G \setminus X\) 或 \(G - X\)。更严重的一处逻辑瑕疵在于，原答案在论述“剥洋葱”式的切除过程时，直接写出了“\(G/X\) 是开集且是 \(x_1\) 的邻域”。倘若直接从邻域 \(G\) 中将全空间 \(X\) 剔除，所得必然是空集；即使其本意是剔除单点集 \(\{x\}\)（即 \(G \setminus \{x\}\)），一旦剔除了中心点 \(x\)，该集合便不再是 \(x\) 的邻域，极限点的定义也就无法继续被合法触发。尽管存在这些表述上的硬伤，教材答案采用的“逐点剔除、无限递推”的思路在本质上是成立的，它生动地展示了 \(T_1\) 空间中有限点集为闭集这一优良性质。不过，在实际书写严密的数学证明时，利用反证法可以彻底规避这种繁琐的递推构造，使证明过程更加优雅洗练。

这道题的核心意图，在于向同学们展示拓扑学如何用高度抽象的语言复现度量空间中的几何直觉。在连续且完备的度量空间（如实数轴）中，若某点为极限点，我们自然可以通过不断缩小开球的半径，将其周围的有限个点逐一“挤”到球外，从而证实其邻域内必然稠密地包裹着无穷多个点。所有度量空间天生都是Hausdorff空间（\(T_2\) 空间），自然也是 \(T_1\) 空间。但在纯粹的拓扑空间中，一旦剥离了“距离”的标尺，就再也无法随心所欲地构造任意小半径的开球。此时，要实现“剔除有限个点且不破坏原邻域的开集性质”，就必须动用 \(T_1\) 分离公理。在 \(T_1\) 空间下，任意单点集均为闭集，进而任意有限点集也是闭集。这意味着从一个开邻域中挖去有限个点，等价于该开集与一个开集（有限闭集的补集）取有限交，结果必然仍是开集。这正是拓扑语言对度量空间中“缩小开球”动作的最完美翻译。

至于不假设 \(T_1\) 条件时的反例构造，思路则顺理成章地回到了我们在习题 1.21 中深入剖析过的Sierpiński空间（即教材例 1.5.5）。该空间连最弱的 \(T_1\) 性质都不满足，点与点之间存在极度不对等的拓扑地位，利用其开集极其匮乏的特性，便能轻易构造出“仅包含一个异于自身的点，却仍满足极限点定义”的荒谬现象，从而彻底否定该命题在非 \(T_1\) 空间中的普适性。

标准解答

现证该命题的充分性. 已知点 \(x\) 的任意邻域均包含集合 \(E\) 中的无穷多个点. 既然包含无穷多个点，则该邻域内必然包含至少一个不同于 \(x\) 本身的 \(E\) 中元素. 根据极限点的拓扑定义，点 \(x\) 显然为集合 \(E\) 的极限点. 此结论的推导仅依赖邻域定义，不依赖于 \(T_1\) 空间假设.

下证命题的必要性. 已知 \(X\) 为 \(T_1\) 拓扑空间，且点 \(x\) 为集合 \(E\) 的极限点，欲证 \(x\) 的任意邻域必定包含 \(E\) 中的无穷多点. 采用反证法进行论证. 假设存在点 \(x\) 的某个开邻域 \(G\)，使得 \(G\) 中仅包含 \(E\) 中的有限个点（不包括 \(x\) 本身）. 设这有限个互异的点为 \(x_1, x_2, \dots, x_n\). 该假设可表述为：

\[ G \cap (E \setminus \{x\}) = \{x_1, x_2, \dots, x_n\} \]

基于 \(X\) 为 \(T_1\) 空间的性质，空间中的任意单点集均为闭集. 由于有限个闭集的并集仍为闭集，有限点集 \(F = \{x_1, x_2, \dots, x_n\}\) 亦构成 \(X\) 中的闭集. 因此，其补集 \(X \setminus F\) 必为 \(X\) 中的开集. 在此基础上，构造一新的集合 \(U\) 如下：

\[ U = G \cap (X \setminus F) = G \setminus \{x_1, x_2, \dots, x_n\} \]

因 \(G\) 与 \(X \setminus F\) 均为开集，根据拓扑公理，有限个开集的交集仍为开集，故 \(U\) 为开集. 同时，因 \(x \in G\) 且 \(x \notin F\)（集合 \(F\) 中的元素均被限定为不同于 \(x\) 的点），故推得 \(x \in U\). 综合可知，\(U\) 构成了点 \(x\) 的一个新的开邻域.

依据极限点的定义，点 \(x\) 的任意开邻域均须包含至少一个 \(E\) 中异于 \(x\) 的点. 故 \(U\) 中理应存在某个点 \(y \in E\) 且 \(y \neq x\). 然而，考察集合 \(U\) 与 \(E \setminus \{x\}\) 的交集：

\[ U \cap (E \setminus \{x\}) = (G \setminus F) \cap (E \setminus \{x\}) = (G \cap (E \setminus \{x\})) \setminus F \]

将反证法假设的交集结果代入上式，可得：

\[ U \cap (E \setminus \{x\}) = \{x_1, x_2, \dots, x_n\} \setminus \{x_1, x_2, \dots, x_n\} = \emptyset \]

上式表明，开邻域 \(U\) 内部并未包含任何一个 \(E\) 中异于 \(x\) 的点. 此结论与 \(x\) 为 \(E\) 之极限点的定义产生直接且不可调和的矛盾. 故假设不成立，点 \(x\) 的任意邻域必定包含 \(E\) 中的无穷多个点.

在不假设 \(X\) 为 \(T_1\) 空间的条件下，该结论不再成立. 可构造Sierpiński空间作为反例. 设全空间 \(X = \{a, b\}\)，其上的拓扑定义为 \(\tau = \{X, \emptyset, \{b\}\}\). 给定集合 \(E = \{b\}\)，现考察点 \(a\) 是否为 \(E\) 的极限点. 在拓扑 \(\tau\) 下，点 \(a\) 的唯一开邻域仅为全空间 \(X\). 由于邻域 \(X\) 中包含集合 \(E\) 中异于 \(a\) 的点（即点 \(b\)），故点 \(a\) 完全满足集合 \(E\) 的极限点定义. 然而，邻域 \(X\) 内仅包含 \(E\) 中的单一元素，并非无穷多点. 由此严谨地说明，一旦舍弃 \(T_1\) 分离公理的庇护，题设命题即刻失效.

助教提点

这道习题犹如一枚精准的回旋镖，再次命中了我们在习题 1.21 中埋下的伏笔。它极其深刻地揭示了 \(T_1\) 空间与 \(T_2\) 空间在现代分析学中不可撼动的基础地位。正是因为度量空间天生满足这些高级别的分离公理，我们才得以顺理成章地使用“距离”、“半径”以及“开球”去刻画微积分中的连续与极限收敛。一旦进入更为抽象的拓扑语境，失去了“距离”这一直观的度量工具，我们便只能依靠分离公理这把“拓扑手术刀”去重构相似的几何操作。本题便是最经典的例证：利用 \(T_1\) 空间的单点集闭合特性，成功地模拟了度量空间中“缩小开球半径以剔除干扰点”的操作，从而在没有度量的蛮荒空间中，重新确立了极限点与无穷序列之间的深刻羁绊。

从期末考试的阅卷规范来看，本题的逻辑链条层次分明。若该题满分为10分，评分细则将严格对应推理的核心节点：简明指出充分性依据极限点定义天然成立，可获2分；必要性的论证是全题的重中之重，独占5分，其中能够准确构造出待切除的有限点集序列（或利用反证法设定有限点闭集）得2分，结合 \(T_1\) 空间单点集闭合性质严格剥离该集合构建新邻域得2分，成功导出极限点定义的逻辑矛盾得1分；最后，利用Sierpiński空间或类似结构准确写出非 \(T_1\) 空间下的反例，并清晰指出其只有有限个点却符合极限点定义，可获最后的3分。