函数极限＜1＞——函数极限

函数极限的基本概念与性质

函数极限的定义

定义1.1 函数极限

若函数$f\left(x\right)$在去心邻域$\mathring{U}\left(x_0,\delta \right)$内有定义,$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(0<\left|x-x_0\right|<\delta \right)$,$\left|f\left(x\right)-A\right|<\epsilon$,则称函数$f\left(x\right)$以实数$A$为极限,或函数$f\left(x\right)$收敛于极限$A$,符号化表述为${\lim }_{x\to x_0}f\left(x\right)=A$或$f\left(x\right)\to A(x\to x_0)$。

函数极限的性质

定理1.1 函数极限的唯一性

若${\lim }_{x\to x_0}f\left(x\right)=A$,${\lim }_{x\to x_0}f\left(x\right)=B$,则$A=B$。

由极限定义,$\forall \epsilon >0$,$\exists {\delta }_1>0$:$\forall x\left(0<\left|x-x_0\right|<{\delta }_1\right)$,$\left|f\left(x\right)-A\right|<\frac{\epsilon }{2}$,
同理,$\forall \epsilon >0$,$\exists {\delta }_2>0$:$\forall x\left(0<\left|x-x_0\right|<{\delta }_2\right)$,$\left|f\left(x\right)-A\right|<\frac{\epsilon }{2}$,
取 δ = min ⁡ { δ 1 , δ 2 } \delta =\min \left \{ \delta _{1},\delta _{2} \right \} δ=min{δ1​,δ2​},则以上结论均成立,根据三角不等式有:
$\left|A-B\right|<\left|A-f\left(x\right)\right|+\left|f\left(x\right)-B\right|<\frac{\epsilon }{2}+\frac{\epsilon }{2}=\epsilon$
由于$\epsilon$是任意小的正实数,所以只有当$A=B$时不等式才恒成立。

定理1.2 函数极限的局部保序性

若$A<B$,${\lim }_{x\to x_0}f\left(x\right)=A$,${\lim }_{x\to x_0}g\left(x\right)=B$,则$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(0<\left|x-x_0\right|<\delta \right)$,$f\left(x\right)<g\left(x\right)$。

由极限定义,$\forall \epsilon >0$,$\exists {\delta }_1>0$:$\forall x\left(0<\left|x-x_0\right|<{\delta }_1\right)$,$\left|f\left(x\right)-A\right|<\epsilon$,
同理,$\forall \epsilon >0$,$\exists {\delta }_2>0$:$\forall x\left(0<\left|x-x_0\right|<{\delta }_2\right)$,$\left|g\left(x\right)-B\right|<\epsilon$,
取 δ = min ⁡ { δ 1 , δ 2 } \delta =\min \left \{ \delta _{1},\delta _{2} \right \} δ=min{δ1​,δ2​},则以上结论均成立,同时令$\epsilon =\frac{B-A}{2}$,使得:
$A-\epsilon <f\left(x\right)<A+\epsilon =B-\epsilon <g\left(x\right)<B+\epsilon$
即$f\left(x\right)<g\left(x\right)$。
其逆命题——函数极限的局部保不等号性也成立。

定理1.3 函数极限的局部有界性

${\lim }_{x\to x_0}f\left(x\right)=A$,$k\le A\le K$,则$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(0<\left|x-x_0\right|<\delta \right)$,$\exists 0\le m\le M$:$m\le f\left(x\right)\le M$。

若函数$f\left(x\right)$在点$x_0$处无定义,则令$k=g\left(x\right)$,$K=h\left(x\right)$,即$g\left(x\right)\le A\le h\left(x\right)$,
根据函数极限的局部保序性,$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(0<\left|x-x_0\right|<\delta \right)$,$k=g\left(x\right)\le f\left(x\right)\le h\left(x\right)=K$。
若函数$f\left(x\right)$在点$x_0$处有定义,则参照上文, m = min ⁡ { k , f ( x 0 ) } ≤ f ( x ) ≤ max ⁡ { K , f ( x 0 ) } = M m=\min \left \{ k,f\left ( x_{0} \right ) \right \}\le f\left ( x \right ) \le \max \left \{ K,f\left ( x_{0} \right ) \right \}=M m=min{k,f(x0​)}≤f(x)≤max{K,f(x0​)}=M。

定理1.4 函数极限的迫敛性

若${\lim }_{x\to x_0}f\left(x\right)={\lim }_{x\to x_0}h\left(x\right)=A$,又有$f\left(x\right)\le g\left(x\right)\le h\left(x\right)$,则${\lim }_{x\to x_0}g\left(x\right)=A$。

根据极限定义,$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(0<\left|x-x_0\right|<\delta \right)$,$\left|f\left(x\right)-A\right|<\epsilon \Rightarrow A-\epsilon <f\left(x\right)$,
同理$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(0<\left|x-x_0\right|<\delta \right)$,$\left|h\left(x\right)-A\right|<\epsilon \Rightarrow h\left(x\right)<A+\epsilon$。
根据数列极限的有界性,$A-\epsilon <f\left(x\right)\le g\left(x\right)\le h\left(x\right)<A+\epsilon$,${\lim }_{x\to x_0}g\left(x\right)=A$。

定理1.5 函数极限的四则运算

${\lim }_{x\to x_0}f\left(x\right)=A$,${\lim }_{x\to x_0}g\left(x\right)=B$,以下结论成立:
(1)${\lim }_{x\to x_0}\left(f\left(x\right)\pm g\left(x\right)\right)={\lim }_{x\to x_0}f\left(x\right)\pm {\lim }_{x\to x_0}g\left(x\right)=A\pm B$
(2)${\lim }_{x\to x_0}\left(f\left(x\right)\cdot g\left(x\right)\right)={\lim }_{x\to x_0}f\left(x\right)\cdot {\lim }_{x\to x_0}g\left(x\right)=A\cdot B$
(3)${\lim }_{x\to x_0}\left(\frac{f\left(x\right)}{g\left(x\right)}\right)=\frac{{\lim }_{x\to x_0}f\left(x\right)}{{\lim }_{x\to x_0}g\left(x\right)}=\frac{A}{B}(B\ne 0)$

函数极限定义的扩充

定义1.2 单侧极限

若函数$f\left(x\right)$在去心邻域$\mathring{U}\left(x_0-\delta ,x_0\right)$内有定义,$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(-\delta <x-x_0<0\right)$,$\left|f\left(x\right)-A\right|<\epsilon$,则称函数$f\left(x\right)$以实数$A$为左极限,或函数$f\left(x\right)$收敛于左极限$A$,符号化表述为${\lim }_{x\to x_0^{-}}f\left(x\right)=A$或$f\left(x\right)\to A(x\to x_0^{-})$。
若函数$f\left(x\right)$在去心邻域$\mathring{U}\left(x_0,x_0+\delta \right)$内有定义,$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(0<x-x_0<\delta \right)$,$\left|f\left(x\right)-A\right|<\epsilon$,则称函数$f\left(x\right)$以实数$A$为右极限,或函数$f\left(x\right)$收敛于右极限$A$,符号化表述为${\lim }_{x\to x_0^{+}}f\left(x\right)=A$或$f\left(x\right)\to A(x\to x_0^{+})$。
函数极限存在当且仅当左右极限存在且相当。

变化趋势的扩充

函数的自变量可有以下的趋向:
(1)$x\to x_0^{+}$
(2)$x\to x_0^{-}$
(3)$x\to x_0$
(4)$x\to +\infty$
(5)$x\to -\infty$
(6)$x\to \infty$

极限取值的扩充

函数的极限可有以下的取值:
(1)$A$有穷量
(2)$A=+\infty$
(3)$A=-\infty$
(4)$A=\infty$
极限趋向于无穷大时的定义可参考数列极限中无穷大量的定义,本系列专栏中极限收敛仅限于极限存在且有限的情形,而本系列专栏中极限存在可进一步扩充实数域,统一将无穷大和有穷实数接纳为有意义的极限,一般情况下根据语境和实际应用判断是否应将无穷大也视为极限存在。

函数极限的Cauchy收敛原理

Cauchy收敛原理

$f(x)$收敛(极限存在且有限)当且仅当$\forall \epsilon >0$,$\exists X\in \mathbb{R}$:$\forall x^{\prime }$,$x^{\prime \prime }>X$,$\left|f\left(x^{\prime }\right)-f\left(x^{\prime \prime }\right)\right|<\epsilon$。

<1>必要性
由函数极限的定义,$\forall \epsilon >0$,$\exists X$:$\forall x^{\prime }>X$,$\left|f\left(x^{\prime }\right)-A\right|<\frac{\epsilon }{2}$,
同理,$\forall \epsilon >0$,$\exists X$:$\forall x^{\prime \prime }>X$,$\left|f\left(x^{\prime \prime }\right)-A\right|<\frac{\epsilon }{2}$,
根据三角不等式:
$\left|f\left(x^{\prime }\right)-A\right|+\left|A-f\left(x^{\prime \prime }\right)\right|=\left|f\left(x^{\prime }\right)-f\left(x^{\prime \prime }\right)\right|<\frac{\epsilon }{2}+\frac{\epsilon }{2}=\epsilon$
<2>充分性
取正无穷大量数列 { x n } \left \{ x_{n} \right \} {xn​},$\forall \epsilon >0$,$\exists X$,$\forall x_m$,$x_n>X$,$\left|f\left(x_n\right)-f\left(x_m\right)\right|<\epsilon$,
根据数列极限的Cauchy收敛原理,数列 { f ( x n ) } \left \{ f\left ( x_{n} \right ) \right \} {f(xn​)}收敛,
根据Heine定理,函数$f\left(x\right)$也收敛。