昆仑山:眼中无形心中有穴之穴人合一

夫君子之行，静以修身，俭以养德；非澹泊无以明志，非宁静无以致远。夫学须静也，才须学也；非学无以广才，非志无以成学。怠慢则不能励精，险躁则不能冶性。年与时驰，意与岁去，遂成枯落，多不接世。悲守穷庐，将复何及！

 

ch02 2.1函数极限的概念

函数与映射核心概念系统讲解

本部分是数学分析的基石，是从中学具象函数到大学抽象分析的核心过渡，我们将以集合论为基础，严格、系统地讲解映射、函数的核心定义、性质与运算体系，所有推导均标注逻辑依据，关键内容以加粗突出。

一、映射的严格定义与核心概念

映射是现代数学的通用语言，函数是映射的特例，我们先从最一般的映射定义展开。

1. 映射的公理化定义

定义2.1.1 设\(X,Y\)为非空集合，如果对\(\boldsymbol{\forall x\in X}\)，有惟一的\(\boldsymbol{y\in Y}\)与之对应，称该对应规则为从\(X\)到\(Y\)的（单值）映射，记作：

\[f:X\to Y,\quad x\mapsto y=f(x) \]

定义拆解与逻辑依据

  1. 非空集合前提：映射的定义域\(X\)、陪域\(Y\)必须为非空集合，空集上的映射为平凡映射，分析学中仅研究非空集合上的映射。
  2. 全域性要求：定义域\(X\)中的每一个元素都必须有对应，不存在\(x\in X\)没有像\(y\)的情况，这是映射与“部分对应关系”的核心区别。
  3. 单值性要求：一个\(x\)只能对应惟一一个\(y\)，不能出现一个\(x\)对应多个\(y\)的情况，这是后续单值函数的核心定义依据。
  4. 记号区分：\(f\)是映射本身（对应规律），\(f(x)\)是\(x\)在\(f\)下的像（函数值），二者不可混淆；两个映射相等的充要条件是：定义域完全相同、对应规律完全相同。

2. 映射的相关核心集合

基于映射定义，我们严格定义以下核心集合，所有定义均以集合论的描述法给出，逻辑严谨无歧义：

  1. 定义域：映射的输入集合\(X\)，记作\(\mathrm{Dom}(f)=X\)。
  2. 值域：定义域中所有元素的像构成的集合，记作

    \[\boldsymbol{f(X)=\{f(x)|x\in X\}} \]

    核心性质：值域是陪域\(Y\)的子集，即\(f(X)\subseteq Y\)，二者不必然相等，初学者极易混淆陪域（输出允许范围）与值域（实际输出集合）。
  3. 集合的像：对子集\(A\subseteq X\)，\(A\)中所有元素的像构成的集合，记作

    \[\boldsymbol{f(A)=\{f(x)|x\in A\subseteq X\}\subseteq Y} \]

  4. 集合的原像：对子集\(B\subseteq Y\)，所有像属于\(B\)的原像点构成的集合，记作

    \[\boldsymbol{f^{-1}(B)=\{x\in X|f(x)\in B\}\subseteq X} \]

    【关键易错点】：此处\(f^{-1}(B)\)是原像集合的记号，不代表逆映射！哪怕映射没有逆映射，原像集合依然有定义。例如\(f(x)=x^2\)，\(B=\{1\}\)，则\(f^{-1}(B)=\{-1,1\}\)，\(f\)不是单射、无逆映射，但原像集合依然存在。

3. 映射的分类：单射、满射、双射

我们基于映射的全域性、单值性，进一步定义三类核心映射，这是逆映射存在的理论基础。

（1）单射（入射）

定义：如果\(\boldsymbol{\forall x_1,x_2\in X}\)，\(\boldsymbol{x_1\neq x_2}\)，必有\(\boldsymbol{f(x_1)\neq f(x_2)}\)，等价于：若\(f(x_1)=f(x_2)\)，则\(x_1=x_2\)。

  • 核心内涵：不同的输入，必然得到不同的输出，不会出现多个原像对应同一个像的情况。
  • 示例：\(f(x)=e^x,x\in\mathbb{R}\)是单射（严格单调递增，输入不同则输出不同）；\(f(x)=x^2,x\in\mathbb{R}\)不是单射（\(f(1)=f(-1)=1\)）。

（2）满射

定义：如果\(\boldsymbol{\forall y\in Y}\)，必\(\boldsymbol{\exists x\in X}\)，使得\(\boldsymbol{f(x)=y}\)，等价于：\(\boldsymbol{f(X)=Y}\)（值域等于陪域）。

  • 核心内涵：陪域中的每一个元素，都存在至少一个原像，陪域中没有“闲置”的元素。
  • 示例：\(f(x)=x^2,x\in\mathbb{R},Y=[0,+\infty)\)是满射（所有非负实数都有原像）；若\(Y=\mathbb{R}\)，则不是满射（负数无原像）。

（3）双射（一一映射）

定义：若\(f\)既是单射又是满射，则称\(f\)为双射。

  • 核心定理：双射是逆映射存在的充要条件，我们给出严格证明：
    1. 存在性证明：
      因为\(f\)是满射，所以\(\forall y\in Y\)，\(\exists x\in X\)使得\(f(x)=y\)；
      又因为\(f\)是单射，所以该\(x\)是惟一的（若存在\(x_1,x_2\)满足\(f(x_1)=f(x_2)=y\)，由单射定义得\(x_1=x_2\)）；
      因此对\(\forall y\in Y\)，有惟一的\(x\in X\)与之对应，完全符合映射的定义，故逆映射\(f^{-1}:Y\to X\)存在，满足\(x=f^{-1}(y)\iff y=f(x)\)。
    2. 惟一性证明：
      若存在两个逆映射\(g_1,g_2\)，则\(\forall y\in Y\)，\(g_1(y)=x_1,g_2(y)=x_2\)，其中\(f(x_1)=y,f(x_2)=y\)；
      由单射性得\(x_1=x_2\)，故\(g_1=g_2\)，逆映射惟一。
  • 推论：若\(f\)是单射，则\(f:X\to f(X)\)必为双射（陪域取为值域，自然满足满射），因此单射一定可以通过限制陪域得到逆映射\(f^{-1}:f(X)\to X\)，这是后续反函数的核心理论依据。

二、函数的定义与分类

函数是分析学的核心研究对象，本质是实数集到实数集的映射，我们基于映射的一般定义，给出函数的严格定义与分类。

1. 实值函数的定义

定义：设\(X\)为非空集合，\(f:X\to\mathbb{R},\ x\mapsto y=f(x)\)为映射，则称\(f\)为实值函数，本书中简称函数。

  • 核心说明：分析学中默认的函数均为实值函数，即映射的陪域为全体实数集\(\mathbb{R}\)，输出为实数。

2. 函数按定义域维数的分类

根据定义域所在欧氏空间的维数，我们将函数分为以下类别，是一元微积分与多元微积分的划分依据：

  1. 一元函数：\(X\subseteq\mathbb{R}\)，即自变量为单个实数，是一元微积分的研究对象。
  2. 二元函数：\(X\subseteq\mathbb{R}^2=\{(x,y)|x,y\in\mathbb{R}\}\)，自变量为二维实向量（两个实数），是多元微积分的基础研究对象。
  3. 三元函数：\(X\subseteq\mathbb{R}^3=\{(x,y,z)|x,y,z\in\mathbb{R}\}\)，自变量为三维实向量。
  4. n元函数：\(X\subseteq\mathbb{R}^n=\{(x_1,x_2,\dots,x_n)|x_i\in\mathbb{R},i=1,2,\dots,n\}\)，自变量为\(n\)维实向量，是多元分析的研究对象。

三、函数的运算体系

函数的运算包括四则运算与复合运算，是从简单函数构造复杂函数的核心方法，所有运算均采用逐点定义的方式，逻辑严谨。

1. 函数的四则运算

设\(f,g:X\to\mathbb{R}\)，即\(f\)与\(g\)有公共定义域\(X\)，我们逐点定义四则运算：

  • 和/差函数：\(\boldsymbol{(f\pm g)(x)=f(x)\pm g(x)}\)
  • 积函数：\(\boldsymbol{(fg)(x)=f(x)g(x)}\)
  • 商函数：\(\boldsymbol{\left(\frac{f}{g}\right)(x)=\frac{f(x)}{g(x)}\quad (g(x)\neq0)}\)

核心说明

  1. 定义域规则：和、差、积函数的定义域为公共定义域\(X\)；商函数的定义域为\(\{x\in X|g(x)\neq0\}\)，必须去掉分母为0的点，不可忽略该限制。
  2. 逐点定义的内涵：新函数在\(x\)处的取值，完全由\(f\)和\(g\)在同一点\(x\)的取值运算得到，这是分析学中函数运算的基本规则。

2. 复合函数

复合函数是函数嵌套的核心运算，是构造复杂初等函数的核心手段。
定义：设\(f:X\to Y\)，\(g:Y\to Z\)，则称映射\(g\circ f:X\to Z\)为\(f\)与\(g\)的复合函数，定义为：

\[\boldsymbol{g\circ f(x)=g(f(x))} \]

核心性质与证明

  1. 复合的前提条件：内层函数的值域必须包含于外层函数的定义域，即\(f(X)\subseteq\mathrm{Dom}(g)\)，否则\(g(f(x))\)无意义。例如\(f(x)=-1-x^2\)（值域\((-\infty,-1]\)）与\(g(x)=\sqrt{x}\)（定义域\([0,+\infty)\)）无法复合，因为内层值域与外层定义域无交集。
  2. 结合律：复合运算满足结合律，即\(\boldsymbol{(g\circ f)\circ h = g\circ (f\circ h)}\)，严格证明如下：
    对\(\forall x\in\mathrm{Dom}(h)\)，
    左边：\(((g\circ f)\circ h)(x)=(g\circ f)(h(x))=g(f(h(x)))\)
    右边：\((g\circ (f\circ h))(x)=g((f\circ h)(x))=g(f(h(x)))\)
    左右两边对所有\(x\)取值完全相等，故结合律成立。
  3. 无交换律：复合运算不满足交换律，即\(g\circ f\neq f\circ g\)，哪怕二者都有定义。例如\(f(x)=x^2\)，\(g(x)=\sin x\)，\(g\circ f(x)=\sin(x^2)\)，\(f\circ g(x)=(\sin x)^2\)，二者不是同一个函数。

四、基本初等函数与初等函数

基本初等函数是分析学的“基础单元”，所有初等函数均由其构造，我们严格讲解6类基本初等函数的定义、定义域与核心性质，这是后续极限、连续、微分、积分运算的基础。

1. 6类基本初等函数

中学已学的基本初等函数共6类，我们给出严格的分析学定义与核心约束：

（1）常值函数

定义：\(\boldsymbol{y=f(x)=c}\)，\(c\)为实常数

  • 定义域：\(\mathbb{R}\)（全体实数）
  • 值域：\(\{c\}\)（单元素集合）
  • 核心性质：偶函数，图像为平行于\(x\)轴的直线，处处连续，导数恒为0，是无最小正周期的周期函数。

（2）幂函数

定义：\(\boldsymbol{y=f(x)=x^\alpha}\)，\(\alpha\)为实常数

  • 定义域：随指数\(\alpha\)的变化而变化，核心规则如下：
    指数\(\alpha\)类型 定义域 示例
    正整数\(n\in\mathbb{N}^+\) \(\mathbb{R}\) \(x^2,x^3\)
    负整数\(-n,n\in\mathbb{N}^+\) \(\mathbb{R}\setminus\{0\}\) \(x^{-1}=1/x\)
    正有理数\(p/q\)（\(p,q\)互质，\(q>0\)） \(q\)奇：\(\mathbb{R}\)；\(q\)偶：\([0,+\infty)\) \(x^{1/2}=\sqrt{x}\)
    负有理数\(-p/q\)（\(p,q\)互质，\(q>0\)） \(q\)奇：\(\mathbb{R}\setminus\{0\}\)；\(q\)偶：\((0,+\infty)\) \(x^{-1/2}=1/\sqrt{x}\)
    无理数 \((0,+\infty)\) \(x^\sqrt{2}=e^{\sqrt{2}\ln x}\)
  • 公共定义域：\((0,+\infty)\)，所有幂函数在该区间上均有定义，且恒过点\((1,1)\)。
  • 核心性质：\(\alpha>0\)时，在\((0,+\infty)\)上严格单调递增；\(\alpha<0\)时，在\((0,+\infty)\)上严格单调递减。

（3）三角函数

三角函数均由正弦、余弦函数派生，核心定义与定义域约束如下：

函数 定义 定义域 值域 核心性质
正弦函数\(y=\sin x\) 单位圆纵坐标定义 \(\mathbb{R}\) \([-1,1]\) 周期\(2\pi\)，奇函数，有界
余弦函数\(y=\cos x\) 单位圆横坐标定义 \(\mathbb{R}\) \([-1,1]\) 周期\(2\pi\)，偶函数，有界
正切函数\(y=\tan x\) \(\sin x/\cos x\) \(\mathbb{R}\setminus\{k\pi+\frac{\pi}{2}|k\in\mathbb{Z}\}\) \(\mathbb{R}\) 周期\(\pi\)，奇函数，严格递增
余切函数\(y=\cot x\) \(\cos x/\sin x\) \(\mathbb{R}\setminus\{k\pi|k\in\mathbb{Z}\}\) \(\mathbb{R}\) 周期\(\pi\)，奇函数，严格递减
正割函数\(y=\sec x\) \(1/\cos x\) \(\mathbb{R}\setminus\{k\pi+\frac{\pi}{2}|k\in\mathbb{Z}\}\) \((-\infty,-1]\cup[1,+\infty)\) 周期\(2\pi\)，偶函数
余割函数\(y=\csc x\) \(1/\sin x\) \(\mathbb{R}\setminus\{k\pi|k\in\mathbb{Z}\}\) \((-\infty,-1]\cup[1,+\infty)\) 周期\(2\pi\)，奇函数

（4）反三角函数

反三角函数是三角函数在严格单调主值区间上的逆映射（三角函数在全定义域上非单射，无全局逆映射），核心定义如下：

函数 逆映射来源 定义域 主值区间（值域） 核心性质
反正弦函数\(y=\arcsin x\) \(y=\sin x,x\in[-\frac{\pi}{2},\frac{\pi}{2}]\) \([-1,1]\) \([-\frac{\pi}{2},\frac{\pi}{2}]\) 奇函数，严格递增，连续
反余弦函数\(y=\arccos x\) \(y=\cos x,x\in[0,\pi]\) \([-1,1]\) \([0,\pi]\) 严格递减，连续，\(\arcsin x+\arccos x=\frac{\pi}{2}\)
反正切函数\(y=\arctan x\) \(y=\tan x,x\in(-\frac{\pi}{2},\frac{\pi}{2})\) \(\mathbb{R}\) \((-\frac{\pi}{2},\frac{\pi}{2})\) 奇函数，严格递增，有界，连续
反余切函数\(y=\mathrm{arccot}\,x\) \(y=\cot x,x\in(0,\pi)\) \(\mathbb{R}\) \((0,\pi)\) 严格递减，连续，\(\arctan x+\mathrm{arccot}\,x=\frac{\pi}{2}\)

（5）指数函数

定义：\(\boldsymbol{y=a^x}\)，\(a>0\)且\(a\neq1\)

  • 定义域：\(\mathbb{R}\)
  • 值域：\((0,+\infty)\)
  • 核心性质：
    1. \(a>1\)时，在\(\mathbb{R}\)上严格单调递增；\(0<a<1\)时，严格单调递减；
    2. 恒过点\((0,1)\)，满足指数运算律\(a^{x+y}=a^x a^y\)；
    3. 自然指数函数\(y=e^x\)（\(e\)为自然常数，约2.71828）是分析学核心，其导数等于自身，性质最优。

（6）对数函数

定义：\(\boldsymbol{y=\log_a x}\)，\(a>0\)且\(a\neq1\)，是指数函数\(y=a^x\)的逆映射

  • 定义域：\((0,+\infty)\)（原指数函数的值域）
  • 值域：\(\mathbb{R}\)（原指数函数的定义域）
  • 核心性质：
    1. \(a>1\)时，在\((0,+\infty)\)上严格单调递增；\(0<a<1\)时，严格单调递减；
    2. 恒过点\((1,0)\)，满足对数运算律\(\log_a(xy)=\log_a x+\log_a y\)；
    3. 常用对数\(\lg x=\log_{10}x\)，自然对数\(\ln x=\log_e x\)，与\(e^x\)互为逆函数，满足\(\ln(e^x)=x\)，\(e^{\ln x}=x\)。

2. 初等函数的严格定义

定义2.1.2 由基本初等函数通过有限次加、减、乘、除和复合运算得到的函数，称为初等函数。

定义核心约束

  1. 有限次要求：必须是有限次运算，无限次运算（如无穷级数、无穷乘积）得到的函数不是初等函数。
  2. 运算类型限制：仅允许四则运算与复合运算，含极限、导数、积分运算的函数通常不是初等函数。
  3. 典型示例：
    • 多项式函数、有理函数是初等函数；
    • \(y=\sin(x^2)+\ln(1+x)\)是初等函数；
    • 绝对值函数\(y=|x|=\sqrt{x^2}\)是初等函数（可表示为幂函数的复合）。
  4. 非初等函数示例：狄利克雷函数、黎曼函数、误差函数\(\int_0^x e^{-t^2}dt\)，均无法表示为基本初等函数的有限次四则与复合。

五、核心知识点系统总结表

知识点分类 核心内容 方法特点 适用条件 关键注意事项
映射的核心概念 1. 映射定义：非空集合\(X\to Y\)，\(\forall x\in X\)有惟一\(y\in Y\)对应；
2. 定义域、陪域、值域、集合的像与原像；
3. 单射、满射、双射的定义与判定		 以集合论为基础，通过对应关系刻画集合元素的关联，是现代数学的通用语言 任意非空集合之间的对应关系，不限于实数集 1. 区分映射\(f\)本身与像\(f(x)\)；
2. 值域是陪域的子集，二者不必然相等；
3. 原像记号\(f^{-1}(B)\)不代表逆映射，非单射也可定义原像；
4. 双射是逆映射存在的充要条件
函数的定义与分类 1. 实值函数：非空集合到\(\mathbb{R}\)的映射；
2. 一元函数（\(X\subseteq\mathbb{R}\)）、\(n\)元函数（\(X\subseteq\mathbb{R}^n\)）		 是映射的特例，输出为实数，是分析学的核心研究对象 定义域为欧氏空间\(\mathbb{R}^n\)的子集，陪域为\(\mathbb{R}\) 1. 两个函数相等的充要条件：定义域、对应规律完全相同；
2. \(n\)元函数本质是\(n\)维实向量到实数的映射，仍满足单值性
函数的四则运算 1. 和差：\((f\pm g)(x)=f(x)\pm g(x)\)；
2. 积：\((fg)(x)=f(x)g(x)\)；
3. 商：\((f/g)(x)=f(x)/g(x)\ (g(x)\neq0)\)		 逐点定义，新函数在\(x\)处的取值由两个函数在同一点的取值运算得到 两个函数有公共定义域，商函数需额外满足\(g(x)\neq0\) 1. 和差积的定义域为公共定义域；
2. 商函数必须去掉\(g(x)=0\)的点，不可忽略分母非零约束
复合函数 1. 定义：\(g\circ f(x)=g(f(x))\)；
2. 满足结合律，不满足交换律		 函数嵌套，以内层函数的输出作为外层函数的输入，是构造复杂函数的核心方法 内层函数的值域必须包含于外层函数的定义域，否则复合无意义 1. 不可随意复合，必须满足值域与定义域的包含关系；
2. 复合顺序不可交换，\(g\circ f\)与\(f\circ g\)通常不是同一函数
基本初等函数 6类：常值函数、幂函数、指数函数、对数函数、三角函数、反三角函数 是初等函数的基本单元，有明确的定义域、值域、单调性、奇偶性等性质 分析学中绝大多数连续、可导的基础函数，均以这6类为基础 1. 幂函数定义域随指数变化，公共定义域为\((0,+\infty)\)；
2. 反三角函数是三角函数在主值区间上的逆映射，必须限制单调区间；
3. 指数与对数函数互为逆函数，定义域与值域互换
初等函数 由基本初等函数经过有限次四则运算、复合运算得到的函数 是分析学中最常见的函数类，绝大多数微积分运算规则均适用 仅由基本初等函数构造，仅经过有限次四则与复合运算 1. 必须是有限次运算，无限次运算得到的不是初等函数；
2. 绝对值函数是初等函数，分段函数不一定非初等；
3. 含极限、导数、积分的函数通常不是初等函数

初等函数判定与分段函数核心知识点系统讲解

承接上一讲映射与函数的基础定义，本部分围绕初等函数的严格判定、运算封闭性展开，完整推导教材中所有例题的证明逻辑，同时系统讲解分段函数的定义、典型实例与初等性判别，所有推导均标注逻辑依据，关键内容以加粗突出，兼顾教学严谨性与科研深度。

一、初等函数的核心判定准则与例题证明

核心定义回顾

由6类基本初等函数（常值函数、幂函数、指数函数、对数函数、三角函数、反三角函数），通过有限次的加、减、乘、除四则运算，以及有限次的复合运算得到的函数，称为初等函数。

判定的两大核心充要条件

  1. 构造基元约束：函数的所有构造单元，必须是6类基本初等函数，不能包含其他非基本初等的基元；
  2. 运算次数约束：构造过程中，四则运算与复合运算的次数必须是有限次，无限次运算（如无穷级数、无穷迭代）得到的函数不属于初等函数。

例2.1.1 各类初等函数的严格证明

（1）双曲函数的初等性证明

双曲函数的标准定义：

  • 双曲正弦：\(\boldsymbol{\sinh x = \frac{e^x - e^{-x}}{2}}\)
  • 双曲余弦：\(\boldsymbol{\cosh x = \frac{e^x + e^{-x}}{2}}\)
  • 双曲正切：\(\boldsymbol{\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}}}\)
  • 双曲余切：\(\boldsymbol{\coth x = \frac{\cosh x}{\sinh x} = \frac{e^x + e^{-x}}{e^x - e^{-x}}}\)

完整证明（以\(\tanh x\)为例，其余同理可证）：

  1. \(e^x\)是基本初等函数中的指数函数，符合构造基元要求；
  2. \(e^{-x} = (e^{-1})^x\)，其中\(e^{-1}\)是正实常数，因此\((e^{-1})^x\)也是基本初等函数中的指数函数，符合基元要求；
  3. 分子\(e^x - e^{-x}\)：由两个基本初等函数通过1次减法运算得到，符合有限次运算要求；
  4. 分母\(e^x + e^{-x}\)：由两个基本初等函数通过1次加法运算得到，符合有限次运算要求；
  5. \(\tanh x = \frac{e^x - e^{-x}}{e^x + e^{-x}}\)：由上述分子、分母通过1次除法运算得到，全程仅使用3次有限次四则运算，构造基元均为基本初等函数；
  6. 因此，根据初等函数的定义，\(\tanh x\)是初等函数。

补充：双曲函数核心恒等式的严谨证明

  • 恒等式1：\(\boldsymbol{\sinh 2x = 2\sinh x \cosh x}\)
    证明：
    右边$=2\cdot\frac{e^x - e{-x}}{2}\cdot\frac{ex + e^{-x}}{2} = \frac{(ex)2 - (e{-x})2}{2} = \frac{e^{2x} - e^{-2x}}{2} = \sinh 2x = \(左边 依据：平方差公式、指数运算律\)(ex)2=e^{2x}$、双曲正弦定义，恒等式成立。

  • 恒等式2：\(\boldsymbol{\cosh 2x = \cosh^2 x + \sinh^2 x}\)
    证明：
    右边$=\left(\frac{e^x + e{-x}}{2}\right)2 + \left(\frac{e^x - e{-x}}{2}\right)2 = \frac{e^{2x} + 2 + e^{-2x} + e^{2x} - 2 + e^{-2x}}{4} = \frac{2e^{2x} + 2e^{-2x}}{4} = \frac{e^{2x} + e^{-2x}}{2} = \cosh 2x = $左边
    依据：完全平方公式、指数运算律、双曲余弦定义，恒等式成立。

  • 恒等式3：\(\boldsymbol{\cosh^2 x - \sinh^2 x = 1}\)
    证明：
    左边$=\left(\frac{e^x + e{-x}}{2}\right)2 - \left(\frac{e^x - e{-x}}{2}\right)2 = \frac{(e^{2x} + 2 + e^{-2x}) - (e^{2x} - 2 + e^{-2x})}{4} = \frac{4}{4} = 1 = $右边
    依据：平方差公式、完全平方展开，恒等式成立。

（2）\(y=\ln(x+\sqrt{x^2+1})\)的初等性证明

完整证明：

  1. 构造基元拆解：
    • \(x\)是基本初等幂函数（\(x^1\)），\(1\)是常值函数，均为基本初等函数；
    • \(x^2\)是幂函数\(x\)的自乘（1次乘法运算），符合有限次要求；
    • \(x^2+1\)是\(x^2\)与常值函数1的1次加法运算；
    • \(\sqrt{x^2+1}=(x^2+1)^{\frac{1}{2}}\)，是幂函数与上述多项式的1次复合运算；
    • \(x+\sqrt{x^2+1}\)是幂函数\(x\)与上述复合函数的1次加法运算；
    • \(\ln(x+\sqrt{x^2+1})\)是基本初等对数函数\(\ln u\)与上述函数的1次复合运算。
  2. 全程仅使用了有限次的加法、乘法、复合运算，所有构造基元均为基本初等函数；
  3. 因此，根据初等函数的定义，该函数是初等函数。

补充说明：该函数是反双曲正弦函数\(\mathrm{arcsinh}\,x\)，是双曲正弦函数的逆映射，天然为初等函数，验证了“基本初等函数的逆映射（若存在）仍为初等函数”的性质。

（3）绝对值函数\(y=|x|\)的初等性证明

完整证明：

  1. 绝对值函数的分段定义为\(|x|=\begin{cases}x, & x\geq0 \\ -x, & x<0\end{cases}\)，根据算术平方根的定义，对任意实数\(x\)，有\(\boldsymbol{\sqrt{x^2}=|x|}\)（算术平方根结果为非负实数，与绝对值定义完全等价）；
  2. 构造拆解：\(x^2\)是基本初等幂函数的自乘（1次乘法），\(\sqrt{u}=u^{\frac{1}{2}}\)是基本初等幂函数，\(\sqrt{x^2}\)是两个基本初等函数的1次复合运算；
  3. 全程仅使用了有限次乘法与复合运算，基元均为基本初等函数；
  4. 因此，绝对值函数\(y=|x|\)是初等函数。

关键易错点纠正：初学者常认为“分段函数一定不是初等函数”，绝对值函数是最典型的反例——分段函数若能通过基本初等函数的复合表示为统一解析式，仍属于初等函数。

（4）多项式函数与有理函数的初等性证明

① 多项式函数的初等性证明

多项式函数定义：\(P_n(x)=a_0x^n + a_1x^{n-1} + \dots + a_{n-1}x + a_n\)，其中\(a_0\neq0\)，\(a_0,a_1,\dots,a_n\)均为实常数。
完整证明：

  1. 构造基元：\(a_0,a_1,\dots,a_n\)均为常值函数，\(x\)是基本初等幂函数，均属于基本初等函数；
  2. \(x^k\)（\(k=1,2,\dots,n\)）是幂函数\(x\)通过\(k-1\)次自乘（乘法运算）得到，次数有限；
  3. \(a_kx^k\)是常值函数\(a_k\)与\(x^k\)的1次乘法运算，次数有限；
  4. 所有\(a_kx^k\)项通过\(n\)次加法运算得到完整多项式，加法次数有限；
  5. 全程仅使用了有限次的乘法、加法运算，基元均为基本初等函数；
  6. 因此，所有多项式函数都是初等函数。
② 有理函数的初等性证明

有理函数定义：\(R(x)=\frac{P_n(x)}{Q_m(x)}\)，其中\(P_n(x)\)是\(n\)次多项式，\(Q_m(x)\)是\(m\)次多项式，且\(Q_m(x)\neq0\)，\(a_0\neq0,b_0\neq0\)。
完整证明：

  1. 由上述证明，分子\(P_n(x)\)、分母\(Q_m(x)\)均为初等函数；
  2. 有理函数\(R(x)\)是两个初等函数通过1次除法运算得到，运算次数有限；
  3. 因此，根据初等函数的定义，所有有理函数都是初等函数。

二、初等函数的运算封闭性定理与证明

运算封闭性：某类函数经过特定运算后，得到的结果仍属于该类函数。初等函数具有优良的运算封闭性，我们给出严格的定理与证明。

定理2.1.2 初等函数的运算封闭性

（1）有限个初等函数的运算封闭性

定理内容：设\(f_1,f_2,\dots,f_n\)都是初等函数，则由这\(n\)个函数经过有限次的加、减、乘、除、复合运算得到的函数\(f\)，仍为初等函数。

完整严谨证明（数学归纳法）：

  1. 基例：当\(n=1\)时，\(f=f_1\)本身是初等函数，结论成立；
  2. 归纳假设：假设当\(n=k\)时，结论成立，即\(k\)个初等函数经过有限次四则与复合运算得到的函数仍是初等函数；
  3. 归纳递推：当\(n=k+1\)时，设\(f\)是由\(f_1,f_2,\dots,f_{k+1}\)经过有限次运算得到的函数。可将\(f\)拆解为：\(f\)是由“\(f_1,\dots,f_k\)经过有限次运算得到的初等函数\(g\)”，与\(f_{k+1}\)，经过有限次四则或复合运算得到；
  4. 核心逻辑：每个\(f_i\)都可表示为基本初等函数的有限次四则与复合运算，有限个有限次运算的叠加，总运算次数仍为有限，因此最终函数\(f\)完全符合初等函数的定义；
  5. 综上，定理成立。

（2）最大值、最小值函数的初等性

定理内容：设\(f,g\)都是初等函数，则\(\max\{f,g\}\)与\(\min\{f,g\}\)均为初等函数。

完整严谨证明：

  1. 首先推导最大值、最小值的统一解析式：对任意两个实数\(a,b\)，有

    \[\boldsymbol{\max\{a,b\} = \frac{(a+b) + |a-b|}{2}} \]

    \[\boldsymbol{\min\{a,b\} = \frac{(a+b) - |a-b|}{2}} \]

    【解析式验证】：
    • 当\(a\geq b\)时，\(|a-b|=a-b\)，代入得\(\max\{a,b\}=a\)，\(\min\{a,b\}=b\)，符合定义；
    • 当\(a<b\)时，\(|a-b|=b-a\)，代入得\(\max\{a,b\}=b\)，\(\min\{a,b\}=a\)，符合定义。
  2. 代入函数形式得：

    \[\max\{f,g\} = \frac{(f+g) + |f-g|}{2} \]

    \[\min\{f,g\} = \frac{(f+g) - |f-g|}{2} \]

  3. 初等性推导：
    • 已知\(f,g\)是初等函数，因此\(f+g\)、\(f-g\)均为初等函数（四则运算封闭性）；
    • 已证\(|x|=\sqrt{x^2}\)是初等函数，因此\(|f-g|=\sqrt{(f-g)^2}\)是两个初等函数的复合，仍为初等函数（复合运算封闭性）；
    • 最终\(\max\{f,g\}\)、\(\min\{f,g\}\)均由初等函数经过有限次四则、复合运算得到；
  4. 因此，\(\max\{f,g\}\)与\(\min\{f,g\}\)均为初等函数，定理成立。

补充推论：有限个初等函数的最大值、最小值函数，仍为初等函数。

三、分段函数的定义、典型实例与初等性判别

1. 分段函数的严格定义

定义：在定义域的不同子集上，用不同的解析式表达的函数，称为分段函数。

  • 核心说明：分段函数是一个函数，不是多个函数，仅在定义域的不同区间上，对应规则的表达式不同；
  • 定义域是各个分段区间的并集，分段点处的函数值必须有明确定义，不能出现定义域空缺或重复定义。

2. 典型分段函数实例详解

对教材中6类典型分段函数，进行系统的定义、性质、应用场景讲解：

（1）符号函数\(\boldsymbol{y=\mathrm{sgn}\,x}\)

定义：

\[\mathrm{sgn}\,x = \begin{cases} 1, & x>0 \\ 0, & x=0 \\ -1, & x<0 \end{cases}\]

核心性质：

  1. 定义域：\(\mathbb{R}\)，值域：\(\{-1,0,1\}\)；
  2. 奇函数：\(\mathrm{sgn}(-x)=-\mathrm{sgn}\,x\)，对\(\forall x\in\mathbb{R}\)成立；
  3. 绝对值恒等式：\(\boldsymbol{|x|=x\cdot\mathrm{sgn}\,x}\)，对\(\forall x\in\mathbb{R}\)成立；
  4. 分段点：\(x=0\)是唯一分段点，也是函数的不连续点（后续极限与连续章节详解）。

（2）取整函数\(\boldsymbol{y=[x]}\)（地板函数\(\lfloor x \rfloor\)）

定义：\([x]\)表示不大于\(x\)的最大整数，也记作\(\lfloor x \rfloor\)。
核心性质：

  1. 定义域：\(\mathbb{R}\)，值域：\(\mathbb{Z}\)（全体整数）；
  2. 核心不等式：\(\boldsymbol{x-1 < [x] \leq x < [x]+1}\)，对\(\forall x\in\mathbb{R}\)成立，是数列极限、不等式证明的核心工具；
  3. 单调性：在\(\mathbb{R}\)上单调不减，即对\(\forall x_1<x_2\)，有\([x_1]\leq[x_2]\)；
  4. 分段点：所有整数点\(x=k,k\in\mathbb{Z}\)都是分段点，也是不连续点，在每个区间\([k,k+1),k\in\mathbb{Z}\)上，函数值恒为常数\(k\)。

（3）尾数函数\(\boldsymbol{y=\{x\}}\)

定义：\(\{x\} = x - [x]\)，即\(x\)的小数部分。
核心性质：

  1. 定义域：\(\mathbb{R}\)，值域：\([0,1)\)；
  2. 周期性：以1为最小正周期的周期函数，即\(\{x+1\}=\{x\}\)，对\(\forall x\in\mathbb{R}\)成立；
  3. 恒等式：\(x = [x] + \{x\}\)，对任意实数\(x\)成立，实现实数的整数-小数部分分解；
  4. 分段点：所有整数点\(x=k,k\in\mathbb{Z}\)都是分段点，在每个区间\([k,k+1),k\in\mathbb{Z}\)上，\(\{x\}=x-k\)，是斜率为1的一次函数。

（4）绝对值函数\(\boldsymbol{y=|x|}\)

定义：

\[|x| = \begin{cases} x, & x\geq0 \\ -x, & x<0 \end{cases}\]

核心性质：

  1. 定义域：\(\mathbb{R}\)，值域：\([0,+\infty)\)；
  2. 偶函数：\(|-x|=|x|\)，图像关于\(y\)轴对称；
  3. 非负性：\(|x|\geq0\)，当且仅当\(x=0\)时取等号；
  4. 分段点：\(x=0\)是唯一分段点，在\((-\infty,0)\)上斜率为-1，在\((0,+\infty)\)上斜率为1，在\(x=0\)处连续。

（5）集合的特征函数\(\boldsymbol{\chi_A(x)}\)

定义：设\(A\subseteq\mathbb{R}\)，则\(A\)的特征函数为：

\[\chi_A(x) = \begin{cases} 1, & x\in A \\ 0, & x\notin A \end{cases}\]

核心性质：

  1. 定义域：\(\mathbb{R}\)，值域：\(\{0,1\}\)；
  2. 集合运算对应函数运算：
    • 交集：\(\chi_{A\cap B}(x)=\chi_A(x)\cdot\chi_B(x)\)；
    • 并集：\(\chi_{A\cup B}(x)=\chi_A(x)+\chi_B(x)-\chi_A(x)\chi_B(x)\)；
    • 补集：\(\chi_{\mathbb{R}\setminus A}(x)=1-\chi_A(x)\)；
  3. 是测度论、概率论的基础工具，用于刻画集合的隶属关系。

（6）狄利克雷函数\(\boldsymbol{D(x)}\)

定义：

\[D(x) = \begin{cases} 1, & x\in\mathbb{Q}（x是有理数） \\ 0, & x\in\mathbb{R}\setminus\mathbb{Q}（x是无理数） \end{cases}\]

核心性质：

  1. 是有理数集\(\mathbb{Q}\)的特征函数，定义域\(\mathbb{R}\)，值域\(\{0,1\}\)；
  2. 偶函数：\(D(-x)=D(x)\)，对\(\forall x\in\mathbb{R}\)成立；
  3. 周期性：任何正有理数都是它的周期，没有最小正周期；
  4. 处处不连续：在实数轴上的任意一点都不连续，是分析学中最经典的反例，用于验证连续、可导、可积的相关定理。

3. 分段函数的初等性判别准则

  1. 核心结论：分段函数不一定是非初等函数，关键在于：能否用一个统一的、由基本初等函数经过有限次四则与复合运算得到的解析式，表示整个定义域上的对应规则。
  2. 初等分段函数示例：绝对值函数\(|x|=\sqrt{x^2}\)、最大值函数\(\max\{f,g\}\)，可表示为统一的初等函数解析式，属于初等函数。
  3. 非初等分段函数示例：符号函数\(\mathrm{sgn}\,x\)、取整函数\([x]\)、狄利克雷函数\(D(x)\)，无法表示为基本初等函数的有限次四则与复合运算的统一解析式，属于非初等函数。

四、核心知识点系统总结表

知识点分类 核心内容 核心判定准则 关键性质 易错点与注意事项
初等函数的判定 由6类基本初等函数经过有限次四则、复合运算得到的函数 1. 构造基元必须是基本初等函数；
2. 运算次数必须是有限次		 1. 四则运算封闭性：有限个初等函数的和差积商仍为初等函数；
2. 复合运算封闭性：初等函数的复合仍为初等函数；
3. 有限个初等函数的max/min仍为初等函数		 1. 无限次运算得到的函数不是初等函数；
2. 逆映射存在的基本初等函数，其逆函数仍为初等函数；
3. 分段函数不一定非初等
双曲函数 双曲正弦、余弦、正切、余切，均由指数函数构造 所有双曲函数均为指数函数的有限次四则运算，因此是初等函数 1. \(\cosh^2x - \sinh^2x=1\)；
2. \(\sinh2x=2\sinh x\cosh x\)；
3. \(\cosh2x=\cosh^2x+\sinh^2x\)；
4. 双曲正弦、正切是奇函数，双曲余弦是偶函数		 双曲函数是初等函数，其反函数（反双曲函数）也为初等函数，与三角函数性质有相似性，但无周期性
多项式与有理函数 多项式是单项式的有限和，有理函数是两个多项式的商 多项式是基本初等函数的有限次乘加运算，有理函数是多项式的商，均为初等函数 1. 多项式在\(\mathbb{R}\)上处处有定义；
2. 有理函数的定义域是去掉分母零点的全体实数；
3. 所有多项式都是连续、可导的		 有理函数的定义域必须严格排除分母为0的点，不能直接写\(\mathbb{R}\)
分段函数的定义 定义域不同子集上用不同解析式表达的一个函数 分段函数是单个函数，定义域是各分段区间的并集，分段点处必须有明确定义 1. 分段函数的性质需分区间讨论，重点关注分段点处的性质；
2. 分段函数可以是初等函数，也可以是非初等函数		 1. 分段函数不是多个函数，是一个函数的分段表达；
2. 不能默认分段函数一定是非初等函数
典型分段函数 符号函数、取整函数、尾数函数、绝对值函数、特征函数、狄利克雷函数 1. 绝对值函数可表示为\(\sqrt{x^2}\)，是初等函数；
2. 符号函数、取整函数、狄利克雷函数无法表示为统一初等解析式，是非初等函数		 1. 取整函数核心不等式：\(x-1<[x]\leq x\)；
2. 尾数函数是周期为1的周期函数；
3. 狄利克雷函数以所有正有理数为周期，处处不连续		 1. 符号函数与绝对值函数的恒等式$
初等函数运算封闭性 有限个初等函数的有限次四则、复合、max/min运算结果仍为初等函数 运算次数必须有限，运算对象必须是初等函数 1. 数学归纳法可证明有限个初等函数的运算封闭性；
2. max/min函数可通过绝对值函数转化为初等函数的四则运算		 1. 无限个初等函数的运算（如无穷级数）不满足封闭性；
2. 除法运算需保证分母不为0，复合运算需保证内层值域包含于外层定义域

函数极限的定义与核心定理系统讲解

本部分是数学分析的核心基石，完成了从数列极限到函数极限的本质过渡，系统讲解函数极限的24种情形的统一逻辑、严格定义，以及4个核心定理的完整证明，所有推导均标注逻辑依据，关键内容以加粗突出，兼顾教学严谨性与科研深度。

一、函数极限的自变量变化过程与统一逻辑

数列极限仅有\(n\to+\infty\)一种趋近过程，而函数的自变量\(x\)的趋近过程分为6大类，极限结果分为4种，共构成\(6\times4=24\)种极限情形，所有情形遵循统一的刻画逻辑：

  1. 自变量趋近的6种类型：
    • 有限点趋近：\(x\to x_0\)（双侧）、\(x\to x_0^+\)（右趋近）、\(x\to x_0^-\)（左趋近），共3种；
    • 无穷远趋近：\(x\to+\infty\)、\(x\to-\infty\)、\(x\to\infty\)（\(|x|\to+\infty\)），共3种。
  2. 极限结果的4种类型：有限实数\(a\)、\(+\infty\)、\(-\infty\)、\(\infty\)。
  3. 统一刻画规则：
    • 用\(\boldsymbol{\delta}\)刻画\(x\)与有限点\(x_0\)的靠近程度，用\(\boldsymbol{\Delta}\)刻画\(x\)趋向无穷的程度；
    • 用\(\boldsymbol{\varepsilon>0}\)刻画\(f(x)\)与有限极限\(a\)的接近程度，用\(\boldsymbol{A>0}\)刻画\(f(x)\)趋向无穷的程度。

二、函数极限的严格定义与核心拆解

1. 核心基础定义：\(x\to x_0\)时的有限极限（\(\varepsilon-\delta\)定义）

定义2.1.3 设函数\(y=f(x)\)在\(x_0\)的去心邻域\(\boldsymbol{\mathring{U}(x_0,\delta_0)=(x_0-\delta_0,x_0+\delta_0)\setminus\{x_0\}}\)内有定义（\(x_0\)处可以无定义）。如果存在数\(a\in\mathbb{R}\)，满足：

\[\boldsymbol{\forall \varepsilon>0,\ \exists \delta\in(0,\delta_0)} \]

当\(\boldsymbol{0<|x-x_0|<\delta}\)时，有

\[\boldsymbol{|f(x)-a|<\varepsilon} \]

则称\(f(x)\)在\(x\to x_0\)时的极限为\(a\)，记作\(\boldsymbol{\lim\limits_{x\to x_0}f(x)=a}\)，或\(f(x)\to a\ (x\to x_0)\)。

定义的5个核心逻辑拆解（初学者必掌握）

  1. 去心邻域前提：极限是\(x\)趋近于\(x_0\)时的函数趋势，与\(x_0\)处是否有定义、函数值是多少完全无关。例如\(f(x)=\frac{x^2-1}{x-1}\)在\(x=1\)处无定义，但\(\lim\limits_{x\to1}f(x)=2\)。
  2. \(\varepsilon\)的任意性：\(\varepsilon\)是刻画\(f(x)\)与\(a\)接近程度的任意正数，无论多小都必须满足，才能保证\(f(x)\)可以无限接近\(a\)；仅对特定\(\varepsilon\)成立不能证明极限存在。
  3. \(\delta\)的存在性：\(\delta\)依赖于\(\varepsilon\)，通常\(\varepsilon\)越小，\(\delta\)越小；只需找到一个满足条件的\(\delta\)即可，无需找最大的\(\delta\)。
  4. 去心不等式\(0<|x-x_0|<\delta\)：\(|x-x_0|<\delta\)保证\(x\)在\(x_0\)的邻域内，\(0<|x-x_0|\)再次强调\(x\neq x_0\)，与去心邻域前提呼应。
  5. 绝对值不等式\(|f(x)-a|<\varepsilon\)：等价于\(a-\varepsilon<f(x)<a+\varepsilon\)，即当\(x\)足够接近\(x_0\)时，\(f(x)\)落在\(a\)的任意\(\varepsilon\)邻域内，实现“无限接近”。

2. 其他典型极限情形的定义（统一逻辑延伸）

基于上述核心逻辑，我们给出其他高频极限的严格定义，覆盖教材所有情形：

趋近过程 极限类型 严格定义
\(x\to x_0^+\)（右极限） 有限极限\(a\) \(\forall \varepsilon>0,\ \exists \delta>0\)，当\(0<x-x_0<\delta\)时，\(|f(x)-a|<\varepsilon\)，记作\(\lim\limits_{x\to x_0^+}f(x)=f(x_0^+)\)
\(x\to x_0^-\)（左极限） 有限极限\(a\) \(\forall \varepsilon>0,\ \exists \delta>0\)，当\(0<x_0-x<\delta\)时，\(|f(x)-a|<\varepsilon\)，记作\(\lim\limits_{x\to x_0^-}f(x)=f(x_0^-)\)
\(x\to x_0\) 无穷极限\(+\infty\) \(\forall A>0,\ \exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，\(f(x)>A\)，记作\(\lim\limits_{x\to x_0}f(x)=+\infty\)
\(x\to +\infty\) 有限极限\(a\) \(\forall \varepsilon>0,\ \exists \Delta>0\)，当\(x>\Delta\)时，\(|f(x)-a|<\varepsilon\)，记作\(\lim\limits_{x\to +\infty}f(x)=a\)
\(x\to \infty\) 无穷极限\(\infty\) \(\forall A>0,\ \exists \Delta>0\)，当\(|x|>\Delta\)时，\(|f(x)|>A\)，记作\(\lim\limits_{x\to \infty}f(x)=\infty\)

三、函数极限的核心定理与完整严谨证明

定理2.1.1 双侧极限与左右极限的等价关系

定理内容：

\[\boldsymbol{\lim\limits_{x\to x_0}f(x)=a \iff \lim\limits_{x\to x_0^+}f(x)=a = \lim\limits_{x\to x_0^-}f(x)} \]

其中\(a\)为实数、\(+\infty\)、\(-\infty\)、\(\infty\)。

核心意义：分段函数在分段点处的极限是否存在，必须通过左、右极限是否存在且相等来判断，是分段函数极限的核心判定工具。

完整证明（以有限极限\(a\in\mathbb{R}\)为例，无穷情形逻辑完全一致）

  1. 必要性（\(\Rightarrow\)）：已知\(\lim\limits_{x\to x_0}f(x)=a\)，证明左、右极限均为\(a\)。

    • 由\(\lim\limits_{x\to x_0}f(x)=a\)的定义：\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，\(|f(x)-a|<\varepsilon\)。【双侧极限定义】
    • 对右极限：当\(0<x-x_0<\delta\)时，必然满足\(0<|x-x_0|<\delta\)，因此\(|f(x)-a|<\varepsilon\)，满足右极限定义，故\(\lim\limits_{x\to x_0^+}f(x)=a\)。【右极限定义】
    • 对左极限：当\(0<x_0-x<\delta\)时，也必然满足\(0<|x-x_0|<\delta\)，因此\(|f(x)-a|<\varepsilon\)，满足左极限定义，故\(\lim\limits_{x\to x_0^-}f(x)=a\)。【左极限定义】
    • 必要性得证。

  2. 充分性（\(\Leftarrow\)）：已知左、右极限均为\(a\)，证明双侧极限为\(a\)。

    • 由右极限定义：\(\forall \varepsilon>0\)，\(\exists \delta_1>0\)，当\(0<x-x_0<\delta_1\)时，\(|f(x)-a|<\varepsilon\)。【右极限定义】
    • 由左极限定义：对同一个\(\varepsilon>0\)，\(\exists \delta_2>0\)，当\(0<x_0-x<\delta_2\)时，\(|f(x)-a|<\varepsilon\)。【左极限定义】
    • 取\(\delta=\min\{\delta_1,\delta_2\}\)，则当\(0<|x-x_0|<\delta\)时：
      • 若\(x>x_0\)，则\(0<x-x_0<\delta\leq\delta_1\)，故\(|f(x)-a|<\varepsilon\)；
      • 若\(x<x_0\)，则\(0<x_0-x<\delta\leq\delta_2\)，故\(|f(x)-a|<\varepsilon\)。
    • 因此对\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，\(|f(x)-a|<\varepsilon\)，满足双侧极限定义，故\(\lim\limits_{x\to x_0}f(x)=a\)。【双侧极限定义】
    • 充分性得证。

定理2.1.2 无穷远极限的等价关系

定理内容：

\[\boldsymbol{\lim\limits_{x\to\infty}f(x)=a \iff \lim\limits_{x\to+\infty}f(x)=a 且 \lim\limits_{x\to-\infty}f(x)=a} \]

其中\(a\)为实数、\(+\infty\)、\(-\infty\)、\(\infty\)。

核心意义：判断\(x\to\infty\)的极限是否存在，必须验证\(x\to+\infty\)和\(x\to-\infty\)的极限都存在且相等，例如\(\lim\limits_{x\to\infty}\arctan x\)不存在，因为\(x\to+\infty\)时极限为\(\pi/2\)，\(x\to-\infty\)时为\(-\pi/2\)，二者不相等。

完整证明（以有限极限\(a\in\mathbb{R}\)为例，无穷情形逻辑完全一致）

  1. 必要性（\(\Rightarrow\)）：已知\(\lim\limits_{x\to\infty}f(x)=a\)，证明\(x\to\pm\infty\)的极限均为\(a\)。

    • 由\(x\to\infty\)的极限定义：\(\forall \varepsilon>0\)，\(\exists \Delta>0\)，当\(|x|>\Delta\)时，\(|f(x)-a|<\varepsilon\)。【\(x\to\infty\)极限定义】
    • 当\(x>\Delta\)时，必然满足\(|x|>\Delta\)，故\(|f(x)-a|<\varepsilon\)，满足\(x\to+\infty\)的极限定义，因此\(\lim\limits_{x\to+\infty}f(x)=a\)。【\(x\to+\infty\)极限定义】
    • 当\(x<-\Delta\)时，也必然满足\(|x|>\Delta\)，故\(|f(x)-a|<\varepsilon\)，满足\(x\to-\infty\)的极限定义，因此\(\lim\limits_{x\to-\infty}f(x)=a\)。【\(x\to-\infty\)极限定义】
    • 必要性得证。

  2. 充分性（\(\Leftarrow\)）：已知\(x\to\pm\infty\)的极限均为\(a\)，证明\(x\to\infty\)的极限为\(a\)。

    • 由\(x\to+\infty\)的极限定义：\(\forall \varepsilon>0\)，\(\exists \Delta_1>0\)，当\(x>\Delta_1\)时，\(|f(x)-a|<\varepsilon\)。【\(x\to+\infty\)极限定义】
    • 由\(x\to-\infty\)的极限定义：对同一个\(\varepsilon>0\)，\(\exists \Delta_2>0\)，当\(x<-\Delta_2\)时，\(|f(x)-a|<\varepsilon\)。【\(x\to-\infty\)极限定义】
    • 取\(\Delta=\max\{\Delta_1,\Delta_2\}\)，则当\(|x|>\Delta\)时：
      • 若\(x>0\)，则\(x>\Delta\geq\Delta_1\)，故\(|f(x)-a|<\varepsilon\)；
      • 若\(x<0\)，则\(x<-\Delta\leq-\Delta_2\)，故\(|f(x)-a|<\varepsilon\)。
    • 因此对\(\forall \varepsilon>0\)，\(\exists \Delta>0\)，当\(|x|>\Delta\)时，\(|f(x)-a|<\varepsilon\)，满足\(x\to\infty\)的极限定义，故\(\lim\limits_{x\to\infty}f(x)=a\)。【\(x\to\infty\)极限定义】
    • 充分性得证。

定理2.1.3 归结原则（Heine定理）——函数极限与数列极限的桥梁

定理内容：设\(f(x)\)在\(x_0\)的去心邻域\(\mathring{U}(x_0)\)内有定义，则

\[\boldsymbol{\lim\limits_{x\to x_0}f(x)=a \iff \forall \{x_n\}\subset\mathring{U}(x_0),\ \lim\limits_{n\to\infty}x_n=x_0,\ 都有\lim\limits_{n\to\infty}f(x_n)=a} \]

其中\(a\)为实数、\(+\infty\)、\(-\infty\)、\(\infty\)；\(x_0\)可替换为\(x_0^+\)、\(x_0^-\)、\(+\infty\)、\(-\infty\)、\(\infty\)，结论同样成立。

核心意义：

  1. 将函数极限的存在性转化为数列极限的存在性，实现函数与数列极限的互通；
  2. 最核心用途：证明函数极限不存在——只需找到两个满足条件的数列\(\{x_n\}\)和\(\{y_n\}\)，均趋近于\(x_0\)，但\(f(x_n)\)与\(f(y_n)\)的极限不相等，即可证明函数极限不存在。

完整证明（以有限极限\(a\in\mathbb{R}\)为例，无穷情形逻辑完全一致）

  1. 必要性（\(\Rightarrow\)）：已知\(\lim\limits_{x\to x_0}f(x)=a\)，证明所有满足条件的\(\{x_n\}\)都有\(\lim\limits_{n\to\infty}f(x_n)=a\)。

    • 由函数极限定义：\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，\(|f(x)-a|<\varepsilon\)。【双侧极限定义】
    • 已知\(\{x_n\}\subset\mathring{U}(x_0)\)（即\(x_n\neq x_0\)）且\(\lim\limits_{n\to\infty}x_n=x_0\)，由数列极限定义：对上述\(\delta>0\)，\(\exists N\in\mathbb{N}\)，当\(n>N\)时，\(|x_n-x_0|<\delta\)。【数列极限的\(\varepsilon-N\)定义】
    • 结合\(x_n\neq x_0\)，当\(n>N\)时，\(0<|x_n-x_0|<\delta\)，满足函数极限条件，因此\(|f(x_n)-a|<\varepsilon\)。
    • 综上，对\(\forall \varepsilon>0\)，\(\exists N\in\mathbb{N}\)，当\(n>N\)时，\(|f(x_n)-a|<\varepsilon\)，满足数列极限定义，故\(\lim\limits_{n\to\infty}f(x_n)=a\)。【数列极限定义】
    • 必要性得证。

  2. 充分性（\(\Leftarrow\)）：已知所有满足条件的\(\{x_n\}\)都有\(\lim\limits_{n\to\infty}f(x_n)=a\)，证明\(\lim\limits_{x\to x_0}f(x)=a\)。
    采用反证法，核心是写出极限定义的否定命题，构造矛盾数列。

    • 反设：\(\lim\limits_{x\to x_0}f(x)\neq a\)。
    • 写出极限定义的否定命题（逻辑量词否定规则：\(\forall\)的否定是\(\exists\)，\(\exists\)的否定是\(\forall\)，蕴含的否定是前真后假）：

      \[\boldsymbol{\exists \varepsilon_0>0,\ \forall \delta>0,\ \exists x_\delta,\ 0<|x_\delta-x_0|<\delta,\ 但\ |f(x_\delta)-a|\geq\varepsilon_0} \]

    • 取\(\delta_n=\frac{1}{n}\ (n=1,2,3,\dots)\)，对每个\(\delta_n\)，由上述否定命题，存在\(x_n\)满足\(0<|x_n-x_0|<\frac{1}{n}\)，但\(|f(x_n)-a|\geq\varepsilon_0\)。
    • 分析数列\(\{x_n\}\)：
      1. \(0<|x_n-x_0|<\frac{1}{n}\)，故\(x_n\neq x_0\)，即\(\{x_n\}\subset\mathring{U}(x_0)\)；
      2. 由夹逼准则，\(0<|x_n-x_0|<\frac{1}{n}\)，且\(\lim\limits_{n\to\infty}\frac{1}{n}=0\)，故\(\lim\limits_{n\to\infty}x_n=x_0\)。【数列夹逼准则】
    • 因此\(\{x_n\}\)满足定理的条件，根据已知，应有\(\lim\limits_{n\to\infty}f(x_n)=a\)；但我们构造的\(\{x_n\}\)对所有\(n\)都有\(|f(x_n)-a|\geq\varepsilon_0\)，二者矛盾。
    • 故反设不成立，原命题成立，即\(\lim\limits_{x\to x_0}f(x)=a\)。
    • 充分性得证。

定理2.1.4 函数极限的Cauchy收敛准则

定理内容：设\(f(x)\)在\(x_0\)的去心邻域\(\mathring{U}(x_0,\delta_0)\)内有定义，则\(\lim\limits_{x\to x_0}f(x)\)存在（有限）

\[\boldsymbol{\iff \forall \varepsilon>0,\ \exists \delta\in(0,\delta_0),\ \forall x',x''\in\mathring{U}(x_0,\delta),\ 都有\ |f(x')-f(x'')|<\varepsilon} \]

注：\(x_0\)可替换为\(x_0^+\)、\(x_0^-\)、\(+\infty\)、\(-\infty\)、\(\infty\)，结论同样成立。

核心意义：无需提前知道极限值\(a\)，仅通过函数自身的性质即可判断极限是否存在，是理论证明中判断极限存在的核心工具。

完整证明

  1. 必要性（\(\Rightarrow\)）：已知\(\lim\limits_{x\to x_0}f(x)=a\)（有限），证明Cauchy条件成立。

    • 由函数极限定义：\(\forall \varepsilon>0\)，\(\exists \delta\in(0,\delta_0)\)，当\(0<|x-x_0|<\delta\)时，\(|f(x)-a|<\frac{\varepsilon}{2}\)。【极限定义，取\(\varepsilon/2\)为三角不等式凑值】
    • 对任意\(x',x''\in\mathring{U}(x_0,\delta)\)，即\(0<|x'-x_0|<\delta\)，\(0<|x''-x_0|<\delta\)，由三角不等式\(|A-B|\leq|A|+|B|\)得：

      \[|f(x')-f(x'')|=|(f(x')-a)-(f(x'')-a)| \leq |f(x')-a| + |f(x'')-a| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon \]

    • 因此Cauchy条件成立，必要性得证。

  2. 充分性（\(\Leftarrow\)）：已知Cauchy条件成立，证明\(\lim\limits_{x\to x_0}f(x)\)存在（有限）。
    证明思路：先证明任意满足条件的数列的函数值数列是Cauchy数列，由数列Cauchy准则得收敛，再证明所有数列的极限相等，最后由Heine归结原则得函数极限存在。

    • 步骤1：证明任意满足条件的\(\{x_n\}\)的\(\{f(x_n)\}\)是Cauchy数列
      已知Cauchy条件：\(\forall \varepsilon>0\)，\(\exists \delta\in(0,\delta_0)\)，对任意\(x',x''\in\mathring{U}(x_0,\delta)\)，有\(|f(x')-f(x'')|<\varepsilon\)。【已知条件】
      任取\(\{x_n\}\subset\mathring{U}(x_0,\delta_0)\)且\(\lim\limits_{n\to\infty}x_n=x_0\)，由数列极限定义：对上述\(\delta>0\)，\(\exists N\in\mathbb{N}\)，当\(n,m>N\)时，\(0<|x_n-x_0|<\delta\)，\(0<|x_m-x_0|<\delta\)，即\(x_n,x_m\in\mathring{U}(x_0,\delta)\)。【数列极限定义】
      因此当\(n,m>N\)时，\(|f(x_n)-f(x_m)|<\varepsilon\)，满足数列Cauchy条件，故\(\{f(x_n)\}\)是Cauchy数列。【数列Cauchy条件定义】
      由数列的Cauchy收敛准则：实数域上的Cauchy数列必收敛，因此\(\lim\limits_{n\to\infty}f(x_n)\)存在（有限）。

    • 步骤2：证明所有满足条件的\(\{x_n\}\)的\(\{f(x_n)\}\)极限相等
      任取两个满足条件的数列\(\{x_n'\}\)和\(\{x_n''\}\)，均满足\(\{x_n'\},\{x_n''\}\subset\mathring{U}(x_0,\delta_0)\)且\(\lim\limits_{n\to\infty}x_n'=\lim\limits_{n\to\infty}x_n''=x_0\)。
      构造新数列\(\{x_n\}\)：\(x_1',x_1'',x_2',x_2'',\dots,x_k',x_k'',\dots\)，显然\(\{x_n\}\subset\mathring{U}(x_0,\delta_0)\)且\(\lim\limits_{n\to\infty}x_n=x_0\)，因此\(\{f(x_n)\}\)收敛，设极限为\(a\)。
      而\(\{f(x_n')\}\)和\(\{f(x_n'')\}\)都是\(\{f(x_n)\}\)的子列，由收敛数列的子列必收敛于同一极限，得\(\lim\limits_{n\to\infty}f(x_n')=\lim\limits_{n\to\infty}f(x_n'')=a\)。

    • 步骤3：由Heine归结原则得函数极限存在
      所有满足条件的\(\{x_n\}\)都有\(\lim\limits_{n\to\infty}f(x_n)=a\)，由Heine归结原则的充分性，得\(\lim\limits_{x\to x_0}f(x)=a\)，即极限存在（有限）。

    • 充分性得证。

极限不存在的Cauchy准则表述（注2.1.1）

\(f(x)\)在\(x_0\)不存在有限极限 \(\iff \boldsymbol{\exists \varepsilon_0>0,\ \forall \delta>0}\)，总存在\(x_\delta',x_\delta''\in\mathring{U}(x_0,\delta)\)，使得\(\boldsymbol{|f(x_\delta')-f(x_\delta'')|\geq\varepsilon_0}\)。
该结论是证明函数极限不存在的核心工具，例如证明\(\lim\limits_{x\to0}\sin\frac{1}{x}\)不存在，只需取\(\varepsilon_0=1\)，对任意\(\delta>0\)，取\(x'=\frac{1}{2n\pi}\)，\(x''=\frac{1}{2n\pi+\pi/2}\)（\(n\)足够大时满足\(0<|x'|,|x''|<\delta\)），则\(|\sin\frac{1}{x'}-\sin\frac{1}{x''}|=1\geq\varepsilon_0\)，故极限不存在。

四、核心知识点系统总结表

知识点分类 核心内容 适用条件 关键性质与用途 易错点与注意事项
函数极限的\(\varepsilon-\delta\)定义 用\(\varepsilon\)刻画函数值与极限的接近程度，用\(\delta\)刻画自变量与趋近点的接近程度，是函数极限的公理化定义 函数在趋近点的去心邻域内有定义，适用于所有有限点趋近的极限情形 是所有函数极限定理的基础，用于严格证明极限的存在性 1. 极限与趋近点处的函数值无关，必须用去心邻域；
2. \(\varepsilon\)具有任意性，\(\delta\)具有存在性，依赖于\(\varepsilon\)；
3. 不能颠倒\(\forall \varepsilon\)和\(\exists \delta\)的顺序
左右极限与双侧极限的关系 双侧极限存在\(\iff\)左、右极限都存在且相等 有限点\(x_0\)处的极限判定，尤其是分段函数的分段点 分段函数分段点处极限的唯一判定方法 1. 左、右极限只要有一个不存在，双侧极限就不存在；
2. 左、右极限都存在但不相等，双侧极限也不存在
无穷远极限的等价关系 \(x\to\infty\)的极限存在\(\iff\)\(x\to+\infty\)和\(x\to-\infty\)的极限都存在且相等 自变量趋向无穷远的极限判定 用于判断\(x\to\infty\)时的极限是否存在 1. 仅\(x\to+\infty\)的极限存在，不能推出\(x\to\infty\)的极限存在；
2. \(x\to\infty\)等价于\(|x|\to+\infty\)，包含正负两个方向
Heine归结原则 函数极限存在\(\iff\)所有满足条件的数列的函数值数列极限都存在且相等 所有函数极限情形，连接函数极限与数列极限 1. 将函数极限问题转化为数列极限问题；
2. 核心用途：证明函数极限不存在		 1. 必须是所有满足条件的数列，仅部分数列极限相等不能证明函数极限存在；
2. 只要找到两个数列极限不相等，即可证明函数极限不存在
Cauchy收敛准则 函数极限存在\(\iff\)当自变量足够接近趋近点时，任意两个函数值的差可以任意小 所有函数极限的有限极限情形，无需知道极限值 无需提前求出极限值，仅通过函数自身性质判断极限是否存在，是理论证明的核心工具 1. 仅适用于有限极限的判定，无穷极限不适用；
2. 否定命题用于证明极限不存在，核心是找到固定的\(\varepsilon_0\)和两个函数值的差大于等于\(\varepsilon_0\)
24种极限情形的统一逻辑 6种自变量趋近过程×4种极限结果，用\(\delta/\Delta\)刻画自变量，用\(\varepsilon/A\)刻画函数值 所有函数极限情形 可以快速写出任意一种极限情形的严格定义，无需死记硬背 1. 有限极限用\(\varepsilon\)刻画，无穷极限用\(A>0\)刻画；
2. 有限点趋近用\(\delta\)，无穷远趋近用\(\Delta\)，不可混淆

函数极限定义实战与极限不存在判定 系统讲解

本部分是函数极限ε-δ/ε-Δ公理化定义的实战应用，覆盖有限极限、无穷大极限的严格证明、无穷小量核心性质、极限不存在的三大判定方法三大模块，所有证明严格遵循极限定义，拆解核心思路，标注关键技巧与易错点，彻底掌握函数极限的公理化论证逻辑。

一、用ε-δ/ε-Δ定义证明有限极限

通用证明步骤（核心方法论）

  1. 写出目标不等式：\(|f(x)-a| < \varepsilon\)；
  2. 化简放缩：将\(|f(x)-a|\)转化为关于\(|x-x_0|\)（或\(|x|\)）的表达式，分离出\(|x-x_0|\)的因子；
  3. 范围限制：在\(x_0\)的去心邻域内合理限制\(x\)的范围，简化放缩；
  4. 求解δ/Δ：解出\(|x-x_0| < \delta\)（或\(|x|>\Delta\)），确定满足条件的δ/Δ；
  5. 按定义格式完整叙述证明。

典型例题详解

例2.1.4 常值函数的极限

命题：设\(f(x)=c\)为常值函数，证明\(\boldsymbol{\lim\limits_{x\to x_0}f(x)=c}\)。
【核心思路】常值函数的函数值与\(x\)无关，\(|f(x)-c|\)恒为0，天然满足小于任意\(\varepsilon>0\)，δ可任意取正数。
【完整证明】
\(\forall \varepsilon>0\)，任取\(\delta>0\)，当\(0<|x-x_0|<\delta\)时，有

\[|f(x)-c|=|c-c|=0<\varepsilon \]

根据函数极限的ε-δ定义，得\(\lim\limits_{x\to x_0}f(x)=c\)。
【关键结论】常值函数在任意点的极限都等于自身，是极限四则运算的基础。

例2.1.5 幂函数无穷远极限

命题：证明\(\boldsymbol{\lim\limits_{x\to+\infty}\frac{1}{x^\alpha}=0\ (\alpha>0)}\)。
【核心思路】利用幂函数在\(x>0\)时的严格单调性，反解\(x\)的范围，确定Δ。
【完整证明】
\(\forall \varepsilon>0\)，要使\(\left|\frac{1}{x^\alpha} - 0\right|=\frac{1}{x^\alpha} < \varepsilon\)，
因\(\alpha>0,x>0\)，不等式变形为\(x^\alpha > \frac{1}{\varepsilon}\)，即\(x > \left(\frac{1}{\varepsilon}\right)^{\frac{1}{\alpha}}\)。
取\(\Delta=\left(\frac{1}{\varepsilon}\right)^{\frac{1}{\alpha}}\)，则当\(x>\Delta\)时，有\(\left|\frac{1}{x^\alpha} - 0\right| < \varepsilon\)，
根据\(x\to+\infty\)的极限定义，得\(\lim\limits_{x\to+\infty}\frac{1}{x^\alpha}=0\)。

例2.1.6 反正切函数的无穷远极限

命题：证明(1)\(\boldsymbol{\lim\limits_{x\to-\infty}\arctan x=-\frac{\pi}{2}}\)；(2)\(\boldsymbol{\lim\limits_{x\to+\infty}\arctan x=\frac{\pi}{2}}\)。
【核心思路】利用反正切函数的严格单调性与有界性，将反三角不等式转化为代数不等式，确定Δ。
【完整证明】
(1) 证明\(\lim\limits_{x\to-\infty}\arctan x=-\frac{\pi}{2}\)
\(\forall \varepsilon>0\)，要使\(\left|\arctan x + \frac{\pi}{2}\right| < \varepsilon\)，
即\(-\varepsilon < \arctan x + \frac{\pi}{2} < \varepsilon\)，因\(\arctan x > -\frac{\pi}{2}\)，只需\(\arctan x < -\frac{\pi}{2} + \varepsilon\)。
由\(y=\arctan x\)严格单调递增，两边取正切得\(x < \tan\left(-\frac{\pi}{2}+\varepsilon\right)=-\cot\varepsilon\)。
取\(\Delta=\cot\varepsilon>0\)，则当\(x<-\Delta\)时，有\(\left|\arctan x + \frac{\pi}{2}\right| < \varepsilon\)，
根据\(x\to-\infty\)的极限定义，得\(\lim\limits_{x\to-\infty}\arctan x=-\frac{\pi}{2}\)。

(2) 证明\(\lim\limits_{x\to+\infty}\arctan x=\frac{\pi}{2}\)
\(\forall \varepsilon>0\)，要使\(\left|\arctan x - \frac{\pi}{2}\right| < \varepsilon\)，
即\(\frac{\pi}{2}-\varepsilon < \arctan x < \frac{\pi}{2}+\varepsilon\)，因\(\arctan x < \frac{\pi}{2}\)，只需\(\arctan x > \frac{\pi}{2}-\varepsilon\)。
由\(y=\arctan x\)严格单调递增，两边取正切得\(x > \tan\left(\frac{\pi}{2}-\varepsilon\right)=\cot\varepsilon\)。
取\(\Delta=\cot\varepsilon>0\)，则当\(x>\Delta\)时，有\(\left|\arctan x - \frac{\pi}{2}\right| < \varepsilon\)，
根据\(x\to+\infty\)的极限定义，得\(\lim\limits_{x\to+\infty}\arctan x=\frac{\pi}{2}\)。

【关键推论】\(\lim\limits_{x\to\infty}\arctan x\)不存在，因\(x\to\pm\infty\)时极限不相等，符合双侧无穷远极限的等价定理。

例2.1.7 可去间断点的极限

命题：证明\(\boldsymbol{\lim\limits_{x\to2}\frac{x^2-4}{x-2}=4}\)。
【核心思路】在\(x=2\)的去心邻域内约去零因子，化简后直接找δ。
【完整证明】
在\(x=2\)的去心邻域内，\(x\neq2\)，因此\(\frac{x^2-4}{x-2}=\frac{(x-2)(x+2)}{x-2}=x+2\)。
\(\forall \varepsilon>0\)，要使\(\left|\frac{x^2-4}{x-2} - 4\right|=|(x+2)-4|=|x-2| < \varepsilon\)，
取\(\delta=\varepsilon\)，则当\(0<|x-2|<\delta\)时，有\(\left|\frac{x^2-4}{x-2} - 4\right| < \varepsilon\)，
根据极限定义，得\(\lim\limits_{x\to2}\frac{x^2-4}{x-2}=4\)。

【核心易错点纠正】
函数在\(x=2\)处无定义，但极限依然存在，再次验证极限与函数在该点是否有定义无关，仅由去心邻域内的函数值决定。

例2.1.8 有理函数极限（核心放缩技巧）

命题：证明\(\boldsymbol{\lim\limits_{x\to1}\frac{x^2-1}{2x^2-x-1}=\frac{2}{3}}\)。
【核心思路】先因式分解化简，再限制\(x\)的范围放缩分母，最终确定δ，这是ε-δ证明最核心的通用技巧。
【完整证明】
在\(x=1\)的去心邻域内，\(x\neq1\)，因式分解得：
分子：\(x^2-1=(x-1)(x+1)\)，分母：\(2x^2-x-1=(2x+1)(x-1)\)，
因此\(\frac{x^2-1}{2x^2-x-1}=\frac{x+1}{2x+1}\)。

\(\forall \varepsilon>0\)，要使\(\left|\frac{x^2-1}{2x^2-x-1} - \frac{2}{3}\right|=\left|\frac{x+1}{2x+1}-\frac{2}{3}\right| < \varepsilon\)，
通分化简得：

\[\left|\frac{3(x+1)-2(2x+1)}{3(2x+1)}\right|=\frac{|x-1|}{3|2x+1|} < \varepsilon \]

先限制\(x\)的范围：因\(x\to1\)，取\(|x-1|<1\)（即\(0<x<2\)），此时\(|2x+1|>1\)，因此\(\frac{1}{3|2x+1|}<\frac{1}{3}\)，
于是\(\frac{|x-1|}{3|2x+1|} < \frac{|x-1|}{3} < \varepsilon\)，解得\(|x-1|<3\varepsilon\)。

为同时满足\(|x-1|<1\)和\(|x-1|<3\varepsilon\)，取\(\delta=\min\{1,3\varepsilon\}\)，则当\(0<|x-1|<\delta\)时，有

\[\left|\frac{x^2-1}{2x^2-x-1} - \frac{2}{3}\right| < \varepsilon \]

根据极限定义，得\(\lim\limits_{x\to1}\frac{x^2-1}{2x^2-x-1}=\frac{2}{3}\)。

【核心技巧讲解】

  1. 先限制x的范围：利用\(x\to x_0\)时\(x\)最终落在\(x_0\)附近的特点，提前固定\(x\)的范围，简化分母的放缩，避免分母趋近于0导致放缩困难；
  2. δ取最小值：必须同时满足“范围限制”和“不等式要求”，因此δ取两个范围的最小值，是ε-δ证明的通用严谨性处理。

二、无穷大极限的严格证明

通用证明步骤

  1. 对任意\(A>0\)，写出目标不等式：\(f(x)>A\)（\(+\infty\)）、\(f(x)<-A\)（\(-\infty\)）、\(|f(x)|>A\)（\(\infty\)）；
  2. 化简放缩，分离出\(|x-x_0|\)的因子；
  3. 合理限制\(x\)的范围，简化放缩；
  4. 解出\(|x-x_0|<\delta\)，确定δ；
  5. 按定义格式叙述证明。

典型例题详解

例2.1.9 有理函数的单侧无穷大

命题：证明(1)\(\boldsymbol{\lim\limits_{x\to1^+}\frac{x^2+1}{x^2-1}=+\infty}\)；(2)\(\boldsymbol{\lim\limits_{x\to1^-}\frac{x^2+1}{x^2-1}=-\infty}\)。
【完整证明】
先因式分解分母：\(x^2-1=(x-1)(x+1)\)，因此\(\frac{x^2+1}{x^2-1}=\frac{x^2+1}{(x-1)(x+1)}\)。

(1) 证明\(\lim\limits_{x\to1^+}\frac{x^2+1}{x^2-1}=+\infty\)
\(\forall A>0\)，\(x\to1^+\)即\(1<x<2\)（\(0<x-1<1\)），此时\(x+1<3\)，\(x^2+1>2\)，因此\(\frac{x^2+1}{x+1}>\frac{2}{3}\)，
于是\(\frac{x^2+1}{(x-1)(x+1)} > \frac{2}{3(x-1)}\)。
要使\(\frac{x^2+1}{x^2-1}>A\)，只需\(\frac{2}{3(x-1)}>A\)，即\(x-1<\frac{2}{3A}\)。
取\(\delta=\min\left\{1,\frac{2}{3A}\right\}\)，则当\(0<x-1<\delta\)时，有\(\frac{x^2+1}{x^2-1}>A\)，
根据右极限为\(+\infty\)的定义，得\(\lim\limits_{x\to1^+}\frac{x^2+1}{x^2-1}=+\infty\)。

(2) 证明\(\lim\limits_{x\to1^-}\frac{x^2+1}{x^2-1}=-\infty\)
\(\forall A>0\)，\(x\to1^-\)即\(0<x<1\)（\(0<1-x<1\)），此时\(x+1>1\)，\(x^2+1>1\)，因此\(\frac{x^2+1}{x+1}>1\)，
而\(x-1=-(1-x)<0\)，因此\(\frac{x^2+1}{(x-1)(x+1)} = -\frac{x^2+1}{(1-x)(x+1)} < -\frac{1}{1-x}\)。
要使\(\frac{x^2+1}{x^2-1}<-A\)，只需\(-\frac{1}{1-x}<-A\)，即\(1-x<\frac{1}{A}\)。
取\(\delta=\min\left\{1,\frac{1}{A}\right\}\)，则当\(0<1-x<\delta\)时，有\(\frac{x^2+1}{x^2-1}<-A\)，
根据左极限为\(-\infty\)的定义，得\(\lim\limits_{x\to1^-}\frac{x^2+1}{x^2-1}=-\infty\)。

例2.1.16 指数函数的无穷远极限

命题：证明\(\boldsymbol{\lim\limits_{x\to+\infty}a^x = \begin{cases} +\infty, & a>1 \\ 0, & 0<a<1 \\ 1, & a=1 \end{cases}}\)。
【完整证明】
① 当\(a=1\)时，\(a^x=1\)为常值函数，由例2.1.4得\(\lim\limits_{x\to+\infty}1=1\)。

② 当\(a>1\)时，证明\(\lim\limits_{x\to+\infty}a^x=+\infty\)
\(\forall A>0\)，要使\(a^x>A\)，因\(a>1\)时\(y=a^x\)严格单调递增，两边取对数得\(x>\log_a A\)。
取\(\Delta=\max\{1,\log_a A\}\)，则当\(x>\Delta\)时，有\(a^x>A\)，
根据\(x\to+\infty\)时\(+\infty\)的定义，得\(\lim\limits_{x\to+\infty}a^x=+\infty\)。

③ 当\(0<a<1\)时，证明\(\lim\limits_{x\to+\infty}a^x=0\)
\(\forall \varepsilon>0\)，要使\(|a^x-0|=a^x<\varepsilon\)，因\(0<a<1\)时\(y=a^x\)严格单调递减，两边取对数得\(x>\log_a \varepsilon\)。
取\(\Delta=\max\{1,\log_a \varepsilon\}\)，则当\(x>\Delta\)时，有\(|a^x-0|<\varepsilon\)，
根据\(x\to+\infty\)的极限定义，得\(\lim\limits_{x\to+\infty}a^x=0\)。

三、无穷小量的核心性质

核心定理：有界量与无穷小量的乘积仍为无穷小量（极限为0的量称为无穷小量）。

典型例题详解

例2.1.10 震荡收敛的极限

命题：证明\(\boldsymbol{\lim\limits_{x\to0}x^\alpha \sin\frac{1}{x}=0\ (\alpha>0)}\)。
【完整证明】
\(\forall \varepsilon>0\)，要使\(\left|x^\alpha \sin\frac{1}{x} - 0\right|=|x|^\alpha \cdot \left|\sin\frac{1}{x}\right| < \varepsilon\)，
因对任意\(x\neq0\)，都有\(\left|\sin\frac{1}{x}\right|\leq1\)，因此\(|x|^\alpha \cdot \left|\sin\frac{1}{x}\right| \leq |x|^\alpha\)。
要使上式小于\(\varepsilon\)，只需\(|x|^\alpha < \varepsilon\)，即\(|x|<\varepsilon^{\frac{1}{\alpha}}\)。
取\(\delta=\varepsilon^{\frac{1}{\alpha}}\)，则当\(0<|x-0|<\delta\)时，有\(\left|x^\alpha \sin\frac{1}{x} - 0\right| < \varepsilon\)，
根据极限定义，得\(\lim\limits_{x\to0}x^\alpha \sin\frac{1}{x}=0\)。

【关键易错点】
不能用极限乘法法则拆分：\(\lim\limits_{x\to0}\sin\frac{1}{x}\)不存在，必须用“有界量乘无穷小仍为无穷小”的性质证明。

例2.1.11 有界量乘无穷小的定理证明

命题：设\(\boldsymbol{\lim\limits_{x\to x_0}f(x)=0}\)，\(\boldsymbol{|g(x)|\leq M}\)（\(M\)为正常数），则\(\boldsymbol{\lim\limits_{x\to x_0}f(x)g(x)=0}\)。
【完整证明】
\(\forall \varepsilon>0\)，因\(\lim\limits_{x\to x_0}f(x)=0\)，根据极限定义，对\(\varepsilon'=\frac{\varepsilon}{M+1}>0\)，\(\exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，有\(|f(x)| < \frac{\varepsilon}{M+1}\)。
又因\(|g(x)|\leq M\)，因此

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

根据极限定义，得\(\lim\limits_{x\to x_0}f(x)g(x)=0\)。

【关键说明】用\(M+1\)而非\(M\)，是为了避免\(M=0\)的极端情况，保证严格小于\(\varepsilon\)，是分析证明的严谨性细节。

四、极限不存在的三大判定方法

核心判定方法

  1. 左右极限不相等：左、右极限至少一个不存在，或都存在但不相等，则双侧极限不存在；
  2. Heine归结原则：找到两个趋近于\(x_0\)的数列\(\{x_n\}\)、\(\{y_n\}\)，使得\(f(x_n)\)与\(f(y_n)\)的极限不相等，则函数极限不存在；
  3. Cauchy准则否定命题：找到\(\varepsilon_0>0\)，对任意\(\delta>0\)，存在去心邻域内的\(x',x''\)，使得\(|f(x')-f(x'')|\geq\varepsilon_0\)，则极限不存在。

典型例题详解

例2.1.12 分段函数极限不存在

命题：设\(f(x)=\begin{cases}1, & x<0 \\ x\sin\frac{1}{x}, & x>0\end{cases}\)，证明\(\boldsymbol{\lim\limits_{x\to0}f(x)}\)不存在。
【完整证明】
计算右极限：\(f(0^+)=\lim\limits_{x\to0^+}f(x)=\lim\limits_{x\to0^+}x\sin\frac{1}{x}=0\)（例2.1.10结论）；
计算左极限：\(f(0^-)=\lim\limits_{x\to0^-}f(x)=\lim\limits_{x\to0^-}1=1\)；
因\(f(0^+)=0\neq1=f(0^-)\)，根据双侧极限存在的充要条件，得\(\lim\limits_{x\to0}f(x)\)不存在。

例2.1.13 符号函数的极限不存在

命题：证明符号函数\(\mathrm{sgn}x\)在\(x=0\)处无极限。
【完整证明】
符号函数定义：\(\mathrm{sgn}x=\begin{cases}1, & x>0 \\ 0, & x=0 \\ -1, & x<0\end{cases}\)。
右极限：\(\mathrm{sgn}(0^+)=\lim\limits_{x\to0^+}\mathrm{sgn}x=1\)；
左极限：\(\mathrm{sgn}(0^-)=\lim\limits_{x\to0^-}\mathrm{sgn}x=-1\)；
因\(\mathrm{sgn}(0^+)\neq\mathrm{sgn}(0^-)\)，故\(\mathrm{sgn}x\)在\(x=0\)处无极限。

例2.1.14 震荡发散的极限不存在

命题：证明\(\boldsymbol{\lim\limits_{x\to0}\sin\frac{1}{x}}\)不存在。
【完整证明】（Heine归结原则）
取两个趋近于0的数列：
① \(x_n=\frac{1}{2n\pi}\)，\(n=1,2,\dots\)，满足\(x_n\neq0\)且\(\lim\limits_{n\to\infty}x_n=0\)，则\(\lim\limits_{n\to\infty}\sin\frac{1}{x_n}=\lim\limits_{n\to\infty}\sin2n\pi=0\)；
② \(x_n''=\frac{1}{2n\pi+\frac{\pi}{2}}\)，\(n=1,2,\dots\)，满足\(x_n''\neq0\)且\(\lim\limits_{n\to\infty}x_n''=0\)，则\(\lim\limits_{n\to\infty}\sin\frac{1}{x_n''}=\lim\limits_{n\to\infty}\sin\left(2n\pi+\frac{\pi}{2}\right)=1\)。

因两个数列的函数值极限不相等，根据Heine归结原则，\(\lim\limits_{x\to0}\sin\frac{1}{x}\)不存在。

例2.1.15 Dirichlet函数处处无极限

命题：证明Dirichlet函数\(\boldsymbol{D(x)=\begin{cases}1, & x\in\mathbb{Q} \\ 0, & x\in\mathbb{R}\setminus\mathbb{Q}\end{cases}}\)在任何点处无极限。
【完整证明】（Heine归结原则）
任取\(x_0\in\mathbb{R}\)，根据有理数与无理数在实数集的稠密性：
① 取有理数列\(\{x_n'\}\)，满足\(x_n'\neq x_0\)且\(\lim\limits_{n\to\infty}x_n'=x_0\)，则\(\lim\limits_{n\to\infty}D(x_n')=\lim\limits_{n\to\infty}1=1\)；
② 取无理数列\(\{x_n''\}\)，满足\(x_n''\neq x_0\)且\(\lim\limits_{n\to\infty}x_n''=x_0\)，则\(\lim\limits_{n\to\infty}D(x_n'')=\lim\limits_{n\to\infty}0=0\)。

因两个数列的函数值极限不相等，根据Heine归结原则，\(D(x)\)在\(x_0\)处无极限。由\(x_0\)的任意性，\(D(x)\)在任何点处都无极限。

五、核心方法系统总结表

证明类型 核心定义 通用步骤 关键技巧 适用场景
有限极限的ε-δ证明 \(\forall \varepsilon>0,\exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，\(|f(x)-a|<\varepsilon\) 1. 写目标不等式；2. 化简放缩；3. 限制x范围；4. 求δ；5. 按定义叙述 1. 先限制x的范围简化放缩；2. δ取多个范围的最小值；3. 去心邻域内可约去零因子 有限点处的函数极限证明
无穷远极限的ε-Δ证明 \(\forall \varepsilon>0,\exists \Delta>0\)，当\(|x|>\Delta\)时，\(|f(x)-a|<\varepsilon\) 1. 写目标不等式；2. 反解x的范围；3. 确定Δ；4. 按定义叙述 利用函数的单调性直接反解x的范围 x→±∞/∞时的极限证明
无穷大极限的A-δ证明 \(\forall A>0,\exists \delta>0\)，当\(0<|x-x_0|<\delta\)时，\(|f(x)|>A\) 1. 写目标不等式；2. 放缩化简；3. 求δ；4. 按定义叙述 证明+∞时放缩为更小的式子，证明-∞时放缩为更大的式子 无穷大极限的证明
极限不存在的判定1 左右极限不相等 分别计算左、右极限，验证是否存在且相等 分段函数分段点处的极限必须用此方法判定 分段函数、绝对值函数、符号函数的极限判定
极限不存在的判定2 Heine归结原则 找到两个趋近于x0的数列，使函数值极限不相等 构造数列让函数值分别收敛到不同的常数，是证明震荡发散的核心方法 sin(1/x)、Dirichlet函数等震荡/病态函数的极限不存在证明
无穷小量性质应用 有界量×无穷小=无穷小 1. 证明一个因子是无穷小；2. 证明另一个因子有界；3. 直接得出极限为0 避免对不存在的极限使用乘法法则，是震荡收敛的核心证明方法 含sin(1/x)、cos(1/x)等有界震荡因子的极限证明

三角函数核心不等式与初等函数极限证明 系统讲解

本部分围绕数学分析核心基础不等式展开，完整推导三角函数的关键放缩不等式，并用ε-δ/ε-Δ定义严格证明正弦、余弦、根式函数的极限，拆解证明的核心技巧与严谨性细节，所有推导标注逻辑依据，关键内容加粗突出。

一、核心基础引理：三角函数不等式

引理2.1.1是分析学中最常用的基础不等式之一，是第一个重要极限、三角函数连续性、导数公式推导的核心基石。

引理2.1.1 完整表述与证明

（1）核心不等式

\[\boldsymbol{\sin x < x < \tan x,\quad 0<x<\frac{\pi}{2}} \]

几何法完整证明：
取单位圆（半径\(r=1\)），设圆心角\(\angle AOD=x\)（弧度制，\(0<x<\frac{\pi}{2}\)），如图2.1.18所示：

  • \(\triangle OCD\)为直角三角形，\(OC=\cos x\)，\(CD=\sin x\)，面积\(S_{\triangle OCD}=\frac{1}{2}\cdot OC\cdot CD=\frac{1}{2}\sin x \cos x\)；
  • 扇形\(OAD\)的圆心角为\(x\)，半径为1，面积\(S_{扇形OAD}=\frac{1}{2}\cdot r^2 \cdot x=\frac{1}{2}x\)；
  • \(\triangle OAB\)为直角三角形，\(OA=1\)，\(AB=\tan x\)，面积\(S_{\triangle OAB}=\frac{1}{2}\cdot OA\cdot AB=\frac{1}{2}\tan x\)。

由图形的包含关系，显然有三角形面积 < 扇形面积 < 大三角形面积，即：

\[S_{\triangle OCD} < S_{扇形OAD} < S_{\triangle OAB} \]

代入面积公式得：

\[\frac{1}{2}\sin x \cos x < \frac{1}{2}x < \frac{1}{2}\tan x \]

两边同乘正数2，不等号方向不变，得：

\[\sin x \cos x < x < \tan x \]

因\(0<x<\frac{\pi}{2}\)时\(\cos x \in (0,1)\)，故\(\sin x \cos x < \sin x\)，结合上式左边可得\(\sin x < x\)；
右边\(\tan x=\frac{\sin x}{\cos x}\)，因此\(x < \frac{\sin x}{\cos x}\)，即\(\sin x < x < \tan x\)，不等式得证。

（2）推广不等式

  1. \(\boldsymbol{\sin x < x,\quad \forall x\in(0,+\infty)}\)
  2. \(\boldsymbol{|\sin x| \leq |x|,\quad \forall x\in\mathbb{R}}\)，等号当且仅当\(x=0\)时成立

完整证明：

  1. 证明\(\sin x < x,\ x\in(0,+\infty)\)

    • 当\(0<x<\frac{\pi}{2}\)时，由（1）已证\(\sin x < x\)；
    • 当\(x\geq\frac{\pi}{2}\)时，因\(\frac{\pi}{2}\approx1.57>1\)，而\(|\sin x|\leq1\)，故\(x\geq\frac{\pi}{2}>1\geq\sin x\)，即\(\sin x < x\)；
      综上，对所有\(x>0\)，\(\sin x < x\)成立。

  2. 证明\(|\sin x| \leq |x|,\ \forall x\in\mathbb{R}\)

    • 当\(x=0\)时，\(|\sin0|=0=|0|\)，等号成立；
    • 当\(x>0\)时，由上述结论\(\sin x < x\)，且\(\sin x>0\)，故\(|\sin x|=\sin x < x=|x|\)；
    • 当\(x<0\)时，令\(t=-x>0\)，则\(|\sin x|=|\sin(-t)|=|\sin t| < t=|x|\)；
      综上，对所有实数\(x\)，\(|\sin x| \leq |x|\)成立，且仅当\(x=0\)时等号成立。

二、初等函数极限的严格证明

例2.1.18 正弦、余弦函数的连续性（极限等于函数值）

命题：对任意\(x_0\in\mathbb{R}\)，证明
(1) \(\boldsymbol{\lim\limits_{x\to x_0}\sin x = \sin x_0}\)；
(2) \(\boldsymbol{\lim\limits_{x\to x_0}\cos x = \cos x_0}\)。

核心意义：该结论证明了正弦、余弦函数在全体实数域上处处连续，是三角函数微积分运算的基础。

（1）\(\lim\limits_{x\to x_0}\sin x = \sin x_0\)的完整证明

【核心思路】利用和差化积公式拆分\(|\sin x - \sin x_0|\)，结合引理2.1.1的\(|\sin t|\leq|t|\)放缩，最终用ε-δ定义证明。

证明过程：
\(\forall \varepsilon>0\)，先对\(|\sin x - \sin x_0|\)用和差化积公式变形：

\[\sin x - \sin x_0 = 2\cos\frac{x+x_0}{2}\sin\frac{x-x_0}{2} \]

取绝对值得：

\[|\sin x - \sin x_0| = 2\left|\cos\frac{x+x_0}{2}\right| \cdot \left|\sin\frac{x-x_0}{2}\right| \]

由余弦函数的有界性，对任意实数\(t\)，都有\(|\cos t|\leq1\)，因此\(\left|\cos\frac{x+x_0}{2}\right|\leq1\)；
再由引理2.1.1，\(\left|\sin\frac{x-x_0}{2}\right| \leq \left|\frac{x-x_0}{2}\right|\)。

代入放缩得：

\[|\sin x - \sin x_0| \leq 2\cdot1\cdot\left|\frac{x-x_0}{2}\right| = |x-x_0| \]

要使\(|\sin x - \sin x_0| < \varepsilon\)，只需\(|x-x_0| < \varepsilon\)。
取\(\delta=\varepsilon\)，则当\(0<|x-x_0|<\delta\)时，有

\[|\sin x - \sin x_0| \leq |x-x_0| < \delta = \varepsilon \]

根据函数极限的ε-δ定义，得\(\lim\limits_{x\to x_0}\sin x = \sin x_0\)。

（2）\(\lim\limits_{x\to x_0}\cos x = \cos x_0\)的完整证明

证法1：和差化积法（同正弦函数逻辑）
\(\forall \varepsilon>0\)，对\(|\cos x - \cos x_0|\)用和差化积公式变形：

\[\cos x - \cos x_0 = -2\sin\frac{x+x_0}{2}\sin\frac{x-x_0}{2} \]

取绝对值得：

\[|\cos x - \cos x_0| = 2\left|\sin\frac{x+x_0}{2}\right| \cdot \left|\sin\frac{x-x_0}{2}\right| \]

由\(|\sin t|\leq1\)，得\(\left|\sin\frac{x+x_0}{2}\right|\leq1\)；再由引理2.1.1，\(\left|\sin\frac{x-x_0}{2}\right| \leq \left|\frac{x-x_0}{2}\right|\)。
代入放缩得：

\[|\cos x - \cos x_0| \leq 2\cdot1\cdot\left|\frac{x-x_0}{2}\right| = |x-x_0| \]

取\(\delta=\varepsilon\)，则当\(0<|x-x_0|<\delta\)时，有\(|\cos x - \cos x_0| < \varepsilon\)，
根据极限定义，得\(\lim\limits_{x\to x_0}\cos x = \cos x_0\)。

证法2：复合函数极限法
由诱导公式\(\cos x = \sin\left(\frac{\pi}{2}-x\right)\)，令\(t=\frac{\pi}{2}-x\)，则当\(x\to x_0\)时，\(t\to\frac{\pi}{2}-x_0\)。
由（1）的结论\(\lim\limits_{t\to t_0}\sin t = \sin t_0\)，得：

\[\lim\limits_{x\to x_0}\cos x = \lim\limits_{x\to x_0}\sin\left(\frac{\pi}{2}-x\right) = \sin\left(\frac{\pi}{2}-x_0\right) = \cos x_0 \]

结论得证。

例2.1.19 平方根函数的极限

命题：对任意\(x_0\geq0\)，证明\(\boldsymbol{\lim\limits_{x\to x_0}\sqrt{x} = \sqrt{x_0}}\)。

核心意义：证明了平方根函数在定义域\([0,+\infty)\)上处处连续，是根式函数极限运算的基础。
【核心技巧】分子有理化，将根式差转化为线性差，简化放缩；分\(x_0=0\)和\(x_0>0\)两种情况讨论，保证定义域的严谨性。

情况1：\(x_0=0\)（右极限）

平方根函数在\(x<0\)处无定义，因此仅需证明右极限\(\lim\limits_{x\to0^+}\sqrt{x}=0\)。

完整证明：
\(\forall \varepsilon>0\)，要使\(|\sqrt{x} - \sqrt{0}|=\sqrt{x} < \varepsilon\)，
两边平方（因两边均为非负数，不等号方向不变）得\(x < \varepsilon^2\)。
取\(\delta=\varepsilon^2\)，则当\(0<x<\delta\)时，有\(\sqrt{x} < \sqrt{\delta}=\varepsilon\)，
根据右极限的定义，得\(\lim\limits_{x\to0^+}\sqrt{x}=0\)。

情况2：\(x_0>0\)

完整证明：
\(\forall \varepsilon>0\)，先对\(|\sqrt{x} - \sqrt{x_0}|\)进行分子有理化：

\[|\sqrt{x} - \sqrt{x_0}| = \left|\frac{(\sqrt{x} - \sqrt{x_0})(\sqrt{x} + \sqrt{x_0})}{\sqrt{x} + \sqrt{x_0}}\right| = \frac{|x-x_0|}{\sqrt{x} + \sqrt{x_0}} \]

因\(\sqrt{x}\geq0\)，故\(\sqrt{x} + \sqrt{x_0} \geq \sqrt{x_0} > 0\)，因此\(\frac{1}{\sqrt{x} + \sqrt{x_0}} \leq \frac{1}{\sqrt{x_0}}\)，
代入放缩得：

\[|\sqrt{x} - \sqrt{x_0}| \leq \frac{|x-x_0|}{\sqrt{x_0}} \]

同时，为保证\(x\geq0\)（函数有定义），需限制\(|x-x_0| < x_0\)，即\(x>0\)。
要使\(|\sqrt{x} - \sqrt{x_0}| < \varepsilon\)，只需\(\frac{|x-x_0|}{\sqrt{x_0}} < \varepsilon\)，即\(|x-x_0| < \sqrt{x_0}\cdot\varepsilon\)。

为同时满足\(|x-x_0| < x_0\)和\(|x-x_0| < \sqrt{x_0}\cdot\varepsilon\)，取\(\delta=\min\left\{x_0,\ \sqrt{x_0}\cdot\varepsilon\right\}\)，
则当\(0<|x-x_0|<\delta\)时，有

\[|\sqrt{x} - \sqrt{x_0}| \leq \frac{|x-x_0|}{\sqrt{x_0}} < \frac{\sqrt{x_0}\cdot\varepsilon}{\sqrt{x_0}} = \varepsilon \]

根据极限定义，得\(\lim\limits_{x\to x_0}\sqrt{x} = \sqrt{x_0}\)。

【关键严谨性说明】取\(\delta=\min\{x_0,...\}\)的核心目的，是保证\(x\)落在定义域\([0,+\infty)\)内，避免\(x<0\)导致函数无定义，是初学者极易遗漏的细节。

例2.1.20 无穷远根式极限

命题：证明\(\boldsymbol{\lim\limits_{x\to\infty}\sqrt{\frac{x^2+1}{x^2-1}}=1}\)。

【核心思路】证法1用ε-Δ定义直接证明，通过有理化、放缩简化不等式；证法2用极限四则运算法则与复合函数极限法则，简化计算。

证法1：ε-Δ定义严格证明

完整证明：
\(\forall \varepsilon>0\)，先对\(\left|\sqrt{\frac{x^2+1}{x^2-1}} - 1\right|\)进行有理化变形：

\[\left|\sqrt{\frac{x^2+1}{x^2-1}} - 1\right| = \left|\frac{\sqrt{x^2+1} - \sqrt{x^2-1}}{\sqrt{x^2-1}}\right| \]

对分子再次有理化：

\[\sqrt{x^2+1} - \sqrt{x^2-1} = \frac{(\sqrt{x^2+1} - \sqrt{x^2-1})(\sqrt{x^2+1} + \sqrt{x^2-1})}{\sqrt{x^2+1} + \sqrt{x^2-1}} = \frac{2}{\sqrt{x^2+1} + \sqrt{x^2-1}} \]

代入原式得：

\[\left|\sqrt{\frac{x^2+1}{x^2-1}} - 1\right| = \frac{2}{\sqrt{x^2-1}\cdot\left(\sqrt{x^2+1} + \sqrt{x^2-1}\right)} \]

先限制\(|x|>\sqrt{2}\)，此时\(x^2-1>1>0\)，保证根号内的表达式有意义，且\(\sqrt{x^2-1} > \sqrt{x^2+1} - 1\)，进一步放缩：
因\(\sqrt{x^2+1} + \sqrt{x^2-1} > \sqrt{x^2+1} > |x|\)，\(\sqrt{x^2-1} > 1\)，因此

\[\frac{2}{\sqrt{x^2-1}\cdot\left(\sqrt{x^2+1} + \sqrt{x^2-1}\right)} < \frac{2}{\sqrt{x^2+1}} < \frac{2}{|x|} \]

要使\(\left|\sqrt{\frac{x^2+1}{x^2-1}} - 1\right| < \varepsilon\)，只需\(\frac{2}{|x|} < \varepsilon\)，即\(|x| > \frac{2}{\varepsilon}\)。

为同时满足\(|x|>\sqrt{2}\)和\(|x|>\frac{2}{\varepsilon}\)，取\(\Delta=\max\left\{\sqrt{2},\ \frac{2}{\varepsilon}\right\}\)，
则当\(|x|>\Delta\)时，有

\[\left|\sqrt{\frac{x^2+1}{x^2-1}} - 1\right| < \frac{2}{|x|} < \frac{2}{\Delta} \leq \varepsilon \]

根据\(x\to\infty\)的极限定义，得\(\lim\limits_{x\to\infty}\sqrt{\frac{x^2+1}{x^2-1}}=1\)。

证法2：极限运算法则法

核心依据：

  1. 复合函数极限法则：若\(\lim\limits_{x\to\infty}u(x)=a\)，且\(f(u)\)在\(u=a\)处连续，则\(\lim\limits_{x\to\infty}f(u(x))=f(a)\)；
  2. 极限四则运算法则：若\(\lim f(x)\)、\(\lim g(x)\)存在且\(\lim g(x)\neq0\)，则\(\lim \frac{f(x)}{g(x)}=\frac{\lim f(x)}{\lim g(x)}\)。

完整证明：
先对表达式变形，分子分母同除以\(x^2\)（\(x\to\infty\)时\(x\neq0\)，变形合法）：

\[\sqrt{\frac{x^2+1}{x^2-1}} = \sqrt{\frac{1+\frac{1}{x^2}}{1-\frac{1}{x^2}}} \]

因\(\lim\limits_{x\to\infty}\frac{1}{x^2}=0\)，由极限四则运算法则：

\[\lim\limits_{x\to\infty}\frac{1+\frac{1}{x^2}}{1-\frac{1}{x^2}} = \frac{\lim\limits_{x\to\infty}\left(1+\frac{1}{x^2}\right)}{\lim\limits_{x\to\infty}\left(1-\frac{1}{x^2}\right)} = \frac{1+0}{1-0}=1 \]

又因\(\sqrt{u}\)在\(u=1\)处连续，由复合函数极限法则：

\[\lim\limits_{x\to\infty}\sqrt{\frac{1+\frac{1}{x^2}}{1-\frac{1}{x^2}}} = \sqrt{\lim\limits_{x\to\infty}\frac{1+\frac{1}{x^2}}{1-\frac{1}{x^2}}} = \sqrt{1}=1 \]

结论得证。

三、核心知识点系统总结表

知识点 核心内容 关键技巧 适用场景 注意事项
三角函数核心不等式 \(\sin x < x < \tan x\ (0<x<\pi/2)\)；\(|\sin x|\leq|x|\ (\forall x\in\mathbb{R})\) 单位圆面积比较法，利用图形包含关系推导不等式 第一个重要极限证明、三角函数极限放缩、导数公式推导、不等式证明 1. \(\sin x < x < \tan x\)仅在\(0<x<\pi/2\)成立；
2. \(|\sin x|\leq|x|\)的等号仅在\(x=0\)时成立
正弦/余弦函数极限证明 \(\lim\limits_{x\to x_0}\sin x=\sin x_0\)，\(\lim\limits_{x\to x_0}\cos x=\cos x_0\) 和差化积公式拆分，结合\(|\sin t|\leq|t|\)与\(|\cos t|\leq1\)放缩 三角函数连续性证明、三角函数极限运算 放缩后直接取\(\delta=\varepsilon\)，逻辑简洁严谨，无需复杂变形
平方根函数极限证明 \(\lim\limits_{x\to x_0}\sqrt{x}=\sqrt{x_0}\ (x_0\geq0)\) 分子有理化，将根式差转化为线性差，简化放缩 根式函数连续性证明、含根号的极限运算 1. \(x_0=0\)时仅需证明右极限；
2. \(x_0>0\)时必须取\(\delta=\min\{x_0,...\}\)，保证\(x\geq0\)，函数有定义
无穷远根式极限证明 \(\lim\limits_{x\to\infty}\sqrt{\frac{x^2+1}{x^2-1}}=1\) 1. ε-Δ法：两次有理化+放缩，简化不等式；
2. 运算法则法：分子分母同除最高次幂，结合复合函数极限		 无穷远分式根式极限的证明与计算 1. ε-Δ法需先限制\(|x|\)的范围，保证表达式有意义且方便放缩；
2. 运算法则法需保证分母极限不为0，复合函数在极限点处连续
极限证明的通用严谨性处理 分情况讨论、δ/Δ取最值 1. 限制自变量范围简化放缩；
2. δ取多个范围的最小值，Δ取多个范围的最大值		 所有ε-δ/ε-Δ极限证明 必须保证自变量落在函数定义域内，不能出现函数无定义的情况

posted on 2026-04-02 08:24  Indian_Mysore  阅读(0)  评论(0)    收藏  举报

导航