微积分Z2 J4 极限性质以及运算法则

简介

这一章节介绍极限的性质、运算法则以及一些定理。

唯一性

在某个变化过程中极限若存在，则该极限必然只有一个。
证明过程

这对函数和数列均适用。

有界性

若函数收敛，则函数在变化过程中在趋向的领域内或者在某个无穷区间内有界。

例如：
对数列而言，变化过程趋于正无穷，可以直接忽略变化过程的领域，认为：
收敛数列必然有界。
值得注意的是，有界数列不一定收敛，如$a_n=(-1{)}^n$这个数列是不收敛的。

对于趋于$x_0$的函数，则在$x_0$的领域内有界。

对于趋于无穷的函数，则$\exists ϵ>0,M>0,使|f(x)-A|<M$
即$|f(x)|\le |f(x)-A|+|A|<M+|A|$
由于M是任意实数，所以取M=1时，上述不等式仍然成立。
所以在$(-\infty ,-1)\cup (1,+\infty )$这个无穷区间内函数有界。
注意，M取1只是为了表述方便，取任何大于0的正数都可以。

保号性

在趋向的领域内或者某个趋向的无穷区间内，极限与函数同号。

以数列为例：
${\lim }_{n\to \infty }{a}_n=A>0$,则存在$N>0,使n>N$时，$a_n>0$

对于趋向某个常数的函数极限，则是在该常数领域内极限与函数值同号。

保号性推论

注意：
1. 下列公式结论均在趋向的领域或者某个趋向的无穷区间内才成立，并不是在所有区间都成立
2.每个结论内部涉及的变化过程，对于同一个结论内部的函数是相同的
3.下列结论对于函数和极限都适用，但请注意它们各自成立区间的不同
$\lim f(x)=a,\lim g(x)=b$

1. a>0,则$\frac{3a}{2}>f(x)>\frac{a}{2}>0$
   a<0,则$\frac{3a}{2}<f(x)<\frac{a}{2}<0$
2. a<b，则$f(x)<g(x)$；
   a>b,则$f(x)>g(x)$
3. 若$f(x)\ge g(x)$恒成立,则$a\ge b$;

海涅定理

${\lim }_{x\to x_0}f(x)=A$的充分必要条件是：
对任意趋于$x_0$的数列 { x n } ( x n ≠ x 0 ) \{x_n\}(x_n≠x_0) {xn​}(xn​​=x0​)，相应的函数值数列 { f ( x n ) } \{f(x_n)\} {f(xn​)}满足${\lim }_{n\to \infty }f(x_n)=A$。
换句话说：对任意数列 { x n } ( x n ≠ x 0 ) \{x_n\}(x_n≠x_0) {xn​}(xn​​=x0​),${\lim }_{n\to \infty }{x}_n=x_0$,且${\lim }_{n\to \infty }f(x_n)=A$。

海涅定理的详细描述

极限的四则运算

若运算过程中涉及的所有极限都存在，则：

1. $\lim f(x)\pm g(x)=\lim f(x)\pm \lim g(x)$
2. $\lim f(x)g(x)=\lim f(x)\lim g(x)$
3. $\lim \frac{f(x)}{g(x)}=\frac{\lim f(x)}{\lim g(x)},\lim g(x)\ne 0$

法则1，2可以拓展到有限个的情况。
即$\lim f_1(x)+f_2(x)+...+fn(x)=\lim f_1(x)+\lim f_2(x)+...+\lim f_n(x)$
$\lim f^n(x)=[\lim f(x){]}^n$

另外通过四则运算法则，可以得到：
${\lim }_{x\to \infty }\frac{a_0{x}^m+a_1{x}^{m-1}+...+a_m{x}^m}{b_0{x}^n+b_1{x}^{n-1}+...+b_n{x}^n}=\{\begin{array}{l}0,m<n\\ \frac{a_0}{b_0},m=n\\ \frac{a_0}{b_0}\infty ,m>n\end{array}$
因此计算这种分子分母都是多项式的极限，只需要比较分子分母最高次幂的大小，并根据系数决定数值或者正负即可。

收敛准则

数列收敛的条件定理。

单调有界定理

单调有界数列必收敛。

柯西收敛准则

数列 { a n } \{a_n\} {an​}收敛的充分必要条件是:

$\forall ϵ>0,\exists N>0$,使得$\forall n,m>0$时,对任意$p\in N$,有:
$$|a_m-a_n|<ϵ$$
另一种表达形式:
$\forall ϵ>0,$存在$N>0$,使得当$n>N$时,对任意$p\in N$,有:
$$|a_{n+p}-a_n|<ϵ$$

夹逼定理

若$$\begin{gathered} g(x)\le f(x)\le h(x) \\ \lim g(x)=\lim h(x)=a \end{gathered}$$,
则$\lim f(x)=a$
这对数列也成立.

注意,变化过程应当一致,此处省略.
另外只需要在自变量充分大或者在自变量的一个去心领域成立即可.