关于连通性刻画逆命题的有效性问题
嗨Amanda！这个问题问到了拓扑学里连通性和clopen集关系的一个关键细节，咱们来一步步梳理清楚：
首先先确认原命题的正确性：
已知拓扑空间中的两个点，如果存在一个既开又闭（clopen）的集合恰好包含其中一个点，那么这两个点不在同一个连通分支里。
这个结论是完全正确的——因为连通分支是空间中最大的连通子集，假设两个点在同一连通分支里，那么任何包含其中一个点的clopen集必然包含整个连通分支（否则这个clopen集和它的补集会把连通分支拆成两个非空不交开集，与连通性矛盾），所以不可能只包含其中一个点。
接下来重点回答你的逆命题问题：这个逆命题并不总是成立，它只在一类特殊的拓扑空间中成立，我们先看反例，再总结条件。
反例：Arens-Fort空间
考虑Arens-Fort空间$X$：它由$\mathbb{N} \times \mathbb{N}$（所有正整数对）加上一个额外的点$(\infty, \infty)$组成，拓扑定义如下：
- 对于每个$(n,m) \in \mathbb{N} \times \mathbb{N}$，单点集${(n,m)}$是开集（也就是这些点都是孤立点）；
- 对于点$(\infty, \infty)$，它的基本邻域是所有包含$(\infty, \infty)$的子集，满足：除了有限个正整数$n$外，每个$n$对应的“列”${(n,m) \mid m \in \mathbb{N}}$中，只有有限个点不在这个邻域里。
这个空间的每个连通分支都是单点集（因为所有孤立点本身就是连通分支，而$(\infty, \infty)$也无法和任何其他点构成连通子集），所以$(\infty, \infty)$和$(1,1)$属于不同的连通分支。但你找不到一个clopen集恰好包含其中一个点：
假设存在clopen集$U$包含$(1,1)$但不包含$(\infty, \infty)$：
- 因为$(1,1)$是孤立点，$U$是开集，所以${(1,1)} \subseteq U$；
- $U$是闭集，所以它的补集$X \setminus U$是开集，而$(\infty, \infty) \in X \setminus U$，因此$X \setminus U$包含$(\infty, \infty)$的一个基本邻域$V$；
- 根据$V$的定义，对于$n=1$的列，$V$包含除了有限个点之外的所有$(1,m)$，而$(1,1) \notin V$（因为$(1,1) \in U$），所以剩下的$(1,m)$（$m \neq 1$）都在$V$里，也就是在$X \setminus U$中；
- 但序列${(1,m) \mid m > 1}$的极限点是$(\infty, \infty)$，而$U$是闭集，它的闭包就是自身——这意味着$(\infty, \infty)$应该在$U$的闭包里，也就是在$U$里，和我们的假设矛盾。
所以这个空间里，两个不同连通分支的点无法被clopen集分离，说明逆命题不成立。
逆命题成立的条件
当且仅当拓扑空间是**完全分离空间（Totally Separated Space）**时，逆命题成立：这类空间中，任意两个不同的点都可以被clopen集分离（即存在clopen集包含其中一个点但不包含另一个）。
完全分离空间是比完全不连通空间（每个连通分支都是单点）更强的概念：所有完全分离空间都是完全不连通的，但反过来不一定成立（比如上面的Arens-Fort空间是完全不连通的，但不是完全分离的）。
常见的完全分离空间例子包括：
- 离散拓扑空间（每个单点集都是clopen集）；
- 有理数集$\mathbb{Q}$（装备欧氏拓扑，比如可以用无理数作为分界，构造包含一个点但不包含另一个的clopen集）；
- 康托尔集（装备欧氏拓扑，有由clopen集组成的拓扑基）。
最后总结一下：你的逆命题不是普遍成立的，只有当空间是完全分离空间时，不同连通分支的点才能被clopen集分离。
备注：内容来源于stack exchange，提问作者Amanda Wealth
