函数的极限

一、函数极限的定义

$\lim\limits_{x\to x_0}f(x)=A\Leftrightarrow$对于$\forall\epsilon>0,\exists\delta>0$,使得$\forall x\in(x_0-\delta,x_0+\delta)$,满足$|f(x)-A|<\epsilon$。

$\lim\limits_{x\to \pm\infty}f(x)=A\Leftrightarrow$对于$\forall\epsilon>0,\exists x_0>0$,使得$\forall x>(<)x_0$,满足$|f(x)-A|<\epsilon$。

【注】$\lim\limits_{x\to x_0}f(x)$与$f(x_0)$无关（不一定相等）,它只表示$f(x)$在$x_0$点上的趋向性。

$\lim\limits_{x\to x_0}f(x)=f(x)\Leftrightarrow f(x)在x_0$连续。

$f(x)$在定义域上任一点连续$f(x)\Leftrightarrow f(x)$连续。

二、函数极限的性质

1.唯一性

函数在一点上最多有一个极限。

2.保序性

若$\lim\limits_{x\to x_0}f(x)<\lim\limits_{x\to x_0}g(x)$,则存在$\delta$,使得$\forall x\in(x_0-\delta,x_0+\delta)$,满足$f(x)<g(x)$。

3.夹逼性

若三个函数$f(x),g(x),h(x),\exists\delta$,使$\forall x\in(x_0-\delta,x_0+\delta)$满足$f(x)\le g(x)\le h(x)$,且$\lim\limits_{x\to x_0}f(x)=\lim\limits_{x\to x_0}h(x)=a,则\lim\limits_{x\to x_0}g(x)=a$。

三、运算法则。

设$\lim\limits_{x\to x_0}f(x)=a,\lim\limits_{x\to x_0}g(x)=b$。

1.$\alpha\lim\limits_{x\to x_0}f(x)+\beta\lim\limits_{x\to x_0}f(x)=\alpha a·\beta b$

2.$\lim\limits_{x\to x_0}f(x)$·$\lim\limits_{x\to x_0}f(x)=a·b$

3.$\lim\limits_{x\to x_0}\frac{f(x)}{g(x）}=\frac{a}{b}(b\ne0)$

4.$\lim\limits_{x\to x_0}log(\sqrt)f(x)=log(\sqrt)\lim\limits_{x\to x_0}f(x)$

四、常见函数极限。

1.$当p>0,\lim\limits_{x\to +\infty}p^\frac{1}{x}=1$

$证明：当p>1,p^\frac{1}{x}>1,不妨设p^\frac{1}{x}=1+y,则p=(1+y)^x=C_x^01+C_x^1y^1+C_x^2y^2+···+C_x^xy^x>1+xy,所以y<\frac{p-1}{x}，任取\epsilon>0,则\exists x_0=\frac{p-1}{\epsilon},当x>x_0时，满足|f(x)-1|<\epsilon,所以当p>1,\lim\limits_{x\to +\infty}p^\frac{1}{x}=1$
$当0<p<1,则\frac{1}{p}>1,所以\lim\limits_{x\to +\infty}p^\frac{1}{x}=\frac{1}{\lim\limits_{x\to +\infty}\frac{1}{p}^\frac{1}{x}}=1$.
综上，$当p>0,\lim\limits_{x\to +\infty}p^\frac{1}{x}=1$/

2.$当x>0,\lim\limits_{x\to +\infty}x^\frac{1}{x}=1$

证明方法与1类似，用二次项公式时取$C_n^2x^2$项即可.

3.$\lim\limits_{x\to 0}\frac{sinx}{x}=1$

证明：由单位圆可得$S_{三角形OAB}\le S_{扇形OAC}\le S_{三角形OAB}$
即$\frac{1}{2}sinx\le\frac{1}{2}x\le\frac{1}{2}tanx$
所以得$cosx\le\frac{sinx}{x}\le 1$,
由夹逼定理得$\lim\limits_{x\to 0}\frac{sinx}{x}=\lim\limits_{x\to 0}cosx=1$,证毕.
[引申]由上式两边同除以$cosx$可得$\lim\limits_{x\to x_0}\frac{tanx}{x}=1$

4.已知$\lim\limits_{x\to +\infty}(1+\frac{1}{x})^x=\lim\limits_{x\to 0}(1+x)^\frac{1}{x}=e$,求$\lim\limits_{x\to -\infty}(1+\frac{1}{x})^x$.

解：设$y=-x$,$\lim\limits_{x\to -\infty}(1+\frac{1}{x})^x=\lim\limits_{y\to +\infty}(1-\frac{1}{y})^{-y}$,
而$\lim\limits_{y\to +\infty}(1-\frac{1}{y})^{y}=\lim\limits_{y\to +\infty}\frac{1}{(1+\frac{1}{y-1})^{y-1}}·\lim\limits_{y\to +\infty}\frac{1}{(1+\frac{1}{y-1})}=\frac{1}{e}$,
所以$\lim\limits_{x\to -\infty}(1+\frac{1}{x})^x=1$.

5.$\lim\limits_{x\to 0}\frac{ln(x+1)}{x}=1$

证明：$\lim\limits_{x\to 0}\frac{ln(x+1)}{x}=\lim\limits_{x\to 0}ln(1+x)^\frac{1}{x}=ln\lim\limits_{x\to 0}(1+x)^\frac{1}{x}=lne=1$.

6.$\lim\limits_{x\to 0}\frac{e^x-1}{x}=1$

证明：设$y=e^x-1$,则$x=ln(y+1)$,当$x\to 0,则y\to 0$,
所以$\lim\limits_{x\to 0}\frac{e^x-1}{x}=\lim\limits_{y\to 0}\frac{y}{ln(y+1)}=1$

由 3，5，6可知，当函数中只有同级运算时，$\lim\limits_{x\to 0}f(x)$中$x,sinx,tanx,ln(x+1),e^x-1$可相互替换。