求证：右连续是否蕴含函数在某区间上连续？

算力阿峰

2026-5-19

右连续是否蕴含区间上连续？

好问题！直接给结论：右连续完全不蕴含函数在区间上连续——我们可以轻松构造出仅满足右连续但在区间上不连续的函数，刚好能沿着你尝试的阶梯函数思路完成推导。

构造反例

先从最简单的单跳跃阶梯函数入手，定义$f:[0,1] \to \mathbb{R}$如下：
$$
f(x) =
\begin{cases}
0 & \text{当 } x \in [0, \frac{1}{2}), \
1 & \text{当 } x \in [\frac{1}{2}, 1]
\end{cases}
$$

验证右连续性

用$\epsilon-\delta$定义逐个区间验证：

对于任意$x_0 \in [0, \frac{1}{2})$：取$\delta = \frac{1}{2} - x_0$，当$0 < \epsilon < \delta$时，$x_0+\epsilon$仍落在$[0, \frac{1}{2})$内，因此$f(x_0+\epsilon)=0=f(x_0)$。对任意给定的$\epsilon'>0$，这个$\delta$都能满足$|f(x_0+\epsilon)-f(x_0)|=0 < \epsilon'$，符合右连续定义。
对于任意$x_0 \in [\frac{1}{2}, 1]$：取$\delta = 1 - x_0$，当$0 < \epsilon < \delta$时，$x_0+\epsilon$落在$[\frac{1}{2},1]$内，$f(x_0+\epsilon)=1=f(x_0)$，同样满足右连续的$\epsilon-\delta$条件。

验证函数不连续

重点看$x=\frac{1}{2}$处：
左极限$\lim_{\epsilon \to 0^-} f(\frac{1}{2}+\epsilon) = \lim_{\epsilon \to 0^-} f(\frac{1}{2}-\epsilon) = 0$，但$f(\frac{1}{2})=1$，左极限不等于函数值，因此$\lim_{\epsilon \to 0} f(\frac{1}{2}+\epsilon)$不存在（或说不等于函数值），函数在该点不连续，自然在$[0,1]$上不是连续函数。

拓展到多阶梯的情况

如果你想构造更复杂的反例（比如多个跳跃点），可以定义：
$$
f(x) =
\begin{cases}
0 & x=0, \
n & x \in [\frac{1}{n+1}, \frac{1}{n}) \quad (n \in \mathbb{N}^+)
\end{cases}
$$
这个函数在$[0,1]$上所有形如$\frac{1}{n}$的点都存在左跳跃间断，但每个点都满足右连续，同样是典型的反例。