连通且局部连通空间相关拓扑证明问题求助

问题描述 #

设 ( X ) 是连通且局部连通的拓扑空间，( C ) 是 ( X ) 的非平凡闭子集，( U ) 是 ( X \setminus C ) 的非空连通分支。需要完成两个证明：

1. 证明 ( \overline{U} \cap C \neq \emptyset )
2. 若额外假设 ( C ) 是连通的，证明 ( X \setminus U ) 是连通的。

我的尝试 #

我一开始采用反证法，假设 ( \overline{U} \cap C = \emptyset )，进而推导出 ( (X \setminus \overline{U}) \cup (X \setminus C) = X )。接下来我试图证明 ( (X \setminus \overline{U}) \cap (X \setminus C) = \emptyset )，并且对于该交集中的任意点 ( x )，存在一个包含 ( x ) 的开连通邻域 ( B \subset (X \setminus \overline{U}) \cap (X \setminus C) )，但我不知道该如何推进，甚至不确定这个思路是否正确。

解答 #

1) 证明 ( \overline{U} \cap C \neq \emptyset )

我们用反证法来完成这个证明：
假设 ( \overline{U} \cap C = \emptyset )，那么 ( \overline{U} \subset X \setminus C )。由于 ( U ) 是 ( X \setminus C ) 的连通分支（极大连通子集），而连通子集的闭包在母空间中仍然连通，因此 ( \overline{U} ) 是 ( X \setminus C ) 中的连通子集。结合连通分支的极大性，可得 ( \overline{U} = U )，这说明 ( U ) 是 ( X \setminus C ) 中的闭集。

同时，在局部连通空间中有一个关键性质：每个连通分支都是开子集。因此 ( U ) 也是 ( X \setminus C ) 中的开集。

现在观察整个空间 ( X )：

• ( U ) 是 ( X ) 的开集：因为 ( X \setminus C ) 是 ( X ) 的开集（( C ) 是闭集），而 ( U ) 是 ( X \setminus C ) 的开子集，开集的开子集仍为开集。
• ( X \setminus U ) 是 ( X ) 的闭集：因为 ( \overline{U} = U )，所以 ( X \setminus U ) 是 ( U ) 在 ( X ) 中的补集，即闭集。

这就意味着 ( U ) 和 ( X \setminus U ) 是 ( X ) 的一对非空既开又闭子集，与 ( X ) 是连通空间的前提矛盾。因此假设不成立，即 ( \overline{U} \cap C \neq \emptyset )。

2) 假设 ( C ) 连通，证明 ( X \setminus U ) 连通

同样使用反证法：假设 ( X \setminus U ) 不连通，那么存在非空的不交子集 ( A, B )，使得 ( X \setminus U = A \cup B )，且 ( A, B ) 在 ( X \setminus U ) 中都是既开又闭的。

由第一问的结论，( \overline{U} \cap C \neq \emptyset )，而 ( C \subset X \setminus U )。因为 ( C ) 是连通的，它不能被分割为两个非空不交的既开又闭子集，因此 ( C ) 必然完全包含在 ( A ) 或 ( B ) 中，不妨设 ( C \subset A )。

接下来分析 ( U \cup B )：

• ( U ) 是 ( X ) 的开集（局部连通空间中连通分支为开集），而 ( B ) 是 ( X \setminus U ) 的开子集，因此 ( U \cup B = U \cup (V \cap (X \setminus U)) )（其中 ( V ) 是 ( X ) 的开集），即 ( U \cup B ) 是 ( X ) 的开集。
• ( A = X \setminus (U \cup B) )，因此 ( A ) 是 ( X ) 的闭集。同时，由于 ( B ) 是 ( X \setminus U ) 的闭子集，( A = (X \setminus U) \setminus B ) 是 ( X \setminus U ) 的开子集，这意味着存在 ( X ) 的开集 ( W ) 使得 ( A = W \cap (X \setminus U) )。结合 ( X \setminus U = A \cup B ) 且 ( A \cap B = \emptyset )，可推得 ( W \subset A )，即 ( A ) 也是 ( X ) 的开集。

此时 ( A ) 和 ( U \cup B ) 是 ( X ) 的一对非空不交既开又闭子集，与 ( X ) 是连通空间的前提矛盾。因此假设不成立，即 ( X \setminus U ) 是连通的。

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