处处不连续的Darboux函数是否均为常像函数？

嘿，这个问题提得相当到位——我之前研究Darboux函数的时候也纠结过这个点，刚好可以给你详细拆解一下：

你观察到的现象很典型：像Conway base-13函数这类处处不连续的Darboux函数，确实满足任意非空开区间的像等于整个函数的值域，你把这类定义为“常像函数”完全合理。但答案是，存在处处不连续但不属于这类的Darboux函数，我们可以通过构造的方式来证明。

核心思路 #

这类反例的关键在于：Darboux函数只要求满足介值性（即闭区间上能取到两端点值之间的所有实数），但并没有强制要求每个开区间都必须遍历整个值域。我们可以通过“拆分实数轴为两个稠密开集”，分别在两个集合上定义不同值域的Darboux函数，再拼接成一个满足要求的整体函数。

具体构造例子 #

我们借助Conway base-13函数（记为 ( C(x) )，值域为全体实数 ( \mathbb{R} )，且在任意开区间内都能取到所有实数）来构造：

1. 拆分实数轴：把 ( \mathbb{R} ) 拆成两个不相交的稠密开集 ( U ) 和 ( V )。比如，把所有有理数枚举成 ( q_1, q_2, q_3,... )，给每个 ( q_n ) 分配一个开区间 ( (q_n - 1/2^n, q_n + 1/2^n) )，这些区间的并就是 ( U )；剩下的 ( V = \mathbb{R} \setminus \overline{U} ) 也是一个稠密开集（因为 ( U ) 的闭包不会覆盖整个实数轴，剩下的部分依然稠密）。
2. 定义目标函数 ( f(x) )：
   • 当 ( x \in U ) 时，( f(x) = C(x) )；
   • 当 ( x \in V ) 时，( f(x) = |C(x)| )。

现在验证这个函数的三个核心性质：

• 处处不连续：随便取一个点 ( x_0 )，它的任意小邻域里都同时有 ( U ) 和 ( V ) 的点。( U ) 里的点能取到任意实数，( V ) 里的点只能取非负实数，所以 ( f(x) ) 在 ( x_0 ) 处没有确定的极限，自然处处不连续。
• 满足Darboux性质（介值性）：任取闭区间 ( [a,b] )，以及介于 ( f(a) ) 和 ( f(b) ) 之间的任意实数 ( y )：
  • 如果 ( y \geq 0 )：区间里一定有 ( V ) 的点（因为 ( V ) 稠密），而 ( f ) 在 ( V ) 上能取到所有非负实数，所以总能找到对应点让 ( f(x)=y )；
  • 如果 ( y < 0 )：区间里一定有 ( U ) 的点（因为 ( U ) 稠密），( f ) 在 ( U ) 上能取到所有负实数，同样能找到对应点。
    完全符合介值性要求，是Darboux函数。
• 非“常像函数”：取开集 ( V ) 里的任意一个非空开区间，这个区间内的 ( f(x) ) 只能取非负实数，而 ( f ) 的整体值域是 ( \mathbb{R} )（因为 ( U ) 里的点能取到负实数）。显然这个开区间的像不等于整个函数的像，所以 ( f ) 不属于你定义的“常像函数”。

补充说明 #

其实这类构造的本质是利用了稠密开集的特性——它们在实数轴上“无处不在”，既能保证函数的处处不连续性，又能通过分别限制值域来打破“常像”的要求，同时还不破坏介值性。

内容的提问来源于stack exchange，提问作者Sriotchilism O'Zaic