有界性定理
有界性定理是闭区间上连续函数的最基础性质,它保证了连续函数在闭区间上不会”跑到无穷远”。
定理内容
在闭区间 [ a , b ] [a, b] [ a , b ] 上连续的函数 f ( x ) f(x) f ( x ) 必有界,即存在常数 M > 0 M > 0 M > 0 ,使得对于任意
x ∈ [ a , b ] x \in [a, b] x ∈ [ a , b ] ,都有 ∣ f ( x ) ∣ ≤ M |f(x)| \leq M ∣ f ( x ) ∣ ≤ M 。
几何意义
有界性定理的几何意义是:连续函数在闭区间上的图像被两条水平线”夹住”。
具体来说:
存在上界:函数值不会超过某个上限
存在下界:函数值不会低于某个下限
图像被限制在一个水平带状区域内
证明思路
反证法证明
假设函数无界
假设函数 f ( x ) f(x) f ( x ) 在 [ a , b ] [a, b] [ a , b ] 上无界
构造数列
对于任意正整数 n n n ,存在 x n ∈ [ a , b ] x_n \in [a, b] x n ∈ [ a , b ] 使得 ∣ f ( x n ) ∣ > n |f(x_n)| > n ∣ f ( x n ) ∣ > n
利用有界数列必有收敛子列
数列 { x n } \{x_n\} { x n } 有界,必有收敛子列 { x n k } \{x_{n_k}\} { x n k }
设 lim k → ∞ x n k = x 0 ∈ [ a , b ] \lim_{k \to \infty} x_{n_k} = x_0 \in [a, b] lim k → ∞ x n k = x 0 ∈ [ a , b ]
利用连续性
由于 f ( x ) f(x) f ( x ) 在 x 0 x_0 x 0 处连续
lim k → ∞ f ( x n k ) = f ( x 0 ) \lim_{k \to \infty} f(x_{n_k}) = f(x_0) lim k → ∞ f ( x n k ) = f ( x 0 )
得出矛盾
但 ∣ f ( x n k ) ∣ > n k → ∞ |f(x_{n_k})| > n_k \to \infty ∣ f ( x n k ) ∣ > n k → ∞
这与 f ( x n k ) → f ( x 0 ) f(x_{n_k}) \to f(x_0) f ( x n k ) → f ( x 0 ) 矛盾
结论
应用例子
例子 1:多项式函数
问题 :证明函数 f ( x ) = x 2 f(x) = x^2 f ( x ) = x 2 在 [ 0 , 2 ] [0, 2] [ 0 , 2 ] 上有界。
解 :
函数 f ( x ) = x 2 f(x) = x^2 f ( x ) = x 2 在 [ 0 , 2 ] [0, 2] [ 0 , 2 ] 上连续
根据有界性定理,函数有界
实际上,对于 x ∈ [ 0 , 2 ] x \in [0, 2] x ∈ [ 0 , 2 ] ,有 0 ≤ f ( x ) = x 2 ≤ 4 0 \leq f(x) = x^2 \leq 4 0 ≤ f ( x ) = x 2 ≤ 4
因此可取 M = 4 M = 4 M = 4
例子 2:三角函数
问题 :证明函数 f ( x ) = sin x f(x) = \sin x f ( x ) = sin x 在 [ 0 , π ] [0, \pi] [ 0 , π ] 上有界。
解 :
函数 f ( x ) = sin x f(x) = \sin x f ( x ) = sin x 在 [ 0 , π ] [0, \pi] [ 0 , π ] 上连续
根据有界性定理,函数有界
实际上,对于 x ∈ [ 0 , π ] x \in [0, \pi] x ∈ [ 0 , π ] ,有 0 ≤ f ( x ) = sin x ≤ 1 0 \leq f(x) = \sin x \leq 1 0 ≤ f ( x ) = sin x ≤ 1
因此可取 M = 1 M = 1 M = 1
例子 3:反例(开区间)
问题 :函数 f ( x ) = 1 x f(x) = \frac{1}{x} f ( x ) = x 1 在 ( 0 , 1 ] (0, 1] ( 0 , 1 ] 上是否有界?
解 :
函数在 ( 0 , 1 ] (0, 1] ( 0 , 1 ] 上连续
但 ( 0 , 1 ] (0, 1] ( 0 , 1 ] 不是闭区间
当 x → 0 + x \to 0^+ x → 0 + 时,f ( x ) → + ∞ f(x) \to +\infty f ( x ) → + ∞
因此函数无界
说明 :有界性定理只适用于闭区间
注意事项
1. 区间必须是闭区间
有界性定理只适用于闭区间,对于开区间或半开半闭区间,结论不一定成立。
反例 :
f ( x ) = 1 x f(x) = \frac{1}{x} f ( x ) = x 1 在 ( 0 , 1 ] (0, 1] ( 0 , 1 ] 上无界
f ( x ) = x f(x) = x f ( x ) = x 在 ( 0 , 1 ) (0, 1) ( 0 , 1 ) 上有界但无最大值
2. 函数必须连续
如果函数在闭区间上不连续,有界性定理不适用。
反例 :
f ( x ) = { 1 x , 0 < x ≤ 1 0 , x = 0 f(x) = \begin{cases} \frac{1}{x}, & 0 < x \leq 1 \\ 0, & x = 0 \end{cases} f ( x ) = { x 1 , 0 , 0 < x ≤ 1 x = 0 在 [ 0 , 1 ] [0, 1] [ 0 , 1 ] 上不连续且无界
3. 有界不等于有最值
有界性定理只保证函数有界,不保证能取到最大值和最小值。
例子 :
f ( x ) = x f(x) = x f ( x ) = x 在 ( 0 , 1 ) (0, 1) ( 0 , 1 ) 上有界(0 < f ( x ) < 1 0 < f(x) < 1 0 < f ( x ) < 1 )
但无法取到上确界 1 和下确界 0
练习题
练习 1
证明函数 f ( x ) = x 2 − 2 x + 1 f(x) = x^2 - 2x + 1 f ( x ) = x 2 − 2 x + 1 在 [ 0 , 3 ] [0, 3] [ 0 , 3 ] 上有界。
参考答案
解题思路 :利用有界性定理。
详细步骤 :
函数 f ( x ) = x 2 − 2 x + 1 f(x) = x^2 - 2x + 1 f ( x ) = x 2 − 2 x + 1 是多项式函数
多项式函数在任意闭区间上连续
因此 f ( x ) f(x) f ( x ) 在 [ 0 , 3 ] [0, 3] [ 0 , 3 ] 上连续
根据有界性定理,f ( x ) f(x) f ( x ) 在 [ 0 , 3 ] [0, 3] [ 0 , 3 ] 上有界
答案 :函数在 [ 0 , 3 ] [0, 3] [ 0 , 3 ] 上有界。
练习 2
举出一个在 [ 0 , 1 ) [0, 1) [ 0 , 1 ) 上连续但无界的函数,并说明理由。
参考答案
解题思路 :利用有界性定理的区间要求。
详细步骤 :
取 f ( x ) = 1 1 − x f(x) = \frac{1}{1 - x} f ( x ) = 1 − x 1 ,x ∈ [ 0 , 1 ) x \in [0, 1) x ∈ [ 0 , 1 )
f ( x ) f(x) f ( x ) 在 [ 0 , 1 ) [0, 1) [ 0 , 1 ) 上连续,但当 x → 1 − x \to 1^- x → 1 − 时,f ( x ) → + ∞ f(x) \to +\infty f ( x ) → + ∞
因此 f ( x ) f(x) f ( x ) 在 [ 0 , 1 ) [0, 1) [ 0 , 1 ) 上无界
说明:有界性定理只适用于闭区间
答案 :f ( x ) = 1 1 − x f(x) = \frac{1}{1 - x} f ( x ) = 1 − x 1 在 [ 0 , 1 ) [0, 1) [ 0 , 1 ) 上连续但无界。
练习 3
设 f ( x ) f(x) f ( x ) 在 [ a , b ] [a, b] [ a , b ] 上连续,试说明 f ( x ) f(x) f ( x ) 是否一定有界。
参考答案
解题思路 :直接应用有界性定理。
详细步骤 :
根据有界性定理,在闭区间上连续的函数必有界
因此 f ( x ) f(x) f ( x ) 一定有界
答案 :一定有界。
总结
中英对照
中文术语 英文术语 音标 说明 有界性定理 boundedness theorem /ˈbaʊndɪdnəs ˈθɪərəm/ 闭区间上连续函数必有界的定理 有界 bounded /ˈbaʊndɪd/ 函数值在某个范围内 无界 unbounded /ʌnˈbaʊndɪd/ 函数值没有上界或下界 上界 upper bound /ˈʌpə baʊnd/ 函数值的上限 下界 lower bound /ˈləʊə baʊnd/ 函数值的下限
1 Exploring Functions in Advanced Mathematics
先修课程
Functions are a core idea of advanced mathematics. This course walks through foundational concepts, key properties, and classic constants so you can read, reason, and compute with confidence.
前往课程
2 Continuity in Advanced Calculus
当前课程
A focused guide on continuity: core definitions, types of discontinuities, and continuity of elementary functions.
前往课程