函数、极限与连续基础：函数性质、极限定义与性质、连续性与间断点分类，以及相关基础证明方法
函数、极限与连续是高等数学的三大基石，也是考研数学一命题中“高数证明题”的起点。本章的核心任务不是机械记忆定义，而是建立一套“用定义说话”的思维方式。极限的 \(\varepsilon-\delta\) 语言、连续性的局部保号性、间断点的分类判据，这些内容在真题中往往以“已知某极限存在，证明某函数性质”或“讨论函数在某点的连续性”等形式出现。我们将从函数的基本性质出发，逐步深入到极限的精确定义，再过渡到连续性与间断点分类，最后给出基础证明方法的操作框架。
一、函数性质：从定义域到性态分析
核心原理：函数是微积分的研究对象，其性质决定了后续极限与连续讨论的合法性。考研中常考的函数性质包括有界性、单调性、奇偶性、周期性和复合函数性质。特别要注意的是，有界性分为“局部有界”（在某个邻域内）和“全局有界”（在整个定义域上），二者在证明题中的使用场景完全不同。
| 性质 | 定义要点 | 考研常见考点 | 典型错误 |
|---|---|---|---|
| 有界性 | ∃M>0，∀x∈D，|f(x)|≤M | 证明函数在区间上有界；利用局部有界性 | 将“局部有界”误认为“全局有界” |
| 单调性 | x₁<x₂ ⇒ f(x₁)<f(x₂)（严格增） | 利用单调性证明不等式；判断反函数存在 | 忽略“严格”二字，将非严格单调当作严格单调 |
| 奇偶性 | f(-x)=f(x) 偶；f(-x)=-f(x) 奇 | 对称区间上的积分化简；奇函数在对称区间积分为零 | 忘记奇函数在 x=0 处若连续则 f(0)=0 |
| 周期性 | ∃T>0，f(x+T)=f(x) | 周期函数的积分性质；最小正周期的判断 | 误认为周期函数必有最小正周期（如常函数） |
判断方法：在证明函数有界性时，优先考虑以下路径：① 若能求出 |f(x)| 的最大值，直接取 M；② 若函数在闭区间上连续，则自动有界（这是后续章节的重要定理）；③ 若函数在开区间上讨论，需检查端点处的极限行为。对于单调性的证明，通常使用定义法：任取 x₁<x₂，作差 f(x₁)-f(x₂) 并判断符号，或利用导数符号（若可导）。
二、极限定义与性质：ε-δ 语言的精确运用
核心原理：极限是高等数学的灵魂。函数极限的 \(\varepsilon-\delta\) 定义：对任意 \(\varepsilon>0\)，存在 \(\delta>0\)，使得当 \(0<|x-x_0|<\delta\) 时，有 \(|f(x)-A|<\varepsilon\)。数列极限的 \(\varepsilon-N\) 定义类似。这两个定义是证明极限存在性的根本工具，也是后续连续性定义的直接基础。
操作流程：证明 \(\lim_{x \to x_0} f(x) = A\) 的步骤：
- 分析目标：写出需要证明的不等式 \(|f(x)-A|<\varepsilon\)。
- 逆向推导：从 \(|f(x)-A|\) 出发，利用三角不等式、放缩法，将其放大为一个关于 \(|x-x_0|\) 的简单表达式，即 \(|f(x)-A| \le C|x-x_0|\)（C 为常数）。
- 选取 δ：令 \(C|x-x_0| < \varepsilon\)，解得 \(|x-x_0| < \varepsilon/C\)，取 \(\delta = \varepsilon/C\)（有时需加限制条件如 \(|x-x_0|<1\) 以保证 C 的取值）。
- 正向书写：按定义格式，从“任给 ε>0”开始，取 δ=...，当 0<|x-x₀|<δ 时，逐步推导出 |f(x)-A|<ε。
案例拆解：证明 \(\lim_{x \to 2} (3x-1) = 5\)。
分析过程：目标不等式为 \(|(3x-1)-5| = |3x-6| = 3|x-2| < \varepsilon\)。直接取 \(\delta = \varepsilon/3\) 即可。书写时：任给 ε>0，取 δ=ε/3，当 0<|x-2|<δ 时，有 |(3x-1)-5| = 3|x-2| < 3δ = ε。证毕。
这个简单案例展示了 ε-δ 证明的核心逻辑：先放缩，再取 δ。对于更复杂的函数（如含 \(x^2\) 或 \(\sqrt{x}\)），需要先限制 \(|x-x_0|<1\)，从而将 \(|f(x)-A|\) 放大为 \(C|x-x_0|\) 的形式，其中 C 是一个与 x₀ 有关的常数。
三、连续性与间断点分类：局部性质与全局性质
核心原理：函数 f(x) 在点 x₀ 处连续，当且仅当 \(\lim_{x \to x_0} f(x) = f(x_0)\)。这等价于三条：① f(x₀) 有定义；② 极限 \(\lim_{x \to x_0} f(x)\) 存在；③ 极限值等于函数值。连续性描述的是函数在某点附近的“平滑”程度，而间断点则是连续性被破坏的位置。
间断点分类判断流程：
| 间断点类型 | 判断条件 | 典型例子 | 考研提示 |
|---|---|---|---|
| 可去间断点（第一类） | 左右极限存在且相等，但不等于 f(x₀) 或 f(x₀) 无定义 | f(x)=sin x / x 在 x=0 处 | 可通过重新定义 f(x₀) 使函数连续 |
| 跳跃间断点（第一类） | 左右极限存在但不相等 | f(x)=|x|/x 在 x=0 处 | 左右极限的差值称为“跳跃度” |
| 无穷间断点（第二类） | 至少一侧极限为无穷大 | f(x)=1/x 在 x=0 处 | 注意区分“极限不存在”与“极限为无穷” |
| 振荡间断点（第二类） | 极限不存在且不为无穷（在有限范围内振荡） | f(x)=sin(1/x) 在 x=0 处 | 常与复合函数结合考查 |
案例拆解：设 \(f(x) = \frac{x^2-1}{x-1}\)，讨论其在 x=1 处的连续性。
分析：函数在 x=1 处无定义（分母为零），因此不连续。但 \(\lim_{x \to 1} \frac{x^2-1}{x-1} = \lim_{x \to 1} (x+1) = 2\)，左右极限存在且相等，故 x=1 是可去间断点。若补充定义 f(1)=2，则函数变为连续函数。这个例子说明：可去间断点本质上只是“定义缺失”或“定义错误”，而非函数本身的剧烈变化。
闭区间连续函数的四大性质：有界性定理、最值定理、介值定理、零点定理。其中零点定理是证明方程根存在性的核心工具，在考研证明题中出现频率极高。其表述为：若 f(x) 在 [a,b] 上连续，且 f(a)·f(b)<0，则至少存在一点 ξ∈(a,b)，使得 f(ξ)=0。
四、基础证明方法：定义法、反证法与夹逼准则
核心原理：基础证明方法包括：① 定义法（直接用 ε-δ 或 ε-N 证明极限）；② 反证法（假设结论不成立，推出矛盾）；③ 夹逼准则（若 g(x)≤f(x)≤h(x) 且 lim g(x)=lim h(x)=A，则 lim f(x)=A）；④ 单调有界准则（单调递增且有上界的数列必收敛）。这些方法不是孤立的，在复杂证明题中常常需要组合使用。
操作流程：反证法证明极限不存在的步骤：
- 假设 \(\lim_{x \to x_0} f(x) = A\) 存在。
- 根据极限的唯一性或保号性等性质，推导出与已知条件矛盾的结论。
- 矛盾说明假设不成立，故极限不存在。
案例拆解（综合应用）：证明：若 f(x) 在 [a,b] 上连续，且对任意 x∈[a,b]，f(x)>0，则存在 m>0，使得对任意 x∈[a,b]，f(x)≥m。
分析：由闭区间上连续函数的最值定理，f(x) 在 [a,b] 上取得最小值，记为 m₀ = f(x₀)。因为 f(x₀)>0，所以 m₀>0。取 m=m₀ 即可。这个证明看似简单，但关键步骤是确认最值定理的适用条件：闭区间 + 连续。若区间为开区间 (a,b)，则结论不一定成立，例如 f(x)=x 在 (0,1) 上恒正，但不存在正的下界。
更深层的证明思路：若题目改为“f(x) 在 (a,b) 内连续，且 \(\lim_{x \to a^+} f(x) = +\infty\)，\(\lim_{x \to b^-} f(x) = +\infty\)，证明 f(x) 在 (a,b) 内取得最小值”。此时不能直接使用最值定理，需要先利用极限条件构造一个闭区间 [a+δ, b-δ]，在闭区间上取得最小值，再证明该最小值也是整个开区间上的最小值。这种“化开为闭”的思想是考研证明题的重要技巧。
五、常见误区与复盘总结
误区一：将“极限存在”与“函数有定义”混为一谈。极限描述的是 x 趋近于 x₀ 时 f(x) 的变化趋势，与 f(x₀) 是否有定义无关。例如 \(\lim_{x \to 0} \frac{\sin x}{x} = 1\)，但函数在 x=0 处无定义。
误区二：在证明函数连续时，只验证了 \(\lim_{x \to x_0} f(x)\) 存在，却忘记验证该极限等于 f(x₀)。连续性的三个条件缺一不可。
误区三：对于分段函数在分段点处的连续性，错误地直接代入某一侧的表达式。正确做法是分别计算左极限和右极限，再与函数值比较。
误区四：在应用零点定理时，未验证 f(x) 在闭区间上连续，或未验证端点函数值异号。这两个条件缺一不可，否则结论不成立。
复盘总结：本章的核心能力要求是：① 能熟练使用 ε-δ 语言完成简单的极限证明；② 能准确判断间断点类型并说明理由；③ 能灵活运用闭区间上连续函数的性质解决存在性问题；④ 掌握反证法和夹逼准则的基本套路。在后续章节中，导数与微分、积分学都会大量使用本章的概念与方法，因此务必打好基础。