极限与定义域中的点
定义
函数极限
设 , 是 的聚点,即 的每个去心邻域都与 相交。对 ,若对每个 都存在 ,使 且 蕴含 ,则称 。
的值若有定义,也与这个去心极限无关。聚点条件防止孤立点处的定义对每个 都空泛成立。定义域限制很重要:闭区间端点的极限是相对定义域的单侧极限。
例题
epsilon–delta 估计
对 在 ,目标为 。若 ,则 ,所以 。给定 ,选 ,便有 蕴含 。
定理
函数极限的序列判据
若 是 的聚点,则 在 的极限为 ,当且仅当对每个 且 的数列,都有 。
证明
证明判据
若 epsilon–delta 极限成立,对任何这类数列,最终有 ,故 。反过来,若极限不成立,存在 使每个 均失败。对每个 选 ,使 且 。则 ,但 不收敛至 ,违反序列假设。
例题
两种趋近可否定极限
在 上,令 。 与 均趋近 ,但 、,故共同极限不存在。反之,要证明极限存在,少数选定路径或数列不足够:判据要求每个符合条件的数列。
连续性与介值定理
定义
相对定义域的连续性
对 , 在 连续,指对每个 ,存在 ,使 且 蕴含 。在 的孤立点,此条件自动成立;在聚点,它等价于极限等于 。
定理
介值定理
若 在 上连续,而 位于 和 之间,则存在 使 。
证明
完备性定位穿越点
若 或 ,取相应端点即可。否则,假设 ;反向次序可把 换成 ,同时把 换成 。集合 非空且有上界。令 。若 ,由连续性,右侧附近点的值仍小于 ;因 ,这违反上界性质。若 ,连续性使 附近值均大于 ;上确界近似性质却给出该邻域内一个 的元素,矛盾。故 。
例题
不需封闭公式也能证根存在
多项式 连续。因 、,介值定理给出 内一个根。若 ,则 ,所以该区间内的根唯一。介值定理本身只给存在性,不给唯一性或明确根。
方法比较
直接证明极限或连续性可用 epsilon–delta 估计。要否定极限存在,可找两个趋近数列,其输出极限不同。介值定理可证连续函数取到中间值;唯一性需另行论证。应始终说明定义域并核对整个区间上的连续性。
练习
- 用 epsilon–delta 语言证明 。
- 令 时 、。它在 连续吗?
- 证明 在 内有根。
- 离散定义域 上的每个函数,相对此定义域都连续吗?
详解
- 给定 ,取 。则 蕴含 。
- 不连续。去心极限为 ,而 。取 ,每个邻域都有非零点,使输出与 的距离为 。
- 多项式连续,在 和 的值分别是 、,故介值定理给出两者之间的根。
- 是。每个定义域点都是孤立点,可选充分小的 排除其他定义域点;此时唯一可能的 是该点本身,输出差为零。
总结
函数极限控制所有充分靠近的定义域点;连续性把极限与实际函数值联系。完备性及连续性给出中间值,但要证唯一性仍需额外论证。