连续映射拓扑性质保持的逆问题：保连通/紧性等是否蕴含连续性？

好问题！这个点其实是拓扑学里一个很有意思的反向思考——我们天天用连续映射保各种拓扑性质，但反过来的情况确实没那么直观，我来拆解一下：

1. 道路连通性：保持道路连通的映射未必连续 #

答案是否定的。我们可以构造一个明确的反例：
考虑定义域 ( X = \mathbb{R} )（标准欧氏拓扑），值域 ( Y = \mathbb{R} )（同样欧氏拓扑），定义映射 ( f: X \to Y )：

f(x) = \begin{cases} 
\sin(1/x) & x \neq 0 \\
0 & x = 0 
\end{cases}

这个映射在 ( x=0 ) 处明显不连续（极限不存在），但它满足“把X中任意道路连通子集映为Y中的道路连通子集”：

• 如果道路连通子集不包含0，f在这个子集上是连续的，自然保持道路连通性；
• 如果子集包含0（必然是包含0的区间），f的像就是闭区间 ([-1,1])，这显然是道路连通的。

另一个更简单的反例：取X为带离散拓扑的 ( \mathbb{R} )，Y为标准欧氏拓扑的 ( \mathbb{R} )，恒等映射 ( f: X \to Y )。离散拓扑里只有单点集是道路连通的，f把每个单点集映为单点集（道路连通），但这个恒等映射完全不连续（离散拓扑到欧氏拓扑的非有限集映射不可能连续）。

2. 连通性：保持连通性的映射也未必连续 #

和道路连通性类似，单纯保持连通性不足以推出连续性。还是用上面的 ( \sin(1/x) ) 例子：
X中的连通子集就是各种区间，不包含0的区间被f连续映射为连通集；包含0的区间被f映为 ([-1,1])（连通集），但f在0处依然不连续。

再补充一个思路：如果一个映射在“局部”不连续，但不破坏整体的连通性像，就可以成为反例——只要不把连通集拆成不连通的像就行，间断点的存在不一定会导致像不连通。

3. 紧性：附加条件下可推导连续性 #

单纯保持紧性（把X中的紧子集映为Y中的紧子集）同样不能直接推出连续性，比如还是离散拓扑到欧氏拓扑的恒等映射：X的紧子集是有限集，f把它们映为Y中的有限集（紧子集），但映射不连续。

但如果加上一些额外的空间性质，就能推导连续性了，最经典的场景是：

若 ( f: X \to Y ) 是双射，X是紧拓扑空间，Y是Hausdorff空间，且f保持紧性（即X中任意紧子集的像都是Y中的紧子集），那么f必连续。

为什么？因为Y是紧Hausdorff空间（X紧，f是双射，所以Y=f(X)也紧），Y中的闭子集都是紧子集；而f保持紧性，所以闭子集的原像是X中的紧子集，又X是紧Hausdorff，紧子集都是闭集——这就满足了“闭集的原像是闭集”，等价于f连续。

还有一个更强的结论：如果f是proper映射（即Y中任意紧子集的原像是X中的紧子集），再配合Y是Hausdorff空间，也能得到一些连续性相关的性质，但这属于“原像保持紧性”，和我们讨论的“像保持紧性”方向不同。

总结 #

• 仅保持道路连通性、连通性、紧性（像保持）的映射，都未必是连续映射，反例很容易构造；
• 只有当附加了空间的额外性质（比如双射、紧+Hausdorff配对）时，保持紧性这类性质才能推导出连续性。

内容的提问来源于stack exchange，提问作者CO2