2.5 有界闭区间[a，b]上连续函数的性质
有界闭区间上连续函数的核心性质 系统讲解
闭区间上的连续函数具有开区间上连续函数不具备的整体性质，本节讲解的零值定理、介值定理、最值定理，以及后续的一致连续性定理，是数学分析的核心基石，是后续微分中值定理、积分学、方程根的存在性分析的理论基础，所有定理均建立在实数完备性公理之上。
一、零（根）值定理（Bolzano定理）
定理2.5.1 零值定理
完整表述
设\(f\)为闭区间\([a,b]\)上的连续函数，且\(f(a)f(b)<0\)（即\(f(a)\)与\(f(b)\)异号），则至少存在一点\(\xi \in (a,b)\)，使得\(f(\xi)=0\)。
核心解读
该定理给出了闭区间上连续函数方程\(f(x)=0\)根的存在性判定准则：只要区间端点函数值异号，区间内至少有一个根。几何意义是：连续曲线从\(x\)轴一侧穿越到另一侧，必然与\(x\)轴至少有一个交点。
三种严谨证法（标注核心推理依据）
证法1 闭区间套定理法（构造性证明）
- 初始设定：不妨设\(f(a)<0\)，\(f(b)>0\)（\(f(a)>0,f(b)<0\)的情形可通过\(-f(x)\)转化）。
反设：对\(\forall x \in (a,b)\)，\(f(x) \neq 0\)。 - 闭区间套构造：
- 第一步：将\([a,b]\)二等分，中点为\(\frac{a+b}{2}\)。
若\(f\left(\frac{a+b}{2}\right)>0\)，则取左半区间\([a_1,b_1]=\left[a,\frac{a+b}{2}\right]\)，此时\(f(a_1)<0,f(b_1)>0\)；
若\(f\left(\frac{a+b}{2}\right)<0\)，则取右半区间\([a_1,b_1]=\left[\frac{a+b}{2},b\right]\)，此时\(f(a_1)<0,f(b_1)>0\)。 - 重复二等分操作，得到递降闭区间套：\[[a,b] \supset [a_1,b_1] \supset [a_2,b_2] \supset \dots \supset [a_n,b_n] \supset \dots \]满足：① \(f(a_n)<0\)，\(f(b_n)>0\)；② 区间长度\(b_n - a_n = \frac{b-a}{2^n} \to 0 \ (n \to \infty)\)。
- 第一步：将\([a,b]\)二等分，中点为\(\frac{a+b}{2}\)。
- 闭区间套定理应用：
根据实数完备性的闭区间套定理，存在唯一的点\(x_0 \in \bigcap_{n=1}^\infty [a_n,b_n] \subset [a,b]\)，且\(\lim\limits_{n \to \infty} a_n = \lim\limits_{n \to \infty} b_n = x_0\)。 - 连续性与矛盾推导：
由\(f\)在\(x_0\)处连续，根据连续函数的海涅定理，得：\[\lim\limits_{n \to \infty} f(a_n) = f(x_0), \quad \lim\limits_{n \to \infty} f(b_n) = f(x_0) \]由\(f(a_n)<0\)，根据极限的保不等式性，得\(f(x_0) = \lim\limits_{n \to \infty} f(a_n) \leq 0\)；
由\(f(b_n)>0\)，同理得\(f(x_0) = \lim\limits_{n \to \infty} f(b_n) \geq 0\)。
因此\(f(x_0)=0\)。又\(f(a)<0,f(b)>0\)，故\(x_0 \neq a,b\)，即\(x_0 \in (a,b)\)，与反设矛盾。
故原命题成立，必存在\(\xi \in (a,b)\)使得\(f(\xi)=0\)。
证法2 确界原理法
- 初始设定：不妨设\(f(a)<0\)，\(f(b)>0\)，定义数集：\[E = \{ x \in [a,b] \mid f(x) < 0 \} \]因\(a \in E\)，故\(E\)非空，且\(E \subset [a,b]\)有上界\(b\)。
- 确界原理应用：根据实数完备性的确界原理，非空有上界的数集必有上确界，记\(\xi = \sup E\)。
- 证明\(\xi \in (a,b)\)：
由\(f\)在\(a\)处连续，\(f(a)<0\)，根据连续函数的局部保号性，存在\(\delta>0\)，使得当\(x \in [a,a+\delta)\)时\(f(x)<0\)，故\(\xi \geq a+\delta >a\)；
同理，\(f(b)>0\)，存在\(\delta>0\)，使得当\(x \in (b-\delta,b]\)时\(f(x)>0\)，故\(\xi \leq b-\delta <b\)，因此\(\xi \in (a,b)\)。 - 证明\(f(\xi)=0\)：
由上确界的定义，存在严格递增数列\(\{x_n\} \subset E\)，使得\(\lim\limits_{n \to \infty} x_n = \xi\)。由\(f\)连续，得\(\lim\limits_{n \to \infty} f(x_n)=f(\xi)\)，而\(f(x_n)<0\)，故\(f(\xi) \leq 0\)。
若\(f(\xi)<0\)，由局部保号性，存在\(\delta>0\)，使得\(x \in (\xi-\delta,\xi+\delta)\)时\(f(x)<0\)，则存在\(x' \in (\xi,\xi+\delta) \cap [a,b]\)使得\(f(x')<0\)，与\(\xi = \sup E\)矛盾。
因此\(f(\xi)=0\)，定理得证。
证法3 有限覆盖定理法（反证法）
- 反设：对\(\forall x \in [a,b]\)，\(f(x) \neq 0\)。
- 开覆盖构造：
对\(\forall x \in [a,b]\)，由\(f\)在\(x\)处连续，且\(f(x) \neq 0\)，根据连续函数的局部保号性，存在\(\delta_x>0\)，使得\(f\)在开区间\((x-\delta_x,x+\delta_x) \cap [a,b]\)上严格同号（与\(f(x)\)同正或同负）。
所有这样的开区间构成\([a,b]\)的一个开覆盖：\[\mathscr{J} = \{ (x-\delta_x,x+\delta_x) \mid x \in [a,b] \} \] - 有限覆盖定理应用：根据实数完备性的有限覆盖定理，闭区间的开覆盖必有有限子覆盖，即存在有限个开区间：\[(x_1-\delta_1,x_1+\delta_1), (x_2-\delta_2,x_2+\delta_2), \dots, (x_k-\delta_k,x_k+\delta_k) \]覆盖\([a,b]\)，且\(f\)在每个开区间与\([a,b]\)的交上严格同号。
- 矛盾推导：
不妨设\(a \in (x_1-\delta_1,x_1+\delta_1)\)，则\(f\)在该区间上与\(f(a)\)同号（设为负）；
因开区间覆盖\([a,b]\)，相邻开区间必有交集，交集内的点同时属于两个区间，故\(f\)在第二个区间上也为负；
以此类推，可推得\(f\)在最后一个包含\(b\)的区间上也为负，即\(f(b)<0\)，与\(f(a)f(b)<0\)的条件矛盾。
故反设不成立，定理得证。
定理2.5.1' 推广的零值定理
完整表述
设\(f\)为\([a,b]\)上的连续函数，且\(f(a)f(b) \leq 0\)，则至少存在一点\(\xi \in [a,b]\)，使得\(f(\xi)=0\)。
证明
- 若\(f(a)=0\)，取\(\xi=a\)；若\(f(b)=0\)，取\(\xi=b\)；
- 若\(f(a)f(b) \neq 0\)，则\(f(a)f(b)<0\)，由定理2.5.1，存在\(\xi \in (a,b)\)使得\(f(\xi)=0\)。
综上，结论成立。
\(\square\)
二、介值定理（中间值定理）
定理2.5.2 介值定理
完整表述
设\(f\)为\([a,b]\)上的连续函数，且\(f(a) \neq f(b)\)，则对任意介于\(f(a)\)与\(f(b)\)之间的实数\(r\)（即\(r \in (\min\{f(a),f(b)\}, \max\{f(a),f(b)\})\)），至少存在一点\(\xi \in (a,b)\)，使得\(f(\xi)=r\)。
核心解读
介值定理是零值定理的推广，几何意义是：闭区间上的连续曲线，能取到两个端点函数值之间的所有中间值，不会出现“跳跃”。
严谨证明
- 构造辅助函数：令\(F(x) = f(x) - r\)，则\(F(x)\)是\([a,b]\)上的连续函数（连续函数的四则运算保持连续性）。
- 验证零值定理条件：
不妨设\(f(a) < r < f(b)\)，则\(F(a) = f(a)-r < 0\)，\(F(b) = f(b)-r > 0\)，故\(F(a)F(b) < 0\)。 - 零值定理应用：由定理2.5.1，存在\(\xi \in (a,b)\)，使得\(F(\xi)=0\)，即\(f(\xi)-r=0\)，故\(f(\xi)=r\)。
若\(f(b) < r < f(a)\)，同理可证。
\(\square\)
定理2.5.2' 推广的介值定理
完整表述
设\(f\)为\([a,b]\)上的连续函数，则对任意\(r \in [\min\{f(a),f(b)\}, \max\{f(a),f(b)\}]\)，至少存在一点\(\xi \in [a,b]\)，使得\(f(\xi)=r\)。
证明
- 若\(r = \min\{f(a),f(b)\}=f(a)\)，取\(\xi=a\)；若\(r = \max\{f(a),f(b)\}=f(b)\)，取\(\xi=b\)；
- 若\(r\)介于两者之间，由定理2.5.2，存在\(\xi \in (a,b)\)使得\(f(\xi)=r\)。
综上，结论成立。
\(\square\)
推论2.5.1 连续函数的值域定理
完整表述
设\(f\)为区间\(I\)（开、闭、半开半闭、有限或无限）上的连续函数，则\(f\)的值域\(f(I) = \{ f(x) \mid x \in I \}\)也是一个区间（可退缩为一点，即常值函数）。
证明
- 若\(f\)为常值函数，即\(f(x) \equiv c\)，则\(f(I)=\{c\}\)，是退缩为一点的区间，结论成立。
- 若\(f\)非常值函数，则存在\(y_1,y_2 \in f(I)\)，\(y_1 < y_2\)，即存在\(x_1,x_2 \in I\)使得\(f(x_1)=y_1,f(x_2)=y_2\)。
- 由推广的介值定理，对任意\(r \in [y_1,y_2]\)，存在\(x \in I\)使得\(f(x)=r\)，故\([y_1,y_2] \subset f(I)\)。
- 由\(y_1,y_2\)的任意性，\(f(I)\)中任意两点之间的所有实数都属于\(f(I)\)，因此\(f(I)\)是一个区间。
\(\square\)
核心意义：该推论揭示了连续函数的核心拓扑性质——连续函数将区间映射为区间，是后续积分学、微分方程解的存在性的重要基础。
三、最值定理
定理2.5.3 最值定理
完整表述
设\(f\)为闭区间\([a,b]\)上的连续函数，则\(f\)在\([a,b]\)上必能取到最大值与最小值，即存在\(x_*,x^* \in [a,b]\)，使得：
由此可得，\(f\)在\([a,b]\)上的值域为闭区间：
核心解读
闭区间上的连续函数必有界，且能达到界的最大值与最小值，这是开区间上的连续函数不具备的性质（例如\(f(x)=\frac{1}{x}\)在\((0,1)\)上连续，但无界，也无最大值）。
严谨证明（仅证最大值存在性，最小值同理）
-
有界性证明（前置步骤）：
先证\(f\)在\([a,b]\)上有上界。反设\(f\)在\([a,b]\)上无上界，则对任意正整数\(n\)，存在\(x_n \in [a,b]\)，使得\(f(x_n) > n\)。
数列\(\{x_n\} \subset [a,b]\)是有界数列，根据实数完备性的列紧性定理（Bolzano-Weierstrass定理），有界数列必有收敛子列，即存在子列\(\{x_{n_k}\}\)，使得\(\lim\limits_{k \to \infty} x_{n_k} = x^* \in [a,b]\)。
由\(f\)在\(x^*\)处连续，得\(\lim\limits_{k \to \infty} f(x_{n_k}) = f(x^*)\)，但\(f(x_{n_k}) > n_k \to \infty\)，矛盾。故\(f\)在\([a,b]\)上有上界。 -
最大值存在性证明：
记\(M = \sup_{x \in [a,b]} f(x)\)，由上确界定义，\(M\)是\(f\)的最小上界，且\(M\)为有限数（因\(f\)有上界）。
由上确界的定义，对任意正整数\(n\)，存在\(x_n \in [a,b]\)，使得\(M - \frac{1}{n} < f(x_n) \leq M\)。
数列\(\{x_n\}\)有界，故存在收敛子列\(\{x_{n_k}\}\)，\(\lim\limits_{k \to \infty} x_{n_k} = x^* \in [a,b]\)。
由\(f\)在\(x^*\)处连续，结合夹逼定理：\[\lim\limits_{k \to \infty} \left( M - \frac{1}{n_k} \right) \leq \lim\limits_{k \to \infty} f(x_{n_k}) = f(x^*) \leq M \]左边极限为\(M\)，故\(f(x^*)=M\)，即\(f\)在\(x^*\)处取到最大值\(M\)。
-
最小值存在性：
令\(g(x) = -f(x)\)，则\(g(x)\)在\([a,b]\)上连续，故\(g(x)\)有最大值\(M'\)，即存在\(x_* \in [a,b]\)使得\(g(x_*)=M'\)，则\(f(x_*) = -g(x_*) = -M' = \min_{x \in [a,b]} f(x)\)，最小值存在。
\(\square\)
四、核心定理的适用边界与高频易错点
1. 闭区间的必要性
所有定理的核心前提是闭区间\([a,b]\)和函数在闭区间上连续，两个条件缺一不可：
- 反例1：\(f(x)=\frac{1}{x}\)在开区间\((0,1)\)上连续，但无界，无最大值，不满足最值定理；
- 反例2：\(f(x)=\begin{cases}x, & 0 \leq x < 1 \\ 0, & x=1\end{cases}\)在\([0,1]\)上不连续，\(f(0)f(1)=0\)，但在\((0,1)\)内\(f(x)\)恒不为0，不满足零值定理；
- 反例3：\(f(x)=x\)在开区间\((0,1)\)上连续，值域为\((0,1)\)，是区间，满足值域定理，但无最值，不满足最值定理。
2. 连续性的必要性
若函数在闭区间上有间断点，定理可能不成立：
- 反例：\(f(x)=\begin{cases}-1, & x \in [0,1) \\ 1, & x \in [1,2]\end{cases}\)在\([0,2]\)上有间断点\(x=1\)，\(f(0)=-1,f(2)=1\)，但不存在\(\xi \in (0,2)\)使得\(f(\xi)=0\)，不满足零值定理。
五、梯度化配套例题
【基础巩固题】
- 难度层级：基础，适配本科期末备考
- 考察核心知识点：零值定理的基础应用、根的存在性判定
- 题干：证明方程\(x^3 - 4x^2 + 1 = 0\)在区间\((0,1)\)内至少有一个实根。
完整解析
- 构造辅助函数：令\(f(x) = x^3 - 4x^2 + 1\)，该函数是多项式，在\(\mathbb{R}\)上处处连续，因此在闭区间\([0,1]\)上连续。
- 计算端点函数值：
\(f(0) = 0 - 0 + 1 = 1 > 0\)，\(f(1) = 1 - 4 + 1 = -2 < 0\)，故\(f(0)f(1) = -2 < 0\)。 - 零值定理应用：由零值定理，存在\(\xi \in (0,1)\)，使得\(f(\xi)=0\)，即\(\xi^3 - 4\xi^2 + 1 = 0\)，因此方程在\((0,1)\)内至少有一个实根。
【进阶综合题】
- 难度层级：进阶，适配考研数学备考
- 考察核心知识点：介值定理、最值定理的综合应用
- 题干：设\(f(x)\)在\([a,b]\)上连续，\(x_1,x_2,\dots,x_n \in [a,b]\)，证明：存在\(\xi \in [a,b]\)，使得\(f(\xi) = \frac{f(x_1)+f(x_2)+\dots+f(x_n)}{n}\)。
完整解析
- 最值定理应用：\(f(x)\)在\([a,b]\)上连续，由最值定理，\(f\)在\([a,b]\)上存在最小值\(m\)和最大值\(M\)，即对任意\(x_i \in [a,b]\)，有\(m \leq f(x_i) \leq M\)。
- 不等式放缩：对\(i=1,2,\dots,n\)求和，得：\[n \cdot m \leq f(x_1)+f(x_2)+\dots+f(x_n) \leq n \cdot M \]两边除以\(n\)，得：\[m \leq \frac{f(x_1)+f(x_2)+\dots+f(x_n)}{n} \leq M \]
- 介值定理应用：记\(r = \frac{f(x_1)+\dots+f(x_n)}{n}\)，则\(r \in [m,M]\)。由推广的介值定理，存在\(\xi \in [a,b]\)，使得\(f(\xi)=r\)，结论得证。
【科研拓展题】
- 难度层级：科研入门，适配数学专业分析学进阶
- 考察核心知识点：零值定理、不动点定理
- 题干：设\(f(x)\)在\([0,1]\)上连续，且\(f([0,1]) \subset [0,1]\)，证明：存在\(\xi \in [0,1]\)，使得\(f(\xi)=\xi\)（该点称为\(f\)的不动点）。
完整解析
- 构造辅助函数：令\(F(x) = f(x) - x\)，由\(f(x)\)在\([0,1]\)上连续，得\(F(x)\)在\([0,1]\)上连续。
- 端点值分析：
由\(f([0,1]) \subset [0,1]\)，得\(f(0) \geq 0\)，故\(F(0)=f(0)-0 \geq 0\)；
同时\(f(1) \leq 1\)，故\(F(1)=f(1)-1 \leq 0\)。 - 推广的零值定理应用：\(F(0)F(1) \leq 0\)，故存在\(\xi \in [0,1]\)，使得\(F(\xi)=0\)，即\(f(\xi)=\xi\)，不动点存在。
核心意义：该结论是一维Brouwer不动点定理的特殊情形，是泛函分析、微分方程解的存在性理论的基础。
六、核心知识点归纳总结表
| 定理名称 | 核心表述 | 核心前提 | 核心应用 | 适用边界 |
|---|---|---|---|---|
| 零值定理（Bolzano） | \([a,b]\)上连续，\(f(a)f(b)<0\)，则\(\exists \xi \in (a,b)\)使\(f(\xi)=0\) | 闭区间\([a,b]\)、函数在闭区间上连续 | 方程根的存在性判定、不动点证明 | 开区间、间断函数不保证成立 |
| 介值定理 | \([a,b]\)上连续，\(f(a)≠f(b)\)，则对任意中间值\(r\)，\(\exists \xi \in (a,b)\)使\(f(\xi)=r\) | 闭区间\([a,b]\)、函数在闭区间上连续 | 证明连续函数能取到中间值、值域分析 | 仅对连续函数成立，间断函数可能跳过中间值 |
| 最值定理 | \([a,b]\)上连续函数必能取到最大值与最小值，值域为闭区间\([m,M]\) | 闭区间\([a,b]\)、函数在闭区间上连续 | 函数有界性判定、最值存在性证明 | 开区间上的连续函数可能无界、无最值 |
| 值域定理 | 区间上的连续函数的值域必为区间 | 函数在区间\(I\)上连续（区间可开可闭） | 连续函数的拓扑性质分析、映射性质研究 | 非区间定义域、间断函数不满足 |
闭区间连续函数性质的经典例题 系统解析
本节是零值定理、介值定理、最值定理的核心落地应用，覆盖不动点存在性、方程根的判定、加权平均值、函数有界性拓展四大类高频题型，是本科数学分析期末考、考研数学证明题的核心考点，所有解析均标注定理依据，提炼通用解题方法。
例2.5.1 一维不动点存在定理（Brouwer不动点定理特例）
题干
设\(f\)在\([a,b]\)上连续，且满足\(a \leq f(x) \leq b\)对\(\forall x \in [a,b]\)成立（即\(f([a,b]) \subset [a,b]\)），则\(\exists \xi \in [a,b]\)，使得\(f(\xi)=\xi\)，称\(\xi\)为\(f\)的不动点。
核心考点
推广的零值定理、连续函数的四则运算保连续性
完整证明
- 构造辅助函数：令\(F(x) = f(x) - x\)。
因\(f(x)\)在\([a,b]\)上连续，\(y=x\)是连续函数，由连续函数的四则运算法则，\(F(x)\)在\([a,b]\)上连续。 - 验证端点符号：
由\(f(a) \geq a\)，得\(F(a) = f(a) - a \geq 0\)；
由\(f(b) \leq b\)，得\(F(b) = f(b) - b \leq 0\)。
因此\(F(a)F(b) \leq 0\)，满足推广的零值定理条件。 - 定理应用：由推广的零值定理，\(\exists \xi \in [a,b]\)，使得\(F(\xi)=0\)，即\(f(\xi)-\xi=0\)，故\(f(\xi)=\xi\)，不动点存在。
\(\square\)
题后总结
- 核心意义：该定理是拓扑学中Brouwer不动点定理的一维特例，是泛函分析、微分方程解的存在性理论的基础，核心逻辑是“连续映射将闭区间映射到自身，必存在点映射到自身”。
- 解题通法：不动点问题的通用处理方法是构造辅助函数\(F(x)=f(x)-x\)，将不动点存在性转化为方程\(F(x)=0\)的根的存在性，再用零值定理证明。
- 拓展：若将条件加强为\(f\)在\([a,b]\)上可导，且\(|f'(x)| < 1\)，则不动点唯一。
例2.5.2 方程根的存在性判定
题干
证明：方程\(2^x = 4x\)在\(\left(0,\frac{1}{2}\right)\)中有根。
核心考点
零值定理的直接应用、初等函数的连续性
完整证明
- 构造辅助函数：令\(f(x) = 2^x - 4x\)。
\(2^x\)是指数函数，\(4x\)是多项式，均为初等函数，由初等函数在定义域内处处连续，得\(f(x)\)在\(\left[0,\frac{1}{2}\right]\)上连续。 - 计算端点函数值：
\(f(0) = 2^0 - 4 \cdot 0 = 1 > 0\)；
\(f\left(\frac{1}{2}\right) = 2^{\frac{1}{2}} - 4 \cdot \frac{1}{2} = \sqrt{2} - 2 < 0\)。
因此\(f(0)f\left(\frac{1}{2}\right) < 0\)，满足零值定理条件。 - 定理应用：由零值定理，\(\exists \xi \in \left(0,\frac{1}{2}\right)\)，使得\(f(\xi)=0\)，即\(2^\xi = 4\xi\)，故方程在\(\left(0,\frac{1}{2}\right)\)内有根。
\(\square\)
题后总结
- 解题通法：方程根的存在性证明的通用步骤：
① 移项构造辅助函数\(f(x)=\)左边\(-\)右边，将方程根转化为\(f(x)=0\)的零点；
② 验证\(f(x)\)在闭区间上的连续性；
③ 计算区间端点函数值，验证异号；
④ 应用零值定理得出结论。 - 高频易错点：忽略闭区间的连续性验证，或端点函数值计算错误导致符号判断失误。
例2.5.3 加权平均值定理
题干
设\(f\)在\([a,b]\)上连续，\(x_1,x_2,\dots,x_m \in [a,b]\)，\(\lambda_1,\lambda_2,\dots,\lambda_m > 0\)，且\(\sum_{i=1}^m \lambda_i = 1\)，则\(\exists \xi \in [\min\{x_i\}, \max\{x_i\}] \subset [a,b]\)，使得
特别地，\(\exists \xi \in [a,b]\)，使得\(f(\xi) = \frac{f(a)+f(b)}{2}\)（算术平均特例）。
核心考点
最值定理、介值定理的综合应用
完整证明
- 最值定理应用：记\(I = [\min\{x_1,\dots,x_m\}, \max\{x_1,\dots,x_m\}]\)，\(f\)在\([a,b]\)上连续，故在闭子区间\(I\)上也连续。
由最值定理，\(f\)在\(I\)上存在最小值\(m\)和最大值\(M\)，即对\(\forall x_i\)，有\(m \leq f(x_i) \leq M\)。 - 加权和的放缩：
因\(\lambda_i > 0\)且\(\sum_{i=1}^m \lambda_i=1\)，对不等式两边乘\(\lambda_i\)并求和，得：\[m = \sum_{i=1}^m \lambda_i m \leq \sum_{i=1}^m \lambda_i f(x_i) \leq \sum_{i=1}^m \lambda_i M = M \] - 介值定理应用：
记\(r = \sum_{i=1}^m \lambda_i f(x_i)\)，则\(r \in [m,M]\)。由推广的介值定理，\(\exists \xi \in I \subset [a,b]\)，使得\(f(\xi)=r\)，结论得证。
特别地，取\(m=2\)，\(\lambda_1=\lambda_2=\frac{1}{2}\)，即得\(f(\xi)=\frac{f(a)+f(b)}{2}\)。
\(\square\)
题后总结
- 核心意义：该定理揭示了闭区间上的连续函数，必能取到任意有限个点函数值的加权平均值，是积分中值定理的离散版本。
- 解题通法：平均值类证明题的通用思路：先通过最值定理确定函数值的上下界，再对目标式做放缩，证明其落在上下界之间，最后用介值定理完成证明。
例2.5.4 奇次实系数多项式必有实根
题干
证明：实系数奇次多项式\(P(x) = x^{2n+1} + a_1 x^{2n} + \dots + a_{2n}x + a_{2n+1}\)必有实根。
核心考点
无穷极限的保号性、零值定理、多项式的连续性
完整证明
- 无穷极限分析：
对\(P(x)\)提取最高次项，得：\[P(x) = x^{2n+1} \left( 1 + \frac{a_1}{x} + \dots + \frac{a_{2n+1}}{x^{2n+1}} \right) \]当\(x \to +\infty\)时，括号内的项趋于1，故\(\lim\limits_{x \to +\infty} P(x) = +\infty\)；
当\(x \to -\infty\)时，\(2n+1\)是奇数，\(x^{2n+1} \to -\infty\)，括号内趋于1，故\(\lim\limits_{x \to -\infty} P(x) = -\infty\)。 - 闭区间构造：
由无穷极限的保号性，\(\exists \Delta > 0\)，使得：- 当\(x > \Delta\)时，\(P(x) > 1 > 0\)，取\(b=\Delta+1\)，则\(P(b) > 0\)；
- 当\(x < -\Delta\)时，\(P(x) < -1 < 0\)，取\(a=-\Delta-1\)，则\(P(a) < 0\)。
- 零值定理应用：
\(P(x)\)是多项式，为初等函数，在\(\mathbb{R}\)上处处连续，故在\([a,b]\)上连续，且\(P(a) < 0\)，\(P(b) > 0\)。
由零值定理，\(\exists \xi \in (a,b)\)，使得\(P(\xi)=0\)，即奇次多项式必有实根。
\(\square\)
题后总结
- 核心结论：该定理是代数学基本定理的特例，揭示了奇次实系数多项式在实数域上至少有一个根，而偶次多项式可能无实根（如\(x^2+1=0\)）。
- 解题通法：无穷区间上的根的存在性问题，通用思路是通过无穷极限的保号性，找到一个有限闭区间，使得端点函数值异号，再在闭区间上应用零值定理。
例2.5.5 超越方程无穷多根的证明
题干
证明：方程\(\tan x = x\)有无穷个根。
核心考点
零值定理在分段区间上的应用、三角函数的极限性质
完整证明
- 定义域与辅助函数构造：
令\(f(x) = \tan x - x\)，其定义域为\(x \neq k\pi + \frac{\pi}{2}, k \in \mathbb{Z}\)，在每个开区间\(I_k = \left(k\pi - \frac{\pi}{2}, k\pi + \frac{\pi}{2}\right)\)内，\(\tan x\)是初等函数，故\(f(x)\)在\(I_k\)内连续。 - 分段区间的极限分析：
对任意固定的整数\(k\)，在区间\(I_k\)内：- 当\(x \to \left(k\pi + \frac{\pi}{2}\right)^-\)时，\(\tan x \to +\infty\)，故\(\lim\limits_{x \to (k\pi+\frac{\pi}{2})^-} (\tan x - x) = +\infty\)；
- 当\(x \to \left(k\pi - \frac{\pi}{2}\right)^+\)时，\(\tan x \to -\infty\)，故\(\lim\limits_{x \to (k\pi-\frac{\pi}{2})^+} (\tan x - x) = -\infty\)。
- 零值定理的分段应用：
由极限的保号性，对每个\(k \in \mathbb{Z}\)，存在\(a_k, b_k\)满足\(k\pi - \frac{\pi}{2} < a_k < b_k < k\pi + \frac{\pi}{2}\)，使得\(f(a_k) < 0\)，\(f(b_k) > 0\)。
\(f(x)\)在\([a_k,b_k]\)上连续，由零值定理，\(\exists \xi_k \in (a_k,b_k) \subset I_k\)，使得\(f(\xi_k)=0\)，即\(\tan \xi_k = \xi_k\)。 - 无穷多根的结论：
每个区间\(I_k\)内都存在一个根，而\(k\)可取任意整数，有无穷多个，因此方程\(\tan x = x\)有无穷个根。
\(\square\)
题后总结
- 解题通法：证明方程有无穷多根的通用思路：将定义域划分为无穷个互不相交的区间，在每个区间内验证零值定理的条件，证明每个区间内至少有一个根，从而得到无穷多根。
- 几何意义：该结论的几何本质是正切函数\(y=\tan x\)的图像与直线\(y=x\)在每个周期区间内都有一个交点。
例2.5.6 开区间连续函数的有界性判定
题干
设函数\(f\)在开区间\((a,b)\)上连续，且单侧极限\(f(a^+)\)、\(f(b^-)\)都存在且有限，则\(f\)在\((a,b)\)上有界。
核心考点
最值定理、连续函数的延拓技巧
完整证明（两种证法）
证法1 闭区间延拓法（通用技巧）
- 构造延拓函数：定义闭区间\([a,b]\)上的函数：\[\tilde{f}(x) = \begin{cases} f(x), & x \in (a,b) \\ f(a^+), & x=a \\ f(b^-), & x=b \end{cases}\]
- 验证延拓函数的连续性：
- 在\((a,b)\)内，\(\tilde{f}(x)=f(x)\)，故连续；
- 在\(x=a\)处，\(\lim\limits_{x \to a^+} \tilde{f}(x) = \lim\limits_{x \to a^+} f(x) = f(a^+) = \tilde{f}(a)\)，故右连续；
- 在\(x=b\)处，\(\lim\limits_{x \to b^-} \tilde{f}(x) = \lim\limits_{x \to b^-} f(x) = f(b^-) = \tilde{f}(b)\)，故左连续。
因此\(\tilde{f}(x)\)在闭区间\([a,b]\)上连续。
- 最值定理应用：
由最值定理，\(\tilde{f}(x)\)在\([a,b]\)上有界，即存在常数\(M>0\)，使得\(|\tilde{f}(x)| \leq M\)对\(\forall x \in [a,b]\)成立。
对\(\forall x \in (a,b)\)，\(f(x)=\tilde{f}(x)\)，故\(|f(x)| \leq M\)，即\(f\)在\((a,b)\)上有界。
\(\square\)
证法2 分段有界法
- 端点附近的有界性：
由\(f(a^+)\)存在有限，根据函数极限的局部有界性，\(\exists \delta_1>0\)，使得\(f(x)\)在\((a,a+\delta_1)\)内有界，即\(|f(x)| \leq M_1\)；
同理，由\(f(b^-)\)存在有限，\(\exists \delta_2>0\)，使得\(f(x)\)在\((b-\delta_2,b)\)内有界，即\(|f(x)| \leq M_2\)。 - 中间闭区间的有界性：
取\(\delta = \min\{\delta_1,\delta_2, \frac{b-a}{2}\}\)，则\(f(x)\)在闭区间\([a+\delta, b-\delta]\)上连续，由最值定理，\(f(x)\)在该区间上有界，即\(|f(x)| \leq M_3\)。 - 整体有界性：
取\(M = \max\{M_1,M_2,M_3\}\)，则对\(\forall x \in (a,b)\)，\(|f(x)| \leq M\)，故\(f\)在\((a,b)\)上有界。
\(\square\)
题后总结
- 核心技巧：开区间连续+端点单侧极限存在的问题，通用处理方法是闭区间延拓，将开区间上的函数延拓为闭区间上的连续函数，再应用闭区间上的连续函数性质。
- 拓展结论：满足该条件的函数，不仅有界，还能取到介于\(f(a^+)\)和\(f(b^-)\)之间的所有值。
例2.5.7 无穷区间连续函数的有界性与最值性
题干
设\(f\)在\((-\infty,+\infty)\)上连续，且\(\lim\limits_{x \to \infty} f(x) = a\)存在有限，则：
- \(f\)在\((-\infty,+\infty)\)上有界；
- \(f\)在\((-\infty,+\infty)\)上必能达到最大值或最小值。
核心考点
无穷极限的保号性、最值定理、闭区间延拓思想
完整证明
（1）有界性证明
- 由\(\lim\limits_{x \to \infty} f(x) = a\)，根据无穷极限的定义，对\(\varepsilon_0=1\)，\(\exists \Delta > 0\)，当\(|x| > \Delta\)时，有\(|f(x)-a| < 1\)。
- 由三角不等式，得\(|f(x)| \leq |f(x)-a| + |a| < 1 + |a|\)，即\(f(x)\)在\(|x| > \Delta\)时有界。
- \(f(x)\)在闭区间\([-\Delta, \Delta]\)上连续，由最值定理，\(f(x)\)在\([-\Delta, \Delta]\)上有界，即存在\(M_1>0\)，使得\(|f(x)| \leq M_1\)对\(\forall x \in [-\Delta, \Delta]\)成立。
- 取\(M = \max\{M_1, 1+|a|\}\)，则对\(\forall x \in (-\infty,+\infty)\)，\(|f(x)| \leq M\)，故\(f\)在\(\mathbb{R}\)上有界。
（2）最值性证明
- 若\(f(x) \equiv a\)为常值函数，则\(f(x)\)在任意点都达到最大值和最小值\(a\)，结论成立。
- 若\(f(x)\)不恒为\(a\)，则\(\exists x_0 \in \mathbb{R}\)，使得\(f(x_0) \neq a\)，分两种情况讨论：
- 情况1：\(f(x_0) < a\)
取\(\varepsilon_0 = a - f(x_0) > 0\)，由\(\lim\limits_{x \to \infty} f(x)=a\)，\(\exists \Delta > |x_0|\)，当\(|x| > \Delta\)时，\(f(x) > a - \varepsilon_0 = f(x_0)\)。
\(f(x)\)在闭区间\([-\Delta, \Delta]\)上连续，由最值定理，存在\(x_* \in [-\Delta, \Delta]\)，使得\(f(x_*) = \min\limits_{x \in [-\Delta, \Delta]} f(x) \leq f(x_0)\)。
而当\(|x| > \Delta\)时，\(f(x) > f(x_0) \geq f(x_*)\)，因此\(f(x_*)\)是\(f(x)\)在\(\mathbb{R}\)上的最小值，即\(f\)能达到最小值。 - 情况2：\(f(x_0) > a\)
同理可证，存在\(x^* \in \mathbb{R}\)，使得\(f(x^*)\)是\(f(x)\)在\(\mathbb{R}\)上的最大值，即\(f\)能达到最大值。
- 情况1：\(f(x_0) < a\)
- 综上，\(f\)在\(\mathbb{R}\)上必能达到最大值或最小值。
\(\square\)
题后总结
- 核心意义：该定理是闭区间上最值定理在无穷区间的推广，揭示了“无穷远处极限存在的连续函数，在全空间上必有界，且至少能取到一个最值”。
- 解题通法：无穷区间上的连续函数性质问题，通用思路是通过无穷极限的保号性，将无穷区间分为“有限闭区间”和“无穷远处的邻域”两部分，分别分析性质，再整合得到整体结论。
核心解题方法归纳总结表
| 题型分类 | 核心定理 | 通用解题步骤 | 高频易错点 |
|---|---|---|---|
| 不动点存在性证明 | 零值定理 | 1. 构造辅助函数\(F(x)=f(x)-x\)；2. 验证\(F(x)\)在闭区间上连续；3. 验证端点符号满足\(F(a)F(b) \leq 0\)；4. 应用零值定理 | 辅助函数构造错误，忽略\(f([a,b]) \subset [a,b]\)的条件 |
| 方程根的存在性判定 | 零值定理 | 1. 移项构造辅助函数\(f(x)=\)左\(-\)右；2. 验证闭区间连续性；3. 计算端点函数值，验证异号；4. 应用零值定理 | 忽略连续性验证，端点符号计算错误 |
| 平均值类证明题 | 最值定理+介值定理 | 1. 确定函数在闭区间上的最值\(m,M\)；2. 对目标式放缩，证明其落在\([m,M]\)内；3. 应用介值定理 | 放缩过度，导致目标式超出最值范围 |
| 开区间连续函数的有界性 | 最值定理+闭区间延拓 | 1. 将开区间上的函数延拓为闭区间上的连续函数；2. 应用最值定理证明延拓函数有界；3. 得到原函数的有界性 | 忽略端点单侧极限存在的前提，直接对开区间应用最值定理 |
| 无穷区间连续函数的性质 | 极限保号性+最值定理 | 1. 利用无穷极限的保号性，找到有限闭区间；2. 在闭区间上应用连续函数性质；3. 结合无穷邻域的性质，整合得到整体结论 | 无穷极限的保号性应用错误，闭区间选取不当 |
| 无穷多根的证明 | 零值定理分段应用 | 1. 将定义域划分为无穷个互不相交的区间；2. 在每个区间内验证零值定理条件；3. 每个区间内至少一个根，得到无穷多根 | 区间划分错误，未保证每个区间内端点函数值异号 |
一致连续性 系统讲解
本节是闭区间连续函数性质的收官内容，核心是一致连续性的概念，它刻画了函数在区间上的“整体连续”性质，区别于逐点的“局部连续”，是后续黎曼积分、函数项级数一致收敛的核心基础。
一、一致连续的核心定义
定义2.5.1 一致连续（均匀连续）
设\(X \subseteq \mathbb{R}\)，\(f:X \to \mathbb{R}\)为一元函数。若对\(\forall \varepsilon>0\)，\(\exists \delta=\delta(\varepsilon)>0\)（\(\delta\)仅与\(\varepsilon\)有关，与\(X\)中的点\(x\)无关），使得对任意\(x',x'' \in X\)，只要\(|x'-x''| < \delta\)，就有
则称\(f\)在\(X\)上一致连续。
关键对比：逐点连续 vs 一致连续
| 性质 | 逐点连续（在\(X\)上连续） | 一致连续（在\(X\)上一致连续） |
|---|---|---|
| \(\delta\)的依赖性 | \(\delta = \delta(\varepsilon, x_0)\)，依赖于\(\varepsilon\)和点\(x_0\) | \(\delta = \delta(\varepsilon)\)，仅依赖于\(\varepsilon\)，与点的位置无关 |
| 性质本质 | 局部性质：描述函数在每一点附近的连续性 | 整体性质：描述函数在整个区间上的“均匀连续性”，区间上任意两点足够近，函数值就足够近 |
| 逻辑关系 | 一致连续\(\implies\)逐点连续 | 逐点连续\(\nRightarrow\)一致连续 |
二、连续与一致连续的蕴含关系
定理2.5.4 一致连续与连续的关系
-
一致连续必逐点连续：若\(f\)在\(X\)上一致连续，则\(f\)在\(X\)上逐点连续。
证明：对任意\(x_0 \in X\)，在一致连续的定义中取\(x'=x\)，\(x''=x_0\)，则当\(|x-x_0|<\delta\)时，\(|f(x)-f(x_0)|<\varepsilon\)，完全符合逐点连续的定义。 -
逐点连续不一定一致连续：函数在区间上逐点连续，无法推出一致连续。
经典反例：\(f(x)=\frac{1}{x}\)在开区间\((0,1)\)上处处连续，但不一致连续。
反例的三种严谨证法
证法1 反证法+极限矛盾
- 反设\(f(x)=\frac{1}{x}\)在\((0,1)\)上一致连续，则对\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(x',x'' \in (0,1)\)且\(|x'-x''|<\delta\)时，\(\left|\frac{1}{x'} - \frac{1}{x''}\right| < \varepsilon\)。
- 取\(x''=\frac{\delta}{2} \in (0,\delta)\)，令\(x' \to 0^+\)，此时\(|x'-x''| < \delta\)，但\(\left|\frac{1}{x'} - \frac{2}{\delta}\right| \to +\infty\)，与小于\(\varepsilon\)矛盾。
- 故反设不成立，\(f(x)\)在\((0,1)\)上不一致连续。
证法2 取定ε0的直接验证
- 取\(\varepsilon_0=1\)，对任意\(\delta \in (0,\frac{1}{2})\)，取\(x'=\frac{\delta}{2}\)，\(x''=\delta\)，满足\(|x'-x''|=\frac{\delta}{2} < \delta\)。
- 计算函数值差：\(\left|\frac{1}{x'} - \frac{1}{x''}\right| = \left|\frac{2}{\delta} - \frac{1}{\delta}\right| = \frac{1}{\delta} > 2 > 1 = \varepsilon_0\)。
- 即存在固定的\(\varepsilon_0=1\)，对任意\(\delta>0\)，都能找到距离小于\(\delta\)但函数值差大于\(\varepsilon_0\)的两点，不符合一致连续定义，故不一致连续。
证法3 序列判定法（定理2.5.8的应用）
- 取序列\(x_n'=\frac{1}{n}\)，\(x_n''=\frac{1}{n+1}\)，显然\(x_n',x_n'' \in (0,1)\)。
- 两点距离：\(|x_n' - x_n''| = \frac{1}{n(n+1)} \to 0 \ (n \to \infty)\)。
- 函数值差：\(|f(x_n') - f(x_n'')| = |n - (n+1)| = 1 \nrightarrow 0 \ (n \to \infty)\)。
- 根据定理2.5.8，\(f(x)\)在\((0,1)\)上不一致连续。
三、核心定理：Cantor一致连续性定理
定理2.5.5 Cantor定理
有界闭区间\([a,b]\)上的连续函数，必在\([a,b]\)上一致连续。
该定理是本节的核心，揭示了闭区间的紧性可以将函数的“局部连续”提升为“整体一致连续”，是闭区间连续函数最核心的整体性质之一。下面给出三种基于实数完备性的经典证法。
证法1 反证法+列紧性定理（Bolzano-Weierstrass定理）
- 反设：\(f\)在\([a,b]\)上连续，但不一致连续。
根据一致连续的否定定义：\(\exists \varepsilon_0>0\)，对\(\forall n \in \mathbb{N}^+\)，存在\(x_n',x_n'' \in [a,b]\)，满足\(|x_n' - x_n''| < \frac{1}{n}\)，但\(|f(x_n') - f(x_n'')| \geq \varepsilon_0\)。 - 列紧性应用：数列\(\{x_n'\} \subset [a,b]\)是有界数列，由列紧性定理，存在收敛子列\(\{x_{n_k}'\}\)，使得\(\lim\limits_{k \to \infty} x_{n_k}' = x_0 \in [a,b]\)。
- 子列收敛性：由\(|x_{n_k}' - x_{n_k}''| < \frac{1}{n_k} \to 0 \ (k \to \infty)\)，得\(\lim\limits_{k \to \infty} x_{n_k}'' = x_0\)。
- 连续性与矛盾：由\(f\)在\(x_0\)处连续，得\(\lim\limits_{k \to \infty} f(x_{n_k}') = f(x_0)\)，\(\lim\limits_{k \to \infty} f(x_{n_k}'') = f(x_0)\)，因此\(\lim\limits_{k \to \infty} |f(x_{n_k}') - f(x_{n_k}'')| = 0\)，与\(|f(x_{n_k}') - f(x_{n_k}'')| \geq \varepsilon_0\)矛盾。
- 故反设不成立，\(f\)在\([a,b]\)上一致连续。
证法2 有限覆盖定理
- 局部邻域构造：\(f\)在\([a,b]\)上连续，对\(\forall \varepsilon>0\)，\(\forall x \in [a,b]\)，\(\exists \delta_x>0\)，当\(u \in (x-\delta_x, x+\delta_x) \cap [a,b]\)时，\(|f(u)-f(x)| < \frac{\varepsilon}{2}\)。
因此对任意\(x',x'' \in (x-\delta_x, x+\delta_x) \cap [a,b]\)，由三角不等式得：\[|f(x')-f(x'')| \leq |f(x')-f(x)| + |f(x'')-f(x)| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon \] - 开覆盖构造：所有开区间\(\mathscr{J} = \left\{ \left(x-\frac{\delta_x}{2}, x+\frac{\delta_x}{2}\right) \mid x \in [a,b] \right\}\)构成\([a,b]\)的一个开覆盖。
- 有限覆盖定理应用：由有限覆盖定理，存在有限子覆盖：\[\mathscr{J}_1 = \left\{ \left(x_k - \frac{\delta_{x_k}}{2}, x_k + \frac{\delta_{x_k}}{2}\right) \mid k=1,2,\dots,n \right\} \]
- 统一δ的选取：令\(\delta = \min\left\{ \frac{\delta_{x_k}}{2} \mid k=1,2,\dots,n \right\} > 0\)。
对任意\(x',x'' \in [a,b]\)，若\(|x'-x''| < \delta\)，则存在\(k\)使得\(x' \in \left(x_k - \frac{\delta_{x_k}}{2}, x_k + \frac{\delta_{x_k}}{2}\right)\)。
此时\(|x'' - x_k| \leq |x''-x'| + |x'-x_k| < \delta + \frac{\delta_{x_k}}{2} \leq \delta_{x_k}\)，即\(x'' \in (x_k - \delta_{x_k}, x_k + \delta_{x_k})\)。 - 由第一步的结论，\(|f(x')-f(x'')| < \varepsilon\)，符合一致连续的定义，故\(f\)在\([a,b]\)上一致连续。
证法3 Lebesgue数定理法
- 同证法2，构造开覆盖\(\tilde{\mathscr{J}} = \{ (x-\delta_x, x+\delta_x) \mid x \in [a,b] \}\)，其中\(\delta_x\)满足：当\(u \in (x-\delta_x, x+\delta_x)\)时，\(|f(u)-f(x)| < \frac{\varepsilon}{2}\)。
- 由Lebesgue数定理（定理2.5.6），该开覆盖存在Lebesgue数\(\lambda>0\)，即对任意\(x',x'' \in [a,b]\)，若\(|x'-x''| < \lambda\)，则存在开区间\(I \in \tilde{\mathscr{J}}\)，使得\(x',x'' \in I\)。
- 取\(\delta=\lambda\)，则当\(|x'-x''| < \delta\)时，\(x',x''\)属于同一个开区间\((x-\delta_x, x+\delta_x)\)，因此\(|f(x')-f(x'')| < \varepsilon\)，故\(f\)在\([a,b]\)上一致连续。
四、辅助定理：Lebesgue数定理
定理2.5.6 Lebesgue数定理
设\(\mathscr{J}\)为有界闭区间\([a,b]\)的一个开覆盖，则必存在数\(\lambda=\lambda(\mathscr{J})>0\)，使得当集合\(A \subset [a,b]\)的直径\(d(A) = \sup\{ |x'-x''| \mid x',x'' \in A \} < \lambda\)时，必有开区间\(I \in \mathscr{J}\)，使得\(A \subset I\)。称\(\lambda\)为开覆盖\(\mathscr{J}\)的一个Lebesgue数。
核心意义
Lebesgue数定理是紧集（有界闭区间）的核心性质：紧集的任意开覆盖都存在统一的“最小长度”，只要集合的直径小于这个长度，就一定被覆盖中的某个开区间完全包含，是连接函数局部性质与整体性质的关键桥梁。
五、开区间上一致连续的充要条件
定理2.5.7 开区间一致连续的等价刻画
函数\(f\)在开区间\((a,b)\)上一致连续的充要条件是：\(f\)可以延拓为闭区间\([a,b]\)上的连续函数\(\tilde{f}\)，即\(\tilde{f}|_{(a,b)} = f\)。
完整证明
充分性（\(\Leftarrow\)）
若\(f\)可延拓为\([a,b]\)上的连续函数\(\tilde{f}\)，由Cantor定理，\(\tilde{f}\)在\([a,b]\)上一致连续，因此在子区间\((a,b)\)上也一致连续，即\(f\)在\((a,b)\)上一致连续。
必要性（\(\Rightarrow\)）
设\(f\)在\((a,b)\)上一致连续，需证明端点的单侧极限存在，从而构造延拓函数。
- 证明左端点右极限\(f(a^+)\)存在有限：
任取数列\(\{x_n\} \subset (a,b)\)，\(x_n \to a^+\)，则\(\{x_n\}\)是Cauchy列（基本列）。
由\(f\)一致连续，对\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(|x'-x''|<\delta\)时，\(|f(x')-f(x'')|<\varepsilon\)。
因\(\{x_n\}\)是Cauchy列，\(\exists N \in \mathbb{N}\)，当\(m,n>N\)时，\(|x_m - x_n| < \delta\)，故\(|f(x_m)-f(x_n)| < \varepsilon\)，即\(\{f(x_n)\}\)是Cauchy列。
由Cauchy收敛准则，\(\{f(x_n)\}\)收敛。
对任意两个趋于\(a^+\)的数列\(\{x_n\},\{y_n\}\)，可构造交错数列\(x_1,y_1,x_2,y_2,\dots\)，其对应的函数值数列也收敛，故\(\lim\limits_{n \to \infty} f(x_n) = \lim\limits_{n \to \infty} f(y_n)\)，即右极限\(f(a^+)\)存在有限。 - 同理可证：右端点左极限\(f(b^-)\)存在有限。
- 构造延拓函数：\[\tilde{f}(x) = \begin{cases} f(a^+), & x=a \\ f(x), & x \in (a,b) \\ f(b^-), & x=b \end{cases}\]显然\(\tilde{f}\)在\([a,b]\)上连续，且是\(f\)的延拓，必要性得证。
\(\square\)
核心推论
开区间\((a,b)\)上的连续函数\(f\)一致连续的充要条件是：端点的单侧极限\(f(a^+)\)和\(f(b^-)\)都存在有限。
- 反例验证：\(f(x)=\frac{1}{x}\)在\((0,1)\)上，\(f(0^+)=+\infty\)不存在，故不一致连续，与之前的结论一致。
- 正例：\(f(x)=x\sin\frac{1}{x}\)在\((0,1)\)上，\(f(0^+)=0\)、\(f(1^-)=\sin1\)均存在有限，故一致连续。
六、一致连续的序列判定准则
定理2.5.8 一致连续的序列刻画
设\(f:X \to \mathbb{R}\)为一元函数，则\(f\)在\(X\)上不一致连续的充要条件是：存在序列\(x_n',x_n'' \in X\)，满足\(\lim\limits_{n \to \infty} |x_n' - x_n''| = 0\)，但\(\lim\limits_{n \to \infty} |f(x_n') - f(x_n'')| \neq 0\)（极限不存在或极限非零）。
核心应用
该定理是证明函数不一致连续的最常用方法，只需构造两个距离趋于0的序列，使得函数值差不趋于0即可，操作简单、逻辑清晰。
七、核心知识点归纳与高频考点
1. 一致连续的核心结论汇总
| 区间类型 | 函数条件 | 一致连续性结论 |
|---|---|---|
| 有界闭区间\([a,b]\) | 连续 | 必一致连续（Cantor定理） |
| 开区间\((a,b)\) | 连续 | 一致连续\(\iff\) \(f(a^+)\)和\(f(b^-)\)都存在有限 |
| 无穷区间\((-\infty,+\infty)\) | 连续且\(\lim\limits_{x \to \pm\infty} f(x)\)存在有限 | 必一致连续 |
| 任意区间\(X\) | 满足Lipschitz条件（\(\exists L>0\)，$ | f(x')-f(x'') |
2. 高频易错点
- 混淆逐点连续与一致连续：忽略一致连续的\(\delta\)与点无关的核心特征，误以为连续必一致连续。
- 忽略区间类型：Cantor定理仅适用于有界闭区间，开区间、无穷区间上的连续函数不一定一致连续。
- 开区间一致连续的判定：误以为开区间上连续就一致连续，忽略端点单侧极限必须存在的条件。
- 一致连续的有界性：有界区间上的一致连续函数必有界（可延拓为闭区间连续函数），但开区间上的连续函数不一定有界（如\(\frac{1}{x}\)在\((0,1)\)）。
3. 解题通法
- 证明一致连续：
- 闭区间：直接用Cantor定理；
- 开区间：证明端点单侧极限存在，用定理2.5.7；
- 任意区间：验证Lipschitz条件，或用定义直接找统一的\(\delta\)。
- 证明不一致连续：
- 序列法：构造两个距离趋于0的序列，函数值差不趋于0（定理2.5.8）；
- 定义法：取定\(\varepsilon_0\)，证明对任意\(\delta\)，都存在两点距离小于\(\delta\)但函数值差大于\(\varepsilon_0\)；
- 开区间：证明端点单侧极限不存在或为无穷。
一致连续性典型例题与拓展定理 系统解析
本节是一致连续性理论的核心落地应用，覆盖Lipschitz充分条件、典型初等函数的一致连续性判定、无穷区间与周期函数的一致连续性定理，是本科数学分析期末考、考研数学分析的高频考点，核心是灵活运用一致连续的定义、Cantor定理、序列判定准则、区间等价刻画来解决问题。
一、Lipschitz条件：一致连续的充分条件
例2.5.8 Lipschitz条件推一致连续
题干
设\(X \subseteq \mathbb{R}\)，\(f:X \to \mathbb{R}\)满足Lipschitz条件：存在常数\(M>0\)，对\(\forall x',x'' \in X\)，有
则\(f\)在\(X\)上为一致连续函数。
完整证明
对\(\forall \varepsilon>0\)，取\(\delta = \frac{\varepsilon}{M+1} > 0\)（加1避免\(M=0\)的常值函数情形），则对\(\forall x',x'' \in X\)，当\(|x'-x''| < \delta\)时，由Lipschitz条件得：
完全符合一致连续的定义，故\(f\)在\(X\)上一致连续。
\(\square\)
核心解读
- Lipschitz条件的本质：函数的变化率有界，即函数图像的斜率绝对值不超过常数\(M\)，是比一致连续更强的条件（一致连续不一定满足Lipschitz条件，例如\(f(x)=\sqrt{x}\)在\([0,1]\)上一致连续，但不满足Lipschitz条件）。
- 核心应用：这是证明函数一致连续最简便的充分条件，只要能证明函数的导数有界（可导函数），就能直接推出Lipschitz条件，进而得到一致连续性。
二、典型初等函数的一致连续性判定（例2.5.9）
核心解题工具回顾
- 一致连续的定义：找与点无关的统一\(\delta\)；
- Cantor定理：有界闭区间上的连续函数必一致连续；
- 序列判定准则：若存在\(x_n',x_n''\)满足\(|x_n'-x_n''| \to 0\)但\(|f(x_n')-f(x_n'')| \nrightarrow 0\)，则函数不一致连续；
- 开区间一致连续充要条件：开区间\((a,b)\)上连续函数一致连续\(\iff\)端点单侧极限\(f(a^+),f(b^-)\)存在有限。
(1) 证明\(\boldsymbol{f(x)=\frac{1}{x}}\)在\([a,b]\)（\(0<a<b\)）上一致连续
证明（定义法+放缩）
对\(\forall \varepsilon>0\)，取\(\delta = a^2 \varepsilon > 0\)，对\(\forall x',x'' \in [a,b]\)，当\(|x'-x''| < \delta\)时：
因\(x',x'' \in [a,b]\)，故\(x'x'' \geq a^2\)，因此：
符合一致连续定义，故\(f(x)=\frac{1}{x}\)在\([a,b]\)上一致连续。
补充说明
也可直接用Cantor定理：\(f(x)=\frac{1}{x}\)在闭区间\([a,b]\)上连续，故必一致连续，定义法是对Cantor定理结论的直接验证。
(2) 证明\(\boldsymbol{f(x)=ax+b}\)在\((-\infty,+\infty)\)内一致连续
证明（Lipschitz条件法）
对\(\forall x',x'' \in \mathbb{R}\)，有：
- 若\(a=0\)，\(f(x)\)为常值函数，显然一致连续；
- 若\(a \neq 0\)，取\(M=|a|\)，满足Lipschitz条件，由例2.5.8直接得\(f(x)\)在\(\mathbb{R}\)上一致连续。
(3) 证明\(\boldsymbol{f(x)=x^2}\)在\((-\infty,+\infty)\)内不一致连续
证明（序列判定准则）
构造序列：\(x_n' = n\)，\(x_n'' = n + \frac{1}{n}\)，\(n \in \mathbb{N}^+\)。
- 两点距离：\(|x_n' - x_n''| = \frac{1}{n} \to 0 \ (n \to \infty)\)；
- 函数值差：\[|f(x_n') - f(x_n'')| = \left| n^2 - \left(n+\frac{1}{n}\right)^2 \right| = \left| -2 - \frac{1}{n^2} \right| = 2 + \frac{1}{n^2} \to 2 \neq 0 \ (n \to \infty) \]
根据一致连续的序列判定准则，\(f(x)=x^2\)在\(\mathbb{R}\)上不一致连续。
核心解读
该例题揭示了：无穷区间上的连续函数不一定一致连续，即使是最简单的二次函数，在全空间上也不满足一致连续性，本质是函数在无穷远处的变化率无界。
(4) 证明\(\boldsymbol{f(x)=\sin x^2}\)在\((-\infty,+\infty)\)内不一致连续
证明（序列判定准则）
构造序列：\(x_n' = \sqrt{2n\pi + \frac{\pi}{2}}\)，\(x_n'' = \sqrt{2n\pi}\)，\(n \in \mathbb{N}^+\)。
- 两点距离：\[|x_n' - x_n''| = \sqrt{2n\pi + \frac{\pi}{2}} - \sqrt{2n\pi} = \frac{\frac{\pi}{2}}{\sqrt{2n\pi + \frac{\pi}{2}} + \sqrt{2n\pi}} \to 0 \ (n \to \infty) \]
- 函数值差：\[|f(x_n') - f(x_n'')| = \left| \sin\left(2n\pi+\frac{\pi}{2}\right) - \sin(2n\pi) \right| = |1 - 0| = 1 \nrightarrow 0 \ (n \to \infty) \]
根据序列判定准则，\(f(x)=\sin x^2\)在\(\mathbb{R}\)上不一致连续。
核心解读
该函数是有界连续函数，但在无穷远处振荡频率越来越高，无法找到统一的\(\delta\)，因此不一致连续，说明有界连续不一定一致连续。
(5) 证明\(\boldsymbol{f(x)=\sin \frac{1}{x}}\)在\((0,1)\)上不一致连续
证法1 序列判定准则
构造序列：\(x_n' = \frac{1}{2n\pi}\)，\(x_n'' = \frac{1}{2n\pi + \frac{\pi}{2}}\)，\(n \in \mathbb{N}^+\)。
- 两点距离：\(|x_n' - x_n''| = \frac{\pi}{2n\pi(2n\pi+\frac{\pi}{2})} \to 0 \ (n \to \infty)\)；
- 函数值差：\[|f(x_n') - f(x_n'')| = |\sin(2n\pi) - \sin(2n\pi+\frac{\pi}{2})| = |0-1|=1 \nrightarrow 0 \ (n \to \infty) \]
故\(f(x)\)在\((0,1)\)上不一致连续。
证法2 开区间一致连续充要条件
\(f(x)=\sin \frac{1}{x}\)在\((0,1)\)上连续，但左端点极限\(\lim\limits_{x \to 0^+} \sin \frac{1}{x}\)不存在（振荡无极限），根据开区间一致连续的充要条件，\(f(x)\)无法延拓为\([0,1]\)上的连续函数，因此在\((0,1)\)上不一致连续。
三、无穷区间上的一致连续性定理（例2.5.10）
定理完整表述
设\(f\)在\([a,+\infty)\)上连续，且\(\lim\limits_{x \to +\infty} f(x) = A\)存在有限，则\(f\)在\([a,+\infty)\)上一致连续。
核心证法解析（证法1，分区间处理法）
该定理的核心思路是：将无穷区间拆分为有限闭区间和无穷远邻域两部分，分别用Cantor定理和极限的柯西准则处理，再整合得到统一的\(\delta\)。
-
无穷远邻域的一致连续性：
由\(\lim\limits_{x \to +\infty} f(x)=A\)，根据函数极限的柯西准则，对\(\forall \varepsilon>0\)，\(\exists \Delta > a\)，当\(x',x'' > \Delta\)时，有\(|f(x')-f(x'')| < \varepsilon\)。 -
有限闭区间的一致连续性：
\(f\)在\([a,\Delta+1]\)上连续，由Cantor定理，\(f\)在\([a,\Delta+1]\)上一致连续，故\(\exists \delta_1>0\)，当\(x',x'' \in [a,\Delta+1]\)且\(|x'-x''|<\delta_1\)时，\(|f(x')-f(x'')| < \varepsilon\)。 -
统一δ的选取：
取\(\delta = \min\{\delta_1, 1\} > 0\)，对\(\forall x',x'' \in [a,+\infty)\)，当\(|x'-x''| < \delta\)时，分三种情况：- 若\(x',x'' > \Delta\)：由第一步得\(|f(x')-f(x'')| < \varepsilon\)；
- 若\(x',x'' \in [a,\Delta+1]\)：由第二步得\(|f(x')-f(x'')| < \varepsilon\)；
- 若\(x' \in [a,\Delta]\)，\(x'' \in (\Delta,+\infty)\)：因\(|x'-x''| < \delta \leq 1\)，故\(x',x'' \in [a,\Delta+1]\)，仍满足\(|f(x')-f(x'')| < \varepsilon\)。
综上，\(f\)在\([a,+\infty)\)上一致连续。
\(\square\)
核心推论
若\(f\)在\((-\infty,+\infty)\)上连续，且\(\lim\limits_{x \to +\infty} f(x)\)、\(\lim\limits_{x \to -\infty} f(x)\)均存在有限，则\(f\)在\(\mathbb{R}\)上一致连续。
四、周期连续函数的一致连续性定理（例2.5.11）
定理完整表述
设\(f:(-\infty,+\infty) \to \mathbb{R}\)是以\(T>0\)为周期的连续函数，则\(f\)在\((-\infty,+\infty)\)上一致连续。
核心证法解析（证法2，周期映射法）
周期函数的核心性质是：函数在全空间的取值完全由一个周期内的取值决定，因此只需在一个周期的闭区间上用Cantor定理，再将全空间的点映射到一个周期内即可。
-
一个周期内的一致连续性：
\(f\)是周期为\(T\)的连续函数，故在闭区间\([0,2T]\)上连续，由Cantor定理，\(f\)在\([0,2T]\)上一致连续，即对\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(x',x'' \in [0,2T]\)且\(|x'-x''|<\delta\)时，\(|f(x')-f(x'')| < \varepsilon\)。 -
全空间的一致连续性：
对\(\forall x',x'' \in \mathbb{R}\)，不妨设\(x' < x''\)且\(|x'-x''| < \delta \leq T\)，由周期函数的性质，存在整数\(n\)，使得\(x_0' = x' - nT \in [0,T]\)，则\(x_0'' = x'' - nT\)满足\(|x_0' - x_0''| = |x'-x''| < \delta\)，且\(x_0',x_0'' \in [0,2T]\)。
由周期函数的定义\(f(x)=f(x-nT)\)，得：\[|f(x')-f(x'')| = |f(x_0')-f(x_0'')| < \varepsilon \]
因此\(f\)在\(\mathbb{R}\)上一致连续。
\(\square\)
核心应用
该定理直接推出：\(\sin x\)、\(\cos x\)等周期连续函数在\(\mathbb{R}\)上一致连续，与之前的\(\sin x^2\)形成鲜明对比，核心区别是前者是周期函数，后者振荡频率随\(x\)增大而升高，不具有周期性。
五、一致连续性判定的核心解题通法总结
1. 按区间类型的判定方法
| 区间类型 | 核心判定方法 | 核心结论 |
|---|---|---|
| 有界闭区间\([a,b]\) | Cantor定理 | 连续\(\implies\) 一致连续，无需额外验证 |
| 有界开区间\((a,b)\) | 端点单侧极限判定 | 连续+ \(f(a^+),f(b^-)\)存在有限 \(\iff\) 一致连续 |
| 无穷区间\([a,+\infty)\) | 无穷远极限判定 | 连续+ \(\lim\limits_{x \to +\infty}f(x)\)存在有限 \(\implies\) 一致连续 |
| 全空间\(\mathbb{R}\) | 周期/无穷远极限判定 | 周期连续\(\implies\)一致连续；\(\lim\limits_{x \to \pm\infty}f(x)\)均存在有限\(\implies\)一致连续 |
| 任意区间\(X\) | Lipschitz条件 | 满足Lipschitz条件\(\implies\)一致连续 |
2. 证明不一致连续的通用方法
序列判定准则是首选方法，步骤如下：
- 构造两个序列\(x_n',x_n''\)，满足\(|x_n'-x_n''| \to 0 \ (n \to \infty)\)；
- 计算函数值差\(|f(x_n')-f(x_n'')|\)，证明其极限不为0（或极限不存在）；
- 由序列判定准则直接得出不一致连续的结论。
3. 高频易错点提醒
- 混淆区间类型：将闭区间的Cantor定理直接套用到开区间、无穷区间，忽略区间的紧性；
- 误以为有界连续必一致连续：\(\sin \frac{1}{x}\)在\((0,1)\)上有界连续，但不一致连续；
- 误以为可导必一致连续：\(f(x)=x^2\)在\(\mathbb{R}\)上可导，但不一致连续，只有导数有界才能推出Lipschitz条件，进而一致连续；
- 误以为无穷区间连续必不一致连续：\(f(x)=\sin x\)、\(f(x)=e^{-x}\)在\([0,+\infty)\)上连续且一致连续，核心是无穷远极限存在或具有周期性。
posted on 2026-04-02 13:17 Indian_Mysore 阅读(31) 评论(0) 收藏 举报
浙公网安备 33010602011771号