实分析介值性：如何证明具介值性的严格递增函数f:[a,b]→R在[a,b]上连续？

嘿，这是实分析里挺经典的一个结论，咱们一步步拆解着来证明。先明确一下核心定义：

• 严格递增函数：对任意 ( x_1 < x_2 \in [a,b] )，必有 ( f(x_1) < f(x_2) )
• 介值性（中间值性质）：对任意 ( c ) 满足 ( \min{f(a),f(b)} \leq c \leq \max{f(a),f(b)} )，存在 ( x \in [a,b] ) 使得 ( f(x) = c )

方法一：反证法（最直观的思路） #

假设 ( f ) 在 ( [a,b] ) 上不连续。根据单调函数的性质：严格单调函数的间断点只能是跳跃间断点（因为单调有界函数的左右极限必然存在，不会出现无穷间断或振荡间断）。

也就是说，存在某个 ( x_0 \in [a,b] )，使得左极限 ( f(x_0^-) = \lim_{x \to x_0^-} f(x) ) 和右极限 ( f(x_0^+) = \lim_{x \to x_0^+} f(x) ) 满足 ( f(x_0^-) < f(x_0^+) )。

结合严格递增的性质：

• 对所有 ( x < x_0 )，( f(x) < f(x_0^-) \leq f(x_0) )
• 对所有 ( x > x_0 )，( f(x_0) \leq f(x_0^+) < f(x) )

现在取一个数 ( c )，让它满足 ( f(x_0^-) < c < f(x_0^+) ) 且 ( c \neq f(x_0) )（因为 ( f(x_0^-) < f(x_0) \leq f(x_0^+) )，这样的 ( c ) 肯定存在）。

这个 ( c ) 显然介于 ( f(a) ) 和 ( f(b) ) 之间（因为 ( f(a) \leq f(x_0^-) < c < f(x_0^+) \leq f(b) )），但根据上面的推导：

• 所有 ( x < x_0 ) 的函数值都小于 ( f(x_0^-) < c )
• 所有 ( x > x_0 ) 的函数值都大于 ( f(x_0^+) > c )
• 只有 ( f(x_0) \neq c )

也就是说，不存在任何 ( x \in [a,b] ) 使得 ( f(x) = c )，这直接违反了介值性！

所以我们的假设不成立，( f ) 在 ( [a,b] ) 上没有间断点，即 ( f ) 在 ( [a,b] ) 上连续。

方法二：正向直接证明（用连续的定义） #

对任意 ( x_0 \in [a,b] )，任取 ( \varepsilon > 0 )，我们需要找到 ( \delta > 0 )，使得当 ( |x - x_0| < \delta ) 时，( |f(x) - f(x_0)| < \varepsilon )。

因为 ( f ) 严格递增且具备介值性，它的值域是连续区间 ( [f(a), f(b)] )（介值性直接保证了这一点）。

• 对于 ( f(x_0) - \varepsilon )，存在 ( x_1 \in [a,b] ) 使得 ( f(x_1) = f(x_0) - \varepsilon )
• 对于 ( f(x_0) + \varepsilon )，存在 ( x_2 \in [a,b] ) 使得 ( f(x_2) = f(x_0) + \varepsilon )

由严格递增性可知 ( x_1 < x_0 < x_2 )，取 ( \delta = \min{x_0 - x_1, x_2 - x_0} )。当 ( x \in (x_0 - \delta, x_0 + \delta) ) 时，必有 ( x_1 < x < x_2 )，因此 ( f(x_1) < f(x) < f(x_2) )，也就是 ( f(x_0) - \varepsilon < f(x) < f(x_0) + \varepsilon )，即 ( |f(x) - f(x_0)| < \varepsilon )。

这就满足了连续的定义，所以 ( f ) 在 ( x_0 ) 处连续。由于 ( x_0 ) 是 ( [a,b] ) 上的任意点，因此 ( f ) 在 ( [a,b] ) 上连续。

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