【高等数学】第一章 函数与极限——第三节 函数的极限

1. 函数极限的概念

当自变量的某个变化过程中
如果对应的函数值无限接近于某个确定的数
那么这个确定的数就叫做在这一变化过程中函数的极限

2. 函数极限的定义

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

设函数$f(x)$在点$x_0$的某一去心邻域内有定义
如果存在常数$A$，对于任意给定的正数$\epsilon$（不论它多么小），总存在正数$\delta$，使得当$x$满足不等式$0<|x-x_0|<\delta$时，对应的函数值$f(x)$都满足不等式$|f(x)-A|<\epsilon$
那么常数$A$就叫做函数$f(x)$当$x\to x_0$时的极限
记作
$$\begin{gathered} \underset{x\to x_0}{\lim }f(x)=A或f(x)\to A(当x\to x_0) \\ \underset{x\to x_0}{\lim }f(x)=A\iff \\ \forall \epsilon >0,\exists \delta >0,当0<|x-x_0|<\delta 时，有|f(x)-A|<\epsilon \end{gathered}$$

• 单侧极限
  如果$x$仅从$x_0$的左侧趋于$x_0$，此时$0<|x-x_0|<\delta$可以写成$x_0-\delta <x<x_0$
  那么$A$就叫做函数$f(x)$当$x\to x_0$时的左极限，记作$$\underset{x\to x_0^{-}}{\lim }f(x)=A或f(x_0^{-})=A$$
  如果$x$仅从$x_0$的右侧趋于$x_0$，此时$0<|x-x_0|<\delta$可以写成$x_0<x<x_0+\delta$
  那么$A$就叫做函数$f(x)$当$x\to x_0$时的右极限，记作$$\underset{x\to x_0^{+}}{\lim }f(x)=A或f(x_0^{+})=A$$
  左极限和右极限统称为单侧极限
  • 函数$f(x)$当$x\to x_0$时极限存在的充分必要条件是左极限和右极限各自存在且相等

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

设函数$f(x)$当$|x|$大于某一正数时有定义
如果存在常数$A$，对于任意给定的正数$\epsilon$（不论它多么小），总存在正数$X$，使得当$x$满足不等式$|x|>X$时，对应的函数值$f(x)$都满足不等式$|f(x)-A|<\epsilon$
那么常数$A$就叫做函数$f(x)$当$x\to \infty$时的极限
记作
$$\begin{gathered} \underset{x\to \infty }{\lim }f(x)=A或f(x)\to A(当x\to \infty ) \\ \underset{x\to \infty }{\lim }f(x)=A\iff \\ \forall \epsilon >0,\exists X>0,当|x|>X时，有|f(x)-A|<\epsilon \end{gathered}$$

• 单侧极限
  如果$x>0$且无限增大（记作$x\to +\infty$）
  那么将$|x|>X$改为$x>X$，就可定义$$\underset{x\to +\infty }{\lim }f(x)=A$$
  如果$x<0$且$|x|$无限增大（记作$x\to -\infty$）
  那么将$|x|>X$改为$x<-X$，就可定义$$\underset{x\to -\infty }{\lim }f(x)=A$$
• 几何意义
  直线$y=A$是函数$y=f(x)$图形的水平渐近线

3. 函数极限的性质

• 定理1（函数极限的唯一性）
  如果函数极限收敛
  那么这极限唯一
• 定理2（函数极限的局部有界性）
  如果函数极限收敛
  那么存在常数$M>0$和$\delta >0$，使得当$0<|x-x_0|<\delta$时，有$|f(x)|\le M$
• 定理3（函数极限的局部保号性）
  如果函数极限为$A$，且$A>0$(或$A<0$)
  那么存在常数$\delta >0$，使得当$0<|x-x_0|<\delta$时，有$f(x)>0(或f(x)<0)$
  • 定理$3^{\prime }$
    如果函数极限为$A(A\ne 0)$
    那么存在$x_0$的某一去心邻域，当$x$在这个去心邻域时，有$|f(x)|>\frac{|A|}{2}$
  • 推论
    如果在$x_0$的某去心邻域内$f(x)\ge 0(或f(x)\le 0)$，而且函数极限为$A$
    那么$A\ge 0(或A\le 0)$
• 定理4（函数极限与数列极限的关系）
  如果函数$f(x)$趋于$x_0$的极限存在， { x n } \{x_n\} {xn​}为$f(x)$的定义域内任一收敛于$x_0$的数列，且满足$x_n\ne x_0(n\in N_{+})$
  那么相应的函数值数列 { f ( x n ) } \{f(x_n)\} {f(xn​)}必收敛，且极限与函数$f(x)$趋于$x_0$的极限相等