连通空间与开连续映射：证明推理正确性验证

问题陈述 #

设 $f:X \rightarrow Y$ 是一个连续、开且满的映射，满足对所有 $y\in Y$，原像 $f^{-1}(y)\subseteq X$ 是连通的，且 $Y$ 是连通空间。证明 $X$ 是连通的。

你的推理过程 #

假设 $X=A \sqcup B$，其中 $A, B$ 是非空、不相交的开集，且都不等于 $X$。
由满射性可知 $f(X)=f(A \sqcup B)=f(A)\cup f(B)=Y$。
因为 $f$ 是开映射，所以 $f(A)$ 和 $f(B)$ 都是 $Y$ 中的开集，且都非空——因此 $f(A) \cap f(B) \neq \emptyset$（因为 $Y$ 是连通的，不能写成两个非空不交开集的并）。
取 $y\in f(A) \cap f(B)$，则存在 $x_1 \in A$ 和 $x_2 \in B$ 使得 $f(x_1)=f(x_2)=y$，所以 $x_1, x_2 \in f^{-1}(y)$，而 $f^{-1}(y)$ 是连通的，这意味着存在包含 $x_1, x_2$ 的连通子集 $C$（其实这里直接用 $f^{-1}(y)$ 本身就是连通的更直接）。
现在 $C\cap A$ 包含 $x_1$，$C\cap B$ 包含 $x_2$，两者都是非空的开集（因为 $A,B$ 是开集，$C$ 作为子集，交集相对 $C$ 是开的），且 $C=(C\cap A) \sqcup (C\cap B)$——这与 $C$ 是连通的矛盾。因此 $X$ 不能写成两个非空不交开集的并，故 $X$ 是连通的。

推理正确性分析 #

你的推理完全正确，逻辑链条相当清晰，关键步骤都精准踩中了：

• 用反证法假设 $X$ 不连通，拆成两个非空不交开集，这是连通性证明里的标准操作；
• 利用开映射性质推出 $f(A),f(B)$ 是 $Y$ 的开子集，结合 $Y$ 的连通性得到它们交集非空，这一步是整个证明的核心转折；
• 抓住原像 $f^{-1}(y)$ 的连通性导出矛盾——这里其实可以更直接地用 $f^{-1}(y)$ 本身就是连通集，不用额外提“存在连通集 $C$”，不过这点小细节完全不影响推理的正确性；
• 最后用连通集不能拆成两个非空不交相对开集的并，完美完成矛盾推导。

整体来看，这个证明简洁又严谨，没有任何逻辑漏洞，是非常标准的连通性证明思路。

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