导航菜单

函数的有界性

定义

函数的有界性

有界函数(Bounded Function):若存在常数 MM,使得对任意 xDx \in D,总有 f(x)M|f(x)| \leq M,则称函数 f(x)f(x)DD 上有界。

分类

  • 有上界:若存在常数 M,使得对任意 xDx \in D,总有 f(x)Mf(x) \leq M
  • 有下界:若存在常数 m,使得对任意 xDx \in D,总有 f(x)mf(x) \geq m
  • 有界:既有上界又有下界

几何意义

有界函数的图像被限制在两条水平线之间,即存在水平带,使得函数图像完全位于这个带内。

例子

  • f(x)=sinxf(x) = \sin xR\mathbb{R} 上有界,因为 sinx1|\sin x| \leq 1
  • f(x)=x2f(x) = x^2R\mathbb{R} 上有下界(0),但无上界
  • f(x)=1xf(x) = \frac{1}{x}(0,1](0, 1] 上无界

判断方法

  1. 直接法:通过观察函数表达式,判断其值域范围
  2. 求导法:对于连续函数,可以通过求导找到极值点
  3. 不等式法:利用已知的不等式关系进行判断

重要性质

有界函数的运算性质

有界函数的运算性质
有界函数与有界函数的和、差、积仍为有界函数有界函数与有界函数的和、差、积仍为有界函数
证明

f(x)f(x)g(x)g(x) 都是有界函数,存在常数 M1,M2M_1, M_2 使得 f(x)M1|f(x)| \leq M_1g(x)M2|g(x)| \leq M_2

  • 和的性质f(x)+g(x)f(x)+g(x)M1+M2|f(x) + g(x)| \leq |f(x)| + |g(x)| \leq M_1 + M_2
  • 差的性质f(x)g(x)f(x)+g(x)M1+M2|f(x) - g(x)| \leq |f(x)| + |g(x)| \leq M_1 + M_2
  • 积的性质f(x)g(x)M1M2|f(x) \cdot g(x)| \leq M_1 \cdot M_2

因此,和、差、积运算都保持函数的有界性。

有界函数与常数的运算性质

有界函数与常数的运算性质
有界函数与常数的积仍为有界函数有界函数与常数的积仍为有界函数
证明

f(x)f(x) 是有界函数,存在常数 MM 使得 f(x)M|f(x)| \leq Mkk 为任意常数。

  • 性质证明kf(x)=kf(x)kM|k \cdot f(x)| = |k| \cdot |f(x)| \leq |k| \cdot M

因此,有界函数与常数的积仍为有界函数,新界为 kM|k| \cdot M

有界性定理

有界性定理
连续函数在闭区间上必有界连续函数在闭区间上必有界

若函数 f(x)f(x) 在闭区间 [a,b][a, b] 上连续,则 f(x)f(x)[a,b][a, b] 上有界,即存在常数 M>0M > 0,使得对一切 x[a,b]x \in [a, b],都有 f(x)M|f(x)| \leq M

证明

证明:使用反证法。

假设函数 f(x)f(x) 在闭区间 [a,b][a, b] 上连续,但在 [a,b][a, b] 上无界。

那么,对于任意大的正数 MM,都存在 xM[a,b]x_M \in [a, b],使得 f(xM)>M|f(x_M)| > M

M=1,2,3,M = 1, 2, 3, \dots,得到序列 {xn}\{x_n\},其中 xn[a,b]x_n \in [a, b]f(xn)>n|f(x_n)| > n

由于 [a,b][a, b] 是有界闭区间,序列 {xn}\{x_n\} 有收敛子序列。不妨设 {xnk}\{x_{n_k}\} 收敛于 x0[a,b]x_0 \in [a, b]

因为 f(x)f(x)x0x_0 处连续,所以 limkf(xnk)=f(x0)\lim_{k \to \infty} f(x_{n_k}) = f(x_0)

但另一方面,f(xnk)>nk+|f(x_{n_k})| > n_k \to +\infty,这与极限存在矛盾。

因此,原假设不成立,即 f(x)f(x)[a,b][a, b] 上有界。

另一种证明方法(使用最值定理):

连续函数在闭区间上必有最大值和最小值,因此函数值有上界和下界,即函数有界。


练习题

练习 1

判断函数 f(x)=xx2+1f(x) = \frac{x}{x^2 + 1}R\mathbb{R} 上的有界性。

参考答案 (3 个标签)
有界性 函数值域 不等式

解题思路: 需要分析函数的值域范围,看是否存在上下界。

详细步骤

  1. 分析函数表达式:f(x)=xx2+1f(x) = \frac{x}{x^2 + 1}
  2. x=0x = 0 时,f(0)=0f(0) = 0
  3. x0x \neq 0 时,f(x)=1x+1xf(x) = \frac{1}{x + \frac{1}{x}}
  4. 利用不等式 x+1x2x + \frac{1}{x} \geq 2(当 x>0x > 0)或 x+1x2x + \frac{1}{x} \leq -2(当 x<0x < 0
  5. 因此 f(x)12|f(x)| \leq \frac{1}{2}

答案:该函数在 R\mathbb{R} 上有界,上界为 12\frac{1}{2},下界为 12-\frac{1}{2}

练习 2

判断函数 f(x)=lnxf(x) = \ln x(0,1](0, 1] 上的有界性。

参考答案 (3 个标签)
有界性 对数函数 单调性

解题思路: 分析对数函数在给定区间上的取值范围。

详细步骤

  1. lnx\ln x(0,+)(0, +\infty) 上严格单调递增
  2. x0+x \to 0^+ 时,lnx\ln x \to -\infty
  3. x=1x = 1 时,ln1=0\ln 1 = 0
  4. 因此在 (0,1](0, 1] 上,函数值范围为 (,0](-\infty, 0]

答案:该函数在 (0,1](0, 1] 上有上界(0),但无下界,因此不是有界函数。

练习 3

判断函数 f(x)=sinxxf(x) = \frac{\sin x}{x}(0,+)(0, +\infty) 上的有界性。

参考答案 (3 个标签)
有界性 三角函数 极限

解题思路: 需要分析三角函数与线性函数比值的性质,判断其是否有界。

详细步骤

  1. 首先注意到 sinx1|\sin x| \leq 1 对所有实数 x 成立
  2. 因此 f(x)=sinxx=sinxx1x|f(x)| = \left|\frac{\sin x}{x}\right| = \frac{|\sin x|}{x} \leq \frac{1}{x}
  3. x(0,+)x \in (0, +\infty) 时,1x>0\frac{1}{x} > 0 且随着 x 增大而减小
  4. x0+x \to 0^+ 时,sinxx1\frac{\sin x}{x} \to 1(重要极限)
  5. x+x \to +\infty 时,sinxx0\frac{\sin x}{x} \to 0(因为分子有界,分母趋于无穷大)
  6. 由于 1x\frac{1}{x}(0,+)(0, +\infty) 上单调递减且值域为 (0,+)(0, +\infty),但我们的函数被 1x\frac{1}{x} 所控制
  7. 实际上,可以证明 f(x)1|f(x)| \leq 1 对所有 x(0,+)x \in (0, +\infty) 成立

答案:该函数在 (0,+)(0, +\infty) 上有界,f(x)1|f(x)| \leq 1

练习 4

设函数 f(x)=x22x+3f(x) = x^2 - 2x + 3,判断该函数在区间 [0,3][0, 3] 上的有界性,并求出其上确界和下确界。

参考答案 (4 个标签)
有界性 二次函数 配方法 最值

解题思路: 这是一个二次函数在闭区间上的有界性问题。可以通过配方法或求导法找到函数的最值。

详细步骤

  1. 首先对函数进行配方: f(x)=x22x+3=(x1)2+2f(x) = x^2 - 2x + 3 = (x-1)^2 + 2

  2. 从配方结果可以看出:

    • x=1x = 1 时,(x1)2=0(x-1)^2 = 0,函数取得最小值 f(1)=2f(1) = 2
    • 由于 (x1)20(x-1)^2 \geq 0,所以 f(x)2f(x) \geq 2
  3. 在区间 [0,3][0, 3] 上分析端点值:

    • f(0)=0220+3=3f(0) = 0^2 - 2 \cdot 0 + 3 = 3
    • f(3)=3223+3=96+3=6f(3) = 3^2 - 2 \cdot 3 + 3 = 9 - 6 + 3 = 6
  4. 比较函数在驻点和端点的值:

    • 最小值:f(1)=2f(1) = 2
    • 最大值:f(3)=6f(3) = 6
  5. 因此在区间 [0,3][0, 3] 上:

    • 下确界(最小值)为 2
    • 上确界(最大值)为 6

答案:该函数在 [0,3][0, 3] 上有界,下确界为 2,上确界为 6。


总结

本文出现的符号

符号类型读音/说明在本文中的含义
f(x)f(x)数学符号f of x函数记号,表示以 xx 为自变量的函数
DD数学符号D函数的定义域
MM数学符号M上界常数,表示函数值的上限
mm数学符号m下界常数,表示函数值的下限
R\mathbb{R}数学符号双线体 R(Real numbers)表示实数集,所有实数的集合
[a,b][a, b]数学符号闭区间包含端点的区间记号
(a,b)(a, b)数学符号开区间不包含端点的区间记号
(a,b](a, b]数学符号半开区间左开右闭区间记号
sinx\sin x数学符号sine x正弦函数
lnx\ln 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/包含端点的区间

课程路线图

  1. 1

    高等数学之函数探秘

    当前课程

    函数是高等数学的核心概念,本系列文档系统介绍函数的基本概念、性质和应用。

    前往课程
进阶推荐

数列

数列是高等数学的基石,本系列文档系统介绍数列的基本概念、性质、极限理论及其应用。

开始学习
进阶推荐

向量代数和空间解析几何

掌握向量运算和空间中点、线、面的方程及其相互关系。

开始学习

搜索