函数的有界性
定义
有界函数(Bounded Function):若存在常数 ,使得对任意 ,总有 ,则称函数 在 上有界。
分类
- 有上界:若存在常数 M,使得对任意 ,总有
- 有下界:若存在常数 m,使得对任意 ,总有
- 有界:既有上界又有下界
几何意义
有界函数的图像被限制在两条水平线之间,即存在水平带,使得函数图像完全位于这个带内。
例子
- 在 上有界,因为
- 在 上有下界(0),但无上界
- 在 上无界
(双线体 R):这是数学中的标准符号,表示实数集(Real numbers),即所有实数的集合。双线体(blackboard bold)是数学中专门用来表示数集的字体风格。
判断方法
- 直接法:通过观察函数表达式,判断其值域范围
- 求导法:对于连续函数,可以通过求导找到极值点
- 不等式法:利用已知的不等式关系进行判断
其中,求导法你可能不知道,没关系,在学微积分时会学到。
重要性质
有界函数的运算性质
证明
设 和 都是有界函数,存在常数 使得 ,。
- 和的性质:
- 差的性质:
- 积的性质:
因此,和、差、积运算都保持函数的有界性。
有界函数与常数的运算性质
证明
设 是有界函数,存在常数 使得 , 为任意常数。
- 性质证明:
因此,有界函数与常数的积仍为有界函数,新界为 。
有界性定理
若函数 在闭区间 上连续,则 在 上有界,即存在常数 ,使得对一切 ,都有 。
证明
证明:使用反证法。
假设函数 在闭区间 上连续,但在 上无界。
那么,对于任意大的正数 ,都存在 ,使得 。
取 ,得到序列 ,其中 且 。
由于 是有界闭区间,序列 有收敛子序列。不妨设 收敛于 。
因为 在 处连续,所以 。
但另一方面,,这与极限存在矛盾。
因此,原假设不成立,即 在 上有界。
另一种证明方法(使用最值定理):
连续函数在闭区间上必有最大值和最小值,因此函数值有上界和下界,即函数有界。
练习题
练习 1
判断函数 在 上的有界性。
解题思路: 需要分析函数的值域范围,看是否存在上下界。
详细步骤:
- 分析函数表达式:
- 当 时,
- 当 时,
- 利用不等式 (当 )或 (当 )
- 因此
答案:该函数在 上有界,上界为 ,下界为 。
练习 2
判断函数 在 上的有界性。
解题思路: 分析对数函数在给定区间上的取值范围。
详细步骤:
- 在 上严格单调递增
- 当 时,
- 当 时,
- 因此在 上,函数值范围为
答案:该函数在 上有上界(0),但无下界,因此不是有界函数。
练习 3
判断函数 在 上的有界性。
解题思路: 需要分析三角函数与线性函数比值的性质,判断其是否有界。
详细步骤:
- 首先注意到 对所有实数 x 成立
- 因此
- 当 时, 且随着 x 增大而减小
- 当 时,(重要极限)
- 当 时,(因为分子有界,分母趋于无穷大)
- 由于 在 上单调递减且值域为 ,但我们的函数被 所控制
- 实际上,可以证明 对所有 成立
答案:该函数在 上有界,。
练习 4
设函数 ,判断该函数在区间 上的有界性,并求出其上确界和下确界。
解题思路: 这是一个二次函数在闭区间上的有界性问题。可以通过配方法或求导法找到函数的最值。
详细步骤:
首先对函数进行配方:
从配方结果可以看出:
- 当 时,,函数取得最小值
- 由于 ,所以
在区间 上分析端点值:
比较函数在驻点和端点的值:
- 最小值:
- 最大值:
因此在区间 上:
- 下确界(最小值)为 2
- 上确界(最大值)为 6
答案:该函数在 上有界,下确界为 2,上确界为 6。
总结
本文出现的符号
| 符号 | 类型 | 读音/说明 | 在本文中的含义 |
|---|---|---|---|
| 数学符号 | f of x | 函数记号,表示以 为自变量的函数 | |
| 数学符号 | D | 函数的定义域 | |
| 数学符号 | M | 上界常数,表示函数值的上限 | |
| 数学符号 | m | 下界常数,表示函数值的下限 | |
| 数学符号 | 双线体 R(Real numbers) | 表示实数集,所有实数的集合 | |
| 数学符号 | 闭区间 | 包含端点的区间记号 | |
| 数学符号 | 开区间 | 不包含端点的区间记号 | |
| 数学符号 | 半开区间 | 左开右闭区间记号 | |
| 数学符号 | sine x | 正弦函数 | |
| 数学符号 | natural logarithm of x | 自然对数函数 |
中英对照
| 中文术语 | 英文术语 | 音标 | 说明 |
|---|---|---|---|
| 有界性 | boundedness | /ˈbaʊndɪdnəs/ | 函数值被限制在某个范围内的性质 |
| 有界函数 | bounded function | /ˈbaʊndɪd ˈfʌŋkʃən/ | 函数值有上下界限制的函数 |
| 上界 | upper bound | /ˈʌpə baʊnd/ | 函数值的上限 |
| 下界 | lower bound | /ˈləʊə baʊnd/ | 函数值的下限 |
| 上确界 | supremum | /suːˈpriːməm/ | 函数在给定区间上的最小上界 |
| 下确界 | infimum | /ˈɪnfɪməm/ | 函数在给定区间上的最大下界 |
| 几何意义 | geometric meaning | /ˌdʒiːəˈmetrɪk ˈmiːnɪŋ/ | 数学概念在几何图形中的表现 |
| 单调递增 | monotonically increasing | /ˌmɒnəʊˈtɒnɪkli ɪnˈkriːsɪŋ/ | 函数值随自变量增大而增大 |
| 闭区间 | closed interval | /kləʊzd ˈɪntəvəl/ | 包含端点的区间 |
