【高等数学基础进阶】函数、极限、连续-极限-part1

一、极限的概念

1. 数列的极限

定义1：$$\underset{n\to \infty }{\lim }{x}_n=A$$
$\forall ϵ>0,\exists N>0$，当$n>N$时，恒有$|x_n-A|<ϵ$
注：

1. $ϵ$与$N$的作用：
   $ϵ$刻画数列的项$x_n$与常数$A$的接近程度
   $N$刻画$n$趋向于$\infty$的过程
2. 几何意义：$\forall ϵ>0,\exists N>0$，当$n>N$时，所有$x_n$都落在$(A-ϵ,A+ϵ)$
3. 数列 { x n } \{x_{n}\} {xn​}的极限与前有限项无关。例如，单调有界准则可以只对于后无穷多项，而前有限项可以不单调
4. $\underset{n\to \infty }{\lim }{x}_n=a\iff \underset{k\to \infty }{\lim }{x}_{2k-1}=\underset{k\to \infty }{\lim }{x}_{2k}=a$

例1：$\underset{n\to \infty }{\lim }(\frac{n+1}{n}{)}^{(-1{)}^n}=$（）

用奇偶项
当$n$为奇数时
$$x_n=(\frac{n+1}{n}{)}^{-1}$$
$$\underset{n\to \infty }{\lim }{x}_n=\underset{n\to \infty }{\lim }(\frac{n+1}{n}{)}^{-1}=1$$
当$n$为偶数时
$$x_n=(\frac{n+1}{n})$$
$$\underset{n\to \infty }{\lim }{x}_n=\underset{n\to \infty }{\lim }(\frac{n+1}{n})=1$$
$$\underset{n\to \infty }{\lim }{x}_n=\underset{n\to \infty }{\lim }(\frac{n+1}{n}{)}^{(-1{)}^n}=1$$

也可以夹逼
$$(\frac{n+1}{n}{)}^{-1}\le (\frac{n+1}{n}{)}^{(-1{)}^n}\le \frac{n+1}{n}$$
由于
$$\underset{n\to \infty }{\lim }(\frac{n+1}{n}{)}^{-1}=1,\underset{n\to \infty }{\lim }\frac{n+1}{n}=1$$
有
$$\underset{n\to \infty }{\lim }(\frac{n+1}{n}{)}^{(-1{)}^n}=1$$

例2：试证明
若$\underset{n\to \infty }{\lim }{x}_n=a$，则$\underset{n\to \infty }{\lim }|x_n|=|a|$，但反之不成立
证：
$$\underset{n\to \infty }{\lim }{x}_n=a\Rightarrow \forall ϵ>0,\exists N>0,\text{当}n>N,|x_n-a|<ϵ$$
要证
$$\forall ϵ>0,\exists N>0,\text{当}n>N,||x_n|-|a||<ϵ$$
又因为
$$||a|-|b||\le |a-b|$$
即$||x_n|-|a||\le |x_n-a|$
得证

反之不成立，反例$x_n=(-1{)}^n$

推广：$\underset{n\to \infty }{\lim }{x}_n=0$的充分必要条件是$\underset{n\to \infty }{\lim }|x_n|=0$

2. 函数的极限

a. 自变量趋于无穷大时函数的极限

定义2：
$$\underset{x\to +\infty }{\lim }f(x)=A$$
$\forall ϵ>0,\exists X>0$，当$x>X$时，恒有$|f(x)-A|<ϵ$
定义3：
$$\underset{x\to -\infty }{\lim }f(x)=A$$
$\forall ϵ>0,\exists X>0$，当$x<-X$时，恒有$|f(x)-A|<ϵ$
定义4：
$$\underset{x\to \infty }{\lim }f(x)=A$$
$\forall ϵ>0,\exists X>0$，当$x>|X|$时，恒有$|f(x)-A|<ϵ$

注意：$n\to \infty \iff n\to +\infty ;x\to \infty \iff |x|\to \infty$

定理1：$$\underset{x\to \infty }{\lim }f(x)=A\iff \underset{x\to +\infty }{\lim }f(x)=\underset{x\to -\infty }{\lim }f(x)=A$$

例3：极限$\underset{x\to \infty }{\lim }\frac{\sqrt{x^2+1}}{x}=$

$$\underset{x\to +\infty }{\lim }\frac{x\sqrt{1+\frac{1}{x^2}}}{x}=1,\underset{x\to -\infty }{\lim }\frac{(-x)\sqrt{1+\frac{1}{x^2}}}{x}=-1$$

b. 自变量趋于有限值时函数的极限

定义5：
$$\underset{x\to x_0}{\lim }f(x)=A$$
$\forall ϵ>0,\exists \delta >0$，当$0<|x-x_0|<\delta$时，恒有$|f(x)-A|<ϵ$

注：

1. $ϵ$的任意性，$ϵ$和$\delta$的作用

2. 几何意义：$\forall ϵ>0,\exists \delta >0$，当$0<|x-x_0|<\delta$时，函数值$f(x)$落在$A-ϵ$和$A+ϵ$两条直线之间
   

3. $x\to x_0$，但$x\ne x_0$
   注意定义
   $0<|x-x_0|<\delta$，左边说明不能等于$0$，因此$x\to x_0$，但$x\ne x_0$。这一点可以有定义也可以没定义，有定义函数值也可以不落在$U(A,ϵ)$中
   $|f(x)-A|<ϵ$，左边没有限制，所以$f(x)\to A$，可以$f(x)=A$
   对于
   $$\underset{x\to 0}{\lim }\frac{\sin x}{x}=1$$
   但
   $$\underset{x\to 0}{\lim }\frac{\sin (x\sin \frac{1}{x})}{x\sin \frac{1}{x}}\ne 0$$
   虽然$x\sin \frac{1}{x}\to 0$，但不满足$x\sin \frac{1}{x}\ne 0$，当$x=\frac{1}{n\pi }\to 0$时，分母等于$0$。
   其次，如果一个函数在$x_0$处有极限，$x_0$处可以没有定义，但要满足在其去心邻域必须处处有定义。对于本题，无论去心邻域再小，都有使得分母为$0$的点，分式无意义，该极限不存在。

左极限：
$$\underset{x\to x_0^{-}}{\lim }f(x)=f(x_0^{-})=f(x_0-0)$$
右极限：
$$\underset{x\to x_0^{+}}{\lim }f(x)=f(x_0^{+})=f(x_0+0)$$

定理2：
$$\underset{x\to x_0}{\lim }f(x)=A\iff \underset{x\to x_0^{-}}{\lim }f(x)=\underset{x\to x_0^{+}}{\lim }f(x)=A$$

需要分左、右极限求极限的问题主要分三种：

• 分段函数在分界点处的极限（在该分界点两侧函数表达式不同）
• $e^{\infty }$型极限（如$\underset{x\to 0}{\lim }{e}^{\frac{1}{x}},\underset{x\to \infty }{\lim }{e}^x,\underset{x\to \infty }{\lim }{e}^{-x}$）
• $\arctan \infty$型极限（如$\underset{x\to 0}{\lim }\arctan \frac{1}{x},\underset{x\to \infty }{\lim }\arctan x$）

例4：当$x\to 1$时，函数$\frac{x^2-1}{x-1}{e}^{\frac{1}{x-1}}$的极限为（）

本题出现$e^{\infty }$，所以要分左、右极限
$$\underset{x\to 1^{-}}{\lim }\frac{x^2-1}{x-1}{e}^{\frac{1}{x-1}}=\underset{x\to 1^{-}}{\lim }\frac{x+1}{1}{e}^{\frac{1}{x-1}}=2\times 0=0$$
$$\underset{x\to 1^{+}}{\lim }\frac{x^2-1}{x-1}{e}^{\frac{1}{x-1}}=\underset{x\to 1^{+}}{\lim }\frac{x+1}{1}{e}^{\frac{1}{x-1}}=+\infty$$
显然不存在，且不为$\infty$

二、极限性质

1. 有界性

1. （数列）如果数列 { x n } \{x_{n}\} {xn​}收敛，那么数列 { x n } \{x_{n}\} {xn​}一定有界
   收敛一定有界，有界不一定收敛。$x_n=(-1{)}^n$
2. （函数）若$\underset{x\to x_0}{\lim }f(x)$存在，则$f(x)$在$x_0$某去心邻域有界（即局部有界）
   $\underset{x\to x_0}{\lim }f(x)$存在一定$f(x)$局部有界，$f(x)$局部有界不一定$\underset{x\to x_0}{\lim }f(x)$存在。$\underset{x\to 0}{\lim }\sin \frac{1}{x}$有界，但极限不存在

以上都是对极限定义的进一步表述

2. 保号性

1. （数列）设$\underset{n\to \infty }{\lim }{x}_n=A$
   1. 如果$A>0$（或$A<0$），则存在$N>0$，当$n>N$时，$x_n>0$（或$x_n<0$）
      $\{\begin{array}{l}A>0\to x_n>0\\ A\ge 0\nrightarrow x_n\ge 0,\text{反例}{x}_n=\frac{(1-{)}^n}{n}\to 0\end{array}$
   2. 如果存在$N>0$，当$n>N$时，$x_n\ge 0$（或$x_n\le 0$），则$A\ge 0$（或$A\le 0$）
      $\{\begin{array}{l}{x}_n\ge 0\to A\ge 0\\ x_n>0\to A\ge 0\\ x_n>0\nrightarrow A>0,\text{反例}\frac{1}{n}\to 0\end{array}$
2. （函数）设$\underset{x\to x_0}{\lim }f(x)=A>0$
   1. 如果$A>0$（或$A<0$），则存在$\delta >0$，当$x\in \mathring{U}(x_0,\delta )$时，$f(x)>0$（或$f(x)<0$）
   2. 如果存在$\delta >0$，当$x\in \mathring{U}(x_0,\delta )$时，$f(x)\ge 0$（或$f(x)\le 0$），那么$A\ge 0$（或$A\le 0$）

数列保充分大，函数保临近

例5：设$\underset{x\to a}{\lim }\frac{f(x)-f(a)}{(x-a{)}^2}=-1$，则在点$x=a$处取得极（）值，f$f^{\prime }(a)=$（）

由$\underset{x\to a}{\lim }\frac{f(x)-f(a)}{(x-a{)}^2}=-1<0$及极限的保号性可知，在点$x=a$
$$\frac{f(x)-f(a)}{(x-a{)}^2}<0$$
即$f(x)-f(a)<0$
如果$f^{\prime }(a)$存在，$f^{\prime }(a)=\underset{x\to a}{\lim }\frac{f(x)-f(a)}{x-a}$
由于$\underset{x\to a}{\lim }\frac{f(x)-f(a)}{(x-a{)}^2}=-1$，可知
$$\underset{x\to a}{\lim }\frac{f(x)-f(a)}{x-a}\cdot \frac{1}{x-a}\to -1$$
由于$\frac{1}{x-a}\to \infty ,\underset{x\to a}{\lim }\frac{f(x)-f(a)}{(x-a{)}^2}=-1$可知
$$\underset{x\to a}{\lim }\frac{f(x)-f(a)}{x-a}=0$$
因此$f^{\prime }(a)=0$

3.极限值与无穷小之间的关系

$\lim f(x)=A\iff f(x)=A+\alpha (x)$，其中$\lim \alpha (x)=0$

$\alpha (x)$也能体现逼近而不相等

三、极限存在准则

1. 夹逼准则

若存在$N$，当$n>N$时，$x_n\le y_n\le z_n$，且$\underset{n\to \infty }{\lim }{x}_n=\underset{n\to \infty }{\lim }{z}_n=a$，则$\underset{n\to \infty }{\lim }{y}_n=a$

常用于$n$项和定义的数列极限

2. 单调有界准则

单调有界数列必有极限

• 单调增。有上界的数列必有极限
• 单调减、有下界的数列必有极限

常用于递推关系定义的数列极限。$x_{n+1}=f(x_n)$

例6：求极限$\underset{n\to \infty }{\lim }[\frac{n}{n^2+1}+\frac{n}{n^2+2}+\cdots +\frac{n}{n^2+n}]$

由于
$$\frac{n^2}{n^2+n}\le [\frac{n}{n^2+1}+\frac{n}{n^2+2}+\cdots +\frac{n}{n^2+n}]\le \frac{n^2}{n^2+1}$$
又
$$\underset{n\to \infty }{\lim }\frac{n^2}{n^2+n}=\underset{n\to \infty }{\lim }\frac{n^2}{n^2+1}=1$$
由夹逼原理知$\underset{n\to \infty }{\lim }[\frac{n}{n^2+1}+\frac{n}{n^2+2}+\cdots +\frac{n}{n^2+n}]=1$

例7：求极限$\underset{x\to 0^{+}}{\lim }x[\frac{1}{x}]$

对于取整函数，有$x-1<[x]\le x$

由于
$$\frac{1}{x}-1<[\frac{1}{x}]\le \frac{1}{x}$$
上式两端同时乘以$x$，得
$$1-x<x[\frac{1}{x}]\le 1$$
由夹逼原理知$\underset{x\to 0^{+}}{\lim }x[\frac{1}{x}]=1$

例8：求极限$\underset{n\to \infty }{\lim }\frac{2^n}{n!}$

由于
$$0<\frac{2^n}{n!}=\frac{2\times 2}{1\times 2}\times \frac{2\times 2\times \cdots }{3\times 4\times \cdots }\times \frac{2}{n}<\frac{4}{n}$$
又
$$\underset{n\to \infty }{\lim }\frac{4}{n}=0$$
由夹逼原理知$\underset{n\to \infty }{\lim }\frac{2^n}{n!}=0$

使用单调有界准则
令$x_n=\frac{2^n}{n!}$，则
$$x_{n+1}=x_n\cdot \frac{2}{n+1}$$
由于
$$\frac{x_{n+1}}{x_n}=\frac{2}{n+1}\le 1$$
则数列 { x n } \{x_{n}\} {xn​}单调减，又$x_n=\frac{2^n}{n!}>0$，即 { x n } \{x_{n}\} {xn​}有下界，由单调有界准则知，数列 { x n } \{x_{n}\} {xn​}收敛
设$\underset{n\to \infty }{\lim }{x}_n=a$，等式$x_{n+1}=x_n\cdot \frac{2}{n+1}$两端取极限，得
$$a=a\cdot 0$$
则$a=0$

四、无穷小量

1. 无穷小量的概念

若函数$f(x)$当$x\to x_0$（或$x\to \infty$）时的极限为零，则称$f(x)$为$x\to x_0$（或$x\to \infty$）时的无穷小量

$0$是唯一可以看做无穷小量的常数

2. 无穷小的比较

设$\alpha (x)\to 0,\beta (x)\to 0$

• 高阶：若$\lim \frac{\alpha (x)}{\beta (x)}=0$；记为$\alpha (x)=o(\beta (x))$
  分子趋向零的速度比分母快
• 低阶：若$\lim \frac{\alpha (x)}{\beta (x)}=\infty$
  谁趋向零更快，设就是另一个的高阶无穷小
• 同阶：若$\lim \frac{\alpha (x)}{\beta (x)}=C\ne 0$
• 等价：若$\lim \frac{\alpha (x)}{\beta (x)}=1$；记为$\alpha (x)\sim \beta (x)$
• 无穷小的阶：若$\lim \frac{\alpha (x)}{[\beta (x){]}^k}=C\ne 0$，称$\alpha (x)$是$\beta (x)$的$k$阶无穷下
  引入$k$，类似引入度量单位，能够说明对于某一变量的两个高阶无穷小，设趋向零的速度更快

例9：设$f(x)=2^x+3^x-2$，则当$x\to 0$时，证明$f(x)$与$x$是同阶但非等价的无穷小量

$$\underset{x\to 0}{\lim }\frac{2^x+3^x-2}{x}=\underset{x\to 0}{\lim }\frac{2^x-1}{x}+\underset{x\to 0}{\lim }\frac{3^x-1}{x}=\ln 2+\ln 3=\ln 6$$
由于
$$\ln 6\ne 0,\ln 6\ne 1$$
因此，$f(x)$与$x$是同阶但非等价的无穷小量

3. 无穷小的性质

• 有限个无穷小的和仍是无穷小
• 有限个无穷小的积仍是无穷小
• 无穷小量与有界量的积仍是无穷小
  无穷小量也是有界量

五、无穷大量

1. 无穷大量的概念

若函数$f(x)$当$x\to x_0$（或$x\to \infty$）时趋向于无穷，则称$f(x)$为$x\to x_0$（或$x\to \infty$）时的无穷大量

即：若对任意给定的$M>0$，总存在$\delta >0$，当$0<|x-x_0|<\delta$时，恒有$|f(x)|>M$

无穷大量是指$|f(x)|\to \infty$，即$f(x)\to +\infty$或$f(x)\to -\infty$

2. 常用的一些无穷大量的比较

• 当$x\to \infty$时，${\ln }^{\alpha }x<<x^{\beta }<<a^x$，其中$\alpha >0,\beta >0,a>1$
• 当$n\to \infty$，${\ln }^{\alpha }n<<n^{\beta }<<a^n<<n!<<n^n$，其中$\alpha >0,\beta >0,a>1$

例10：设$f(x)={\ln }^{10}x,g(x)=x,h(x)=e^{\frac{x}{10}}$，则当$x$充分大时，比较$f(x),g(x),h(x)$的大小关系

根据常用的一些无穷大量的比较，可得
$$f(x)<g(x)<h(x)$$

3. 无穷大量的性质

• 有限个无穷大量的积仍是无穷大量
• 无穷大量与有界变量之和认为无穷大量

4. 无穷大量与无界变量的关系

数列 { x n } \{x_{n}\} {xn​}是无穷大量：$\forall M>0,\exists N>0$，当$n>N$，恒有$|x_n|>M$
数列 { x n } \{x_{n}\} {xn​}是无界变量：$\forall M>0,\exists N>0$，使$|x_N|>M$

数列是无穷大量一定是无界变量，反之不成立。

例11：$$x_n\{\begin{array}{l}n,n\text{为奇数}\\ 0,n\text{为偶数}\end{array}$$
是无界变量但不是无穷大量

无穷大量的性质对于无界变量不通用

5. 无穷大量与无穷小量的关系

在同一极限过程中，如果$f(x)$是无穷大，则$\frac{1}{f(x)}$是无穷小；反之，如果$f(x)$是无穷小，且$f(x)\ne 0$，则$\frac{1}{f(x)}$是无穷大

例12：$f(x)\equiv 0$，是$x\to x_0$时的无穷小量，但$\frac{1}{f(x)}$无意义
​

活动地址：CSDN21天学习挑战赛