無窮小的性質和極限運算法則的證明

極限運算法則即函數的和、差、積、商、複合求極限的法則。即
以$x\to x_0$為例，數學表達為：如果$\underset{x\to x_0}{\lim }f(x)=A$，$\underset{x\to x_0}{\lim }g(x)=B$。
1）$\underset{x\to x_0}{\lim }\left[f(x)\pm g(x)\right]=\underset{x\to x_0}{\lim }f(x)\pm \underset{x\to x_0}{\lim }g(x)=A\pm B$。
2）$\underset{x\to x_0}{\lim }\left[f(x)\cdot g(x)\right]=\underset{x\to x_0}{\lim }f(x)\cdot \underset{x\to x_0}{\lim }g(x)=A\cdot B$。
3）若$B\ne 0$ ,$\underset{x\to x_0}{\lim }\frac{f(x)}{g(x)}=\frac{\underset{x\to x_0}{\lim }f(x)}{\underset{x\to x_0}{\lim }g(x)}=\frac{A}{B}$。
4）函數$y=f[g(x)]$是由函數$u=g(x)$與函數$y=f(u)$複合而成，若$\underset{x\to x_0}{\lim }g(x)=u_0$，$\underset{u\to u_0}{\lim }f(x)=A$，則$\underset{x\to x_0}{\lim }f[g(x)]=\underset{u\to u_0}{\lim }f(u)=A$。

以上是函數極限運算法則，本文我們也證明數列的極限運算法則，以函數為主線，對應地寫數列的情況。

為了證明函數極限運算法則，我們需要使用『函數=極限值+無窮小』的公式，和無窮小的性質。

定理1 兩個無窮小的和是無窮小。
證：設$\alpha$，$\beta$是兩個無窮小，$\forall \epsilon >0$，$\exists {\delta }_1>0$，$0<|x-x_0|<{\delta }_1$，$|\alpha |<\epsilon /2$。$\exists {\delta }_2>0$，$0<|x-x_0|<{\delta }_2$，$|\beta |<\epsilon /2$。令 δ = m i n { δ 1 , δ 2 } \delta=min\{\delta_1,\delta_2\} δ=min{δ1​,δ2​}，$|\alpha +\beta |⩽|\alpha |+|\beta |<\epsilon$。故，$\alpha +\beta$是無窮小。

推論：有限個無窮小之和是無窮小。

我們來證明：兩個無窮小數列之和是無窮小數列。
證：設數列 { x n } \{x_n\} {xn​}、 { y n } \{y_n\} {yn​}是兩個無窮小，$\forall \epsilon >0$，$\exists N_1$，使得$n>N_1$，$|x_n|<\epsilon /2$。$\exists N_2$，使得$n>N_2$，$|y_n|<\epsilon /2$。令 N = m a x { N 1 , N 2 } N=max\{N_1,N_2\} N=max{N1​,N2​}，則$n>N$時，$|x_n+y_n|<|x_n|+|y_n|<\epsilon$。所以，數列 { x n + y n } \{x_n+y_n\} {xn​+yn​}也是無窮小。

定理：有界函數與無窮小的乘積是無窮小。
證：設函數$u$在$x_0$的某個去心鄰域$\mathring{U}(x_0,{\delta }_1)$是有界的，即$\exists M>0$，$|u|⩽M$，對一切$x\in \mathring{U}(x_0,{\delta }_1)$成立。
又設$\alpha$是無窮小，即$\forall \epsilon >0$，$\exists x_0$的某個去心鄰域$\mathring{U}(x_0,{\delta }_2)$，使得$|\alpha |<\frac{\epsilon }{M}$。
令 δ = m i n { δ 1 , δ 2 } \delta=min\{\delta_1,\delta_2\} δ=min{δ1​,δ2​}，則一切$x\in U(x_0,\delta )$，$|u\alpha |=|u||\alpha |<M\times \frac{\epsilon }{M}=\epsilon$。故，$x\to x_0$，$u\alpha$是無窮小。
（$x\to \infty$證明類似。）

我們來證明：有界數列與無窮小數列的乘積是無窮小數列。
證：設數列 { x n } \{x_n\} {xn​}有界，則$\exists M$，一切$x_n$，$|x_n|⩽M$。數列 { y n } \{y_n\} {yn​}是無窮小，$\forall \epsilon >0$，$\exists N>0$，$n>N$，$|y_n|<\epsilon /M$。$|x_n\cdot y_n|⩽|x_n||y_n|<M\cdot \frac{\epsilon }{M}=\epsilon$，所以數列 { x n ⋅ y n } \{x_n\cdot y_n\} {xn​⋅yn​}是無窮小數列。

推論1：常數與無窮小的乘積是無窮小。特別地，$\alpha$為無窮小，$-\alpha$也為無窮小。

推論2：有限個無窮小的乘積是無窮小。
提示：無窮小必有界。設$\beta$是無窮小。令$\epsilon =1$，$\exists x_0$的某個去心鄰域$\mathring{U}(x_0,\delta )$，$|\beta |<1$，即$x\in \mathring{U}(x_0,{\delta }_2)$，$\beta$有界。
無窮小函數的乘積是無窮小函數。
無窮小數列的乘積是無窮小數列。

定理（函數和差積商的極限運算法則）：自變量同一變化過程，兩個函數的各自的極限存在，其和差積商的極限為各自極限的和差積商。（函數作為被除數時極限值不為零。）

以$x\to x_0$為例，數學表達為：如果$\underset{x\to x_0}{\lim }f(x)=A$，$\underset{x\to x_0}{\lim }g(x)=B$。
1）$\underset{x\to x_0}{\lim }\left[f(x)\pm g(x)\right]=\underset{x\to x_0}{\lim }f(x)\pm \underset{x\to x_0}{\lim }g(x)=A\pm B$
2）$\underset{x\to x_0}{\lim }\left[f(x)\cdot g(x)\right]=\underset{x\to x_0}{\lim }f(x)\cdot \underset{x\to x_0}{\lim }g(x)=A\cdot B$
3）若$B\ne 0$ ,$\underset{x\to x_0}{\lim }\frac{f(x)}{g(x)}=\frac{\underset{x\to x_0}{\lim }f(x)}{\underset{x\to x_0}{\lim }g(x)}=\frac{A}{B}$
（$x\to \infty$類似。）

證明思路：根據無窮小和函數極限關係定理，當$x\to x_0$，$f(x)=A+\alpha$，$g(x)=B+\beta$，$\alpha$、$\beta$是無窮小。
1)$f(x)+g(x)=A+\alpha +B+\beta =(A+B)+(\alpha +\beta )$，由於兩個無窮小的和是無窮小，故$f(x)+g(x)$是常數與無窮小之和，那麽，根據無窮小和函數極限關係定理，$f(x)+g(x)$的極限存在，極限為常數，即$\underset{x\to x_0}{\lim }[f(x)+g(x)]=A+B=\underset{x\to x_0}{\lim }f(x)+\underset{x\to x_0}{\lim }g(x)$。

$-g(x)=-B-\beta$，$-\beta$也是無窮小。
$f(x)-g(x)=(A-B)+(\alpha -\beta )$，$f(x)-g(x)$也是常數與無窮小之和，故$f(x)-g(x)$的極限存在，且極限等於常數，即$\underset{x\to x_0}{\lim }[f(x)-g(x)]=A-B=\underset{x\to x_0}{\lim }f(x)-\underset{x\to x_0}{\lim }g(x)$

2）$f(x)\cdot g(x)=(A+\alpha )(B+\beta )=AB+A\beta +\alpha B+\alpha \beta$，無窮小和常數的乘積為無窮小，無窮小的乘積也為無窮小。故$f(x)\cdot g(x)$為常數和無窮小之和，故$f(x)\cdot g(x)$極限存在，且極限為常數，即$\underset{x\to x_0}{\lim }[f(x)\cdot g(x)]=A\cdot B=\underset{x\to x_0}{\lim }f(x)\cdot \underset{x\to x_0}{\lim }g(x)$

3）$\frac{f(x)}{g(x)}-\frac{A}{B}=\frac{A+\alpha }{B+\beta }-\frac{A}{B}=\frac{\alpha B-A\beta }{(B+\beta )B}$，$\alpha B-A\beta$是無窮小，我們來證明$\frac{1}{(B+\beta )B}$有界。

即找到一個正數$M$和$\delta >0$，使得一切$x\in \mathring{U}(x_0,\delta )$內，$|\frac{1}{(B+\beta )B}|<\mathrm{M}$。

$\underset{x\to x_0}{\lim }(B+\beta )=B$，$B\ne 0$，根據函數極限的局部保號性定理3’，存在$x_0$的去心鄰域$\mathring{U}(x_0,\delta )$，使得一切$x\in \mathring{U}(x_0,\delta )$，$|B+\beta |>\frac{|B|}{2}$。$\left|\frac{1}{(B+\beta )B}\right|=\frac{1}{|B+\beta ||B|}<\frac{2}{|B{|}^2}$。
令$\mathrm{M}=\frac{2}{|B{|}^2}$，我們找到了$\mathrm{M}$和$\delta$，證明了函數有界。

$\frac{f(x)}{g(x)}-\frac{A}{B}=\frac{\alpha B-A\beta }{(B+\beta )B}$，$\alpha B-A\beta$是無窮小，$\frac{1}{(B+\beta )B}$有界。有界函數與無窮小的乘積是無窮小。所以$\frac{f(x)}{g(x)}-\frac{A}{B}$是無窮小，$\frac{f(x)}{g(x)}$是$\frac{A}{B}$與無窮小的和，$\frac{f(x)}{g(x)}$極限存在，且極限是$\frac{A}{B}$。$\underset{x\to x_0}{\lim }\frac{f(x)}{g(x)}=\frac{A}{B}=\frac{\underset{x\to x_0}{\lim }f(x)}{\underset{x\to x_0}{\lim }g(x)}$。

$x\to \infty$證明類似。

推論1：如果$\underset{x\to x_0}{\lim }f(x)$存在，而c為常數，那麽，$\underset{x\to x_0}{\lim }cf(x)=c\underset{x\to x_0}{\lim }f(x)$。
因為常數可視為常數函數，極限是常數。

推論2：如果$\underset{x\to x_0}{\lim }f(x)$存在，$\underset{x\to x_0}{\lim }[f(x){]}^n=[\underset{x\to x_0}{\lim }f(x){]}^n$

定理（數列的極限計算法則）：設有數列$x_n$和$y_n$，如果$\underset{n\to \infty }{\lim }{x}_n=A$，如果$\underset{n\to \infty }{\lim }{y}_n=B$。那麽，
i）$\underset{n\to \infty }{\lim }(x_n\pm y_n)=A\pm B$；
ii）$\underset{n\to \infty }{\lim }(x_n\cdot y_n)=A\cdot B$；
iii)當$y_n\ne 0$且$B\ne 0$時，$\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=\frac{A}{B}$；
證：
i)如果我們用「數列=數列極限+無窮小」以及上述無窮小數列的性質，證明同函數和求極限公式。
但「數列和」求極限的證明可以按定義證明，from scratch。
$\forall \epsilon$，$\exists N_1>0$，使得一切$n>N_1$，$|x_n-A|<\epsilon /2$；$\exists N_2>0$，使得一切$n>N_1$，$|y_n-B|<\epsilon /2$。令 N = m a x { N 1 , N 2 } N=max\{N_1,N_2\} N=max{N1​,N2​}，則一切$n>N$，$|(x_n+y_n)-(A+B)|=|x_n-A+y_n-B|<|x_n-A|+|y_n-B|<\epsilon$，故稱$A+B$是數列$x_n+y_n$的極限，$\underset{n\to \infty }{\lim }(x_n+y_n)=A+B=\underset{n\to \infty }{\lim }{x}_n+\underset{n\to \infty }{\lim }{y}_n$。

結論：數列之和求極限等於數列各自求極限之和。

我們來證數列 { − y n } \{-y_n\} {−yn​}的極限是$-B$。
$|-y_n-(-B)|=|y_n-B|<\epsilon$，故 { − y n } \{-y_n\} {−yn​}的極限是$-B$。
所以，數列 { x n − y n } \{x_n-y_n\} {xn​−yn​}的極限可看成數列 { x n + ( − y n ) } \{x_n+(-y_n)\} {xn​+(−yn​)}的極限。數列的和求極限等於數列各自求極限之和，故$\underset{n\to \infty }{\lim }(x_n-y_n)=\underset{n\to \infty }{\lim }[x_n+(-y_n)]=\underset{n\to \infty }{\lim }{x}_n+\underset{n\to \infty }{\lim }(-y_n)=A-B=\underset{n\to \infty }{\lim }{x}_n-\underset{n\to \infty }{\lim }{y}_n$。

結論：數列之差求極限等於數列各自求極限之差。

ii)數列的乘積求極限公式的證明我們要用到：數列=數列極限+無窮小；以及上述無窮小數列的性質。從定義出發證明，不直觀。

iii)數列的商求極限公式也要用到：數列=數列極限+無窮小；以及上述無窮小數列的性質。證明同函數的商求極限公式。

定理（複合函數的極限運算法則）：設函數$y=f[g(x)]$是由函數$u=g(x)$與函數$y=f(u)$複合而成，$f[g(x)]$在點$x_0$的某去心鄰域內有定義，若$\underset{x\to x_0}{\lim }g(x)=u_0$，$\underset{u\to u_0}{\lim }f(x)=A$，且存在${\delta }_0$，當$x\in \mathring{U}(x_0,\delta )$時，有$g(x)\ne u_0$，則$\underset{x\to x_0}{\lim }f[g(x)]=\underset{u\to u_0}{\lim }f(u)=A$。

證：由於$\underset{u\to u_0}{\lim }f(u)=A$，$\forall \epsilon >0$，$\exists {\delta }_1>0$，使得一切$u\in \mathring{U}(u_0,{\delta }_1)$，$|f(u)-A|<\epsilon$。
由於$\underset{x\to x_0}{\lim }g(x)=u_0$，令${\epsilon }_2={\delta }_1$，$\exists {\delta }_2>0$，使得$0<|x-x_0|<{\delta }_2$，$|g(x)-u_0|<{\epsilon }_2={\delta }_1$。又當$x\in \mathring{U}(x_0,{\delta }_1)$有$g(x)\ne 0$，令 δ = m i n { δ 1 , δ 2 } \delta=min\{\delta_1,\delta_2\} δ=min{δ1​,δ2​}，當一切$x\in \mathring{U}(x_0,\delta )$，$0<|g(x)-u_0|<{\epsilon }_2={\delta }_1$，即$g(x)\in \mathring{U}(u_0,{\delta }_1)$，所以，$|f[g(x)]-A|<\epsilon$。

總結：$\forall \epsilon >0$，$\exists \delta >0$，使得$0<|x-x_0|<\delta$，$|f[g(x)]-A|<\epsilon$，所以，$\underset{x\to x_0}{\lim }f[g(x)]=A$。

複合函數是函數的嵌套，求極限時，做代換，$u=g(x)$，$f(u)$，求極限為兩個函數從裏層到外層依次求極限。