跳到内容
返回探索
微积分 / 中文

高等数学 1.1(12)1.1(12)-函数的上界和下界

刘老师开讲 · 哔哩哔哩 · 1:32

打开原视频
阅读与收藏

把讲解展开来看。

已审核学习内容 · 视频分析 · 中文
阅读完整概览

本片段讲解函数的上界与下界。教师先设定函数 y=f(x)y=f(x),并说明 I 是定义域 D 的子区间;随后在同一坐标系中画出曲线与区间 I。接着给出上界定义:若存在实数 K1K_1,使任意 x∈Ix \in I 都有 f(x)⩽K1f(x) \leqslant K_1,则称函数在 I 上有上界,并把 K1K_1 比作“顶”。之后给出下界定义:若存在实数 K2K_2,使任意 x∈Ix \in I 都有 f(x)⩾K2f(x) \geqslant K_2,则称函数在 I 上有下界,并把 K2K_2 比作“底”。全段以图像辅助理解不等式含义。 本片段讲解了高等数学中函数的有界性。首先通过几何图像和文字定义了函数的上界和下界:若存在实数 K1K_1 使得 f(x)≤K1f(x) \le K_1,则有上界;若存在实数 K2K_2 使得 f(x)≥K2f(x) \ge K_2,则有下界。接着指出函数在某区间上有界的充要条件是该函数在该区间上既有上界又有下界。

在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。

章节

0:00引入上界与下界问题0:05设定函数与区间 I0:18上界的定义与图像解释0:41下界的定义与图像解释1:00函数的上界与下界概念1:03函数有界的充要条件

学习解说文稿

依据视频画面与讲解整理,并非逐字语音转写。

片段开头先提出问题:什么时候一个函数在某个区间上有上界、有下界。这里的讨论对象不是整个定义域,而是定义域中的一个子区间 I。

接着,画面写出 y=f(x)y=f(x),并补充 x∈Ix \in I、I⊆DI \subseteq D。这一步把符号关系固定下来:ff 是函数,DD 是定义域,II 是我们当前研究界限的区间。

为了把定义可视化,教师在坐标系中画出曲线 y=f(x)y=f(x),并在横轴上标出 aa、bb 和区间 II。这样,后面所说的“上界”“下界”都可以直接对应到图像上的水平界线。

然后给出上界定义:若存在实数 K1K_1,使得对于任意的点 x∈Ix \in I,都有 f(x)⩽K1f(x) \leqslant K_1,则称函数 y=f(x)y=f(x) 在 II 上有上界。图像上,K1K_1 被画成一条位于曲线上方的水平线,教师把它比喻为“顶”。

随后给出下界定义:若存在实数 K2K_2,使得对于任意的点 x∈Ix \in I,都有 f(x)⩾K2f(x) \geqslant K_2,则称函数 y=f(x)y=f(x) 在 II 上有下界。图像上,K2K_2 被画成一条位于曲线下方的水平线,教师把它比喻为“底”。

从这段内容可以看出,上界和下界都是针对“区间 I 上的所有函数值”统一成立的界限条件;它们描述的是函数值的控制范围,而不是要求函数一定在某点取到这个界限值。

画面展示了函数 y=f(x)y=f(x) 在区间 I 上的图像,上方有一条水平线 K1K_1,下方有一条水平线 K2K_2。文字给出了上界和下界的定义:若存在实数 K1K_1,使得对于任意的点 x∈Ix \in I,有 f(x)≤K1f(x) \le K_1,则称函数 y=f(x)y=f(x) 在 I 上有上界;若存在实数 K2K_2,使得对于任意的点 x∈Ix \in I,有 f(x)≥K2f(x) \ge K_2,则称函数 y=f(x)y=f(x) 在 I 上有下界。

讲师开始探讨函数有界的条件。画面下方出现了新的文字:“(3) 函数在 I 上有界的充要条件是函数在 I 上既有上界又有下界。” 讲师口述解释了这一逻辑关系,指出只要函数同时满足有上界和有下界,它就是有界的,这是一个充要条件。

知识卡片

01

函数在区间 I 上的上界

视频定义:设有函数 y=f(x)y=f(x),x∈Ix \in I,I⊆DI \subseteq D。若存在实数 K1K_1,使得对于任意的点 x∈Ix \in I,都有 f(x)⩽K1f(x) \leqslant K_1,则称函数 y=f(x)y=f(x) 在 II 上有上界。图像上,K1K_1 是一条盖在区间 I 上函数图像上方的水平线,教师称之为“顶”。

∀x∈I, f(x)⩽K1\forall x \in I,\ f(x) \leqslant K_1
02

函数在区间 I 上的下界

视频定义:设有函数 y=f(x)y=f(x),x∈Ix \in I,I⊆DI \subseteq D。若存在实数 K2K_2,使得对于任意的点 x∈Ix \in I,都有 f(x)⩾K2f(x) \geqslant K_2,则称函数 y=f(x)y=f(x) 在 II 上有下界。图像上,K2K_2 是一条垫在区间 I 上函数图像下方的水平线,教师称之为“底”。

∀x∈I, f(x)⩾K2\forall x \in I,\ f(x) \geqslant K_2
03

上界与下界的几何对照

视频用同一张函数图说明两个概念的方向差异:上界 K1K_1 限制函数值“不能超过”,下界 K2K_2 限制函数值“不能低于”。因此,二者都是对区间 I 上全体函数值的统一约束,只是一个从上方控制,一个从下方控制。

04

函数有上界的定义

设有函数 y=f(x)y=f(x), x∈Ix \in I, I⊆DI \subseteq D。若存在实数 K1K_1,使得对于任意的点 x∈Ix \in I,有 f(x)≤K1f(x) \le K_1,则称函数 y=f(x)y=f(x) 在 I 上有上界。

∀x∈I,f(x)≤K1\forall x \in I, f(x) \le K_1
05

函数有下界的定义

设有函数 y=f(x)y=f(x), x∈Ix \in I, I⊆DI \subseteq D。若存在实数 K2K_2,使得对于任意的点 x∈Ix \in I,有 f(x)≥K2f(x) \ge K_2,则称函数 y=f(x)y=f(x) 在 I 上有下界。

∀x∈I,f(x)≥K2\forall x \in I, f(x) \ge K_2
06

函数有界的充要条件

函数在区间 I 上有界的充要条件是函数在 I 上既有上界又有下界。

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 11

y=f(x)y=f(x)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中写出 y=f(x)y=f(x)

  2. 声音
    观察依据

    教师说“这儿有一个函数 y=f(x)y=f(x)”

符号

y=f(x)y=f(x)

含义

所讨论的函数

适用范围

视频未说明

x∈Ix \in I

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中写出 x∈Ix \in I

  2. 声音
    观察依据

    教师说“这个 I 呢,是它定义域里的一个子区间”

符号

x∈Ix \in I

含义

自变量 x 属于区间 I

适用范围

I

I⊆DI \subseteq D

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中写出 I⊆DI \subseteq D

  2. 声音
    观察依据

    教师说“这个 I 呢,是它定义域里的一个子区间”

符号

I⊆DI \subseteq D

含义

区间 I 是定义域 D 的子集

适用范围

视频未说明

K1K_1

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中写出实数 K1K_1,并出现 f(x)⩽K1f(x) \leqslant K_1

  2. 声音
    观察依据

    教师说“如果存在一个实数 K1K_1”

符号

K1K_1

含义

用于界定函数值不超过它的实数,即上界

适用范围

实数

K2K_2

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中写出实数 K2K_2,并出现 f(x)⩾K2f(x) \geqslant K_2

  2. 声音
    观察依据

    教师说“我们现在呢有一个实数 K2K_2”

符号

K2K_2

含义

用于界定函数值不小于它的实数,即下界

适用范围

实数

a,b

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    坐标系横轴上标出 a、b,区间 I 位于 a 与 b 之间

  2. 声音
    观察依据

    教师说“区间 ab 的图形我把它画出来”

待核验内容
  1. 视频未明确说明 a、b 与 I 的端点是否严格等同,仅从图示看 I 位于 a、b 之间

符号

a,b

含义

图示中区间 I 所在的横轴范围端点标记

适用范围

实数

f(x)f(x)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中多次出现 y=f(x)y=f(x)

符号

f(x)f(x)

含义

函数表达式

适用范围

实数集上的函数

I

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中出现 x∈Ix \in I

符号

I

含义

自变量的取值区间

适用范围

实数区间

D

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中出现 I⊆DI \subseteq D

符号

D

含义

函数的定义域

适用范围

实数集的子集

K1K_1

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中出现 f(x)≤K1f(x) \le K_1

符号

K1K_1

含义

函数的上界常数

适用范围

实数

K2K_2

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中出现 f(x)≥K2f(x) \ge K_2

符号

K2K_2

含义

函数的下界常数

适用范围

实数

知识点 · 5

函数在区间上的上界

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面写出“若存在实数 K1K_1,使得对于任意的点 x∈Ix \in I,有 f(x)⩽K1f(x) \leqslant K_1,则称函数 y=f(x)y=f(x) 在 I 上有上界。”

  2. 声音
    观察依据

    教师说“如果存在一个实数 K1K_1,使得区间 I 内的任意一点的函数值都不超过这个 K1K_1,那么这个时候呢,这个函数在 I 上就是有上界的”

  3. 图示
    观察依据

    图中画出水平线 K1K_1,曲线 y=f(x)y=f(x) 在区间 I 上位于该线下方或与之相切

定义
解释

视频给出上界定义:若存在实数 K1K_1,使得对区间 I 内任意 x 都有 f(x)⩽K1f(x) \leqslant K_1,则称函数 y=f(x)y=f(x) 在 I 上有上界。教师口头将 K1K_1 比作“顶”。

公式
∀x∈I, f(x)⩽K1\forall x \in I,\ f(x) \leqslant K_1
适用条件
  1. 设有函数 y=f(x)y=f(x)

  2. x∈Ix \in I

  3. I⊆DI \subseteq D

  4. 存在实数 K1K_1

先修条目
  1. y=f(x)y=f(x)
  2. x∈Ix \in I
  3. I⊆DI \subseteq D
  4. K1K_1

函数在区间上的下界

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面写出“若存在实数 K2K_2,使得对于任意的点 x∈Ix \in I,有 f(x)⩾K2f(x) \geqslant K_2,则称函数 y=f(x)y=f(x) 在 I 上有下界。”

  2. 声音
    观察依据

    教师说“使得这个函数在这个 I 这个区间内的函数值呢,都是比这个 K2K_2 要大的……那么这个 K2K_2 图上看起来就是个底”

  3. 图示
    观察依据

    图中画出水平线 K2K_2,曲线 y=f(x)y=f(x) 在区间 I 上位于该线上方或与之相切

待核验内容
  1. 音频中教师说“都是比这个 K2K_2 要大的”,而画面公式为 f(x)⩾K2f(x) \geqslant K_2;以画面公式为准,视频未进一步解释这一表述差异

定义
解释

视频给出下界定义:若存在实数 K2K_2,使得对区间 I 内任意 x 都有 f(x)⩾K2f(x) \geqslant K_2,则称函数 y=f(x)y=f(x) 在 I 上有下界。教师口头将 K2K_2 比作“底”。

公式
∀x∈I, f(x)⩾K2\forall x \in I,\ f(x) \geqslant K_2
适用条件
  1. 设有函数 y=f(x)y=f(x)

  2. x∈Ix \in I

  3. I⊆DI \subseteq D

  4. 存在实数 K2K_2

先修条目
  1. y=f(x)y=f(x)
  2. x∈Ix \in I
  3. I⊆DI \subseteq D
  4. K2K_2

函数有上界的定义

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面文字:若存在实数 K1K_1,使得对于任意的点 x∈Ix \in I,有 f(x)≤K1f(x) \le K_1,则称函数 y=f(x)y=f(x) 在 I 上有上界

定义
解释

如果存在一个实数 K1K_1,使得对于区间 I 内的任意 x,函数值 f(x)f(x) 都不大于 K1K_1,那么称该函数在 I 上有上界。

公式
∀x∈I,f(x)≤K1\forall x \in I, f(x) \le K_1
适用条件
  1. K1K_1 为实数

  2. x∈Ix \in I

  3. I⊆DI \subseteq D

函数有下界的定义

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面文字:若存在实数 K2K_2,使得对于任意的点 x∈Ix \in I,有 f(x)≥K2f(x) \ge K_2,则称函数 y=f(x)y=f(x) 在 I 上有下界

定义
解释

如果存在一个实数 K2K_2,使得对于区间 I 内的任意 x,函数值 f(x)f(x) 都不小于 K2K_2,那么称该函数在 I 上有下界。

公式
∀x∈I,f(x)≥K2\forall x \in I, f(x) \ge K_2
适用条件
  1. K2K_2 为实数

  2. x∈Ix \in I

  3. I⊆DI \subseteq D

函数有界的充要条件

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面文字:(3) 函数在 I 上有界的充要条件是函数在 I 上既有上界又有下界

  2. 声音
    观察依据

    讲师口述:函数有界的充要条件是它既有上界又有下界

方法
解释

判断一个函数在某区间上是否有界,只需要看它是否同时满足有上界和有下界这两个条件。

公式
适用条件
  1. 函数在区间 I 上讨论

先修条目
  1. 函数有上界的定义
  2. 函数有下界的定义
图示与动画 · 4

建立函数图像与区间 I 的几何背景

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    画面中央出现直角坐标系,横轴标 x,纵轴标 y,原点标 O

  2. 动画
    观察依据

    随后画出曲线 y=f(x)y=f(x),并在横轴上标出 a、b 与区间 I

  3. 声音
    观察依据

    教师说“比如说函数图形是这样子的,区间 ab 的图形我把它画出来”

图中对象
  1. 坐标系

  2. 曲线 y=f(x)y=f(x)

  3. 横轴标记 a,b

  4. 区间 I

变化过程
  1. 先出现坐标轴与原点 O

  2. 再出现曲线 y=f(x)y=f(x)

  3. 接着在横轴上标出 a、b 和区间 I

不变量
  1. 函数记号保持为 y=f(x)y=f(x)

  2. 讨论对象始终是区间 I 上的函数值

数学含义

这一段用图像把抽象定义落到具体几何位置:后续上界、下界都将在同一坐标系中用水平线表示。

上界的几何示意

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    在曲线上方画出水平线并标注 K1K_1

  2. 动画
    观察依据

    曲线 y=f(x)y=f(x) 在区间 I 上的部分位于 K1K_1 下方或接触 K1K_1

  3. 声音
    观察依据

    教师说“相当于有一个顶”

图中对象
  1. 水平线 K1K_1

  2. 曲线 y=f(x)y=f(x)

  3. 区间 I

变化过程
  1. 新增一条位于曲线上方的水平线 K1K_1

  2. 强调区间 I 内所有函数值都不超过这条线

不变量
  1. 曲线形状不变

  2. 区间 I 的位置不变

数学含义

K1K_1 作为上界不是要求取到最大值,而是给区间 I 上所有函数值一个统一的上限;图像用“顶”来直观表达这一点。

下界的几何示意

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    在曲线下方画出水平线并标注 K2K_2

  2. 动画
    观察依据

    曲线 y=f(x)y=f(x) 在区间 I 上的部分位于 K2K_2 上方或接触 K2K_2

  3. 声音
    观察依据

    教师说“图上看起来就是个底”

图中对象
  1. 水平线 K2K_2

  2. 曲线 y=f(x)y=f(x)

  3. 区间 I

变化过程
  1. 新增一条位于曲线下方的水平线 K2K_2

  2. 强调区间 I 内所有函数值都不小于这条线

不变量
  1. 曲线形状不变

  2. 区间 I 的位置不变

数学含义

K2K_2 作为下界给区间 I 上所有函数值一个统一的下限;图像用“底”来直观表达这一点。

函数有界性的几何图示

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    画面左侧展示了函数 y=f(x)y=f(x) 在区间 [a, b] 上的图像,上方有一条水平线标记为 K1K_1,下方有一条水平线标记为 K2K_2

图中对象
  1. 函数曲线 y=f(x)y=f(x)

  2. 水平线 K1K_1

  3. 水平线 K2K_2

  4. 区间 [a, b]

不变量
  1. 函数曲线始终位于 K1K_1 下方或相交

  2. 函数曲线始终位于 K2K_2 上方或相交

数学含义

图像直观地展示了函数值的范围被两条水平直线限制,即 f(x)≤K1f(x) \le K_1 且 f(x)≥K2f(x) \ge K_2,说明了函数既有上界又有下界。

易错点 · 1

上界、下界不要求一定被函数取到

依据清楚
补充解释
来源依据
  1. 图示
    观察依据

    K1K_1、K2K_2 画成水平界线,曲线可在其下方/上方,也可接触

  2. 公式
    观察依据

    定义使用 ⩽\leqslant 与 ⩾\geqslant,而不是严格不等号

待核验内容
  1. 这是分析员基于视频公式与图示补充的提醒,视频未明确点名该误区

误区

容易把上界、下界误解成最大值、最小值,认为函数必须正好达到 K1K_1 或 K2K_2。

说明

视频中的定义只要求对任意 x∈Ix \in I 满足 f(x)⩽K1f(x) \leqslant K_1 或 f(x)⩾K2f(x) \geqslant K_2;是否取等并未作为条件,因此上界、下界不必然等于最大值、最小值。

概念关系 · 4

函数在区间上的上界 → 函数在区间上的下界

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    先后给出 f(x)⩽K1f(x) \leqslant K_1 与 f(x)⩾K2f(x) \geqslant K_2 两个对称定义

  2. 声音
    观察依据

    教师先讲“上界”,再讲“下界”,并用“顶”和“底”对照说明

对比
解释

上界与下界是关于同一函数在同一区间 I 上的两个相反方向的界限概念:前者限制函数值向上,后者限制函数值向下。

建立函数图像与区间 I 的几何背景 → 函数在区间上的上界

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    先画出 y=f(x)y=f(x) 与区间 I,再用水平线 K1K_1、K2K_2 表示界限

  2. 声音
    观察依据

    教师边画图边解释“顶”“底”

应用
解释

视频先用函数图像建立直观背景,再把上界、下界定义落到同一图像上,用水平线解释不等式含义。

函数有界的充要条件 → 函数有上界的定义

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面文字:函数在 I 上有界的充要条件是函数在 I 上既有上界又有下界

包含
解释

函数有界的概念包含了函数有上界和函数有下界两个子概念,且两者同时成立是函数有界的充要条件。

函数有界的充要条件 → 函数有下界的定义

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面文字:函数在 I 上有界的充要条件是函数在 I 上既有上界又有下界

包含
解释

函数有界的概念包含了函数有上界和函数有下界两个子概念,且两者同时成立是函数有界的充要条件。

问题定位 · 5

函数在区间 I 上有上界是什么意思?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面给出上界完整定义

  2. 声音
    观察依据

    教师解释“任意一点的函数值都不超过这个 K1K_1”

涉及知识点
  1. 函数在区间上的上界

函数在区间 I 上有下界如何定义?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面给出下界完整定义

  2. 声音
    观察依据

    教师解释 K2K_2 是“底”

涉及知识点
  1. 函数在区间上的下界

为什么上界和下界在图像上通常画成水平线?

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    K1K_1、K2K_2 均以水平线画出

  2. 声音
    观察依据

    教师用“顶”“底”描述其几何意义

涉及知识点
  1. 上界的几何示意
  2. 下界的几何示意

如何判断一个函数是否有上界或下界?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面文字定义了上界和下界

涉及知识点
  1. 函数有上界的定义
  2. 函数有下界的定义

函数有界的充要条件是什么?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面文字给出了有界的充要条件

涉及知识点
  1. 函数有界的充要条件
覆盖情况与待核验内容

已覆盖 · 开场引入“什么时候函数有上界和有下界”,尚无独立数学定义展开。

已覆盖 · 给出函数、区间 I 与定义域 D 的关系,并画出坐标系和函数图像作为后续定义的几何背景。

已覆盖 · 完整给出上界定义,并用水平线 K1K_1 作图解释。

已覆盖 · 完整给出下界定义,并用水平线 K2K_2 作图解释。

已覆盖 · 视频画面展示了上界和下界的定义及几何图形,随后给出了有界的充要条件,讲师进行了口头解释。

探索视频中的知识

已审核的主题路径