2.2函数极限的性质

函数极限的唯一性定理 系统讲解

一、前置核心定义（证明的理论基础）

所有极限性质的推导都严格基于函数极限的公理化定义，此处先明确分析学中函数极限的完整定义体系，覆盖所有自变量变化过程。

定义1 有限点处的函数极限（ε-δ定义）

设函数\(f(x)\)在\(x_0\)的某去心邻域\(\mathring{U}(x_0,\delta_0)\)内有定义，若存在实数\(a\)，使得对\(\forall \varepsilon>0\)，\(\exists \delta>0\)（\(\delta<\delta_0\)），当\(0<|x-x_0|<\delta\)时，恒有\(|f(x)-a|<\varepsilon\)，则称\(a\)为\(f(x)\)当\(x \to x_0\)时的极限，记作\(\lim\limits_{x \to x_0} f(x)=a\)。

• 单侧极限：\(x \to x_0^+\)时，将条件替换为\(0<x-x_0<\delta\)；\(x \to x_0^-\)时，替换为\(0<x_0-x<\delta\)。

定义2 无穷远处的函数极限（ε-X定义）

设函数\(f(x)\)在\(|x|>X_0\)（\(X_0>0\)）内有定义，若存在实数\(a\)，使得对\(\forall \varepsilon>0\)，\(\exists X>0\)（\(X>X_0\)），当\(|x|>X\)时，恒有\(|f(x)-a|<\varepsilon\)，则称\(a\)为\(f(x)\)当\(x \to \infty\)时的极限，记作\(\lim\limits_{x \to \infty} f(x)=a\)。

• 单侧无穷极限：\(x \to +\infty\)时，条件替换为\(x>X\)；\(x \to -\infty\)时，替换为\(x<-X\)。

定义3 广义极限（无穷极限）

若对\(\forall M>0\)，\(\exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，恒有\(f(x)>M\)，则称\(f(x)\)当\(x \to x_0\)时的极限为\(+\infty\)，记作\(\lim\limits_{x \to x_0} f(x)=+\infty\)；同理可定义\(-\infty\)、\(\infty\)型广义极限。

---

二、函数极限的唯一性定理 完整表述与严谨证明

极限的唯一性是整个极限理论的基石，后续的局部有界性、保号性、四则运算法则、复合函数极限定理均依赖于该性质。

定理2.2.1（函数极限的唯一性）

若函数\(f(x)\)在自变量的同一变化过程中（\(x \to x_0\)、\(x \to x_0^+\)、\(x \to x_0^-\)、\(x \to +\infty\)、\(x \to -\infty\)、\(x \to \infty\)）存在极限，则极限唯一。即：若\(\lim f(x)=a\)且\(\lim f(x)=b\)（同一变化过程），则必有\(a=b\)。

• 注：该定理对有限极限和广义极限（\(\pm\infty\)、\(\infty\)）均成立。

---

证法1：直接证法（ε-δ定义法，针对\(x \to x_0\)有限极限情形）

已知条件

设\(a,b \in \mathbb{R}\)，均为\(f(x)\)当\(x \to x_0\)时的极限，即\(\lim\limits_{x \to x_0} f(x)=a\)，\(\lim\limits_{x \to x_0} f(x)=b\)。

完整推导过程（每步标注推理依据）

1. 极限定义的应用
   根据函数极限的ε-δ定义，对任意给定的\(\varepsilon>0\)：

   • 因\(\lim\limits_{x \to x_0} f(x)=a\)，对\(\varepsilon_1=\frac{\varepsilon}{2}>0\)，\(\exists \delta_1>0\)，当\(0<|x-x_0|<\delta_1\)时，恒有\(|f(x)-a|<\frac{\varepsilon}{2}\)；
   • 因\(\lim\limits_{x \to x_0} f(x)=b\)，对\(\varepsilon_2=\frac{\varepsilon}{2}>0\)，\(\exists \delta_2>0\)，当\(0<|x-x_0|<\delta_2\)时，恒有\(|f(x)-b|<\frac{\varepsilon}{2}\)。
     推理依据：极限定义中\(\varepsilon\)的任意性，此处取\(\varepsilon/2\)是分析学标准的ε-分拆技巧，保证最终放缩结果为\(\varepsilon\)。

2. 公共邻域的构造
   取\(\delta=\min\{\delta_1,\delta_2\}\)，当\(0<|x-x_0|<\delta\)时，同时满足\(0<|x-x_0|<\delta_1\)和\(0<|x-x_0|<\delta_2\)，因此上述两个绝对值不等式同时成立。
   推理依据：最小值的定义，若\(\delta \leq \delta_1\)且\(\delta \leq \delta_2\)，则\(|x-x_0|<\delta\)必然推出\(|x-x_0|<\delta_1\)和\(|x-x_0|<\delta_2\)。

3. 核心三角不等式放缩
   对\(|a-b|\)做恒等变形与放缩：

   \[\begin{align*} 0 \leq |a-b| &= |(a-f(x)) + (f(x)-b)| \\ &\leq |f(x)-a| + |f(x)-b| \end{align*} \]

   推理依据：① 实数加法逆元的恒等变形，\(a-b = a-f(x)+f(x)-b\)；② 实数三角不等式，对任意实数\(u,v\)，有\(|u+v| \leq |u|+|v|\)。

4. 不等式传递与最终结论
   代入步骤1的不等式，得：

   \[|a-b| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon \]

   此处\(|a-b|\)是与\(x\)无关的非负实数，而\(\varepsilon\)是任意给定的正实数，即非负实数\(|a-b|\)小于任意正实数。
   令\(\varepsilon \to 0^+\)，得\(0 \leq |a-b| \leq 0\)，故\(|a-b|=0\)。根据实数绝对值的正定性：\(|x|=0\)当且仅当\(x=0\)，因此\(a=b\)。

证法说明

该证法仅针对\(x \to x_0\)的有限极限情形，可通过将\(\delta\)替换为\(X\)推广到无穷远极限情形，但无法直接推广到广义极限（无穷极限），适用范围有限。

---

证法2：反证法（邻域分离法，可推广到所有极限情形）

该证法是分析学中证明唯一性的通用方法，核心逻辑是利用实数的分离性构造矛盾，适用范围覆盖所有自变量变化过程与广义极限。

完整推导过程（每步标注推理依据）

1. 反证法假设
   反设：在同一自变量变化过程中，\(f(x)\)有两个不相等的极限\(a\)和\(b\)，即\(a \neq b\)，\(a,b \in \mathbb{R}\)。
   推理依据：反证法的核心逻辑，否定原命题的结论（极限唯一），通过推导矛盾证明假设不成立。

2. 不相交邻域的构造
   因\(a \neq b\)，根据实数绝对值的正定性，\(|a-b|>0\)。取\(\varepsilon_0=\frac{|a-b|}{2}>0\)，构造\(a\)的开邻域\(V(a)=(a-\varepsilon_0,a+\varepsilon_0)\)，\(b\)的开邻域\(V(b)=(b-\varepsilon_0,b+\varepsilon_0)\)。
   证明\(V(a) \cap V(b) = \emptyset\)：
   若存在\(x \in V(a) \cap V(b)\)，则根据三角不等式：

   \[|a-b| = |(a-x)+(x-b)| \leq |a-x| + |x-b| < \varepsilon_0 + \varepsilon_0 = |a-b| \]

   即\(|a-b|<|a-b|\)，矛盾。因此\(V(a)\)与\(V(b)\)无交集。
   推理依据：实数三角不等式、反证法的矛盾推导。

3. 极限定义的应用
   以\(x \to x_0\)为例，根据函数极限的ε-δ定义：

   • 因\(\lim\limits_{x \to x_0} f(x)=a\)，对上述取定的\(\varepsilon_0>0\)，\(\exists \delta_1>0\)，当\(0<|x-x_0|<\delta_1\)时，\(f(x) \in V(a)\)；
   • 因\(\lim\limits_{x \to x_0} f(x)=b\)，对同一个\(\varepsilon_0>0\)，\(\exists \delta_2>0\)，当\(0<|x-x_0|<\delta_2\)时，\(f(x) \in V(b)\)。

4. 公共邻域的矛盾推导
   取\(\delta=\min\{\delta_1,\delta_2\}\)，当\(0<|x-x_0|<\delta\)时，同时满足\(0<|x-x_0|<\delta_1\)和\(0<|x-x_0|<\delta_2\)，因此\(f(x) \in V(a) \cap V(b)\)。
   但步骤2已证明\(V(a) \cap V(b) = \emptyset\)，即不存在这样的\(f(x)\)，矛盾。

5. 最终结论
   反设“\(a \neq b\)”不成立，故\(a=b\)，即极限唯一。

证法的可推广性

该证法的核心逻辑不依赖于自变量的趋近方式，仅需将“去心邻域\(0<|x-x_0|<\delta\)”替换为对应变化过程的邻域即可：

• \(x \to x_0^+\)：替换为\(0<x-x_0<\delta\)；
• \(x \to +\infty\)：替换为\(x>X\)（\(X>0\)）；
• 广义极限：替换为对应的\(M\)邻域，可证明广义极限的唯一性。

---

补充定理：广义极限的唯一性

若函数\(f(x)\)在同一变化过程中存在广义极限（\(+\infty\)、\(-\infty\)、\(\infty\)），则广义极限唯一，且不可能同时存在有限极限与广义极限。

简要证明

反设\(\lim\limits_{x \to x_0} f(x)=+\infty\)且\(\lim\limits_{x \to x_0} f(x)=a\)（\(a\)为实数）：

1. 对\(M=|a|+1>0\)，\(\exists \delta_1>0\)，当\(0<|x-x_0|<\delta_1\)时，\(f(x)>|a|+1\)（广义极限定义）；
2. 对\(\varepsilon=1>0\)，\(\exists \delta_2>0\)，当\(0<|x-x_0|<\delta_2\)时，\(|f(x)-a|<1\)，即\(f(x)<a+1 \leq |a|+1\)（有限极限定义）；
3. 取\(\delta=\min\{\delta_1,\delta_2\}\)，得\(f(x)>|a|+1\)且\(f(x)<|a|+1\)，矛盾。
   因此有限极限与广义极限不能同时存在，同理可证不同类型的广义极限也不能同时存在，即广义极限唯一。

---

三、梯度化配套例题与完整解析

【基础巩固题】

• 难度层级：基础，适配本科低年级课堂教学、期末备考
• 考察核心知识点：函数极限唯一性定理的逆用、ε-δ定义的理解、海涅定理的基础应用
• 题干：用极限的唯一性定理说明极限\(\lim\limits_{x \to 0} \sin\frac{1}{x}\)不存在。

完整解题过程（每步标注依据）

1. 核心定理回顾
   根据极限唯一性定理的逆否命题：若能找到两个不同的子列，使得函数沿这两个子列的极限不相等，则原函数极限不存在；该结论的理论依据是海涅定理：\(\lim\limits_{x \to x_0} f(x)=a\)的充要条件是，对任意满足\(x_n \to x_0\)（\(n \to \infty\)）且\(x_n \neq x_0\)的数列\(\{x_n\}\)，都有\(\lim\limits_{n \to \infty} f(x_n)=a\)。

2. 构造两个趋近于0的子列

   • 子列1：取\(x_n=\frac{1}{2n\pi}\)，\(n \in \mathbb{N}^+\)。显然\(n \to \infty\)时，\(x_n \to 0\)且\(x_n \neq 0\)，符合去心邻域要求。
     计算得\(f(x_n)=\sin\frac{1}{x_n}=\sin(2n\pi)=0\)，因此\(\lim\limits_{n \to \infty} f(x_n)=\lim\limits_{n \to \infty} 0=0\)。
     推理依据：正弦函数的周期性\(\sin(2k\pi)=0\)（\(k \in \mathbb{Z}\)）；常数列的极限等于自身。
   • 子列2：取\(y_n=\frac{1}{2n\pi+\frac{\pi}{2}}\)，\(n \in \mathbb{N}^+\)。显然\(n \to \infty\)时，\(y_n \to 0\)且\(y_n \neq 0\)。
     计算得\(f(y_n)=\sin\frac{1}{y_n}=\sin(2n\pi+\frac{\pi}{2})=1\)，因此\(\lim\limits_{n \to \infty} f(y_n)=\lim\limits_{n \to \infty} 1=1\)。
     推理依据：正弦函数的周期性\(\sin(2k\pi+\frac{\pi}{2})=1\)（\(k \in \mathbb{Z}\)）；常数列的极限等于自身。

3. 应用唯一性定理推出结论
   两个子列的极限分别为\(0\)和\(1\)，显然\(0 \neq 1\)，与极限唯一性定理矛盾。因此\(\lim\limits_{x \to 0} \sin\frac{1}{x}\)不存在。

题后总结

1. 核心考点：函数极限唯一性定理的逆用、海涅定理、振荡型函数极限不存在的判定。
2. 解题通法：证明函数极限不存在的核心通用方法，就是利用唯一性定理，找到两条不同的趋近路径/子列，使函数沿两条路径的极限不相等，是本科考试、考研数学的高频考点。
3. 题干识别特征：题目要求证明振荡型函数（如\(\sin\frac{1}{x}\)、\(\cos\frac{1}{x}\)）在某点的极限不存在。
4. 高频易错陷阱：构造子列时未满足“\(x_n \neq x_0\)”的去心要求；子列极限未取到确定的、不相等的实数值。

---

【进阶综合题】

• 难度层级：进阶，适配考研数学备考、本科高年级分析学进阶学习
• 考察核心知识点：函数极限唯一性定理的深层应用、实数的稠密性、狄利克雷函数的极限性质
• 题干：设狄利克雷函数\(D(x)=\begin{cases} 1, & x为有理数 \\ 0, & x为无理数 \end{cases}\)，证明：对任意\(x_0 \in \mathbb{R}\)，\(\lim\limits_{x \to x_0} D(x)\)不存在。

完整解题过程（每步标注依据）

1. 反设假设
   假设存在\(x_0 \in \mathbb{R}\)，使得\(\lim\limits_{x \to x_0} D(x)=c\)（\(c\)为实数），根据极限唯一性定理，该极限\(c\)是唯一的。

2. 利用实数稠密性构造子列
   根据实数的稠密性定理：任意实数的去心邻域内，都存在无穷多个有理数和无穷多个无理数。因此可构造两个子列：

   • 有理子列\(\{x_n\}\)：满足\(x_n \in \mathbb{Q}\)，\(x_n \neq x_0\)，且\(\lim\limits_{n \to \infty} x_n = x_0\)；
   • 无理子列\(\{y_n\}\)：满足\(y_n \notin \mathbb{Q}\)，\(y_n \neq x_0\)，且\(\lim\limits_{n \to \infty} y_n = x_0\)。

3. 计算两个子列的函数极限

   • 对有理子列\(\{x_n\}\)，\(D(x_n)=1\)，因此\(\lim\limits_{n \to \infty} D(x_n)=\lim\limits_{n \to \infty} 1=1\)；
   • 对无理子列\(\{y_n\}\)，\(D(y_n)=0\)，因此\(\lim\limits_{n \to \infty} D(y_n)=\lim\limits_{n \to \infty} 0=0\)。
     推理依据：常数列的极限等于自身。

4. 应用唯一性定理推出矛盾
   根据海涅定理，若\(\lim\limits_{x \to x_0} D(x)=c\)，则所有趋近于\(x_0\)的子列的极限都必须等于\(c\)，结合极限唯一性定理，必须有\(1=c\)且\(0=c\)，即\(1=0\)，显然矛盾。
   因此反设不成立，即对任意\(x_0 \in \mathbb{R}\)，\(\lim\limits_{x \to x_0} D(x)\)不存在。

题后总结

1. 核心考点：函数极限唯一性定理、海涅定理、实数的稠密性、病态函数的极限分析。
2. 解题通法：对按有理数/无理数分段的函数，利用实数稠密性构造有理子列和无理子列，分别计算极限后，通过唯一性定理判断原极限是否存在，是分析学中研究病态函数的核心方法。
3. 题干识别特征：函数按有理数、无理数分段，要求证明函数在任意点的极限不存在。
4. 高频易错陷阱：忽略实数的稠密性，错误认为存在某邻域内全为有理数或全为无理数；子列构造不符合去心邻域要求。

---

【科研拓展题】

• 难度层级：科研入门，适配数学专业研究生分析学入门、科研基础训练
• 考察核心知识点：极限唯一性定理的拓扑本质、度量空间与拓扑空间中极限的定义、豪斯多夫分离性
• 题干：（1）证明：在欧氏度量空间\((\mathbb{R},d)\)（\(d(x,y)=|x-y|\)）中，任何函数的极限若存在则必唯一；（2）举例说明：在非豪斯多夫拓扑空间中，极限可以不唯一，并解释极限唯一性的拓扑本质。

完整解题过程

（1）欧氏度量空间中极限唯一性的证明

1. 度量空间中极限的定义
   设\((X,d_X)\)和\((Y,d_Y)\)为度量空间，\(f:X \to Y\)为映射，\(x_0\)是\(X\)的聚点。若存在\(a \in Y\)，使得对\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(0<d_X(x,x_0)<\delta\)时，恒有\(d_Y(f(x),a)<\varepsilon\)，则称\(a\)为\(f(x)\)当\(x \to x_0\)时的极限，记作\(\lim\limits_{x \to x_0} f(x)=a\)。
   本题中\(X=Y=\mathbb{R}\)，\(d_X=d_Y=d(x,y)=|x-y|\)，即欧氏度量空间。

2. 反证法推导
   反设\(\lim\limits_{x \to x_0} f(x)=a\)，\(\lim\limits_{x \to x_0} f(x)=b\)，且\(a \neq b\)。
   因\(a \neq b\)，根据度量的正定性，\(d(a,b)=|a-b|>0\)。取\(\varepsilon_0=\frac{d(a,b)}{2}>0\)，构造开球\(B(a,\varepsilon_0)=\{x \in \mathbb{R} | d(x,a)<\varepsilon_0\}\)，\(B(b,\varepsilon_0)=\{x \in \mathbb{R} | d(x,b)<\varepsilon_0\}\)。
   由度量的三角不等式可证\(B(a,\varepsilon_0) \cap B(b,\varepsilon_0)=\emptyset\)：若存在\(x \in B(a,\varepsilon_0) \cap B(b,\varepsilon_0)\)，则\(d(a,b) \leq d(a,x)+d(x,b) < \varepsilon_0+\varepsilon_0=d(a,b)\)，矛盾。

3. 极限定义的矛盾推导
   根据极限定义，对\(\varepsilon_0>0\)：

   • \(\exists \delta_1>0\)，当\(0<d(x,x_0)<\delta_1\)时，\(f(x) \in B(a,\varepsilon_0)\)；
   • \(\exists \delta_2>0\)，当\(0<d(x,x_0)<\delta_2\)时，\(f(x) \in B(b,\varepsilon_0)\)。
     取\(\delta=\min\{\delta_1,\delta_2\}\)，当\(0<d(x,x_0)<\delta\)时，\(f(x) \in B(a,\varepsilon_0) \cap B(b,\varepsilon_0)=\emptyset\)，矛盾。
     因此\(a=b\)，即极限唯一。

（2）非豪斯多夫空间中极限不唯一的例子与拓扑本质

1. 非豪斯多夫拓扑空间的构造
   取\(X=\mathbb{R}\)，赋予余有限拓扑\(\tau\)：\(\tau=\{\emptyset\} \cup \{U \subseteq \mathbb{R} | X \setminus U是有限集\}\)。
   可验证该拓扑满足拓扑公理：① \(\emptyset,X \in \tau\)；② 任意开集的并仍为开集；③ 有限个开集的交仍为开集。
   该空间不是豪斯多夫空间：对任意两个不同的点\(a,b \in \mathbb{R}\)，任取包含\(a\)的开集\(U\)、包含\(b\)的开集\(V\)，\(X \setminus U\)和\(X \setminus V\)均为有限集，因此\(X \setminus (U \cap V)=(X \setminus U) \cup (X \setminus V)\)是有限集，而\(\mathbb{R}\)是无限集，故\(U \cap V \neq \emptyset\)，即无法用不相交的开集分离两个不同的点。

2. 极限不唯一的例子
   取数列\(x_n=n\)，\(n \in \mathbb{N}^+\)，证明该数列在余有限拓扑中，极限为任意实数\(c \in \mathbb{R}\)。
   拓扑空间中数列极限的定义：\(\{x_n\}\)收敛于\(c\)，当且仅当对任意包含\(c\)的开集\(U\)，\(\exists N \in \mathbb{N}^+\)，当\(n>N\)时，\(x_n \in U\)。
   任取\(c \in \mathbb{R}\)，任取包含\(c\)的开集\(U\)，\(X \setminus U\)是有限集，因此\(X \setminus U\)中最多包含有限个正整数，故\(\exists N \in \mathbb{N}^+\)，当\(n>N\)时，\(n \in U\)，即\(x_n \in U\)。因此\(\lim\limits_{n \to \infty} x_n=c\)对任意\(c \in \mathbb{R}\)成立，极限完全不唯一。

3. 极限唯一性的拓扑本质
   极限的唯一性，本质上等价于拓扑空间的豪斯多夫（\(T_2\)）分离性：

   • 若拓扑空间是豪斯多夫空间，则任何收敛序列（或网）的极限必唯一；
   • 反之，若拓扑空间中所有收敛网的极限都唯一，则该空间必为豪斯多夫空间。
     实数空间中极限的唯一性，根源在于实数空间是豪斯多夫空间，两个不同的点可通过不相交的开邻域分离，这也是反证法的核心逻辑。

题后总结

1. 核心考点：极限唯一性的拓扑本质、度量空间与拓扑空间的极限定义、豪斯多夫分离性。
2. 科研意义：该结论是泛函分析、拓扑学的核心基础，可推广到赋范线性空间、内积空间（均为度量空间，极限必唯一），以及拓扑线性空间的研究中。
3. 拓展方向：可进一步研究网（net）的极限唯一性，网的极限唯一当且仅当空间是豪斯多夫空间，比序列极限的结论更本质。

---

四、核心知识点归纳总结表

分类	核心内容	方法特点	适用条件	注意事项	典型应用场景
函数极限唯一性定理	同一变化过程中，函数若存在极限（含有限极限、广义极限），则极限唯一	是极限理论的基石，所有后续极限性质均依赖该定理	任意自变量变化过程、任意函数类型	必须保证是同一自变量变化过程，不同变化过程的极限无唯一性约束	极限存在性的判定、极限值的唯一求解
直接证法（ε-δ法）	利用极限定义的ε任意性，通过三角不等式放缩，证明两个极限的差的绝对值小于任意正数，从而证明两极限相等	构造性证明，逻辑直观，贴合极限的ε-δ定义	仅适用于有限极限情形，可推广到度量空间	ε的分拆技巧是关键，通常取\(\varepsilon/2\)保证最终放缩结果为ε	本科基础教学、极限定义的深度理解
反证法（邻域分离法）	反设存在两个不同极限，利用实数的分离性构造不相交邻域，结合极限定义推出矛盾	通用性极强，是分析学中唯一性证明的通用方法	所有极限情形（有限极限、广义极限、所有自变量变化过程）	核心是构造两个不相交的邻域，必须严格证明邻域的无交性	考研证明题、广义极限唯一性证明、拓扑空间中极限分析
唯一性定理的核心推论	若函数沿两条不同路径/子列的极限不相等，则原函数极限不存在	将函数极限问题转化为数列极限问题，大幅简化证明	所有函数极限不存在的判定场景	子列必须满足“趋近于\(x_0\)且永远不等于\(x_0\)”的去心要求	振荡型函数、分段函数极限不存在的证明，考研选择题快速排除选项
广义极限的唯一性	广义极限（\(\pm\infty\)、\(\infty\)）若存在则唯一，且与有限极限互斥	拓展了唯一性定理的适用范围，完善了极限理论体系	无穷极限的存在性判定	不同类型的广义极限（\(+\infty\)与\(-\infty\)）互斥，不能同时存在	无穷极限的存在性分析、渐近线的求解
唯一性定理的拓扑本质	极限唯一等价于拓扑空间的豪斯多夫（\(T_2\)）分离性	揭示了极限唯一性的底层逻辑，可推广到一般拓扑空间	泛函分析、拓扑学中的极限分析	非豪斯多夫空间中，极限可以不唯一，不能直接套用实数空间的极限性质	研究生阶段分析学、拓扑学科研入门

---

函数极限的核心性质 系统讲解（承接唯一性定理）

本节内容是数学分析中函数极限理论的核心支柱，在极限唯一性定理的基础上，系统讲解函数极限的局部有界性、局部保号性、保不等式性、夹逼定理（迫敛性）、四则运算法则、复合函数极限定理六大核心性质，所有推导严格遵循分析学公理体系，每一步均标注推理依据，确保逻辑闭环、可复现。

---

一、前置核心定义

定义2.2.1 函数的有界性

设\(f:X \to \mathbb{R}\)为实值函数，

1. 上有界：若存在常数\(B \in \mathbb{R}\)，使得对\(\forall x \in X\)，恒有\(f(x) \leq B\)，则称\(f(x)\)在\(X\)上有上界，\(B\)称为\(f(x)\)在\(X\)上的一个上界；
2. 下有界：若存在常数\(A \in \mathbb{R}\)，使得对\(\forall x \in X\)，恒有\(f(x) \geq A\)，则称\(f(x)\)在\(X\)上有下界，\(A\)称为\(f(x)\)在\(X\)上的一个下界；
3. 有界：若\(f(x)\)在\(X\)上既有上界又有下界，则称\(f(x)\)在\(X\)上有界。
   等价定义：\(f(x)\)在\(X\)上有界\(\iff\)存在常数\(M \geq 0\)，使得对\(\forall x \in X\)，恒有\(|f(x)| \leq M\)。
   推理依据：绝对值不等式的等价性，\(|f(x)| \leq M \iff -M \leq f(x) \leq M\)。

示例：

• \(|\sin x| \leq 1\)对\(\forall x \in \mathbb{R}\)成立，故\(\sin x\)在\(\mathbb{R}\)上有界；
• \(e^x > 0\)对\(\forall x \in \mathbb{R}\)成立，故\(e^x\)在\(\mathbb{R}\)上有下界，但无上界，因此在\(\mathbb{R}\)上无界。

---

二、函数极限的六大核心性质 完整表述与严谨证明

注：以下所有定理均以\(x \to x_0\)为核心自变量变化过程，所有结论均可平行推广到\(x \to x_0^+\)、\(x \to x_0^-\)、\(x \to +\infty\)、\(x \to -\infty\)、\(x \to \infty\)过程，仅需将“去心邻域\(\mathring{U}(x_0)\)”替换为对应过程的邻域即可。

---

定理2.2.2 局部有界性

完整表述

若\(\lim\limits_{x \to x_0} f(x)=a\)（\(a\)为有限实数），则\(f(x)\)在\(x_0\)的某去心邻域\(\mathring{U}(x_0)\)内有界。
简言之：有极限必局部有界。

严谨证明（每步标注推理依据）

1. 极限定义的应用
   已知\(\lim\limits_{x \to x_0} f(x)=a\)，\(a \in \mathbb{R}\)。根据函数极限的ε-δ定义，对任意给定的\(\varepsilon>0\)，都存在对应的\(\delta>0\)，使得当\(0<|x-x_0|<\delta\)时，\(|f(x)-a|<\varepsilon\)。
   此处取定\(\varepsilon_0=1\)（\(\varepsilon\)的任意性，取固定正数即可），则\(\exists \delta_0>0\)，当\(x \in \mathring{U}(x_0,\delta_0)=\{x | 0<|x-x_0|<\delta_0\}\)时，恒有\(|f(x)-a|<1\)。
   推理依据：极限定义中ε的任意性，取固定的ε即可得到确定的邻域。

2. 三角不等式放缩
   对上述\(x \in \mathring{U}(x_0,\delta_0)\)，由实数三角不等式\(|A|-|B| \leq |A \pm B|\)，得：

   \[|f(x)| = |(f(x)-a) + a| \leq |f(x)-a| + |a| \]

   代入\(|f(x)-a|<1\)，得：

   \[|f(x)| < 1 + |a| \]

3. 有界性结论
   取\(M=1+|a| \geq 0\)，则对\(\forall x \in \mathring{U}(x_0,\delta_0)\)，恒有\(|f(x)| < M\)，符合有界性的等价定义。因此\(f(x)\)在\(\mathring{U}(x_0,\delta_0)\)内有界。
   \(\square\)

关键补充说明

1. “局部”的核心含义：有界性仅在\(x_0\)的去心邻域内成立，与\(f(x)\)在定义域其他位置的有界性无关。例如\(f(x)=\frac{1}{x}\)，\(\lim\limits_{x \to 1} \frac{1}{x}=1\)，故\(f(x)\)在\(x=1\)的某去心邻域内有界，但在\(x=0\)的邻域内无界。
2. 逆命题不成立：局部有界不能推出极限存在。例如\(f(x)=\sin\frac{1}{x}\)，在\(x=0\)的去心邻域内\(|f(x)| \leq 1\)有界，但\(\lim\limits_{x \to 0} \sin\frac{1}{x}\)不存在。
3. 广义极限无此性质：若\(\lim\limits_{x \to x_0} f(x)=\pm\infty\)（无穷极限），则\(f(x)\)在\(x_0\)的任何去心邻域内都无界，因此局部有界性仅对有限极限成立。

---

定理2.2.3 局部保号性

完整表述

若\(\lim\limits_{x \to x_0} f(x)=a\)，且\(a>0\)（或\(a<0\)），则对任意常数\(r \in (0,a)\)（或\(r \in (a,0)\)），存在\(x_0\)的去心邻域\(\mathring{U}(x_0)\)，使得对\(\forall x \in \mathring{U}(x_0)\)，恒有\(f(x)>r>0\)（或\(f(x)<r<0\)）。
简言之：极限的符号决定了函数在局部的符号。

严谨证明（每步标注推理依据）

仅证明\(a>0\)的情形，\(a<0\)的情形可同理证明，或用\(-f(x)\)代替\(f(x)\)推导。

1. 极限定义的应用
   已知\(\lim\limits_{x \to x_0} f(x)=a>0\)，取\(\varepsilon_0=a-r>0\)（因\(r \in (0,a)\)，故\(\varepsilon_0>0\)）。
   根据函数极限的ε-δ定义，对上述\(\varepsilon_0>0\)，\(\exists \delta_0>0\)，当\(x \in \mathring{U}(x_0,\delta_0)\)时，恒有\(|f(x)-a|<\varepsilon_0\)。
   推理依据：极限定义中ε的任意性，此处取ε为\(a-r\)，是为了通过绝对值不等式直接得到\(f(x)\)的下界。

2. 绝对值不等式的展开
   由\(|f(x)-a|<\varepsilon_0=a-r\)，展开绝对值不等式得：

   \[a - (a-r) < f(x) < a + (a-r) \]

   左边化简得：\(f(x) > a - (a-r) = r > 0\)。

3. 结论
   对\(\forall x \in \mathring{U}(x_0,\delta_0)\)，恒有\(f(x)>r>0\)，定理得证。
   \(\square\)

核心推论与补充说明

1. 推论（保号性的最简形式）：若\(\lim\limits_{x \to x_0} f(x)=a \neq 0\)，则存在\(x_0\)的去心邻域\(\mathring{U}(x_0)\)，使得对\(\forall x \in \mathring{U}(x_0)\)，恒有\(|f(x)| > \frac{|a|}{2} > 0\)。
   这是分析学中最常用的保号性形式，取\(r=\frac{|a|}{2}\)即可直接得到。
2. 逆命题的成立条件：若\(f(x)\)在\(x_0\)的某去心邻域内恒有\(f(x) \geq 0\)（或\(f(x) \leq 0\)），且\(\lim\limits_{x \to x_0} f(x)=a\)，则\(a \geq 0\)（或\(a \leq 0\)）。
   ⚠️ 高频易错点：即使函数是严格大于0，极限也可能等于0。例如\(f(x)=x^2\)，在\(x=0\)的去心邻域内\(f(x)>0\)，但\(\lim\limits_{x \to 0} x^2=0\)，因此逆命题中只能得到非严格不等号。
3. 广义极限的保号性：若\(\lim\limits_{x \to x_0} f(x)=+\infty\)，则对任意正数\(M>0\)，存在\(x_0\)的去心邻域，使得\(f(x)>M\)；同理\(-\infty\)的情形也成立。

---

定理2.2.4 保不等式性

完整表述

设\(\lim\limits_{x \to x_0} f(x)=a\)，\(\lim\limits_{x \to x_0} g(x)=b\)，且在\(x_0\)的某去心邻域\(\mathring{U}(x_0)\)内，恒有\(f(x) \leq g(x)\)，则必有\(a \leq b\)。
简言之：函数的局部不等关系，在取极限后仍然保持（非严格）。

严谨证明（两种证法，每步标注推理依据）

证法1：ε-δ定义直接证法

1. 极限定义的应用
   已知\(\lim\limits_{x \to x_0} f(x)=a\)，\(\lim\limits_{x \to x_0} g(x)=b\)。根据函数极限的ε-δ定义，对\(\forall \varepsilon>0\)：

   • \(\exists \delta_1>0\)，当\(x \in \mathring{U}(x_0,\delta_1)\)时，\(a - \varepsilon < f(x) < a + \varepsilon\)；
   • \(\exists \delta_2>0\)，当\(x \in \mathring{U}(x_0,\delta_2)\)时，\(b - \varepsilon < g(x) < b + \varepsilon\)。
     推理依据：极限定义的绝对值不等式展开，\(|f(x)-a|<\varepsilon \iff a-\varepsilon < f(x) < a+\varepsilon\)。

2. 公共邻域的构造
   已知在\(\mathring{U}(x_0,\delta_0)\)内\(f(x) \leq g(x)\)，取\(\delta=\min\{\delta_0,\delta_1,\delta_2\}\)，则当\(x \in \mathring{U}(x_0,\delta)\)时，以下三个条件同时成立：
   ① \(f(x) \leq g(x)\)；② \(a - \varepsilon < f(x)\)；③ \(g(x) < b + \varepsilon\)。

3. 不等式传递与结论推导
   由上述三个条件，得：

   \[a - \varepsilon < f(x) \leq g(x) < b + \varepsilon \]

   化简得：\(a - \varepsilon < b + \varepsilon\)，即\(a - b < 2\varepsilon\)。
   此处\(\varepsilon\)是任意给定的正实数，令\(\varepsilon \to 0^+\)，得\(a - b \leq 0\)，即\(a \leq b\)。
   \(\square\)

证法2：反证法（邻域分离法，基于唯一性定理）

1. 反证法假设
   反设\(a > b\)，根据实数的分离性，取\(\varepsilon_0=\frac{a-b}{2}>0\)，构造\(a\)的开邻域\(V(a)=(a-\varepsilon_0,a+\varepsilon_0)\)，\(b\)的开邻域\(V(b)=(b-\varepsilon_0,b+\varepsilon_0)\)，显然\(V(a) \cap V(b)=\emptyset\)，且对\(\forall u \in V(a), v \in V(b)\)，恒有\(u > v\)。
   推理依据：三角不等式可证两邻域无交，与唯一性定理的邻域构造逻辑一致。

2. 极限定义的应用
   根据函数极限的ε-δ定义，对上述\(\varepsilon_0>0\)：

   • \(\exists \delta_1>0\)，当\(x \in \mathring{U}(x_0,\delta_1)\)时，\(f(x) \in V(a)\)；
   • \(\exists \delta_2>0\)，当\(x \in \mathring{U}(x_0,\delta_2)\)时，\(g(x) \in V(b)\)。

3. 矛盾推导
   取\(\delta=\min\{\delta_0,\delta_1,\delta_2\}\)，当\(x \in \mathring{U}(x_0,\delta)\)时，同时满足\(f(x) \in V(a)\)、\(g(x) \in V(b)\)、\(f(x) \leq g(x)\)。
   但由邻域的性质，\(f(x) \in V(a)\)、\(g(x) \in V(b)\)可推出\(f(x) > g(x)\)，与已知\(f(x) \leq g(x)\)矛盾。
   因此反设不成立，故\(a \leq b\)。
   \(\square\)

关键补充说明

1. 严格不等的极限保持性：即使在去心邻域内是严格不等\(f(x) < g(x)\)，取极限后仍只能得到\(a \leq b\)，无法推出\(a < b\)。
   反例：\(f(x)=0\)，\(g(x)=x^2\)，在\(x=0\)的去心邻域内\(f(x) < g(x)\)，但\(\lim\limits_{x \to 0} f(x)=\lim\limits_{x \to 0} g(x)=0\)，极限相等。
2. 逆命题不成立：若\(a \leq b\)，无法推出在局部邻域内\(f(x) \leq g(x)\)。反例：\(f(x)=x\)，\(g(x)=0\)，\(\lim\limits_{x \to 0} f(x)=0 \leq \lim\limits_{x \to 0} g(x)=0\)，但在\(x=0\)的右去心邻域内\(f(x) > g(x)\)。
3. 广义极限的推广：若\(\lim\limits_{x \to x_0} f(x)=+\infty\)，且\(f(x) \leq g(x)\)在局部成立，则\(\lim\limits_{x \to x_0} g(x)=+\infty\)；同理若\(\lim\limits_{x \to x_0} g(x)=-\infty\)，且\(f(x) \leq g(x)\)，则\(\lim\limits_{x \to x_0} f(x)=-\infty\)。

---

定理2.2.5 夹逼定理（迫敛性定理）

完整表述

设\(\lim\limits_{x \to x_0} f(x)=\lim\limits_{x \to x_0} g(x)=a\)，且在\(x_0\)的某去心邻域\(\mathring{U}(x_0)\)内，恒有\(f(x) \leq h(x) \leq g(x)\)，则必有\(\lim\limits_{x \to x_0} h(x)=a\)。
夹逼定理是求极限的核心工具之一，核心逻辑是通过两个极限已知且相等的函数，“夹住”中间的函数，从而直接得到中间函数的极限。

严谨证明（两种证法，每步标注推理依据）

证法1：ε-δ定义直接证法

1. 极限定义的应用
   已知\(\lim\limits_{x \to x_0} f(x)=a\)，\(\lim\limits_{x \to x_0} g(x)=a\)。根据函数极限的ε-δ定义，对\(\forall \varepsilon>0\)：

   • \(\exists \delta_1>0\)，当\(x \in \mathring{U}(x_0,\delta_1)\)时，\(a - \varepsilon < f(x) < a + \varepsilon\)；
   • \(\exists \delta_2>0\)，当\(x \in \mathring{U}(x_0,\delta_2)\)时，\(a - \varepsilon < g(x) < a + \varepsilon\)。

2. 公共邻域的构造
   已知在\(\mathring{U}(x_0,\delta_0)\)内\(f(x) \leq h(x) \leq g(x)\)，取\(\delta=\min\{\delta_0,\delta_1,\delta_2\}\)，则当\(x \in \mathring{U}(x_0,\delta)\)时，以下条件同时成立：
   ① \(f(x) \leq h(x) \leq g(x)\)；② \(a - \varepsilon < f(x)\)；③ \(g(x) < a + \varepsilon\)。

3. 不等式传递与结论
   联立得：

   \[a - \varepsilon < f(x) \leq h(x) \leq g(x) < a + \varepsilon \]

   即\(|h(x)-a| < \varepsilon\)，完全符合函数极限的ε-δ定义，因此\(\lim\limits_{x \to x_0} h(x)=a\)。
   \(\square\)

证法2：邻域统一描述法（拓扑视角）

1. 极限的邻域定义
   对\(a\)的任意开邻域\(V(a)\)，由\(\lim\limits_{x \to x_0} f(x)=a\)，\(\exists \delta_1>0\)，当\(x \in \mathring{U}(x_0,\delta_1)\)时，\(f(x) \in V(a)\)；
   同理，由\(\lim\limits_{x \to x_0} g(x)=a\)，\(\exists \delta_2>0\)，当\(x \in \mathring{U}(x_0,\delta_2)\)时，\(g(x) \in V(a)\)。

2. 公共邻域的推导
   取\(\delta=\min\{\delta_0,\delta_1,\delta_2\}\)，当\(x \in \mathring{U}(x_0,\delta)\)时，\(f(x) \in V(a)\)且\(g(x) \in V(a)\)，同时\(f(x) \leq h(x) \leq g(x)\)。
   由于开邻域\(V(a)\)是区间，区间具有凸性：若\(u,v \in (c,d)\)且\(u \leq w \leq v\)，则\(w \in (c,d)\)。因此\(h(x) \in V(a)\)。

3. 结论
   对\(a\)的任意开邻域\(V(a)\)，都存在\(\delta>0\)，使得当\(x \in \mathring{U}(x_0,\delta)\)时，\(h(x) \in V(a)\)，符合极限的邻域定义，故\(\lim\limits_{x \to x_0} h(x)=a\)。
   \(\square\)

关键补充说明

1. 广义极限的适用边界：当\(a=+\infty\)或\(a=-\infty\)时，夹逼定理的结论不成立。
   反例：取\(f(x)=-\frac{1}{(x-x_0)^2}\)，\(h(x)=0\)，\(g(x)=\frac{1}{(x-x_0)^2}\)，则\(\lim\limits_{x \to x_0} f(x)=-\infty\)，\(\lim\limits_{x \to x_0} g(x)=+\infty\)，但\(\lim\limits_{x \to x_0} h(x)=0\)，不等于\(\pm\infty\)。
   仅当\(\lim f(x)=\lim g(x)=+\infty\)，且\(f(x) \leq h(x)\)时，可推出\(\lim h(x)=+\infty\)；同理\(-\infty\)的情形，这是保不等式性的推广，而非夹逼定理。
2. 核心应用技巧：使用夹逼定理的关键是对\(h(x)\)进行适当的放缩，找到上下界函数\(f(x)\)和\(g(x)\)，且两者的极限必须相等，放缩不能过度，否则会导致上下界极限不相等。
3. 平行推广：该定理对所有自变量变化过程均成立，包括数列极限（数列是特殊的函数，自变量为正整数）。

---

定理2.2.6 极限的四则运算法则

完整表述

设\(\lim\limits_{x \to x_0} f(x)=a\)，\(\lim\limits_{x \to x_0} g(x)=b\)（\(a,b\)均为有限实数），则\(f(x) \pm g(x)\)、\(f(x) \cdot g(x)\)在\(x \to x_0\)时的极限均存在，且：

1. 加减法则：\(\boldsymbol{\lim\limits_{x \to x_0} [f(x) \pm g(x)] = \lim\limits_{x \to x_0} f(x) \pm \lim\limits_{x \to x_0} g(x) = a \pm b}\)；
2. 乘法法则：\(\boldsymbol{\lim\limits_{x \to x_0} [f(x) \cdot g(x)] = \lim\limits_{x \to x_0} f(x) \cdot \lim\limits_{x \to x_0} g(x) = a \cdot b}\)；
   特别地，对任意常数\(c \in \mathbb{R}\)，有\(\lim\limits_{x \to x_0} [c \cdot f(x)] = c \cdot \lim\limits_{x \to x_0} f(x) = c \cdot a\)（数乘法则）；
3. 除法法则：若\(b \neq 0\)，则\(\frac{f(x)}{g(x)}\)在\(x \to x_0\)时的极限存在，且\(\boldsymbol{\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = \frac{\lim\limits_{x \to x_0} f(x)}{\lim\limits_{x \to x_0} g(x)} = \frac{a}{b}}\)。

四则运算法则是求极限最基础、最常用的工具，核心是将复杂函数的极限拆解为简单函数的极限运算。

严谨证明（每个法则分步证明，每步标注推理依据）

已知\(\lim\limits_{x \to x_0} f(x)=a\)，\(\lim\limits_{x \to x_0} g(x)=b\)，即对\(\forall \varepsilon>0\)，存在对应的\(\delta>0\)，使得在去心邻域内\(|f(x)-a|<\varepsilon\)，\(|g(x)-b|<\varepsilon\)。

（1）加减法则的证明

1. 三角不等式放缩
   对\(\forall \varepsilon>0\)，取\(\varepsilon_0=\frac{\varepsilon}{2}>0\)，根据极限定义：

   • \(\exists \delta_1>0\)，当\(x \in \mathring{U}(x_0,\delta_1)\)时，\(|f(x)-a|<\frac{\varepsilon}{2}\)；
   • \(\exists \delta_2>0\)，当\(x \in \mathring{U}(x_0,\delta_2)\)时，\(|g(x)-b|<\frac{\varepsilon}{2}\)。
     取\(\delta=\min\{\delta_1,\delta_2\}\)，当\(x \in \mathring{U}(x_0,\delta)\)时，两个不等式同时成立。

2. 核心变形与放缩
   由实数三角不等式\(|u \pm v| \leq |u| + |v|\)，得：

   \[|[f(x) \pm g(x)] - (a \pm b)| = |(f(x)-a) \pm (g(x)-b)| \leq |f(x)-a| + |g(x)-b| \]

   代入上述不等式，得：

   \[|[f(x) \pm g(x)] - (a \pm b)| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon \]

   完全符合极限的ε-δ定义，因此\(\lim\limits_{x \to x_0} [f(x) \pm g(x)] = a \pm b\)。
   \(\square\)

（2）乘法法则的证明

1. 前置准备：局部有界性的应用
   由\(\lim\limits_{x \to x_0} g(x)=b\)，根据局部有界性定理，存在\(\delta_3>0\)和常数\(M>0\)，使得当\(x \in \mathring{U}(x_0,\delta_3)\)时，\(|g(x)| \leq M\)。
   推理依据：有极限必局部有界，这是乘法法则证明的关键步骤，用于控制\(g(x)\)的范围。

2. 恒等变形与三角不等式放缩
   对\(\forall \varepsilon>0\)，取\(\varepsilon_1=\frac{\varepsilon}{M+|a|+1}>0\)（分母加1保证分母不为0），根据极限定义：

   • \(\exists \delta_1>0\)，当\(x \in \mathring{U}(x_0,\delta_1)\)时，\(|f(x)-a|<\varepsilon_1\)；
   • \(\exists \delta_2>0\)，当\(x \in \mathring{U}(x_0,\delta_2)\)时，\(|g(x)-b|<\varepsilon_1\)。
     取\(\delta=\min\{\delta_1,\delta_2,\delta_3\}\)，当\(x \in \mathring{U}(x_0,\delta)\)时，所有条件同时成立。

3. 核心放缩
   对乘积做恒等变形（加一项减一项的拆分技巧，分析学常用）：

   \[f(x)g(x) - ab = f(x)g(x) - a g(x) + a g(x) - ab = g(x)(f(x)-a) + a(g(x)-b) \]

   由三角不等式放缩：

   \[|f(x)g(x)-ab| \leq |g(x)| \cdot |f(x)-a| + |a| \cdot |g(x)-b| \]

   代入\(|g(x)| \leq M\)、\(|f(x)-a|<\varepsilon_1\)、\(|g(x)-b|<\varepsilon_1\)，得：

   \[|f(x)g(x)-ab| < M \cdot \varepsilon_1 + |a| \cdot \varepsilon_1 = (M+|a|) \cdot \frac{\varepsilon}{M+|a|+1} < \varepsilon \]

   符合极限的ε-δ定义，因此\(\lim\limits_{x \to x_0} [f(x) \cdot g(x)] = a \cdot b\)。
   特别地，当\(g(x)=c\)（常数）时，\(\lim\limits_{x \to x_0} c = c\)，代入得\(\lim\limits_{x \to x_0} [c \cdot f(x)] = c \cdot a\)，数乘法则得证。
   \(\square\)

（3）除法法则的证明

除法法则的证明分为两步：先证明\(\lim\limits_{x \to x_0} \frac{1}{g(x)} = \frac{1}{b}\)（\(b \neq 0\)），再利用乘法法则证明除法法则。

步骤1：证明倒数的极限法则

1. 保号性的应用
   已知\(\lim\limits_{x \to x_0} g(x)=b \neq 0\)，根据局部保号性推论，存在\(\delta_1>0\)，当\(x \in \mathring{U}(x_0,\delta_1)\)时，\(|g(x)| > \frac{|b|}{2} > 0\)，因此\(\frac{1}{|g(x)|} < \frac{2}{|b|}\)。
   推理依据：保号性保证了分母在局部不为0，且有正的下界，这是倒数极限存在的核心前提。

2. 恒等变形与放缩
   对\(\forall \varepsilon>0\)，取\(\varepsilon_0=\frac{|b|^2 \varepsilon}{2}>0\)，根据极限定义，\(\exists \delta_2>0\)，当\(x \in \mathring{U}(x_0,\delta_2)\)时，\(|g(x)-b|<\varepsilon_0\)。
   取\(\delta=\min\{\delta_1,\delta_2\}\)，当\(x \in \mathring{U}(x_0,\delta)\)时，两个条件同时成立。

3. 核心放缩
   对倒数做恒等变形：

   \[\left| \frac{1}{g(x)} - \frac{1}{b} \right| = \left| \frac{b - g(x)}{b g(x)} \right| = \frac{|g(x)-b|}{|b| \cdot |g(x)|} \]

   代入\(|g(x)| > \frac{|b|}{2}\)和\(|g(x)-b|<\varepsilon_0\)，得：

   \[\left| \frac{1}{g(x)} - \frac{1}{b} \right| < \frac{\varepsilon_0}{|b| \cdot \frac{|b|}{2}} = \frac{\frac{|b|^2 \varepsilon}{2}}{\frac{|b|^2}{2}} = \varepsilon \]

   符合极限的ε-δ定义，因此\(\lim\limits_{x \to x_0} \frac{1}{g(x)} = \frac{1}{b}\)（\(b \neq 0\)）。

步骤2：证明除法法则

由乘法法则，\(\frac{f(x)}{g(x)} = f(x) \cdot \frac{1}{g(x)}\)，因此：

\[\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = \lim\limits_{x \to x_0} f(x) \cdot \lim\limits_{x \to x_0} \frac{1}{g(x)} = a \cdot \frac{1}{b} = \frac{a}{b} \]

除法法则得证。
\(\square\)

关键补充说明

1. 适用前提：四则运算法则仅在两个函数的极限都存在（有限极限）时成立，除法法则额外要求分母的极限不为0。若其中一个函数极限不存在，不能直接使用四则运算法则。
   反例：\(\lim\limits_{x \to 0} x \cdot \sin\frac{1}{x}=0\)，但\(\lim\limits_{x \to 0} \sin\frac{1}{x}\)不存在，不能拆分为\(\lim x \cdot \lim \sin\frac{1}{x}\)。
2. 有限性要求：四则运算法则仅对有限个函数的加减乘运算成立，无穷个函数的四则运算不能直接使用。
3. 广义极限的四则运算：对无穷极限，仅部分四则运算成立，例如\(+\infty + (+\infty)=+\infty\)，\(+\infty \cdot (+\infty)=+\infty\)，但\(+\infty - (+\infty)\)、\(0 \cdot \infty\)是未定式，不能直接使用四则运算法则。
4. 推广结论：若\(\lim f(x)\)存在，\(\lim g(x)\)不存在，则\(\lim [f(x) \pm g(x)]\)一定不存在；\(\lim [f(x) \cdot g(x)]\)当\(\lim f(x) \neq 0\)时一定不存在，当\(\lim f(x)=0\)时可能存在。

---

定理2.2.7 复合函数的极限定理（极限换元法则）

完整表述

设函数\(y=f(u)\)在\(u_0\)处有极限\(\lim\limits_{u \to u_0} f(u)=a\)，函数\(u=\varphi(x)\)在\(x_0\)处有极限\(\lim\limits_{x \to x_0} \varphi(x)=u_0\)，且在\(x_0\)的某去心邻域内，\(\varphi(x) \neq u_0\)，则复合函数\(y=f(\varphi(x))\)在\(x_0\)处有极限，且：

\[\boldsymbol{\lim\limits_{x \to x_0} f(\varphi(x)) = \lim\limits_{u \to u_0} f(u) = a} \]

该定理是极限计算中换元法的理论基础，核心是通过变量替换\(u=\varphi(x)\)，将复杂的复合函数极限转化为简单函数的极限。

严谨证明（每步标注推理依据）

1. 外层函数极限的定义应用
   已知\(\lim\limits_{u \to u_0} f(u)=a\)，根据函数极限的ε-δ定义，对\(\forall \varepsilon>0\)，\(\exists \eta>0\)，当\(0<|u-u_0|<\eta\)时，恒有\(|f(u)-a|<\varepsilon\)。
   推理依据：外层函数的极限定义，此处用\(\eta\)代替\(\delta\)，避免与内层函数的\(\delta\)混淆。

2. 内层函数极限的定义应用
   已知\(\lim\limits_{x \to x_0} \varphi(x)=u_0\)，对上述取定的\(\eta>0\)，根据极限定义，\(\exists \delta_1>0\)，当\(0<|x-x_0|<\delta_1\)时，恒有\(|\varphi(x)-u_0|<\eta\)。

3. \(\varphi(x) \neq u_0\)条件的应用
   已知在\(x_0\)的某去心邻域\(\mathring{U}(x_0,\delta_2)\)内，\(\varphi(x) \neq u_0\)，即当\(0<|x-x_0|<\delta_2\)时，\(|\varphi(x)-u_0|>0\)。

4. 公共邻域的构造与结论
   取\(\delta=\min\{\delta_1,\delta_2\}\)，当\(0<|x-x_0|<\delta\)时，同时满足：
   ① \(0<|\varphi(x)-u_0|<\eta\)；② 当\(0<|u-u_0|<\eta\)时，\(|f(u)-a|<\varepsilon\)。
   令\(u=\varphi(x)\)，则当\(0<|x-x_0|<\delta\)时，恒有\(|f(\varphi(x))-a|<\varepsilon\)，完全符合函数极限的ε-δ定义。
   因此\(\lim\limits_{x \to x_0} f(\varphi(x))=a=\lim\limits_{u \to u_0} f(u)\)。
   \(\square\)

关键补充说明

1. 核心条件\(\varphi(x) \neq u_0\)的不可删除性
   该条件是复合函数极限定理的核心，若删除该条件，定理结论不成立。
   反例：设\(f(u)=\begin{cases} 1, & u \neq 0 \\ 0, & u=0 \end{cases}\)，\(\varphi(x) \equiv 0\)（常函数）。
   则\(\lim\limits_{u \to 0} f(u)=1\)，\(\lim\limits_{x \to 0} \varphi(x)=0\)，但复合函数\(f(\varphi(x))=f(0)=0\)，因此\(\lim\limits_{x \to 0} f(\varphi(x))=0 \neq 1=\lim\limits_{u \to 0} f(u)\)，结论不成立。
   原因：在\(x=0\)的任何去心邻域内，\(\varphi(x)=0=u_0\)，不满足\(\varphi(x) \neq u_0\)的条件。

2. 连续函数的特殊情形
   若\(f(u)\)在\(u_0\)处连续，即\(\lim\limits_{u \to u_0} f(u)=f(u_0)\)，则\(\varphi(x) \neq u_0\)的条件可以删除，此时有：

   \[\lim\limits_{x \to x_0} f(\varphi(x)) = f\left( \lim\limits_{x \to x_0} \varphi(x) \right) \]

   即极限运算与函数运算可以交换顺序，这是连续函数的核心性质之一。

3. 平行推广：该定理对所有自变量变化过程均成立，例如\(x \to \infty\)、\(u \to \infty\)等情形，仅需将邻域替换为对应过程的邻域即可。

---

三、梯度化配套例题与完整解析

【基础巩固题】

• 难度层级：基础，适配本科低年级课堂教学、期末备考
• 考察核心知识点：极限四则运算法则、夹逼定理的基础应用、局部有界性与保号性的理解
• 题干：求下列极限：
  （1）\(\lim\limits_{x \to 1} \frac{x^2 - 1}{2x^2 - x - 1}\)；
  （2）\(\lim\limits_{x \to 0} x \cdot \cos\frac{1}{x}\)；
  （3）\(\lim\limits_{n \to \infty} \left( \frac{1}{\sqrt{n^2+1}} + \frac{1}{\sqrt{n^2+2}} + \dots + \frac{1}{\sqrt{n^2+n}} \right)\)（数列极限，夹逼定理的基础应用）

完整解题过程（每步标注依据）

（1）\(\lim\limits_{x \to 1} \frac{x^2 - 1}{2x^2 - x - 1}\)

1. 前置分析：\(x \to 1\)时，分子分母的极限均为0，属于\(\frac{0}{0}\)型未定式，不能直接使用除法法则，需先因式分解消去零因子。
2. 因式分解：
   分子：\(x^2-1=(x-1)(x+1)\)（平方差公式）；
   分母：\(2x^2 - x - 1=(2x+1)(x-1)\)（十字相乘法）。
3. 消去零因子：
   当\(x \to 1\)时，\(x \neq 1\)，因此\(x-1 \neq 0\)，可约去，得：
   \[\frac{x^2 - 1}{2x^2 - x - 1} = \frac{(x-1)(x+1)}{(2x+1)(x-1)} = \frac{x+1}{2x+1} \quad (x \neq 1) \]
   推理依据：函数在\(x \to 1\)时的极限与\(x=1\)处的函数值无关，仅与去心邻域内的函数值有关，因此可约去非零的零因子。
4. 应用四则运算法则：
   当\(x \to 1\)时，\(\lim\limits_{x \to 1} (x+1)=2\)，\(\lim\limits_{x \to 1} (2x+1)=3 \neq 0\)，根据极限除法法则：
   \[\lim\limits_{x \to 1} \frac{x+1}{2x+1} = \frac{\lim\limits_{x \to 1} (x+1)}{\lim\limits_{x \to 1} (2x+1)} = \frac{2}{3} \]

5. 最终结论：\(\lim\limits_{x \to 1} \frac{x^2 - 1}{2x^2 - x - 1}=\frac{2}{3}\)。

（2）\(\lim\limits_{x \to 0} x \cdot \cos\frac{1}{x}\)

1. 前置分析：\(\lim\limits_{x \to 0} x=0\)，但\(\lim\limits_{x \to 0} \cos\frac{1}{x}\)不存在，不能直接使用乘法法则，需用夹逼定理或有界函数乘无穷小量仍为无穷小量（由夹逼定理推导而来）。
2. 有界性判断：对\(\forall x \neq 0\)，\(|\cos\frac{1}{x}| \leq 1\)，即\(\cos\frac{1}{x}\)在\(x=0\)的去心邻域内有界。
   推理依据：余弦函数的值域为\([-1,1]\)。
3. 夹逼定理的应用：
   对\(\forall x \neq 0\)，有：
   \[0 \leq \left| x \cdot \cos\frac{1}{x} \right| = |x| \cdot \left| \cos\frac{1}{x} \right| \leq |x| \]
   已知\(\lim\limits_{x \to 0} |x|=0\)，\(\lim\limits_{x \to 0} 0=0\)，根据夹逼定理：
   \[\lim\limits_{x \to 0} \left| x \cdot \cos\frac{1}{x} \right| = 0 \]
   由极限的定义，\(\lim\limits_{x \to 0} |f(x)|=0 \iff \lim\limits_{x \to 0} f(x)=0\)，因此\(\lim\limits_{x \to 0} x \cdot \cos\frac{1}{x}=0\)。

（3）\(\lim\limits_{n \to \infty} \left( \frac{1}{\sqrt{n^2+1}} + \frac{1}{\sqrt{n^2+2}} + \dots + \frac{1}{\sqrt{n^2+n}} \right)\)

1. 前置分析：该式是\(n\)项和的极限，\(n \to \infty\)时项数趋于无穷，不能直接使用加法法则，需用夹逼定理进行放缩。
2. 放缩处理：
   对\(k=1,2,\dots,n\)，有\(\sqrt{n^2+1} \leq \sqrt{n^2+k} \leq \sqrt{n^2+n}\)，因此：
   \[\frac{1}{\sqrt{n^2+n}} \leq \frac{1}{\sqrt{n^2+k}} \leq \frac{1}{\sqrt{n^2+1}} \]
   对\(k=1\)到\(n\)求和，得：
   \[\frac{n}{\sqrt{n^2+n}} \leq \sum_{k=1}^n \frac{1}{\sqrt{n^2+k}} \leq \frac{n}{\sqrt{n^2+1}} \]
   推理依据：不等式的同向可加性，分母越大，分数值越小。
3. 计算上下界的极限：
   • 上界：\(\lim\limits_{n \to \infty} \frac{n}{\sqrt{n^2+1}} = \lim\limits_{n \to \infty} \frac{1}{\sqrt{1+\frac{1}{n^2}}} = \frac{1}{\sqrt{1+0}}=1\)（四则运算法则，\(\lim\limits_{n \to \infty} \frac{1}{n^2}=0\)）；
   • 下界：\(\lim\limits_{n \to \infty} \frac{n}{\sqrt{n^2+n}} = \lim\limits_{n \to \infty} \frac{1}{\sqrt{1+\frac{1}{n}}} = \frac{1}{\sqrt{1+0}}=1\)。
4. 夹逼定理应用：
   上下界的极限均为1，根据夹逼定理，原极限等于1。

题后总结

1. 核心考点：极限四则运算法则的适用条件、零因子消去法、夹逼定理的基础应用、有界函数乘无穷小量的性质。
2. 解题通法：
   • 对\(\frac{0}{0}\)型多项式分式极限，优先因式分解消去零因子，再使用四则运算法则；
   • 对有界函数乘无穷小量的极限，直接用夹逼定理证明极限为0，无需拆分；
   • 对无穷项和的极限，优先用夹逼定理进行统一放缩，找到上下界极限相等的放缩方式。
3. 高频易错陷阱：
   • 对未定式（如\(\frac{0}{0}\)、\(\infty-\infty\)）直接使用四则运算法则，忽略“极限存在”的前提；
   • 对无穷项和直接使用加法法则，忽略四则运算法则仅对有限项成立；
   • 夹逼定理放缩过度，导致上下界极限不相等。

---

【进阶综合题】

• 难度层级：进阶，适配考研数学备考、本科高年级分析学进阶学习
• 考察核心知识点：局部保号性、保不等式性、复合函数极限定理、夹逼定理的综合应用
• 题干：
  （1）设\(\lim\limits_{x \to x_0} f(x)=a>0\)，证明：\(\lim\limits_{x \to x_0} \sqrt{f(x)} = \sqrt{a}\)；
  （2）设\(f(x)\)在\(x_0\)的某去心邻域内满足\(f(x)>0\)，且\(\lim\limits_{x \to x_0} f(x)=0\)，证明：\(\lim\limits_{x \to x_0} e^{-\frac{1}{f(x)}}=0\)；
  （3）若在\(x_0\)的某去心邻域内，有\(f(x) \leq h(x) \leq g(x)\)，且\(\lim\limits_{x \to x_0} [g(x)-f(x)]=0\)，证明：\(\lim\limits_{x \to x_0} h(x)\)存在，且等于\(\lim\limits_{x \to x_0} f(x)=\lim\limits_{x \to x_0} g(x)\)。

完整解题过程（每步标注依据）

（1）证明\(\lim\limits_{x \to x_0} \sqrt{f(x)} = \sqrt{a}\)（\(a>0\)）

1. 前置准备：保号性的应用
   已知\(\lim\limits_{x \to x_0} f(x)=a>0\)，根据局部保号性，存在\(x_0\)的去心邻域\(\mathring{U}(x_0)\)，使得对\(\forall x \in \mathring{U}(x_0)\)，\(f(x)>\frac{a}{2}>0\)，因此\(\sqrt{f(x)}\)在该邻域内有定义。
2. ε-δ定义的核心放缩
   对\(\forall \varepsilon>0\)，我们需要找到\(\delta>0\)，使得当\(0<|x-x_0|<\delta\)时，\(|\sqrt{f(x)} - \sqrt{a}| < \varepsilon\)。
   对绝对值做有理化变形（分析学中处理根式的常用技巧）：
   \[|\sqrt{f(x)} - \sqrt{a}| = \left| \frac{f(x)-a}{\sqrt{f(x)} + \sqrt{a}} \right| = \frac{|f(x)-a|}{\sqrt{f(x)} + \sqrt{a}} \]
   由\(\sqrt{f(x)}>0\)，得\(\sqrt{f(x)} + \sqrt{a} > \sqrt{a}\)，因此：
   \[|\sqrt{f(x)} - \sqrt{a}| < \frac{|f(x)-a|}{\sqrt{a}} \]

3. 极限定义的应用
   已知\(\lim\limits_{x \to x_0} f(x)=a\)，对\(\varepsilon_0=\sqrt{a} \cdot \varepsilon>0\)，\(\exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，\(|f(x)-a|<\varepsilon_0=\sqrt{a} \cdot \varepsilon\)。
   代入上式得：
   \[|\sqrt{f(x)} - \sqrt{a}| < \frac{\sqrt{a} \cdot \varepsilon}{\sqrt{a}} = \varepsilon \]
   完全符合极限的ε-δ定义，因此\(\lim\limits_{x \to x_0} \sqrt{f(x)} = \sqrt{a}\)。
   注：该结论也可通过复合函数极限定理直接证明：令\(f(u)=\sqrt{u}\)，\(\lim\limits_{u \to a} \sqrt{u}=\sqrt{a}\)（\(a>0\)），\(\lim\limits_{x \to x_0} f(x)=a\)，且\(f(x) \neq a\)在局部成立，因此\(\lim\limits_{x \to x_0} \sqrt{f(x)}=\sqrt{a}\)。

（2）证明\(\lim\limits_{x \to x_0} e^{-\frac{1}{f(x)}}=0\)

1. 复合函数极限的换元
   令\(u=\frac{1}{f(x)}\)，则原函数为\(e^{-u}\)，我们先证明\(\lim\limits_{x \to x_0} \frac{1}{f(x)}=+\infty\)。
2. 无穷极限的定义应用
   已知\(\lim\limits_{x \to x_0} f(x)=0\)，且\(f(x)>0\)在局部成立，根据正无穷极限的定义，对\(\forall M>0\)，取\(\varepsilon_0=\frac{1}{M}>0\)，\(\exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，\(0<f(x)<\varepsilon_0=\frac{1}{M}\)，因此\(\frac{1}{f(x)}>M\)。
   符合正无穷极限的定义，故\(\lim\limits_{x \to x_0} \frac{1}{f(x)}=+\infty\)。
3. 复合函数极限的推广
   已知\(\lim\limits_{u \to +\infty} e^{-u}=0\)，且当\(x \to x_0\)时，\(u=\frac{1}{f(x)} \to +\infty\)，且\(u \neq +\infty\)，根据复合函数极限定理的推广形式，得：
   \[\lim\limits_{x \to x_0} e^{-\frac{1}{f(x)}} = \lim\limits_{u \to +\infty} e^{-u} = 0 \]

4. ε-δ定义直接验证（补充）
   对\(\forall \varepsilon>0\)（不妨设\(\varepsilon<1\)），要使\(|e^{-\frac{1}{f(x)}} - 0|=e^{-\frac{1}{f(x)}} < \varepsilon\)，两边取自然对数得：\(-\frac{1}{f(x)} < \ln\varepsilon\)，即\(\frac{1}{f(x)} > -\ln\varepsilon\)（因\(\varepsilon<1\)，\(\ln\varepsilon<0\)，\(-\ln\varepsilon>0\)），即\(f(x) < \frac{1}{-\ln\varepsilon}\)。
   由\(\lim\limits_{x \to x_0} f(x)=0\)，对\(\varepsilon_0=\frac{1}{-\ln\varepsilon}>0\)，\(\exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，\(0<f(x)<\varepsilon_0\)，因此\(e^{-\frac{1}{f(x)}} < \varepsilon\)，极限得证。

（3）夹逼定理的推广形式证明

1. 不等式变形与放缩
   已知在局部邻域内\(f(x) \leq h(x) \leq g(x)\)，因此\(0 \leq h(x)-f(x) \leq g(x)-f(x)\)。
   又已知\(\lim\limits_{x \to x_0} [g(x)-f(x)]=0\)，根据夹逼定理，得\(\lim\limits_{x \to x_0} [h(x)-f(x)]=0\)。
2. 极限的存在性推导
   \(h(x) = f(x) + [h(x)-f(x)]\)，已知\(\lim\limits_{x \to x_0} [h(x)-f(x)]=0\)，若能证明\(\lim\limits_{x \to x_0} f(x)\)存在，则根据加法法则，\(\lim\limits_{x \to x_0} h(x)\)存在，且等于\(\lim\limits_{x \to x_0} f(x)\)。
3. 证明\(\lim\limits_{x \to x_0} f(x)=\lim\limits_{x \to x_0} g(x)\)
   由\(g(x) = f(x) + [g(x)-f(x)]\)，\(\lim\limits_{x \to x_0} [g(x)-f(x)]=0\)，因此：
   • 若\(\lim\limits_{x \to x_0} f(x)=a\)（有限实数），则\(\lim\limits_{x \to x_0} g(x)=a+0=a\)，两者相等；
   • 若\(\lim\limits_{x \to x_0} f(x)=+\infty\)，则\(\lim\limits_{x \to x_0} g(x) \geq \lim\limits_{x \to x_0} f(x)=+\infty\)，故\(\lim\limits_{x \to x_0} g(x)=+\infty\)；
   • 若\(\lim\limits_{x \to x_0} f(x)=-\infty\)，同理可得\(\lim\limits_{x \to x_0} g(x)=-\infty\)。
4. 最终结论
   由\(h(x) = f(x) + [h(x)-f(x)]\)，\(\lim\limits_{x \to x_0} [h(x)-f(x)]=0\)，因此\(\lim\limits_{x \to x_0} h(x)=\lim\limits_{x \to x_0} f(x)=\lim\limits_{x \to x_0} g(x)\)，极限存在。
   注：该结论是夹逼定理的推广，无需提前知道\(f(x)\)和\(g(x)\)的极限存在，仅需知道两者的差的极限为0，即可推出三个函数的极限均存在且相等，是考研数学中的高频考点。

题后总结

1. 核心考点：复合函数极限定理的应用、局部保号性、夹逼定理的推广形式、无穷极限的定义。
2. 解题通法：
   • 处理根式极限时，优先使用有理化变形，结合保号性控制分母的下界；
   • 处理复合函数极限时，优先使用换元法，将复杂极限转化为简单极限，注意验证换元的条件；
   • 对夹逼定理的推广形式，通过差的极限为0，结合不等式放缩证明中间函数的极限存在。
3. 高频易错陷阱：
   • 使用复合函数极限定理时，忽略\(\varphi(x) \neq u_0\)的条件，导致结论错误；
   • 对无穷极限直接使用四则运算法则，忽略未定式的情况；
   • 放缩时未严格控制不等式的方向，导致逻辑错误。

---

【科研拓展题】

• 难度层级：科研入门，适配数学专业研究生分析学入门、科研基础训练
• 考察核心知识点：函数极限性质的拓扑本质、上极限与下极限、保不等式性的深层应用、度量空间中的极限性质
• 题干：
  （1）设\(f(x)\)在\(x_0\)的某去心邻域内有界，定义\(f(x)\)在\(x_0\)处的上极限\(\varlimsup\limits_{x \to x_0} f(x) = \lim\limits_{\delta \to 0^+} \sup_{0<|x-x_0|<\delta} f(x)\)，下极限\(\varliminf\limits_{x \to x_0} f(x) = \lim\limits_{\delta \to 0^+} \inf_{0<|x-x_0|<\delta} f(x)\)。证明：\(\lim\limits_{x \to x_0} f(x)\)存在的充要条件是\(\varlimsup\limits_{x \to x_0} f(x) = \varliminf\limits_{x \to x_0} f(x)\)，且此时极限等于上下极限的值。
  （2）证明：在度量空间\((X,d)\)中，若\(\lim\limits_{x \to x_0} f(x)=a\)，\(\lim\limits_{x \to x_0} g(x)=b\)，且在\(x_0\)的去心邻域内\(f(x) \leq g(x)\)，则\(a \leq b\)，即保不等式性在任意度量空间中均成立。

完整解题过程

（1）函数极限存在的充要条件（上下极限相等）

1. 前置性质：上下确界的单调性
   记\(M(\delta) = \sup_{0<|x-x_0|<\delta} f(x)\)，\(m(\delta) = \inf_{0<|x-x_0|<\delta} f(x)\)。
   当\(\delta_1 < \delta_2\)时，\(\{x | 0<|x-x_0|<\delta_1\} \subseteq \{x | 0<|x-x_0|<\delta_2\}\)，因此：

   • 上确界随集合缩小而不增：\(M(\delta_1) \leq M(\delta_2)\)，即\(M(\delta)\)是关于\(\delta\)的单调递减函数；
   • 下确界随集合缩小而不减：\(m(\delta_1) \geq m(\delta_2)\)，即\(m(\delta)\)是关于\(\delta\)的单调递增函数。
     又因\(f(x)\)在局部有界，故\(M(\delta)\)有下界，\(m(\delta)\)有上界，根据单调有界定理，\(\lim\limits_{\delta \to 0^+} M(\delta)\)和\(\lim\limits_{\delta \to 0^+} m(\delta)\)均存在，即上下极限恒存在（对局部有界函数）。

2. 必要性证明（极限存在\(\implies\)上下极限相等）
   设\(\lim\limits_{x \to x_0} f(x)=a\)，根据极限的ε-δ定义，对\(\forall \varepsilon>0\)，\(\exists \delta_0>0\)，当\(0<|x-x_0|<\delta_0\)时，\(a-\varepsilon < f(x) < a+\varepsilon\)。
   对任意\(\delta \in (0,\delta_0)\)，取上确界和下确界得：

   \[a-\varepsilon \leq m(\delta) \leq M(\delta) \leq a+\varepsilon \]

   令\(\delta \to 0^+\)，得：

   \[a-\varepsilon \leq \varliminf\limits_{x \to x_0} f(x) \leq \varlimsup\limits_{x \to x_0} f(x) \leq a+\varepsilon \]

   由\(\varepsilon\)的任意性，令\(\varepsilon \to 0^+\)，得\(\varliminf\limits_{x \to x_0} f(x) = \varlimsup\limits_{x \to x_0} f(x) = a\)，必要性得证。

3. 充分性证明（上下极限相等\(\implies\)极限存在）
   设\(\varliminf\limits_{x \to x_0} f(x) = \varlimsup\limits_{x \to x_0} f(x) = a\)，根据上下极限的定义，对\(\forall \varepsilon>0\)：

   • \(\exists \delta_1>0\)，当\(0<\delta<\delta_1\)时，\(|M(\delta)-a|<\varepsilon\)，即\(M(\delta) < a+\varepsilon\)，因此对\(\forall x \in \mathring{U}(x_0,\delta)\)，\(f(x) \leq M(\delta) < a+\varepsilon\)；
   • \(\exists \delta_2>0\)，当\(0<\delta<\delta_2\)时，\(|m(\delta)-a|<\varepsilon\)，即\(m(\delta) > a-\varepsilon\)，因此对\(\forall x \in \mathring{U}(x_0,\delta)\)，\(f(x) \geq m(\delta) > a-\varepsilon\)。
     取\(\delta=\min\{\delta_1,\delta_2\}\)，当\(0<|x-x_0|<\delta\)时，\(a-\varepsilon < f(x) < a+\varepsilon\)，即\(|f(x)-a|<\varepsilon\)，符合极限的ε-δ定义，因此\(\lim\limits_{x \to x_0} f(x)=a\)，充分性得证。

4. 科研意义
   该结论是分析学中研究极限存在性的核心工具，上下极限的优势在于：对任意局部有界函数，上下极限恒存在，无需提前假设极限存在，因此广泛应用于级数收敛性、积分极限、随机过程等领域的研究中。

（2）度量空间中保不等式性的证明

1. 度量空间中极限与序的定义
   设\((X,d_X)\)为度量空间，\(f,g:X \to \mathbb{R}\)为实值函数，\(x_0\)是\(X\)的聚点。在\(\mathbb{R}\)中赋予欧氏度量\(d(u,v)=|u-v|\)，序关系\(\leq\)为实数的自然序。
   度量空间中函数极限的定义：\(\lim\limits_{x \to x_0} f(x)=a\)，当且仅当对\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(0<d_X(x,x_0)<\delta\)时，\(|f(x)-a|<\varepsilon\)。

2. 反证法证明
   反设\(a > b\)，取\(\varepsilon_0=\frac{a-b}{2}>0\)，根据极限定义：

   • \(\exists \delta_1>0\)，当\(0<d_X(x,x_0)<\delta_1\)时，\(|f(x)-a|<\varepsilon_0\)，即\(f(x) > a - \varepsilon_0 = \frac{a+b}{2}\)；
   • \(\exists \delta_2>0\)，当\(0<d_X(x,x_0)<\delta_2\)时，\(|g(x)-b|<\varepsilon_0\)，即\(g(x) < b + \varepsilon_0 = \frac{a+b}{2}\)。
     已知在\(x_0\)的去心邻域\(0<d_X(x,x_0)<\delta_0\)内，\(f(x) \leq g(x)\)，取\(\delta=\min\{\delta_0,\delta_1,\delta_2\}\)，当\(0<d_X(x,x_0)<\delta\)时，同时有\(f(x) > \frac{a+b}{2}\)、\(g(x) < \frac{a+b}{2}\)、\(f(x) \leq g(x)\)，即\(\frac{a+b}{2} < f(x) \leq g(x) < \frac{a+b}{2}\)，矛盾。
     因此反设不成立，故\(a \leq b\)，保不等式性在任意度量空间中均成立。

3. 拓扑本质说明
   保不等式性的核心依赖于实数空间的序结构和豪斯多夫分离性，与定义域的度量结构无关，因此该性质可推广到任意拓扑空间到有序拓扑空间的映射，是拓扑学中连续映射与极限理论的核心性质之一。

题后总结

1. 核心考点：上下极限的定义与性质、极限存在的充要条件、度量空间中的极限性质、保不等式性的拓扑本质。
2. 科研意义：上下极限是分析学中处理极限不存在问题的核心工具，广泛应用于实变函数、泛函分析、概率论等学科；度量空间中的极限性质是泛函分析的基础，为无限维空间中的极限分析提供了理论框架。
3. 拓展方向：可进一步研究上极限与下极限的运算性质、拓扑空间中的网的上下极限、以及有序拓扑空间中的保序性定理。

---

四、函数极限核心性质归纳总结表

性质名称	核心内容	方法特点	适用条件	注意事项	典型应用场景
局部有界性	有有限极限必局部有界	由极限定义直接得到函数的范围控制	仅对有限极限成立，广义极限无此性质	逆命题不成立，局部有界不能推出极限存在；仅在极限点的局部邻域内成立	极限证明中的范围控制、乘法法则的证明、有界函数乘无穷小量的极限计算
局部保号性	极限的符号决定函数在局部的符号	通过极限定义的ε选取，直接得到函数的正负下界	极限值不为0（有限极限），广义极限也有对应保号性	逆命题只能得到非严格不等号，严格正的函数极限可能为0；必须在去心邻域内成立	极限的符号判定、倒数极限的证明、未定式极限的符号分析
保不等式性	函数的局部不等关系取极限后保持非严格不等	可通过ε-δ定义直接证明，也可通过反证法结合邻域分离证明	两个函数的极限均存在（有限或广义），且局部有不等关系	严格不等的函数取极限后可能相等，无法推出严格不等；逆命题不成立	极限的大小比较、夹逼定理的证明、上下极限的不等式性质
夹逼定理（迫敛性）	被两个极限相等的函数夹住的函数，极限与两者相等	通过放缩将复杂函数转化为两个简单函数，直接得到极限	仅对有限极限成立，广义极限不成立；必须在局部有\(f(x) \leq h(x) \leq g(x)\)	放缩必须适度，保证上下界极限相等；无穷项和的极限放缩必须统一	无穷项和的极限、有界函数乘无穷小量的极限、复杂未定式的极限求解
四则运算法则	极限的加减乘除运算可拆分到每个函数的极限	将复杂函数的极限拆解为简单函数的极限运算	两个函数的极限均为有限极限；除法法则要求分母极限不为0	仅对有限个函数成立，无穷个函数不能直接使用；未定式不能直接拆分	多项式分式极限、有理函数极限、初等函数的极限计算
复合函数极限定理	极限运算可通过换元转化为外层函数的极限	换元法的理论基础，将复杂复合函数极限简化	内层函数极限存在，外层函数在对应点极限存在，且局部内层函数不等于极限值	\(\varphi(x) \neq u_0\)的条件不可删除，仅当外层函数连续时可去掉	换元法求极限、连续函数的极限运算、复合函数的极限分析
唯一性定理	同一变化过程中，极限若存在则唯一	极限理论的基石，所有其他性质均依赖该定理	所有自变量变化过程，有限极限与广义极限均成立	必须是同一自变量变化过程，不同过程无唯一性约束	极限不存在的判定、反证法证明极限相关命题

---

函数极限核心例题与经典极限 系统讲解

本节内容是函数极限六大性质的核心落地应用，承接极限四则运算法则、夹逼定理、复合函数极限定理，覆盖本科高等数学/数学分析极限章节的全部核心考点，同时也是考研数学、数学竞赛的基础重点。我们将按模块拆解每道例题，标注每一步的理论依据，提炼解题通法与高频易错点，确保零基础可复现、进阶学习者可深化理解。

---

一、基础极限计算：四则运算法则的直接应用与未定式处理

例2.2.1 求极限

\[(1)\ \lim\limits_{x \to \frac{\pi}{4}} (x \cdot \tan x -1); \quad (2)\ \lim\limits_{x \to 1} \left( \frac{1}{x+1} - \frac{3}{x^3+1} \right) \]

完整解析与理论依据

(1) 有限极限的直接四则运算

核心考点：极限的四则运算法则（乘法、减法法则）、三角函数的极限
解题步骤：

1. 判定适用条件：当\(x \to \frac{\pi}{4}\)时，\(\lim\limits_{x \to \frac{\pi}{4}} x = \frac{\pi}{4}\)，\(\lim\limits_{x \to \frac{\pi}{4}} \tan x = \tan\frac{\pi}{4}=1\)，两个函数的极限均为有限实数，符合四则运算法则的适用条件。
2. 拆分极限：根据极限乘法法则\(\lim [f(x) \cdot g(x)] = \lim f(x) \cdot \lim g(x)\)，得
   \[\lim\limits_{x \to \frac{\pi}{4}} x \cdot \tan x = \lim\limits_{x \to \frac{\pi}{4}} x \cdot \lim\limits_{x \to \frac{\pi}{4}} \tan x = \frac{\pi}{4} \cdot 1 = \frac{\pi}{4} \]

3. 最终计算：根据极限减法法则\(\lim [f(x)-g(x)] = \lim f(x) - \lim g(x)\)，得
   \[\lim\limits_{x \to \frac{\pi}{4}} (x \cdot \tan x -1) = \frac{\pi}{4} - 1 \]

题后总结：

• 解题通法：当函数可拆分为有限个极限存在的函数的加减乘运算时，可直接用四则运算法则拆分计算，本质是“极限运算与四则运算可交换顺序”。
• 高频易错点：忽略“极限必须存在（有限）”的前提，对未定式直接拆分。

---

(2) \(\infty-\infty\)型未定式的通分处理

核心考点：未定式极限的预处理、四则运算法则的适用条件、因式分解消元
解题步骤：

1. 判定类型：当\(x \to 1\)时，\(\frac{1}{x+1} \to \frac{1}{2}\)，\(\frac{3}{x^3+1} \to \frac{3}{2}\)，看似极限都存在，但本质是两个分式的差，直接计算会出现“\(\frac{1}{2}-\frac{3}{2}=-1\)”，但通用处理逻辑是\(\infty-\infty\)型未定式必须先通分，转化为\(\frac{0}{0}\)或\(\frac{\infty}{\infty}\)型，避免符号错误。
2. 通分预处理：利用立方和公式\(x^3+1=(x+1)(x^2-x+1)\)，通分得
   \[\frac{1}{x+1} - \frac{3}{x^3+1} = \frac{(x^2-x+1) - 3}{(x+1)(x^2-x+1)} = \frac{x^2 - x - 2}{(x+1)(x^2-x+1)} \]

3. 因式分解消元：对分子十字相乘法分解\(x^2-x-2=(x-2)(x+1)\)，当\(x \to 1\)时，\(x+1 \neq 0\)，可约去公因子，得
   \[\frac{(x-2)(x+1)}{(x+1)(x^2-x+1)} = \frac{x-2}{x^2-x+1} \]

4. 代入计算：此时分子分母的极限均存在且分母极限不为0，根据极限除法法则，代入\(x=1\)得
   \[\lim\limits_{x \to 1} \frac{x-2}{x^2-x+1} = \frac{1-2}{1-1+1} = -1 \]

题后总结：

• 解题通法：\(\infty-\infty\)型未定式的通用处理方法是通分、有理化、变量替换，转化为可使用四则运算法则的形式，核心是消去导致未定式的公因子。
• 高频易错点：对\(x \to -1\)的同类题型，\(x+1\)是零因子，约去时必须注意\(x \neq -1\)的去心邻域条件，避免分母为0的错误。

---

二、取整函数的极限：夹逼定理的核心应用

例2.2.2 求\(\boldsymbol{\lim\limits_{x \to 0} x\left[ \frac{1}{x} \right]}\)

前置核心定义

取整函数\([t]\)：表示不超过实数\(t\)的最大整数，核心不等式：对任意实数\(t\)，恒有

\[\boldsymbol{t-1 < [t] \leq t} \]

这是解决取整函数极限的唯一核心依据。

完整解析与理论依据

核心考点：取整函数的不等式性质、夹逼定理、极限存在的充要条件（左右极限相等）
解题步骤：
取整函数是分段函数，\(x \to 0\)时需分\(x \to 0^+\)（右极限）和\(x \to 0^-\)（左极限）分别计算，再验证左右极限是否相等。

1. 计算右极限\(\boldsymbol{\lim\limits_{x \to 0^+} x\left[ \frac{1}{x} \right]}\)

当\(x>0\)时，\(\frac{1}{x}>0\)，对\(t=\frac{1}{x}\)应用取整函数核心不等式，得

\[\frac{1}{x} - 1 < \left[ \frac{1}{x} \right] \leq \frac{1}{x} \]

不等式三边同时乘以\(x\)（\(x>0\)，不等号方向不变），得

\[1 - x < x\left[ \frac{1}{x} \right] \leq 1 \]

已知\(\lim\limits_{x \to 0^+} (1-x) = 1\)，\(\lim\limits_{x \to 0^+} 1 = 1\)，根据夹逼定理，得

\[\lim\limits_{x \to 0^+} x\left[ \frac{1}{x} \right] = 1 \]

2. 计算左极限\(\boldsymbol{\lim\limits_{x \to 0^-} x\left[ \frac{1}{x} \right]}\)

当\(x<0\)时，\(\frac{1}{x}<0\)，对\(t=\frac{1}{x}\)应用取整函数核心不等式，得

\[\frac{1}{x} - 1 < \left[ \frac{1}{x} \right] \leq \frac{1}{x} \]

不等式三边同时乘以\(x\)（\(x<0\)，不等号方向全部反转），得

\[1 \leq x\left[ \frac{1}{x} \right] < 1 - x \]

已知\(\lim\limits_{x \to 0^-} 1 = 1\)，\(\lim\limits_{x \to 0^-} (1-x) = 1\)，根据夹逼定理，得

\[\lim\limits_{x \to 0^-} x\left[ \frac{1}{x} \right] = 1 \]

3. 最终结论

左右极限存在且相等，根据函数极限存在的充要条件，得

\[\lim\limits_{x \to 0} x\left[ \frac{1}{x} \right] = 1 \]

题后总结：

• 解题通法：含取整函数的极限，必须先利用\(t-1<[t]\leq t\)构造不等式，再分左右极限用夹逼定理计算，最终验证左右极限是否相等。
• 高频易错点：\(x<0\)时，不等式两边乘负数忘记反转不等号方向，这是本题90%的错误来源。
• 拓展延伸：该结论可推广为\(\lim\limits_{x \to \infty} \frac{[x]}{x}=1\)，是考研数学的高频变式题。

---

三、初等函数的极限：复合函数极限定理的应用

例2.2.3 证明初等函数的极限等式

\[(1)\ \lim\limits_{x \to x_0} a^x = a^{x_0}\ (a>0); \quad (2)\ \lim\limits_{x \to x_0} \log_a x = \log_a x_0\ (x_0>0) \]

完整解析与理论依据

核心考点：复合函数极限定理（换元法）、极限四则运算法则、基本极限\(\lim\limits_{t \to 0}a^t=1\)、\(\lim\limits_{t \to 0}\log_a(1+t)=0\)
这两个证明的本质是：指数函数、对数函数在其定义域内是连续函数，极限值等于函数值，为后续“连续函数极限直接代入”奠定了理论基础。

(1) 指数函数极限的证明

1. 恒等变形：利用指数运算性质，将\(a^x\)拆分为
   \[a^x = a^{x_0 + (x-x_0)} = a^{x_0} \cdot a^{x-x_0} \]

2. 变量换元：令\(t=x-x_0\)，当\(x \to x_0\)时，\(t \to 0\)，根据复合函数极限定理，得
   \[\lim\limits_{x \to x_0} a^{x-x_0} = \lim\limits_{t \to 0} a^t = 1 \]

3. 极限计算：根据极限数乘法则，得
   \[\lim\limits_{x \to x_0} a^x = a^{x_0} \cdot \lim\limits_{x \to x_0} a^{x-x_0} = a^{x_0} \cdot 1 = a^{x_0} \]

(2) 对数函数极限的证明

1. 恒等变形：利用对数运算性质，将\(\log_a x\)拆分为
   \[\log_a x = \log_a \left( x_0 \cdot \frac{x}{x_0} \right) = \log_a x_0 + \log_a \frac{x}{x_0} \]

2. 变量换元：令\(t=\frac{x}{x_0}-1\)，当\(x \to x_0\)时，\(t \to 0\)，根据复合函数极限定理，得
   \[\lim\limits_{x \to x_0} \log_a \frac{x}{x_0} = \lim\limits_{t \to 0} \log_a (1+t) = 0 \]

3. 极限计算：根据极限加法法则，得
   \[\lim\limits_{x \to x_0} \log_a x = \log_a x_0 + \lim\limits_{x \to x_0} \log_a \frac{x}{x_0} = \log_a x_0 + 0 = \log_a x_0 \]

题后总结：

• 解题通法：初等函数的极限证明，核心是通过恒等变形+换元法，转化为已知的基本极限，再用四则运算法则计算。
• 核心结论：所有基本初等函数（幂函数、指数函数、对数函数、三角函数、反三角函数）在其定义域内，极限值等于函数值，即\(\lim\limits_{x \to x_0} f(x)=f(x_0)\)，这是后续求极限最常用的结论。

---

四、多项式与有理函数的极限：四则运算法则的推广

例2.2.4 幂函数与多项式的极限证明

\[(1)\ \lim\limits_{x \to x_0} x^n = x_0^n,\ n \in \mathbb{N}; \]

\[(2)\ \lim\limits_{x \to +\infty} x^n = +\infty,\ \lim\limits_{x \to -\infty} x^n = \infty,\ n \in \mathbb{N}; \]

\[(3)\ \text{多项式}P(x)=\sum_{k=0}^n a_k x^k,\ \text{则}\lim\limits_{x \to x_0} P(x)=P(x_0); \]

\[\text{有理函数}\frac{P(x)}{Q(x)},\ Q(x_0) \neq 0,\ \text{则}\lim\limits_{x \to x_0} \frac{P(x)}{Q(x)}=\frac{P(x_0)}{Q(x_0)}. \]

核心解析

1. 证明(1)：根据极限乘法法则的推广（有限个函数乘积的极限等于极限的乘积），\(x^n\)是\(n\)个\(x\)相乘，因此
   \[\lim\limits_{x \to x_0} x^n = \left( \lim\limits_{x \to x_0} x \right)^n = x_0^n \]
   也可通过ε-δ定义严格证明，是乘法法则最直接的应用。
2. 证明(2)：根据正无穷极限的定义，对任意\(M>0\)，取\(A=\max\{1,\sqrt[n]{M}\}\)，当\(x>A\)时，\(x^n>A^n \geq M\)，因此\(\lim\limits_{x \to +\infty}x^n=+\infty\)；\(x \to -\infty\)时同理可证。
3. 证明(3)：多项式是有限个幂函数的线性组合，根据极限加法法则与数乘法则，得
   \[\lim\limits_{x \to x_0} P(x) = \sum_{k=0}^n a_k \lim\limits_{x \to x_0}x^k = \sum_{k=0}^n a_k x_0^k = P(x_0) \]
   有理函数是两个多项式的商，当\(Q(x_0) \neq 0\)时，根据极限除法法则，极限等于函数值的商。

---

例2.2.5 有理函数在无穷远处的极限

设\(a_n \neq 0\)，\(b_m \neq 0\)，\(n,m \in \mathbb{N}\)，证明：

\[\lim\limits_{x \to \infty} \frac{a_n x^n + a_{n-1} x^{n-1} + \dots + a_1 x + a_0}{b_m x^m + b_{m-1} x^{m-1} + \dots + b_1 x + b_0} = \begin{cases} 0, & n < m, \\ \frac{a_n}{b_m}, & n = m, \\ \infty, & n > m. \end{cases}\]

完整解析与理论依据

核心考点：无穷远处极限的处理技巧、四则运算法则、基本极限\(\lim\limits_{x \to \infty}\frac{1}{x^k}=0\ (k>0)\)
解题步骤：

1. 核心技巧：分子分母同除以自变量的最高次幂，将无穷大项转化为极限为0的项，满足四则运算法则的适用条件。
2. 分情况讨论：
   • 情况1：\(n < m\)，最高次幂为\(x^m\)，分子分母同除以\(x^m\)，得
     \[\text{原式} = \lim\limits_{x \to \infty} \frac{a_n \cdot \frac{1}{x^{m-n}} + a_{n-1} \cdot \frac{1}{x^{m-n+1}} + \dots + a_0 \cdot \frac{1}{x^m}}{b_m + b_{m-1} \cdot \frac{1}{x} + \dots + b_0 \cdot \frac{1}{x^m}} \]
     因\(m-n>0\)，分子所有项的极限均为0，分母极限为\(b_m \neq 0\)，故极限为\(\frac{0}{b_m}=0\)。
   • 情况2：\(n = m\)，最高次幂为\(x^n\)，分子分母同除以\(x^n\)，得
     \[\text{原式} = \lim\limits_{x \to \infty} \frac{a_n + a_{n-1} \cdot \frac{1}{x} + \dots + a_0 \cdot \frac{1}{x^n}}{b_n + b_{n-1} \cdot \frac{1}{x} + \dots + b_0 \cdot \frac{1}{x^n}} = \frac{a_n}{b_n} \]

   • 情况3：\(n > m\)，最高次幂为\(x^n\)，分子分母同除以\(x^n\)，得
     \[\text{原式} = \lim\limits_{x \to \infty} \frac{a_n + a_{n-1} \cdot \frac{1}{x} + \dots + a_0 \cdot \frac{1}{x^n}}{b_m \cdot \frac{1}{x^{n-m}} + b_{m-1} \cdot \frac{1}{x^{n-m+1}} + \dots + b_0 \cdot \frac{1}{x^n}} \]
     分子极限为\(a_n \neq 0\)，分母所有项的极限均为0，故极限为\(\infty\)。

题后总结：

• 解题通法：有理函数\(x \to \infty\)的极限，只与分子分母的最高次幂有关，口诀：“低次为0，等次为系数比，高次为无穷”，是考研数学选择填空的秒杀技巧。
• 高频易错点：\(x \to -\infty\)时，最高次幂为奇数次时，需注意符号；开偶次方时，\(\sqrt{x^2}=|x|=-x\)（\(x<0\)），极易出现符号错误。

---

五、两个重要极限：极限理论的核心经典结论

两个重要极限是求初等函数极限的核心工具，分别对应三角函数的\(\frac{0}{0}\)型未定式、幂指函数的\(1^\infty\)型未定式，是等价无穷小替换的理论基础。

---

第一个重要极限：\(\boldsymbol{\lim\limits_{x \to 0} \frac{\sin x}{x} = 1}\)（例2.2.7）

完整证明与理论依据

核心考点：单位圆的三角函数不等式、夹逼定理、复合函数极限定理
证明步骤：

1. 前置不等式推导：利用单位圆的面积关系，对\(x \in (0,\frac{\pi}{2})\)，有
   \[\boldsymbol{\sin x < x < \tan x} \]
   （推导：单位圆中，三角形面积<扇形面积<直角三角形面积，即\(\frac{1}{2}\sin x < \frac{1}{2}x < \frac{1}{2}\tan x\)，约去\(\frac{1}{2}\)得证）
2. 不等式变形：对\(x \in (0,\frac{\pi}{2})\)，\(\sin x>0\)，不等式三边除以\(\sin x\)，得
   \[1 < \frac{x}{\sin x} < \frac{1}{\cos x} \]
   取倒数（不等号反转），得核心夹逼不等式：
   \[\cos x < \frac{\sin x}{x} < 1 \]

3. 奇偶性推广：当\(x \in (-\frac{\pi}{2},0)\)时，令\(t=-x\)，\(t \in (0,\frac{\pi}{2})\)，则
   \[\frac{\sin x}{x} = \frac{\sin(-t)}{-t} = \frac{\sin t}{t} \]
   因此\(\cos x < \frac{\sin x}{x} < 1\)对\(x \in (-\frac{\pi}{2},0) \cup (0,\frac{\pi}{2})\)恒成立。
4. 夹逼定理应用：已知\(\lim\limits_{x \to 0} \cos x = 1\)，\(\lim\limits_{x \to 0} 1 = 1\)，根据夹逼定理，得
   \[\lim\limits_{x \to 0} \frac{\sin x}{x} = 1 \]

核心本质与通用形式

第一个重要极限的核心特征：

1. 必须是\(\boldsymbol{\frac{0}{0}}\)型未定式；
2. 分子\(\sin\)内的表达式，与分母的表达式完全一致，且都趋于0。
   通用换元形式：

\[\boldsymbol{\lim\limits_{\square \to 0} \frac{\sin \square}{\square} = 1} \]

只要\(\square\)是同一趋于0的表达式，无论多复杂，都可直接套用该结论。

---

第二个重要极限：\(\boldsymbol{\lim\limits_{x \to \infty} \left(1+\frac{1}{x}\right)^x = e}\)（例2.2.10）

完整证明与理论依据

核心考点：数列极限\(\lim\limits_{n \to \infty}\left(1+\frac{1}{n}\right)^n=e\)、夹逼定理、复合函数极限定理
证明步骤：

1. 数列极限基础：已证数列\(\left(1+\frac{1}{n}\right)^n\)单调递增有上界，极限为无理数\(e \approx 2.71828\)。
2. \(x \to +\infty\)的证明：对任意\(x>0\)，取\(n=[x]\)（取整函数），则\(n \leq x < n+1\)，因此
   \[\left(1+\frac{1}{n+1}\right)^n < \left(1+\frac{1}{x}\right)^x < \left(1+\frac{1}{n}\right)^{n+1} \]
   计算两边极限：
   • 左边：\(\lim\limits_{n \to \infty} \left(1+\frac{1}{n+1}\right)^n = \lim\limits_{n \to \infty} \left(1+\frac{1}{n+1}\right)^{n+1} \cdot \left(1+\frac{1}{n+1}\right)^{-1} = e \cdot 1 = e\)
   • 右边：\(\lim\limits_{n \to \infty} \left(1+\frac{1}{n}\right)^{n+1} = \lim\limits_{n \to \infty} \left(1+\frac{1}{n}\right)^n \cdot \left(1+\frac{1}{n}\right) = e \cdot 1 = e\)
     根据夹逼定理，\(\lim\limits_{x \to +\infty} \left(1+\frac{1}{x}\right)^x = e\)。
3. \(x \to -\infty\)的证明：令\(t=-x\)，当\(x \to -\infty\)时，\(t \to +\infty\)，则
   \[\left(1+\frac{1}{x}\right)^x = \left(1-\frac{1}{t}\right)^{-t} = \left(\frac{t}{t-1}\right)^t = \left(1+\frac{1}{t-1}\right)^{t-1} \cdot \left(1+\frac{1}{t-1}\right) \]
   当\(t \to +\infty\)时，极限为\(e \cdot 1 = e\)，因此\(\lim\limits_{x \to -\infty} \left(1+\frac{1}{x}\right)^x = e\)。
4. 最终结论：左右极限相等，故\(\lim\limits_{x \to \infty} \left(1+\frac{1}{x}\right)^x = e\)。

核心本质与通用形式

第二个重要极限的核心特征：

1. 必须是\(\boldsymbol{1^\infty}\)型未定式；
2. 底数是“1 + 一个无穷小量”，指数是“这个无穷小量的倒数”。
   通用换元形式：

\[\boldsymbol{\lim\limits_{\square \to 0} (1+\square)^{\frac{1}{\square}} = e} \]

这是更常用的等价形式，令\(\square=\frac{1}{x}\)，\(x \to \infty\)时\(\square \to 0\)，即可直接转化得到。

常用变形（例2.2.11）

1. \(\lim\limits_{x \to 0}(1+x)^{\frac{1}{x}}=e\)（直接换元）；
2. \(\lim\limits_{x \to 0}(1+kx)^{\frac{1}{x}}=e^k\)（变形为\([(1+kx)^{\frac{1}{kx}}]^k\)）；
3. \(\lim\limits_{x \to 0}(1-x)^{\frac{1}{x}}=e^{-1}\)（变形为\([(1+(-x))^{\frac{1}{-x}}]^{-1}\)）；
4. \(\lim\limits_{x \to \infty}\left(1-\frac{1}{x}\right)^x=e^{-1}\)（同理变形）。

---

六、无穷小量与等价无穷小：极限计算的核心简化工具

定义2.2.2 无穷小量与等价无穷小

1. 无穷小量：若\(\lim\limits_{x \to x_0} \alpha(x)=0\)，则称\(\alpha(x)\)为\(x \to x_0\)时的无穷小量。
   注：无穷小量是极限为0的函数，不是“很小的数”，常数中只有0是无穷小量。
2. 等价无穷小：若\(\alpha(x),\beta(x)\)都是\(x \to x_0\)时的无穷小量，且\(\lim\limits_{x \to x_0} \frac{\alpha(x)}{\beta(x)}=1\)，则称\(\alpha(x)\)与\(\beta(x)\)是\(x \to x_0\)时的等价无穷小，记作\(\boldsymbol{\alpha(x) \sim \beta(x)\ (x \to x_0)}\)。

例2.2.9 常用等价无穷小的推导

所有推导均基于第一个重要极限，是极限计算中最常用的等价替换公式。

1. \(\boldsymbol{\tan x \sim x\ (x \to 0)}\)
   证明：\(\lim\limits_{x \to 0} \frac{\tan x}{x} = \lim\limits_{x \to 0} \frac{\sin x}{x} \cdot \frac{1}{\cos x} = 1 \cdot 1 = 1\)，故\(\tan x \sim x\)。
2. \(\boldsymbol{1-\cos x \sim \frac{x^2}{2}\ (x \to 0)}\)
   证明：利用二倍角公式\(1-\cos x=2\sin^2\frac{x}{2}\)，得
   \[\lim\limits_{x \to 0} \frac{1-\cos x}{\frac{x^2}{2}} = \lim\limits_{x \to 0} \frac{2\sin^2\frac{x}{2}}{\frac{x^2}{2}} = \lim\limits_{x \to 0} \left( \frac{\sin\frac{x}{2}}{\frac{x}{2}} \right)^2 = 1^2 = 1 \]
   故\(1-\cos x \sim \frac{x^2}{2}\)。
3. \(\boldsymbol{\tan x - \sin x \sim \frac{x^3}{2}\ (x \to 0)}\)
   证明：恒等变形\(\tan x - \sin x = \sin x \cdot \frac{1-\cos x}{\cos x}\)，得
   \[\lim\limits_{x \to 0} \frac{\tan x - \sin x}{\frac{x^3}{2}} = \lim\limits_{x \to 0} \frac{\sin x}{x} \cdot \frac{1-\cos x}{\frac{x^2}{2}} \cdot \frac{1}{\cos x} = 1 \cdot 1 \cdot 1 = 1 \]
   故\(\tan x - \sin x \sim \frac{x^3}{2}\)。
4. \(\boldsymbol{\sin x \sim \pi - x\ (x \to \pi)}\)
   证明：令\(t=\pi - x\)，\(x \to \pi\)时\(t \to 0\)，则\(\sin x = \sin(\pi - t)=\sin t\)，故
   \[\lim\limits_{x \to \pi} \frac{\sin x}{\pi - x} = \lim\limits_{t \to 0} \frac{\sin t}{t} = 1 \]
   故\(\sin x \sim \pi - x\ (x \to \pi)\)。

---

七、核心知识点归纳总结表

知识点类型	核心结论	适用条件	解题通法	高频易错点
四则运算法则	极限的加减乘除运算，可拆分到每个极限存在的函数	仅对有限个函数、极限为有限实数成立；除法要求分母极限不为0	先预处理未定式（通分、因式分解、有理化），再拆分计算	对未定式直接拆分；对无穷项和直接使用加法法则
夹逼定理	被两个极限相等的函数夹住的函数，极限与两者相等	局部有\(f(x) \leq h(x) \leq g(x)\)，且\(\lim f(x)=\lim g(x)=a\)（有限）	对目标函数做适度放缩，保证上下界极限相等	放缩过度导致上下界极限不等；乘负数时忘记反转不等号
复合函数极限定理	\(\lim f(\varphi(x))=\lim f(u)\)，换元法的理论基础	\(\lim \varphi(x)=u_0\)，\(\lim f(u)=a\)，且局部\(\varphi(x) \neq u_0\)	恒等变形+换元，将复杂极限转化为已知基本极限	忽略\(\varphi(x) \neq u_0\)的条件，导致结论错误
第一个重要极限	\(\lim\limits_{\square \to 0}\frac{\sin \square}{\square}=1\)	必须是\(\frac{0}{0}\)型，\(\sin\)内与分母的表达式完全一致且趋于0	凑形：将表达式变形为符合通用形式的结构	非\(\frac{0}{0}\)型直接套用；\(\square\)不趋于0时误用
第二个重要极限	\(\lim\limits_{\square \to 0}(1+\square)^{\frac{1}{\square}}=e\)	必须是\(1^\infty\)型，底数是1+无穷小，指数是无穷小的倒数	凑形：将\(1^\infty\)型幂指函数变形为通用形式	非\(1^\infty\)型直接套用；指数变形时符号错误
等价无穷小	乘除运算中，无穷小因子可替换为等价无穷小，极限不变	仅对乘除运算中的无穷小因子成立，加减运算不能直接替换	求\(\frac{0}{0}\)型极限时，用简单等价无穷小替换复杂无穷小	加减运算中直接替换；非无穷小量误用等价替换
有理函数极限	\(x \to x_0\)时极限等于函数值（分母不为0）；\(x \to \infty\)时仅与最高次幂有关	多项式、有理函数，分母极限不为0	\(x \to x_0\)直接代入；\(x \to \infty\)同除以最高次幂	\(x \to -\infty\)时奇次幂、偶次开方的符号错误

---

幂指函数极限与无穷大增长阶 系统讲解

本节是函数极限理论的进阶核心内容，承接两个重要极限，系统讲解幂指函数极限的通用定理、1^∞型极限的进阶解法、常用等价无穷小补充、无穷大增长阶的比较，覆盖本科数学分析、考研数学的高频考点，所有推导均标注理论依据，提炼通用解题方法与高频易错陷阱。

---

一、核心定理：幂指函数的极限定理

幂指函数是形如\(f(x)^{g(x)}\)（\(f(x)>0\)）的函数，是极限计算中最常见的复杂类型，其极限计算的核心是指数对数恒等变形，所有幂指函数极限都可通过该变形转化为指数部分的极限。

定理2.2.8 幂指函数极限定理

完整表述

1. 函数版：设\(\lim\limits_{x \to x_0} f(x)=a>0\)，\(\lim\limits_{x \to x_0} g(x)=b\)，则
   \[\boldsymbol{\lim\limits_{x \to x_0} f(x)^{g(x)} = a^b} \]
   注：\(x_0\)可替换为\(x_0^\pm, \pm\infty, \infty\)，结论均成立。
2. 数列版：设\(\lim\limits_{n \to \infty} a_n = a>0\)，\(\lim\limits_{n \to \infty} b_n = b\)，则
   \[\boldsymbol{\lim\limits_{n \to \infty} a_n^{b_n} = a^b} \]

严谨证明（每步标注推理依据）

1. 核心恒等变形
   对\(f(x)>0\)，由指数与对数的互逆运算，有万能恒等式：

   \[f(x)^{g(x)} = e^{g(x) \cdot \ln f(x)} \]

   推理依据：指数对数的互逆性\(u^v = e^{v\ln u}\)；由\(\lim f(x)=a>0\)，根据局部保号性，\(x_0\)的去心邻域内\(f(x)>0\)，对数有意义。

2. 指数部分的极限计算
   由复合函数极限定理（对数函数在定义域内连续，极限与函数运算可交换），得：

   \[\lim\limits_{x \to x_0} \ln f(x) = \ln \lim\limits_{x \to x_0} f(x) = \ln a \]

   再由极限乘法法则，\(\lim g(x)=b\)，因此：

   \[\lim\limits_{x \to x_0} g(x) \cdot \ln f(x) = \lim g(x) \cdot \lim \ln f(x) = b \cdot \ln a \]

3. 复合函数极限的最终结论
   指数函数\(e^u\)在\(\mathbb{R}\)上连续，由复合函数极限定理，得：

   \[\lim\limits_{x \to x_0} e^{g(x)\ln f(x)} = e^{\lim\limits_{x \to x_0} g(x)\ln f(x)} = e^{b\ln a} = a^b \]

   数列版证明与函数版完全一致，仅需将函数极限替换为数列极限即可。
   \(\square\)

核心补充说明

1. 适用范围：该定理是所有幂指函数极限的通用基础，覆盖\(0^0\)、\(1^\infty\)、\(\infty^0\)三类未定式，仅需先通过恒等变形转化为指数部分的极限。
2. 高频易错点：必须保证\(\lim f(x)=a>0\)，若\(f(x)\)的极限为0或负数，不能直接套用该定理，需先分析\(f(x)\)的符号。
3. 1^∞型极限的快速公式：对\(1^\infty\)型未定式，若\(\lim \alpha(x)=0\)，则\(\lim (1+\alpha(x))^{\beta(x)} = e^{\lim \alpha(x)\beta(x)}\)，该公式由定理2.2.8直接推导而来，是考研数学的秒杀技巧。

---

二、第二个重要极限的进阶应用（例2.2.12）

本节例题均为\(1^\infty\)型数列极限，核心是通过凑形匹配第二个重要极限的通用形式\(\lim\limits_{\square \to 0} (1+\square)^{\frac{1}{\square}}=e\)，结合定理2.2.8求解。

例2.2.12 极限证明

(1) 证明\(\boldsymbol{\lim\limits_{n \to \infty} \left(1+\frac{1}{n^2}\right)^n = 1}\)

核心考点：第二个重要极限的凑形、定理2.2.8、夹逼定理
两种证法详解：

证法1：定理直接求解（凑形法）

1. 凑形匹配重要极限：
   \[\left(1+\frac{1}{n^2}\right)^n = \left[\left(1+\frac{1}{n^2}\right)^{n^2}\right]^{\frac{1}{n}} \]
   令\(\square=\frac{1}{n^2}\)，\(n \to \infty\)时\(\square \to 0\)，由第二个重要极限得\(\lim\limits_{n \to \infty} \left(1+\frac{1}{n^2}\right)^{n^2}=e\)。
2. 应用定理2.2.8：
   指数部分\(\lim\limits_{n \to \infty} \frac{1}{n}=0\)，因此极限为\(e^0=1\)。

证法2：夹逼定理

1. 不等式放缩：对\(n \geq 1\)，由\(1+t < e^t\)（\(t>0\)时恒成立），得：
   \[1 < \left(1+\frac{1}{n^2}\right)^n < \left(e^{\frac{1}{n^2}}\right)^n = e^{\frac{1}{n}} \]

2. 夹逼定理应用：\(\lim\limits_{n \to \infty} 1=1\)，\(\lim\limits_{n \to \infty} e^{\frac{1}{n}}=e^0=1\)，因此原极限为1。

---

(2) 证明\(\boldsymbol{\lim\limits_{n \to \infty} \left(1+\frac{k}{n}\right)^n = e^k}\)

核心考点：第二个重要极限的标准变形、定理2.2.8
证明过程：

1. 分类讨论：
   • 当\(k=0\)时，原式=\(\lim\limits_{n \to \infty} 1^n=1=e^0\)，结论成立；
   • 当\(k \neq 0\)时，凑形匹配重要极限：
     \[\left(1+\frac{k}{n}\right)^n = \left[\left(1+\frac{k}{n}\right)^{\frac{n}{k}}\right]^k \]
     令\(\square=\frac{k}{n}\)，\(n \to \infty\)时\(\square \to 0\)，由第二个重要极限得\(\lim\limits_{n \to \infty} \left(1+\frac{k}{n}\right)^{\frac{n}{k}}=e\)。
2. 应用定理2.2.8：指数部分极限为\(k\)，因此原极限为\(e^k\)。

核心结论：该结论可推广到函数版\(\lim\limits_{x \to \infty} \left(1+\frac{k}{x}\right)^x=e^k\)，是考研数学最常用的极限公式之一。

---

(3) 证明\(\boldsymbol{\lim\limits_{n \to \infty} \left(1+\frac{1}{n}-\frac{1}{n^2}\right)^n = e}\)

核心考点：复杂\(1^\infty\)型极限的凑形、夹逼定理
两种证法详解：

证法1：定理直接求解（凑形法）

1. 底数变形：\(1+\frac{1}{n}-\frac{1}{n^2}=1+\frac{n-1}{n^2}\)，凑形匹配重要极限：
   \[\left(1+\frac{n-1}{n^2}\right)^n = \left[\left(1+\frac{n-1}{n^2}\right)^{\frac{n^2}{n-1}}\right]^{\frac{n(n-1)}{n^2}} \]

2. 分别求极限：
   • 内层：令\(\square=\frac{n-1}{n^2}\)，\(n \to \infty\)时\(\square \to 0\)，故\(\lim\limits_{n \to \infty} \left(1+\square\right)^{\frac{1}{\square}}=e\)；
   • 指数部分：\(\lim\limits_{n \to \infty} \frac{n(n-1)}{n^2} = \lim\limits_{n \to \infty} \frac{n^2-n}{n^2}=1\)。
3. 应用定理2.2.8：原极限为\(e^1=e\)。

证法2：夹逼定理

1. 双向放缩：
   • 下界：\(1+\frac{1}{n}-\frac{1}{n^2} = 1+\frac{n-1}{n^2} > 1+\frac{n-1}{n^2+(n-1)} = 1+\frac{1}{n+1}\)，因此\(\left(1+\frac{1}{n+1}\right)^n < \text{原式}\)，下界极限为\(\lim\limits_{n \to \infty} \left(1+\frac{1}{n+1}\right)^{n+1} \cdot \left(1+\frac{1}{n+1}\right)^{-1}=e\)；
   • 上界：\(1+\frac{1}{n}-\frac{1}{n^2} < 1+\frac{1}{n}\)，因此\(\text{原式} < \left(1+\frac{1}{n}\right)^n\)，上界极限为\(e\)。
2. 夹逼定理应用：上下界极限均为\(e\)，故原极限为\(e\)。

---

三、常用等价无穷小补充（例2.2.13）

等价无穷小是简化\(\frac{0}{0}\)型极限的核心工具，本节补充对数、指数类的常用等价无穷小，均基于两个重要极限推导而来。

例2.2.13 等价无穷小与均值极限证明

(1) 对数函数的等价无穷小

结论：\(\boldsymbol{\ln(1+x) \sim x\ (x \to 0)}\)；\(\boldsymbol{\log_a(1+x) \sim \frac{x}{\ln a}\ (x \to 0, a>0,a\neq1)}\)
证明过程：

1. 等价无穷小的核心是\(\lim\limits_{x \to 0} \frac{\ln(1+x)}{x}=1\)，推导如下：
   \[\lim\limits_{x \to 0} \frac{\ln(1+x)}{x} = \lim\limits_{x \to 0} \ln(1+x)^{\frac{1}{x}} \]
   由复合函数极限定理（对数函数连续），极限等于\(\ln \lim\limits_{x \to 0} (1+x)^{\frac{1}{x}} = \ln e = 1\)，符合等价无穷小定义。
2. 对\(\log_a(1+x)\)，由换底公式\(\log_a(1+x)=\frac{\ln(1+x)}{\ln a}\)，得：
   \[\lim\limits_{x \to 0} \frac{\log_a(1+x)}{x} = \frac{1}{\ln a} \lim\limits_{x \to 0} \frac{\ln(1+x)}{x} = \frac{1}{\ln a} \]
   故\(\log_a(1+x) \sim \frac{x}{\ln a}\ (x \to 0)\)。

---

(2) 指数函数的等价无穷小

结论：\(\boldsymbol{a^x - 1 \sim x\ln a\ (x \to 0, a>0)}\)；特别地，\(\boldsymbol{e^x - 1 \sim x\ (x \to 0)}\)
证明过程：

1. 换元法：令\(y=a^x - 1\)，则\(x=\log_a(1+y)\)，\(x \to 0\)时\(y \to 0\)，极限转化为：
   \[\lim\limits_{x \to 0} \frac{a^x - 1}{x} = \lim\limits_{y \to 0} \frac{y}{\log_a(1+y)} = \frac{1}{\lim\limits_{y \to 0} \frac{\log_a(1+y)}{y}} \]

2. 代入(1)的结论\(\lim\limits_{y \to 0} \frac{\log_a(1+y)}{y}=\frac{1}{\ln a}\)，得极限为\(\ln a\)，故\(a^x - 1 \sim x\ln a\)。
3. 特别地，\(a=e\)时\(\ln e=1\)，因此\(e^x - 1 \sim x\ (x \to 0)\)。

---

(3) 均值极限（考研高频考点）

结论：设\(a_1,a_2,\dots,a_m>0\)，则

\[\boldsymbol{\lim\limits_{n \to \infty} \left( \frac{a_1^{\frac{1}{n}} + a_2^{\frac{1}{n}} + \dots + a_m^{\frac{1}{n}}}{m} \right)^n = \sqrt[m]{a_1 a_2 \dots a_m}} \]

证明过程：

1. 指数对数恒等变形：
   \[\text{原式} = \lim\limits_{n \to \infty} e^{n \ln \left( \frac{a_1^{\frac{1}{n}} + a_2^{\frac{1}{n}} + \dots + a_m^{\frac{1}{n}}}{m} \right)} \]
   仅需计算指数部分的极限。
2. 换元与等价无穷小替换：
   令\(t=\frac{1}{n}\)，\(n \to \infty\)时\(t \to 0^+\)，指数部分变为：
   \[\lim\limits_{t \to 0^+} \frac{1}{t} \ln \left( \frac{a_1^t + a_2^t + \dots + a_m^t}{m} \right) \]
   对对数内的部分变形：
   \[\frac{a_1^t + \dots + a_m^t}{m} = 1 + \frac{(a_1^t -1)+(a_2^t -1)+\dots+(a_m^t -1)}{m} \]
   令\(\alpha(t)=\frac{\sum_{i=1}^m (a_i^t -1)}{m}\)，\(t \to 0\)时\(\alpha(t) \to 0\)，由\(\ln(1+\alpha(t)) \sim \alpha(t)\)（等价无穷小替换），得：
   \[\text{指数部分} = \lim\limits_{t \to 0^+} \frac{1}{t} \cdot \frac{\sum_{i=1}^m (a_i^t -1)}{m} \]

3. 代入指数等价无穷小结论：
   由\(\lim\limits_{t \to 0} \frac{a_i^t -1}{t}=\ln a_i\)，拆分极限得：
   \[\text{指数部分} = \frac{1}{m} \sum_{i=1}^m \ln a_i = \ln \sqrt[m]{a_1 a_2 \dots a_m} \]

4. 最终结论：原式=\(e^{\ln \sqrt[m]{a_1 a_2 \dots a_m}} = \sqrt[m]{a_1 a_2 \dots a_m}\)。

核心意义：该结论揭示了几何平均是算术平均的极限形式，是考研数学中数列极限的高频难题，核心技巧是等价无穷小替换将复杂对数极限转化为简单指数极限。

---

四、无穷大的增长阶比较（例2.2.14-2.2.15）

当\(x \to +\infty\)时，不同函数趋于无穷大的速度有显著差异，我们称之为增长阶，该结论可直接用于快速判断极限的存在性与结果。

核心结论

当\(x \to +\infty\)时，对\(a>1\)，\(k>0\)，有增长阶排序：

\[\boldsymbol{x^x \gg a^x \gg x^k \gg \ln x} \]

即：指数函数（底数>1）的增长速度远快于幂函数，幂函数的增长速度远快于对数函数，俗称“指数爆炸，对数慢增长”。

---

例2.2.14 增长阶极限证明

(1) 证明\(\boldsymbol{\lim\limits_{x \to +\infty} \frac{x^k}{a^x}=0\ (a>1, k>0)}\)

核心考点：夹逼定理、数列极限的推广
证明过程：

1. 取整函数放缩：对\(x>1\)，取\(n=[x]\)（不超过\(x\)的最大整数），则\(n \leq x < n+1\)，因此：
   \[0 < \frac{x^k}{a^x} < \frac{(n+1)^k}{a^n} \]

2. 数列极限结论：对\(a>1\)，\(k>0\)，\(\lim\limits_{n \to \infty} \frac{(n+1)^k}{a^n}=0\)（指数增长远快于多项式增长）。
3. 夹逼定理应用：上下界极限均为0，故原极限为0。

---

(2) 证明\(\boldsymbol{\lim\limits_{x \to +\infty} \frac{\ln x}{x^k}=0\ (k>0)}\)

核心考点：换元法、增长阶结论的推广
证明过程：

1. 换元转化：令\(t=\ln x\)，则\(x=e^t\)，\(x \to +\infty\)时\(t \to +\infty\)，极限转化为：
   \[\lim\limits_{x \to +\infty} \frac{\ln x}{x^k} = \lim\limits_{t \to +\infty} \frac{t}{e^{kt}} \]

2. 应用(1)的结论：\(e^{kt}=(e^k)^t\)，\(e^k>1\)，因此\(\lim\limits_{t \to +\infty} \frac{t}{e^{kt}}=0\)，故原极限为0。

---

例2.2.15 0+处的幂函数与对数极限

结论：\(\boldsymbol{\lim\limits_{x \to 0^+} x^k \ln x = 0\ (k>0)}\)
核心考点：0·∞型未定式的转化、换元法
证明过程：

1. 未定式转化：0·∞型可转化为\(\frac{\infty}{\infty}\)型，令\(t=\frac{1}{x}\)，\(x \to 0^+\)时\(t \to +\infty\)，则：
   \[x^k \ln x = \frac{1}{t^k} \cdot \ln \frac{1}{t} = -\frac{\ln t}{t^k} \]

2. 应用例2.2.14(2)的结论：\(\lim\limits_{t \to +\infty} \frac{\ln t}{t^k}=0\)，因此原极限为\(-0=0\)。

---

五、核心知识点归纳总结表

知识点类型	核心结论	适用条件	解题通法	高频易错点
幂指函数极限定理	\(\lim f(x)^{g(x)}=a^b\)，其中\(\lim f(x)=a>0\)，\(\lim g(x)=b\)	底数极限为正实数，指数极限为有限实数	万能方法：指数对数恒等变形\(u^v=e^{v\ln u}\)，转化为指数部分的极限	底数极限为0或负数时直接套用定理；忽略底数的局部保号性
1^∞型极限	\(\lim (1+\alpha(x))^{\beta(x)}=e^{\lim \alpha(x)\beta(x)}\)	\(\alpha(x) \to 0\)，属于\(1^\infty\)型未定式	凑形匹配第二个重要极限，或用指数对数变形转化为指数乘积的极限	非\(1^\infty\)型直接套用公式；指数幂次变形错误
对数等价无穷小	\(\ln(1+x) \sim x\)，\(\log_a(1+x) \sim \frac{x}{\ln a}\)	\(x \to 0\)，乘除运算中的无穷小因子	\(\frac{0}{0}\)型极限中，替换对数项为等价的幂函数，简化计算	加减运算中直接替换；\(x\)不趋于0时误用
指数等价无穷小	\(e^x-1 \sim x\)，\(a^x-1 \sim x\ln a\)	\(x \to 0\)，乘除运算中的无穷小因子	替换指数项为等价的幂函数，简化\(\frac{0}{0}\)型极限	加减运算中直接替换；符号错误（如\(1-a^x \sim -x\ln a\)漏负号）
无穷大增长阶	\(x \to +\infty\)时，\(a^x(a>1) \gg x^k(k>0) \gg \ln x\)	\(x \to +\infty\)，底数\(a>1\)，幂次\(k>0\)	直接通过增长阶判断分式极限：分子增长慢于分母则极限为0，反之则为∞	底数\(a<1\)时误用（\(a<1\)时\(a^x\)是无穷小量）
0·∞型未定式	\(x \to 0^+\)时，\(x^k \ln x \to 0\ (k>0)\)	\(x \to 0^+\)，幂次\(k>0\)	转化为\(\frac{0}{0}\)或\(\frac{\infty}{\infty}\)型，通过换元法结合增长阶结论求解	换元时符号错误；未正确转化未定式类型