有理数集ℚ上连续函数的‘不连续性’边界及其相关拓扑性质探究
嘿，这个问题挺有意思的——咱们先从你给出的那个函数说起，把它掰明白：
设函数 $f: \mathbb{Q} \to \mathbb{R}$ 定义为：
$$
f(x) = \begin{cases}
-1 & \text{若 } x < \sqrt{2}
\
1 & \text{若 } x > \sqrt{2}
\end{cases}
$$
咱们日常直觉里，这个函数在$\sqrt{2}$处有个“跳变”，但为啥在装备了标准拓扑的$\mathbb{Q}$上它却是连续的？原因很简单：$\mathbb{Q}$里根本没有$\sqrt{2}$这个点。随便拿一个有理数$q$：
- 如果$q < \sqrt{2}$，那总能找到一个足够小的开区间（比如$(q, q + \epsilon)$，其中$\epsilon$小到让$q+\epsilon < \sqrt{2}$），这个区间里的所有有理数都小于$\sqrt{2}$，所以$f$在这个邻域里恒为-1，自然连续；
- 如果$q > \sqrt{2}$，同理，找个足够小的开区间$(q - \epsilon, q)$，里面所有有理数都大于$\sqrt{2}$，$f$恒为1，也连续。
接下来你问的，这种“看起来有跳变但实际连续”的函数，能有多“不连续”？其实咱们可以把这个思路扩展：比如找一列递增的无理数${\alpha_n}$（比如$\sqrt{2}, \sqrt{3}, \sqrt{5}, \dots$这些无理数，排成一个可数序列），然后定义一个函数$f$：当$x < \alpha_1$时$f(x)=0$，$\alpha_1 < x < \alpha_2$时$f(x)=1$，$\alpha_2 < x < \alpha_3$时$f(x)=2$，以此类推。这个函数在$\mathbb{Q}$上依然是连续的——因为每个有理数$q$都落在某两个相邻的无理数之间（或者在所有$\alpha_n$的左边/右边），总能找到一个小邻域完全包含在这个区间里，$f$在邻域里是常数，自然连续。也就是说，这类连续函数可以有可数个“直观上的跳变点”。
那从一般拓扑的角度看，$\mathbb{Q}$到底有啥特殊性质导致了这种现象？核心是这两点：
- $\mathbb{Q}$是完全不连通的（Totally Disconnected）：它的每个连通分支都是单点集。换句话说，任何两个不同的有理数之间，都能找到一个无理数把它们“隔开”，所以不存在包含两个不同有理数的连通子集。这就意味着，我们可以用这些无理数作为分界，把$\mathbb{Q}$拆成可数个互不相交的开子集（每个开子集就是两个相邻无理数之间的有理数集合），在每个开子集上定义常数函数，整个函数就是连续的——因为常数函数在开子集上连续，而这些开子集覆盖了$\mathbb{Q}$。
- $\mathbb{Q}$是零维拓扑空间：零维空间的定义是存在由既开又闭的集合（clopen set）构成的拓扑基。$\mathbb{Q}$里，比如区间$(a,b)\cap\mathbb{Q}$，只要$a,b$是无理数，这个集合就是既开又闭的——因为它是开集的交集（$\mathbb{Q}$作为$\mathbb{R}$的子空间，开集就是$\mathbb{R}$中开集与$\mathbb{Q}$的交集），同时它的补集是$(-\infty,a)\cap\mathbb{Q} \cup (b,+\infty)\cap\mathbb{Q}$，也是两个开集的并，所以是开集，因此原集合是闭集。这种既开又闭的集合给了我们很大的自由度去构造分段常数的连续函数，而这些分段点就是我们直觉里的“跳变点”。
总结一下：$\mathbb{Q}$的完全不连通性和零维性，让我们能构造出看起来有很多跳变，但在拓扑意义下完全连续的函数，而且这些“跳变点”的数量可以是可数的。
备注：内容来源于stack exchange，提问作者shuhalo
