函数与极限

数列的极限

数列极限的定义可表达为：
$$\underset{n\to \infty }{\lim }{x}_n=a\iff \forall \epsilon >0,\exists 正整数N,当n>N时,有|x_n-a|<\epsilon$$

• 常数$a$就称为数列 { x n } \{x_n\} {xn​}的极限，或者称数列 { x n } \{x_n\} {xn​}收敛于$a$；
• 如果不存在这样的常数$a$，就说数列 { x n } \{x_n\} {xn​}没有极限，或者说数列 { x n } \{x_n\} {xn​}是发散的.

收敛数列有以下性质：

1. 极限的唯一性：如果数列 { x n } \{x_n\} {xn​}收敛，那么它的极限唯一。
2. 收敛数列的有界性：如果数列 { x n } \{x_n\} {xn​}收敛，那么数列 { x n } \{x_n\} {xn​}一定有界，即存在正数$M$，使得对于一切$x_n$都满足$|x_n|\le M$。
3. 收敛数列的保号性：如果$\underset{n\to \infty }{\lim }{x}_n=a$，且$a>0$（或$a<0$），那么存在正整数$N$，当$n>N$时，都有$x_n>0$（或$x_n<0$）。
   • 推论：如果数列 { x n } \{x_n\} {xn​}从某项起有$x_n\ge 0$（或$x_n\le 0$），且$\underset{n\to \infty }{\lim }{x}_n=a$，那么$a\ge 0$（或$a\le 0)$。
4. 收敛数列与其子数列间的关系：如果数列 { x n } \{x_n\} {xn​}收敛于$a$，那么它的任一子数列也收敛，且极限也是$a$。

函数的极限

自变量趋于有限值

自变量趋于有限值时，函数极限的定义可表达为：
$$\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$$

函数$f(x)$当$x\to x_0$时极限存在的充要条件是左极限及右极限各自存在并且相等，即
$$\underset{x\to x_0^{-}}{\lim }f(x)=\underset{x\to x_0^{+}}{\lim }f(x)$$
或
$$f(x_0^{-})=f(x_0^{+})$$

自变量趋于无穷大

自变量趋于无穷大时，函数极限的定义可表达为：
$$\underset{x\to \infty }{\lim }f(x)=A\iff \forall \epsilon >0,\exists X>0,当|x|>X时,有|f(x)-A|<\epsilon$$

函数极限的性质

1. 函数极限的唯一性：如果$\underset{x\to x_0}{\lim }f(x)$存在，那么这极限唯一。
2. 函数极限的局部有界性：如果$\underset{x\to x_0}{\lim }f(x)=A$，那么存在常数$M>0$和$\delta >0$，使得当$0<|x-x_0|<\delta$时，有$|f(x)|\le M$。
3. 函数极限的局部保号性：如果$\underset{x\to \infty }{\lim }f(x)=A$，且$A>0$（或$A<0$），那么存在常数$\delta >0$，使得当$0<|x-x_0|<\delta$时，有$f(x)>0$（或$f(x)<0$）。
   • 如果$\underset{x\to \infty }{\lim }f(x)=A$（$A\ne 0$），那么就存在着$x_0$的某一去心邻域$\mathring{U}(x_0)$，当$x\in \mathring{U}(x_0)$时，就有$|f(x)|>\frac{|A|}{2}$。
   • 如果在$x_0$的某去心邻域内$f(x)\ge 0$（或$f(x)\le 0$），而且$\underset{x\to x_0}{\lim }f(x)=A$，那么$A\ge 0$（或$A\le 0$）
4. 函数极限于数列极限的关系：如果极限$\underset{x\to \infty }{\lim }f(x)$存在， { x n } \{x_n\} {xn​}为函数$f(x)$的定义域内任一收敛于$x_0$的数列，且满足$x_n\ne x_0(n\in {\mathbf{N}}_{+})$，那么相应的函数值数列 { f ( x n ) } \{f(x_n)\} {f(xn​)}必收敛，且$\underset{n\to \infty }{\lim }f(x)=\underset{x\to x_0}{\lim }f(x)$

无穷小与无穷大

无穷小

如果函数$f(x)$当$x\to x_0$（或$x\to \infty$）时的极限为零，那么称函数$f(x)$为当$x\to x_0$（或$x\to \infty$）时的无穷小。

在自变量的同一变化过程$x\to x_0$（或$x\to \infty$）中，函数$f(x)$具有极限$A$的充要条件是$f(x)=A+\alpha$，其中$\alpha$是无穷小。

无穷大

设函数$f(x)$在$x_0$的某一去心邻域内有定义（或$|x|$大于某一正数时有定义—）。如果对于任意给定的正数$M$（不论它多么大），总存在正数$\delta$（或正数$X$），只要$x$适合不等式$0<|x-x_0|<\delta$（或$|x|>X$），对应的函数值$f(x)$总满足不等式$$|f(x)|>M$$那么称函数$f(x)$是当$x\to x_0$（或$x\to \infty$）时的无穷大。

在自变量的同一变化过程中，如果$f(x)$为无穷大，那么$\frac{1}{f(x)}$为无穷小；反之，如果$f(x)$为无穷小，且$f(x)\ne 0$，那么$\frac{1}{f(x)}$为无穷大。

当函数的极限不存在时，也可以说函数的极限无穷大$$\lim f(x)=\infty$$

函数极限的定义总表

	$f(x)\to A$	$f(x)\to \infty$	$f(x)\to +\infty$	$f(x)\to +-\infty$
$x\to x_0$	$$\begin{gathered} \forall \epsilon >0,\exists \delta >0, \\ 使当0<|x-x_0|<\delta 时, \\ 即有|f(x)-A|<\epsilon \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists \delta >0, \\ 使当0<|x-x_0|<\delta 时, \\ 即有|f(x)|>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists \delta >0, \\ 使当0<|x-x_0|<\delta 时, \\ 即有f(x)>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists \delta >0, \\ 使当0<|x-x_0|<\delta 时, \\ 即有f(x)<-M \end{gathered}$$
$x\to x_0^{+}$	$$\begin{gathered} \forall \epsilon >0,\exists \delta >0, \\ 使当0<x-x_0<\delta 时, \\ 即有|f(x)-A|<\epsilon \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists \delta >0, \\ 使当0<x-x_0<\delta 时, \\ 即有|f(x)|>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists \delta >0, \\ 使当0<x-x_0<\delta 时, \\ 即有f(x)>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists \delta >0, \\ 使当0<x-x_0<\delta 时, \\ 即有f(x)<-M \end{gathered}$$
$x\to x_0^{-}$	$$\begin{gathered} \forall \epsilon >0,\exists \delta >0, \\ 使当0>x-x_0>-\delta 时, \\ 即有|f(x)-A|<\epsilon \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists \delta >0, \\ 使当0>x-x_0>-\delta 时, \\ 即有|f(x)|>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists \delta >0, \\ 使当0>x-x_0>-\delta 时, \\ 即有f(x)>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists \delta >0, \\ 使当0>x-x_0>-\delta 时, \\ 即有f(x)<-M \end{gathered}$$
$x\to \infty$	$$\begin{gathered} \forall \epsilon >0,\exists X>0, \\ 使当|x|>X时, \\ 即有|f(x)-A|<\epsilon \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists X>0, \\ 使当|x|>X时, \\ 即有|f(x)|>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists X>0, \\ 使当|x|>X时, \\ 即有f(x)>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists X>0, \\ 使当|x|>X时, \\ 即有f(x)<-M \end{gathered}$$
$x\to +\infty$	$$\begin{gathered} \forall \epsilon >0,\exists X>0, \\ 使当x>X时, \\ 即有|f(x)-A|<\epsilon \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists X>0, \\ 使当x>X时, \\ 即有|f(x)|>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists X>0, \\ 使当x>X时, \\ 即有f(x)>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists X>0, \\ 使当x>X时, \\ 即有f(x)<-M \end{gathered}$$
$x\to -\infty$	$$\begin{gathered} \forall \epsilon >0,\exists X>0, \\ 使当x<-X时, \\ 即有|f(x)-A|<\epsilon \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists X>0, \\ 使当x<-X时, \\ 即有|f(x)|>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists X>0, \\ 使当x<-X时, \\ 即有f(x)>M \end{gathered}$$	$$\begin{gathered} \forall M>0,\exists X>0, \\ 使当x<-X时, \\ 即有f(x)<-M \end{gathered}$$

极限运算法则

1. 如果$\lim f(x)=A,\lim g(x)=B$，那么：
   （1）$\lim [f(x)\pm g(x)]=\lim f(x)\pm \lim g(x)=A\pm B$；
   （2）$\lim [f(x)\cdot g(x)]=\lim f(x)\cdot \lim g(x)=A\cdot B$；
   （3）若又有$B\ne 0$，则$$\lim \frac{f(x)}{g(x)}=\frac{\lim f(x)}{\lim g(x)}=\frac{A}{B}$$
   • 如果$\lim f(x)$存在，而$c$为常数，那么$$\lim [cf(x)]=c\lim f(x)$$
   • 如果$\lim f(x)$存在，而$n$是正整数，那么$$\lim [f(x){]}^n=[\lim f(x){]}^n$$
2. 设有数列 { x n } \{x_n\} {xn​}和 { y n } \{y_n\} {yn​}，如果$$\underset{n\to \infty }{\lim }{x}_n=A,\underset{n\to \infty }{\lim }{y}_n=B$$那么
   （1）$\underset{n\to \infty }{\lim }(x_n\pm y_n)=A\pm B$；
   （2）$\underset{n\to \infty }{\lim }(x_n\cdot y_n)=A\cdot B$；
   （3）当$y_n\ne 0(n=1,2,\cdots )$且$B\ne 0$时，$\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=\frac{A}{B}$
3. 如果$\phi (x)\ge \psi (x)$，而$\lim \phi (x)=A,\lim \psi (x)=B$，那么$A\ge B$
4. 复合函数的极限运算法则：设函数$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(u)=A$，且存在${\delta }_0>0$，当$x\in \mathring{U}(x_0,{\delta }_0)$时，有$g(x)\ne u_0$，则$$\underset{x\to x_0}{\lim }f[g(x)]=\underset{u\to u_0}{\lim }f(u)=A$$

无穷小的计算

1. 有限个无穷小之和是无穷小；
2. 有界函数与无穷小的乘积是无穷小；
   • 常数与无穷小的乘积是无穷小
   • 有限个无穷小的乘积是无穷小

无穷小的比较

1. 如果$\lim \frac{\beta }{\alpha }=0$,那么就说$\beta$是比$\alpha$高阶的无穷小，记作$\beta =o(\alpha )$；
2. 如果$\lim \frac{\beta }{\alpha }=\infty$,那么就说$\beta$是比$\alpha$低阶的无穷小；
3. 如果$\lim \frac{\beta }{\alpha }=c\ne 0$,那么就说$\beta$是比$\alpha$同阶的无穷小；
4. 如果$\lim \frac{\beta }{{\alpha }^k}=c\ne 0,k>0$,那么就说$\beta$是关于$\alpha$的$k$阶无穷小；
5. 如果$\lim \frac{\beta }{\alpha }=1$,那么就说$\beta$与$\alpha$是等价无穷小，记作$\alpha \sim \beta$；

• 定理1：$\beta$与$\alpha$是等价无穷小的充要条件为$$\beta =\alpha +o(\alpha )$$
• 定理2：设$\alpha \sim \tilde{\alpha },\beta \sim \tilde{\beta }$，且$\lim \frac{\tilde{\beta }}{\tilde{\alpha }}$存在，则$$\lim \frac{\beta }{\alpha }=\lim \frac{\tilde{\beta }}{\tilde{\alpha }}$$

定理2表明，求两个无穷小之比的极限时，分子及分母都可用等价无穷小来代替。

常用的等价无穷小关系式：
$$\ln (1+x)\sim x(x\to 0)$$$$e^x-1\sim x(x\to 0)$$$$(1+x{)}^{\alpha }-1\sim \alpha x(x\to 0)$$

极限存在准则

夹逼准则

数列极限存在准则：如果数列 { x n } , { y n } \{x_n\}, \{y_n\} {xn​},{yn​}及 { z n } \{z_n\} {zn​}满足下列条件：

（1）从某项起，即 $\exists n_0\in {\mathbf{N}}_{+}$，当$n>n_0$时，有$$y_n\le x_n\le z_n;$$
（2）$\underset{n\to \infty }{\lim }{y}_n=a,\underset{n\to \infty }{\lim }{z}_n=a$

那么数列 { x n } \{x_n\} {xn​}的极限存在，且$\underset{n\to \infty }{\lim }{x}_n=a$

上述准则可推广到函数的极限：

如果

（1）当$x\in \mathring{U}(x_0,r)$（或$|x|>M$）时，$$g(x)\le f(x)\le h(x);$$
（2）$\underset{\genfrac{}{}{0ex}{}{x\to x_0}{(x\to \infty )}}{\lim }{g}_x=A,\underset{\genfrac{}{}{0ex}{}{x\to x_0}{(x\to \infty )}}{\lim }{h}_x=A$

那么数列$\underset{\genfrac{}{}{0ex}{}{x\to x_0}{(x\to \infty )}}{\lim }{f}_x$的极限存在，且等于$A$

柯西(Cauchy)极限存在准则

• 若函数$f(x)$在点$x_0$的某个左邻域内单调并且有界，则$f(x)$在$x_0$的左极限$f(x_0^{-})$必定存在；
• 若函数$f(x)$在点$x_0$的某个右邻域内单调并且有界，则$f(x)$在$x_0$的右极限$f(x_0^{+})$必定存在；
• 若函数$f(x)$在$x_0$趋近于正无穷的时候单调并且有界，则$f(x)$的极限$\underset{x\to +\infty }{\lim }f(x)$必定存在；
• 若函数$f(x)$在$x_0$趋近于负无穷的时候单调并且有界，则$f(x)$的极限$\underset{x\to -\infty }{\lim }f(x)$必定存在；

柯西极限存在准则：数列 { x n } \{x_n\} {xn​}收敛的充要条件是：对于任意给定的正整数$\epsilon$，存在正整数$N$，使得当$m>N,n>N$时，有$$|x_n-x_m|<\epsilon$$
该准则的几何意义表示：对于任意给定的正数$\epsilon$，在数轴上一切具有足够大号码的点$x_n$中，任意两点间的距离小于$\epsilon$。

两个重要的极限

极限$\underset{x\to 0}{\lim }\frac{\sin x}{x}=1$

证明：
因为，
$$\underset{x\to 0}{\lim }\cos x=1且\underset{x\to 0}{\lim }1=1$$
另外，当$0<x<\frac{\pi }{2}$时，
$$\begin{gathered} \sin x<x<\tan x \\ 1<\frac{x}{\sin x}<\frac{1}{\cos x} \\ \cos x<\frac{\sin x}{x}<1 \end{gathered}$$
上式对于$x\in (-\frac{\pi }{2},0)$也成立
所以，
$$\underset{x\to 0}{\lim }\frac{\sin x}{x}=\underset{x\to 0}{\lim }\cos x=\underset{x\to 0}{\lim }1=1$$

证明完毕！

极限$\underset{x\to \infty }{\lim }{\left(1+\frac{1}{x}\right)}^x$

证明：
按牛顿二项公式¹将式子展开：
$$\begin{array}{rl}f(x)& ={\left(1+\frac{1}{x}\right)}^x\\ & =1+\frac{x}{1!}\cdot \frac{1}{x}+\frac{x(x-1)}{2!}\cdot \frac{1}{x^2}+\frac{x(x-1)(x-2)}{3!}\cdot \frac{1}{x^3}+\cdots +\frac{x(x-1)\cdots (x-x+1)}{x!}\cdot \frac{1}{x^x}\\ & =1+1+\frac{1}{2!}\left(1-\frac{1}{x}\right)+\frac{1}{3!}\left(1-\frac{1}{x}\right)\left(1-\frac{2}{x}\right)+\cdots +\frac{1}{x!}\left(1-\frac{1}{x}\right)\left(1-\frac{2}{x}\right)\cdots \left(1-\frac{x-1}{x}\right)\end{array}$$
类似地，
$$\begin{array}{rl}f(x+1)=& 1+1+\frac{1}{2!}\left(1-\frac{1}{x}\right)+\frac{1}{3!}\left(1-\frac{1}{x}\right)\left(1-\frac{2}{x}\right)+\cdots +\\ & \frac{1}{x!}\left(1-\frac{1}{x}\right)\left(1-\frac{2}{x}\right)\cdots \left(1-\frac{x-1}{x}\right)+\\ & \frac{1}{(x+1)!}\left(1-\frac{1}{x+1}\right)\left(1-\frac{2}{x+1}\right)\cdots \left(1-\frac{x}{x+1}\right)\end{array}$$
比较$f(x)$和$f(x+1)$的展开式，可以发现$$f(x)<f(x+1)$$
因此$f(x)$是单调增加的；
另外，将展开式中各项括号内的数用更大的数来代替，可得²：
$$\begin{array}{rl}f(x)& \le 1+\left(1+\frac{1}{2!}+\frac{1}{3!}+\cdots +\frac{1}{n!}\right)\\ & \le 1+\left(1+\frac{1}{2}+\frac{1}{2^2}+\cdots +\frac{1}{2^{n-1}}\right)\\ & =1+\frac{1-\frac{1}{2^n}}{1-\frac{1}{2}}=3-\frac{1}{2^{n-1}}<3\end{array}$$
这说明$f(x)$是有界的。

所以 $\underset{x\to \infty }{\lim }{\left(1+\frac{1}{x}\right)}^x$的极限存在。证明完毕！

其实，$\underset{x\to \infty }{\lim }{\left(1+\frac{1}{x}\right)}^x$就是欧拉常数$e$。

函数的连续性与间断点

函数的连续性

设函数$y=f(x)$在点$x_0$的某一领域内有定义，如果$$\underset{\Delta x\to 0}{\lim }\Delta y=\underset{\Delta x\to 0}{\lim }[f(x_0+\Delta x)-f(x_0)]=0$$或者$$\underset{x\to x_0}{\lim }f(x)=f(x_0)$$那么就称函数$y=f(x)$在点$x_0$连续。

左连续 如果$\underset{x\to x_0^{-}}{\lim }f(x)=f(x_0^{-})$存在且等于$f(x_0)$，即$$f(x_0^{-})=f(x_0)$$那么就说函数$f(x)$在点$x_0$左连续
右连续 如果$\underset{x\to x_0^{+}}{\lim }f(x)=f(x_0^{+})$存在且等于$f(x_0)$，即$$f(x_0^{+})=f(x_0)$$那么就说函数$f(x)$在点$x_0$右连续

连续函数 在区间上每一点都连续的函数，叫做在该区间上的连续函数，或者说函数在该区间上连续。如果区间包括端点，那么函数在右端点连续是指左连续，在左端点连续是指右连续。连续函数的图形是一条连续而不间断的曲线。

函数的间断点

设函数$f(x)$在点$x_0$的某去心邻域内有定义。在此前提下，如果函数$f(x)$有下列三种情形之一：

• 在$x=x_0$没有定义；
• 虽在$x=x_0$有定义，但$\underset{x\to x_0}{\lim }f(x)$不存在；
• 虽在$x=x_0$有定义，且$\underset{x\to x_0}{\lim }f(x)$存在，但$\underset{x\to x_0}{\lim }f(x)\ne f(x_0)$

那么函数$f(x)$在点$x_0$为不连续，而点$x_0$称为函数$f(x)$的不连续点或间断点

间断点种类：

• 第一类间断点（左右极限都存在）
  • 可去间断点（左右极限相等，但在$x_0$无定义）
  • 跳跃间断点（左右极限不相等）
• 第二类间断点
  • 无穷间断点（$\underset{x\to x_0}{\lim }f(x)=\infty$）
  • 震荡间断点

连续函数的运算

连续函数的四则运算

定理1：设函数$f(x)$和$g(x)$在点$x_0$连续，则它们的和（差）$f\pm g$、积$f\cdot g$及商$\frac{f}{g}$（当$g(x_0)\ne 0$时都在点$x_0$连续

反函数与复合函数的连续性

1. 定理2：如果函数$y=f(x)$在区间$I_x$上单调增加（或单调减少）且连续，那么它的反函数$x=f^{-1}(y)$也在对应的区间$I_y=y|y=f(x),x\in I_x$上单调增加（或单调减少）且连续

2. 定理3：设函数$y=f[g(x)]$由函数$u=g(x)$与函数$y=f(u)$复合而成，$\mathring{U}(x_0)\subset D_{f\circ g}$；若$\underset{x\to x_0}{\lim }g(x)=u_0$，而函数$y=f(u)$在$u=u_0$连续，则$$\underset{x\to x_0}{\lim }f[g(x)]=\underset{u\to u_0}{\lim }f(u)=f(u_0)$$或者$$\underset{x\to x_0}{\lim }f[g(x)]=f[\underset{x\to x_0}{\lim }g(x)]$$把$x\to x_0$换成$x\to \infty$可得类似的定理

一般地，对于形如$u(x{)}^{v(x)}(u(x)>0,u()x)\ne 1)$的函数（通常称为幂指函数），如果$$\lim u(x)=a>0,\lim v(x)=b$$那么，$$\lim u(x{)}^{v(x)}=a^b$$

3. 定理4：设函数$y=f[g(x)]$由函数$u=g(x)$与函数$y=f(u)$复合而成，$U(x_0)\subset D_{f\circ g}$；若函数$u=g(x)$在$x=x_0$连续，且$g(x_0)=u_0$，而函数$y=f(u)$在$u=u_0$连续，则复合函数$y=f[g(x)]$在$x=x_0$也连续

初等函数的连续性

• 基本初等函数在它们的定义域内都是连续的；
• 又由上述定理4可得：一切初等函数在其定义区间内都是连续的（定义区间：包含在定义域内的区间）
  也可以表达为：
  如果$f(x)$是初等函数，且$x_0$是$f(x)$的定义区间内的点，那么$$\underset{x\to x_0}{\lim }f(x)=f(x_0)$$

闭区间上连续函数的性质

有界性与最大值最小值定理

在闭区间上连续的函数在该区间上有界且一定能取得它的最大值和最小值

零点定理与介值定理

零点定理 设函数$f(x)$在闭区间$[a,b]$上连续，且$f(a)$与$f(b)$异号（即$f(a)\cdot f(b)<0)$，则在开区间$(a,b)$内至少有一点$\xi$，使$$f(\xi )=0$$

介值定理 设函数$f(x)$在闭区间$[a,b]$上连续，且在这区间的端点取不同的函数值$$f(a)=A,f(b)=B$$则对于$A$与$B$之间的任意一个数$C$，在开区间$(a,b)$内至少有一点$\xi$，使得$$f(\xi )=C(a<\xi <b)$$

推论 在闭区间$[a,b]$上连续的函数$f(x)$的值域为闭区间$[m,M]$，其中$m$与$M$依次为$f(x)$在$[a,b]$上的最小值与最大值。

一致连续性

一致连续性 设函数$f(x)$在区间$I$上有定义；如果对于任意给定的正数$\epsilon$，总存在正数$\delta$，使得对于区间$I$上任意两点$x_1,x_2$，当$|x-1-x_2|<\delta$时，有$$|f(x_1)-f(x_2)|<\epsilon$$那么称函数$f(x)$在区间$I$上一致连续。

一致连续性定理 如果函数$f(x)$在闭区间$[a,b]$上连续，那么它在该区间上一致连续

---

1. 关于牛顿二项式定理，可以参考本专栏的《牛顿二项式定理》 ↩︎

2. 等比数列前$n$项和 $S_n=\frac{a_1(1+q^n)}{1-q}$， 其中$q$为公比，且$q\ne 1$， $a_1$为首项 ↩︎