第三章 函数极限与连续函数

本章包含函数极限与连续函数相关的基础定理。

§1 函数极限

定义3.1.1 函数极限(- 定义)

设函数 的某个去心邻域中有定义。如果存在实数 ,对于任意给定的 ,可以找到 ,使得当 时,成立

则称 时的极限,记为

例子:[[第三章 函数极限与连续函数 例子#定义3.1.1 函数极限(- 定义) — 例子]]

定义3.1.2 函数的左极限与右极限

设函数 的某个左邻域(或右邻域)有定义。如果存在实数 ,对于任意给定的 ,可以找到 ,使得当 (或 )时,成立 ,则称 处的左极限(或右极限),分别记为

例子:定义3.1.2 函数的左极限与右极限 — 例子

定义3.1.3 函数在无穷远处的极限

设函数 充分大时有定义。如果存在实数 ,对于任意给定的 ,可以找到 ,使得当 时,成立 ,则称 时的极限,记为 。类似可定义

例子:定义3.1.3 函数在无穷远处的极限 — 例子

§2 连续函数

定义3.2.1 函数在一点连续

设函数 的某个邻域中有定义。如果

则称 在点 连续。用 - 语言表述:对于任意给定的 ,存在 ,当 时,成立

例子:定义3.2.1 函数在一点连续 — 例子

定义3.2.2 函数在一点左连续与右连续

如果 ,则称 左连续;如果 ,则称 右连续

定义3.2.3 函数在区间上连续

如果 在开区间 内每一点都连续,则称 连续。如果 上连续,且在 处右连续,在 处左连续,则称 在闭区间 连续

定义3.2.4 函数的间断点

的某个去心邻域中有定义。如果 处不连续,则称 间断点

间断点分为两类:

  • 第一类间断点 都存在。若 ,称为可去间断点;若 ,称为跳跃间断点
  • 第二类间断点 至少有一个不存在。

例子:定义3.2.4 函数的间断点 — 例子

定义3.3.1 一致连续

设函数 在区间 上有定义。如果对于任意给定的 ,存在 ,使得对 中任意两点 ,当 时,成立

则称 在区间 一致连续

例子:定义3.3.1 一致连续 — 例子

定义3.3.2 无穷大量(函数)

设函数 的某个去心邻域中有定义。如果对于任意给定的 ,存在 ,当 时,成立 ,则称 时为无穷大量,记为

例子:定义3.3.2 无穷大量(函数) — 例子

定义3.3.3 无穷小量(函数)

如果 0f(x)x \to x_0$ 时为无穷小量

例子:定义3.3.3 无穷小量(函数) — 例子

定义3.3.4 无穷小量的阶

0\lim_{x \to x_0} \beta(x) = 0\beta(x) \neq 0$。

(1)若 ,则称 是比 高阶的无穷小量,记为

(2)若 ,则称 同阶无穷小量。特别地,若 ,称 等价无穷小量,记为

(3)若 ,则称 是比 低阶的无穷小量。

例子:定义3.3.4 无穷小量的阶 — 例子

定理3.1.1 极限惟一性

定理陈述:设 都是函数 在点 的极限,则

证明

假设 ,令

,存在 ,当 时,

,存在 ,当 时,

,当 时,两个不等式同时成立。由三角不等式:

得到 ,矛盾!所以

证毕


例子:定理3.1.1 极限惟一性 — 例子

定理3.1.2 局部保序性

定理陈述:若 ,且 ,则存在 ,当 时,成立

证明

核心想法 之间有距离 ,取中点 。当 足够接近 时, 很近(不会低于 ), 很近(不会超过 ),于是

第1步:令

第2步:由 ,存在 ,当 时,,即

第3步:由 ,存在 ,当 时,,即

第4步:取 ,当 时:

因此

证毕

推论1:若 ,则存在 ,当 时,成立

推论1的证明

:取 ,则 。由保序性,当 足够接近 。再取 ,由 ,所以

:对 应用上述论证(),得 ,即

推论2:若 ,且存在 ,使得当 时,成立 ,则

推论2的证明

用反证法。假设 ,由保序性,存在 ,当 时,,与条件 矛盾。所以

推论3(局部有界性):若 ,则存在 ,使得 中有界。

推论3的证明

。由 ,存在 ,当 时,,即

,则 中成立。


例子:定理3.1.2 局部保序性 — 例子

定理3.1.3 夹逼定理

定理陈述:若在 的某个去心邻域中,成立 ,且 ,则

证明

核心想法 夹在中间,而 都趋向 ,所以 也被”挤”向

第1步:设存在 ,当 时,。任给

第2步:由 ,存在 ,当 时,,即

第3步:由 ,存在 ,当 时,,即

第4步:取 ,当 时,三个条件同时成立:

的任意性,

证毕


例子:定理3.1.3 夹逼定理 — 例子

定理3.1.4 四则运算

定理陈述:设 ,则:

证明

这三个结论的证明与数列极限的四则运算完全类似,只需将""替换为""。

证明(1) 线性运算

任给 。由 ,存在 ,当 时,。由 ,存在 ,当 时,

,当 时:

因为 是常数,所以

证明(2) 乘法

第1步:由局部有界性(推论3), 的某去心邻域内有界,即存在 ,当 时,

第2步:关键技巧——“加一项减一项”:

第3步:任给 。存在 ,当 ,当

,当 时:

因为 是常数,所以

证明(3) 除法

第1步:因为 ,由推论1,存在 ,当 时,。所以 ,除法有意义。

第2步:通分:

第3步:当 时,。代入上式:

第4步:任给 ,取 使得 。令 ,当 时:

因为 是常数,所以

证毕


例子:定理3.1.4 四则运算 — 例子

§2 连续函数

定理3.2.1 反函数存在性定理

定理陈述:若函数 是严格单调增加(减少)的,则存在它的反函数 ,并且 也是严格单调增加(减少)的。

证明

我们只证严格单调增加的情形,严格单调减少的情形类似。

第1步:证明 是一一映射,从而反函数存在。

  • 单射(不同 对应不同 :设 ,不妨设 。因为 严格单调增加,所以 ,即

  • 满射到 :反函数的定义域就是 的值域 ,所以自然满射。

因此 的一一映射,反函数 存在。

第2步:证明 也是严格单调增加的。

。令 ,即

假设 。因为 严格单调增加, 推出 ,即 ,与 矛盾。

所以 ,即 严格单调增加。

证毕


例子:定理3.2.1 反函数存在性定理 — 例子

定理3.2.2 反函数连续性定理

定理陈述:设函数 在闭区间 上连续且严格单调增加,,则它的反函数 连续且严格单调增加。

证明

严格单调增加已由定理3.2.1证明。下面证明连续性。

第1步:证明 的值域是

由介值定理(定理3.2.7,我们稍后证明,但这里先使用其结论): 上连续,,对任意 ,存在 使得 。又 严格单调增加,所以 的值域恰好是

第2步:证明 在任意 处连续。

,令 ,即

任给 ,我们要找 ,当 时,,即

第3步:构造

(如果 在端点,只取一侧)。

因为 严格单调增加:

  • (当 时)
  • (当 时)

(只取存在的那一侧),则

第4步:验证。

时,。因为 也严格单调增加,所以 ,即 ,也就是

因此 处连续。由 的任意性, 上连续。

证毕


例子:定理3.2.2 反函数连续性定理 — 例子

定理3.2.3 复合函数连续性

定理陈述:若函数 在点 连续,函数 在点 连续,则复合函数 在点 连续。

证明

我们要证

第1步:任给

第2步:因为 连续,所以存在 ,当 时,

第3步:因为 连续,对于上面的 ,存在 ,当 时,,即

第4步:综合:当 时,,从而

因此 连续。

证毕


例子:定理3.2.3 复合函数连续性 — 例子

定理3.2.4 初等函数连续性

定理陈述:基本初等函数在其定义域内都是连续的;初等函数在其定义区间内都是连续的。

证明思路

这个定理的证明是一个归纳性的论证,而非单一证明。其逻辑链条如下:

第1步:证明基本初等函数的连续性。

  • 常数函数 :任给 ,取任意 。连续。

  • 幂函数 为正整数):由极限的乘法运算,。连续。对一般幂函数 ,可通过指数函数和对数函数表示为 ,由复合函数连续性得到。

  • 指数函数 :可由定义证明 ,再由 得到

  • 对数函数 :是 的反函数,由反函数连续性定理(定理3.2.2)得到连续。

  • 三角函数 的连续性可由和差化积公式和夹逼定理证明。例如 。其余三角函数由四则运算得到。

  • 反三角函数:由反函数连续性定理得到。

第2步:初等函数由基本初等函数经过有限次四则运算和复合得到。由四则运算保持连续性(定理3.1.4)和复合函数保持连续性(定理3.2.3),初等函数在其定义区间内连续。

证毕


例子:定理3.2.4 初等函数连续性 — 例子

定理3.2.5 有界性定理

定理陈述:若函数 在闭区间 上连续,则它在 上有界。

证明

用反证法。假设 上无界。

第1步:因为 无界,所以对任意正整数 ,都存在 使得

第2步 中的数列,必有界。由Bolzano-Weierstrass定理, 有收敛子列 ,设

第3步:因为 ,取极限得 ,所以

第4步:因为 处连续,所以 。收敛数列必有界,即存在 使得 对所有 成立。

第5步:但由构造,,与 矛盾!

因此 上有界。

证毕


例子:定理3.2.5 有界性定理 — 例子

定理3.2.6 最值定理

定理陈述:若函数 在闭区间 上连续,则它在 上必能取到最大值和最小值。

证明

我们只证 能取到最大值,最小值的情形类似。

第1步:由有界性定理(定理3.2.5), 上有界,所以 存在且有限。

第2步:我们要证存在 使得

第3步:由上确界的定义,对任意正整数 ,存在 使得

第4步 中的有界数列。由Bolzano-Weierstrass定理,存在收敛子列 ,设 。因为 ,所以

第5步:因为 处连续,

第6步:由第3步,(因为 是上确界)。取极限():

所以 处取到最大值。

证毕


例子:定理3.2.6 最值定理 — 例子

定理3.2.7 介值定理

定理陈述:设函数 在闭区间 上连续,且 ,若 是介于 之间的任一实数,则至少存在一点 ,使得

证明

不妨设 的情形类似,考虑 即可)。

核心想法:用二分法逐步缩小包含 对应点的区间,最终”夹”出

第1步:令 。则

第2步:取中点 。检查

  • ,则 ,证明结束。
  • ,令 。此时
  • ,令 。此时

第3步:重复这个过程。第 步得到 ,满足:

如果在某一步 ,则已找到 。否则,我们得到一个闭区间套。

第4步:由闭区间套定理,存在唯一的 对所有 成立,且

第5步:因为 连续,。而 对所有 成立,取极限得

同理,,而 对所有 成立,取极限得

因此

第6步:因为 (对 ),所以

证毕

推论(零点存在定理):若函数 在闭区间 上连续,且 异号,则至少存在一点 ,使得

推论的证明 异号意味着 介于 之间。取 ,由介值定理即得。


例子:定理3.2.7 介值定理 — 例子

定理3.2.8 一致连续性

定理陈述:函数 在区间 上一致连续的充分必要条件是:对于 上任意两个数列 ,只要 ,就有

证明

必要性(一致连续 数列条件):

上一致连续。任给 ,存在 ,对任意 ,当 时,

因为 ,存在 ,当 ,从而

所以

充分性(数列条件 一致连续):

用反证法(证逆否命题)。假设 上不一致连续,即存在 ,对任意 ,都存在 使得

第1步:取 ,则存在 使得

第2步,即

第3步:但 ,所以

这与数列条件矛盾。因此 上一致连续。

证毕


例子:定理3.2.8 一致连续性 — 例子

定理3.2.9 Cantor定理

定理陈述:若函数 在闭区间 上连续,则它在 上一致连续。

证明

用反证法。假设 上不一致连续,即存在 ,对任意 ,都存在 使得

第1步:取 ,则存在 使得

第2步 中的有界数列。由Bolzano-Weierstrass定理,存在收敛子列 ,设

第3步:因为 ,所以

第4步:因为 处连续,所以 。因此

第5步:但 ,与 矛盾!

因此 上一致连续。

证毕

意义:Cantor定理告诉我们,闭区间上的连续函数自动具有一致连续性这一更强的性质。开区间上的连续函数则不一定一致连续(例如 上连续但不一致连续)。


例子:定理3.2.9 Cantor定理 — 例子

§3 无穷小量与无穷大的阶

定理3.3.1 等价无穷小代换

定理陈述:设 的某个去心邻域 上有定义,且 (即 ),那么:

  1. 时,
  2. 时,

证明

核心想法 是等价无穷小(或等价无穷大),它们的比值趋向1,所以在乘法和除法中可以互相替换。

证明(1)

由条件,

由极限的乘法运算:

证明(2)

由条件,。而 ,因为 ,由极限的除法运算:

由极限的乘法运算:

证毕

注意:等价无穷小代换只适用于乘法和除法,不适用于加法和减法。例如,当 ,但 ,不能将 都替换为 (那样会得到极限为0的错误结果)。


例子:定理3.3.1 等价无穷小代换 — 例子

相关链接

来源引用

  • [数学分析 陈纪修 第三版 上](raw/数学分析 陈纪修 第三版 上/full.md)