函数极限的概念与验证

1. 直观理解：趋近于的含义

函数极限描述的是：当自变量 $x$ 无限接近（但不等于）某个值 $a$ 时，函数值 $f(x)$ 会稳定地接近一个确定的数值 $L$。

示例： $f(x) = x + 1$

观察当 $x$ 趋近于 2 时的变化：

• $x = 1.9 \Rightarrow f(x) = 2.9$
• $x = 1.99 \Rightarrow f(x) = 2.99$
• $x = 2.1 \Rightarrow f(x) = 3.1$
• $x = 2.01 \Rightarrow f(x) = 3.01$

我们得出结论：

$$\lim_{x \to 2} (x + 1) = 3$$

2. 核心思想与重要说明

关键要点

1. 趋近但不等于

   • 极限关注的是在 $a$ 点附近的变化趋势
   • 函数在 $x = a$ 处可以没有定义

2. 双侧一致性

   • 要求从左侧和右侧趋近时，$f(x)$ 都趋近于同一个值 $L$

3. 严格的数学定义：$\epsilon$-$\delta$ 语言

正式定义：
设函数 $f(x)$ 在点 $a$ 的某个去心邻域内有定义。如果存在常数 $L$，使得对于任意给定的 $\epsilon > 0$，总存在 $\delta > 0$，使得当 $x$ 满足：

$$0 < |x - a| < \delta$$

时，对应的函数值满足：

$$|f(x) - L| < \epsilon$$

则称 $L$ 是函数 $f(x)$ 当 $x \to a$ 时的极限，记作：

$$\lim_{x \to a} f(x) = L$$

4. 单侧极限

• 右极限： $\lim\limits_{x \to a^+} f(x) = L$
• 左极限： $\lim\limits_{x \to a^-} f(x) = L$

极限存在的充要条件：

$$\lim_{x \to a} f(x) = L \iff \lim_{x \to a^+} f(x) = L \ \text{且} \ \lim_{x \to a^-} f(x) = L$$

5. 极限的验证方法

验证思路

要证明：$\lim\limits_{x \to x_0} f(x) = L$

需要证明：对于任意 $\epsilon > 0$，存在 $\delta > 0$，使得当 $0 < |x - x_0| < \delta$ 时，有 $|f(x) - L| < \epsilon$。

验证步骤

步骤一：明确命题
清楚地写出要证明的极限表达式。

步骤二：分析推导（寻找 $\delta$）

1. 建立目标：$|f(x) - L| < \epsilon$
2. 代数化简 $|f(x) - L|$ 的表达式
3. 通过放缩技巧，建立与 $|x - x_0|$ 的联系
4. 解出 $|x - x_0| < \epsilon / M$
5. 确定 $\delta = \min(1, \epsilon/M)$

步骤三：完整证明

函数极限的ε-δ证明

已知： 存在常数 $M > 0$，使得在 $x_0$ 的某个去心邻域内有：

$$|f(x) - L| \leq M|x - x_0|$$

证明： $\lim\limits_{x \to x_0} f(x) = L$

证明过程：

对于任意 $\epsilon > 0$，取 $\delta = \min(1, \epsilon/M)$

当 $0 < |x - x_0| < \delta$ 时：

$$\begin{aligned} |f(x) - L| &= \cdots \\ &\leq \cdots \\ &< M \cdot \delta \\ &\leq M \cdot (\epsilon/M) = \epsilon \end{aligned}$$

故 $|f(x) - L| < \epsilon$，由极限定义知：

$$\lim_{x \to x_0} f(x) = L$$