三角公式与初等代数

第五章 微 分 学

微积分学的研究方法是极限方法，研究的对象是函数（特别是初等函数），微积分学的主 要内容是微分法、积分法和它们的应用.本章主要介绍极限方法以及微分法和它的应用（隐函 数理论、函数展开为幂级数、函数的极值和作图），还介绍了函数连续性的概念和性质，以及 数项级数、二重级数、函数项级数和无穷乘积的收敛概念和判别法.同时考虑到函数的一致连 续性、函数项级数的一致收敛性以及函数的可微性的概念在理论和实际上的重要性，本章着 重介绍了这些概念，并举例说明这些概念的实质.另外收集了一些常见的初等函数的幂级数展 开式，列表备查.

§1 序列与函数的极限

一、 序列的极限

1．基本概念

[有穷极限] 假定对于任意小的ε >0,都存在正整数 N=N(ε ),使得对于一切的 n>N，不等

式

|x_n-a|<ε (a为有限数)

成立，就称序列x1,x2,,x_n,(简记为{xn})以a为极限(或称序列收敛于a）,记作 a

x_n

n 



lim

否则序列称为发散的.

[无穷极限] 假定对于任意大的E>0，都存在正整数N=N()，使得对于一切的n>N,不等式

|x_n|>E

成立，就称序列x1,x2,,x_n,的极限是∞ （或称序列发散于∞ ），记作



 

 n

n x

lim

[部分极限(聚点)] 在已知序列 x1,x2,,x_n,的元素中，保持原来次序自左至右任意选取

无穷多个元素，如



 , , ,

,

2

1 p pn

p

x x

x

这种序列称为已知序列的子序列.如果







 pⁿ

n

x

lim

就称数ξ （或符号∞ ）为已知序列{xn}的部分极限(或聚点).

任何序列{xn},不论是有界的或无界的，都有部分极限存在.

[上极限与下极限] 序列{xn}的最大的部分极限（有穷或无穷）称为序列{xn}的上极限，记作

n xn



lim

而它的最小的部分极限（有穷或无穷）称为序列{xn}的下极限，记作

n n

x lim

所以，一个序列{xn}如果有两个子序列不收敛于同一极限，这个序列{xn}就不收敛.如果 a

x_n

n 



lim ，即序列{xn}收敛于a，那末{xn}的任一子序列{

pn

x

}都收敛于a.

2．序列极限存在的判别法

[柯西准则] 序列{xn}的极限存在的充分必要条件是：对任意给定的ε >0，都存在正整数

N=N(ε )，使得当n>N时，不等式

|x_n x_np|<ε 对一切正整数p>0都成立.

[上下极限相等] 序列{xn}的极限（有穷或无穷）存在的充分必要条件是：

n xn



lim = _n

n x



lim

[单调有界] 单调有界序列必有极限.

若{xn}为递增序列，且xn≤ M(n=1,2,…)，则 _n

n x



lim 存在而且不超过M.

若{xn}为递减序列，且x_n≥ M(n=1,2,…)，则 _n

n x



lim 存在而且不小于M.

[有有界变差]* 有有界变差序列(即存在正数c，使得|x₂ x₁|+|x₃x₂|+

|  _1

 x_n x_n

 |<c,n=2,3,)必有极限.

[序列对比] 若序列{xn}满足条件y_n≤ x_n≤ z_n，且 _n

n y



lim = _n

n z



lim =c，则

n xn



lim =c

[施笃兹定理] 对序列









n n

y

x ,若(i)n≥ n0(n0为某一自然数)时，yn+1>yn，(ii) _n

n y



lim =+∞ ,(iii)



 n

lim

n n

n n

y y

x x







 1

1 =l (有限数或 )，则



 nlim

n n

y x =



 nlim

n n

n n

y y

x x







 1

1 =l

[加权平均序列] 设 w_nk≥ 0(k =1,2,,n;n=1,2,),



 n

k

wnk 1

=1,对固定的 k,



 n

limw_nk=0. 如果





nlimxn=a,则





nlim _k

n

k nkx



w

1

=a 3．序列极限的基本公式

设nlimx_n，



 n

limy_n存在，则





limn (x_nyn)=



 nlimxn



 nlimyn

* 对于函数有有界变差是这样定义的：假定f (x)在[a,b]上有限，在[a,b]上作分点a=x0<x1<…

<x_n-1<x_n=b,作和 |

   

|

1

0 1 k

n

k f xk f x

V 



^ 

  ,V的上确界叫做f (x)在[a,b]上的全变差，记为_V^b_(f)

a

. 如果_V^b_(f)

a

<+



,那么称f (x) 在[a,b]上有有界变差.



 n

lim(x_n·yn)=



 n

limx_n·



 n

limy_n



 n

lim

n n

y x =

n n n n

y x









lim

lim (当



 n

limy_n≠ 0时)



 nlimxn



 

nlimyn （当x_n yn时）

4．常用序列的极限





nlim ⁿ

n) 1 1

(  =





nlim 1) ¹

1 (  ^n

n =





nlim ⁿ

n ) 1 1 1

(   =e=2.718281828459045



 n

lim n n n

!

=e





nlim(1+1+

! ... 1

! 3 1

! 2 1

 n



 )=e



 nlimn(aⁿ

1

-1)=lna (a>0)



 n

limⁿ a=1 (a>0)



 n

limⁿ n=1





nlimⁿ n!=∞



 n

lim [(1+

n ... 1 3 1 2

1   )-lnn]=γ

式中γ =0.5772156649015328为欧拉常数.

二、 函数的极限

1． 基本概念

[双边极限(函数在某一点的极限)] 若对任意小的ε >0，都存在一个正数δ =δ (ε )，使得

对一切满足不等式0<|x-a|≤ 的值x,|A-f(x)|<ε 都成立，则称数A为函数f(x)在点a的极 限，记作

) ( limf x

xa =A

[单边极限(左极限与右极限)] 若对任意小的ε >0，都存在一个正数 ()，使得对一

切满足不等式a xa的值x， A f(x) 都成立，则称数A′ 为函数f(x)在点a的左 极限，记作

A a

f x

a f

x    



 ( ) ( 0) lim0

若对任意小的 0，都存在一个正数 ()，使得对一切满足不等式axa的值 x,|A f(x)|都成立，则称数A″ 为函数f(x)在点a的右极限，记作

lim0



a

x f(x)=f(a+0)=A″

[无穷极限] 若对任意大的正数 M,都存在一个正数 (M)，使得对一切满足不等式







| |

0 x a 的值x,恒有

|f(x)|>M

则称函数f(x)在点a的极限是∞ ，记作

) ( limf x

xa =_

[局部极限] 若对某序列x_n→a有等式

) (

lim _n

n f x





=B

则称数B(或符号∞ )为函数f(x)在点a的局部极限(有穷的或无穷的).

[上极限与下极限] 局部极限中最小的和最大的分别用

) ( limf x

xa 和limf(x)

xa

来表示，它们分别称为函数f(x)在点a的下极限和上极限.

2． 函数极限存在的判别法

[柯西准则] 函数f(x)在点a的极限存在的充分必要条件是：对任意小的 0，都存在数

) (



  >0，使满足







| |

0 x a 和 0|xa|



的任意两点x′ 和x″ (x′ 和x″ 在函数f(x)的定义域内)，都有





 

) ( ) (

| f x f x

[任意收敛序列上的极限] 函数f(x)在点a的极限存在的充分必要条件是：对任意收敛于

a的序列{xn}(n=1,2,)，都有

) ( lim _n

n f x



 =A

这时函数f(x)在点a的极限为A.

[左右极限相等·上下极限相等] 函数f(x)在点a的极限存在的充分必要条件是：左极限等

于右极限，或者上极限等于下极限，即

f(a+0)=f(a0) 或

) ( limf x

xa =limf(x)

xa

[单调有界] 单调有界函数必有极限.

若 f(x)在区间(a,b)内为单调上升函数，且在区间(a,b)内 f(x)M ，则

xb

limf(x)必存在且不

超过M.

若 f(x)在区间(a,b)内为单调下降函数，且在区间(a,b)内 f(x)M ，则

xb

limf(x)必存在且不 小于M.

[函数对比] 若 f₁(x) f(x) f₂(x)，且

xa

limf1(x)=

xa

limf2(x)=A，则

xa

limf(x)=A

3． 函数极限的基本公式 设limxaf(x),

xa

limg(x)存在，则

xa

lim (f(x)g(x))=

xa

limf(x)

xa

limg(x)

xa

lim (f(x)·g(x))=

xa

limf(x)·

xa

limg(x)

xa

lim ( ) ) (

x g

x

f =

) ( lim

) ( lim

x g

x f

a x

a x



 （当

xa

limg(x)≠ 0时）

4.一些重要函数的极限

函数与图形 极限与特征

x

y sinx 曲线关于y轴对称

极限 sin 1

lim0 

 x x

x

sin 0

lim 



 x x

x

[注]

n m nx mx

x 

 sin limsin

0

x y tanx

 曲线关于y轴对称

极限 tan 1

lim0 

 x x

x

 





x  x

x

lim tan

2 0



x

y 1x) 1 ( 

 渐近线 y=e和x=－1

极 限 e

x

x

x  



 1) 1 ( lim

1) 1 1

( lim

0  





x

x x

 







x

x 1x)

1 ( lim

0 1

[注] ^{x k}

x kx e



1

0(1 )

lim

x x y ln

极小点 



 

  e A e 1

1,

极 限 lim ln 0

0 

 x x

x

[注] lim 1

0 



 x

x x

x

y lnx 极大点 A(e,

e 1) 拐 点 B( ²

3

e , ²

3

2 3 ^

e ) 渐近线 y=0和x=0 极 限



 xlim

x x ln =0 



 x x

x

limln

0

[注] lim 1

1

 

 x

x x

x

y ln(1x) 渐近线 y=0和x=－1

极 限 ln(1 ) 1 lim

0  

 x

x

x

ln(1 ) 0

lim  



 x

x

x

 





 x

x

x

) 1 lim ln(

0 1

ex

y x 与y轴交点O(0,0),该点切线斜率为

1

极大点 A(1, e 1) 拐 点 B(2,2e^2) 渐近线 y=0 极 限 lim 0



 x

x e

x





 x

x e

lim x [注] lim 0



 x n

x e

x

ln 0

lim 



 n

x x

x (n>0) xex

y

1

 曲线由两支组成

不连续点 x=0 渐近线 y=x+1 极 限 



 x

x xe

1

lim0

lim 0

1

0 



 x

x xe





 x

x xe

1

lim

ex

y

1

 不连续点 x=0

渐近线 y=1和x=0 极 限 lim 0

1

0 



 x

x e





 x

x e

1

lim0

lim 1

1

 

 x

x e

5．不定式的定值法—洛比达法则 洛比达法则是用来计算

0

0，



，0，，0⁰，⁰，1^等七种不定式的极限的法

则*.

* 极限的计算除应用洛比达法则外，还可用函数的泰勒级数展开(§3.八)，将不定式展 开求出极限.

[洛比达第一法则（

0

0）] 设(i)函数f(x)和g(x)是在区间(a,b]内定义的，(ii)

xa

limf(x)=0,

xa

limg(x)=0,(iii)在区间(a,b]内存在有限导数 f(x)及g(x)，而且g(x)≠ 0，(iv)存在极限 (有穷或无穷)

xa

lim ( ) ) (

x g

x f



 =K

那末

xa

l i m ) (

) (

x g

x

f =

xa

lim ( ) ) (

x g

x f



 =K

若limxa

) (

) (

x g

x f



 又是 0

0型不定式，可再用上法求极限.

[洛比达第二法则（



）]设(i)函数f(x)和g(x)是在区间(a,b]内定义的，(ii)

xa

limf(x)=_,

xa

limg(x)=,(iii)在区间(a,b]内存在有限导数 f(x)及g(x)，而且g(x)≠ 0，（iv）存在极 限（有穷或无穷）

xa

lim ( ) ) (

x g

x f



 =K

那末

xa

l i m ) (

) (

x g

x

f =

xa

lim ( ) ) (

x g

x f



 =K

若limxa

) (

) (

x g

x f



 又是



型不定式，可再用上法求极限。

[其他类型不定式（0，，1^，0⁰，⁰）]

1° 对0型的不定式，可先把它变成 0

0型或



型，然后再应用洛比达法则。设

xa

limf(x)=0,

xa

limg(x)=_ 如果要计算

xa

limf(x)·g(x),那末可以进行变形 f(x)·g(x)=

) ( 1

) (

x g

x

f =

) ( 1

) (

x f

x g

其中的第二式在xa时是 0

0型不定式，第三式是



型不定式. 2°_型的不定式也能变成

0

0型或



型，如果要计算

xa

lim [f(x)-g(x)],这里

xa

limf(x)=+_,

xa

limg(x)=+_ 那末可以进行下面的变形，把它变成

0

0型不定式：

f(x)-g(x)=

) ( . 1 ) ( 1

) ( 1 ) ( 1

) ( 1 1 ) ( 1 1

x g x f

x f x g x g x f







3°对于1^，0⁰，⁰型的不定式，可以预先把这些表达式取对数.

设y=[f(x)]^g(x),则lny=g(x)lnf(x). lny的极限就是0型的不定式.假如用上述任一方法 能求出lim lnxa y，比如它等于k（或+，或-），那末

xa

limy就等于e^k(或，或0).

6．函数无穷小和无穷大的阶（符号O^*,o,O,～）

若limxa (x) ^=0,则函数(x)称为当xa时的无穷小量；若

xa

lim(x)⁼，则函数(x)称 为当x a时的无穷大量.

符号O^*,o,O,～

符 号 定 义 意 义 当x→a时，

)

(x =O^*((x))

) (

) lim (

x x

a

x 



 =k

(0<k <)

表示函数(x)和(x)在 x→a 的过程中，

按狭义来说，是同阶的无穷小或无穷大.

当x→ 0 时，

)

(x =O^*(xⁿ) (n>0)

x xn

x) lim (

0



 =k

(0<k <)

称(x)对于无穷小x是n阶无穷小，例如，

当x→ 0 时，2x² x⁵ O^*(x²) 当x→ ∞ 时,

)

(x =O^*(xⁿ) (n>0)

x xn

x) lim(



 =k

(0<k <)

称(x) 对 于 无 穷 大 x 是 n 阶 无 穷 大. 例如，当x→ 时，

) ( 1 3

2x³  x²  O^* x³

当x→a时，

) (x

 ^=o((x)^{) ( )} ) lim (

x x

a

x 



 =0

表示当x→a时，函数(x)对于函数(x)是 较高阶的无穷小，或函数(x)对于函数

)

(x 是较低阶的无穷大.

例如，当x→ 0 时，(1x)ⁿ 1nxo(x)

当x→a时，

) (x

 ^=O(^{(x)) ( )} ) lim (

x x

a

x 



 =k

(0≤ k <)

当 x→a 时，函数(x)无穷小的阶(在广义 的意义上)不低于某正的函数(x)无穷小 的阶(或函数(x)无穷大的阶不高于函数

)

(x 无穷大的阶).

例如，当x→ 时，xx²sinxO(x²)

当x→a时，

)

(x ～(x) ^{( )} ) lim (

x x

a

x 



 =1

称函数(x)和(x)当x→a时为等价的.

例如，当x→ 0 时，有sinx～x，

tanx～x，a^x 1～xlna(a>0)，

) 1

ln( x ～x

三、 函数的连续性

1．单变量函数的连续性

[函数在一点连续] 函数f(x)在点x0的连续性有下面几种定义方法：

定义1 如果

0

limx

x f(x)=f(x0)=f( x

x

x ₀

lim ),那末f(x)在点x0连续.

定义2 如果f(x0+0)=f(x₀ 0)=f(x0),那末f(x)在点x0连续.

定义3（柯西） 如果对于任意小的ε >0，都存在正数δ >0，使得当|

x  x

₀^|<δ 时，恒

有

|f(x)-f(x0)|<ε 那末f(x)在点x0连续.

定义4 当自变量的改变量Δx为无穷小量时，函数的改变量Δ y也是无穷小量，或者写 为

lim0



x y=

0 0

lim 



x x x

[f(x0+Δ x) f (x0)]=0 那末f(x)在点x0连续.

定义5（海涅）如果对任何以x0为极限的序列{xn}恒有





nlimf(xn)=f(x0) 那末f(x)在点x₀连续.

定义6（贝尔）设f(x)定义在[a,b]上，x₀是[a,b]内一点，记 为含有x₀的小闭区间(它含于

[a,b]内)，分别记 f(x)在 内的上，下确界为B_,A_,称_ B_ A_为 f(x)在 上的振幅.当区

间 无限地收缩为一点时，A_,B_,_的极限都存在，分别记为

0 0

0, _x , _x

x B

A  .

如果

0 0

0 x x

x B A

 =0

那末f(x)在点x0连续.

以上几种定义都是等价的.

[函数在一点单边连续]

若 lim0 0



x

x f(x)=f(x₀+0)=f(x₀),则称f(x)在点x₀右连续.

若 lim0 0



x

x f(x)=f(x₀－0)=f(x0),则称f(x)在点x₀左连续.

[函数在一个区间上连续]如果函数 f(x)定义在区间[a,b]上，它在这个区间上任一点x都连

续，那末称f(x)在区间[a,b]上连续（对开区间(a,b)可用同样定义）.

这里要指出，因为函数f(x)可能在区间[a,b]之外根本不存在，所以函数在端点的连续性应

当理解为单边连续：在点a是右连续，在点b是左连续.

[函数的不连续（或间断）点] 由函数在一点连续的定义可知，间断点只能分两类：

1° 两个极限f(a0)及f(a+0)都存在，而等式f(a0)=f(a)=f(a+0)不成立，这种间断点称

为第一类间断点.

2° 上面两个极限中至少有一个不存在，这种间断点称为第二类间断点.

[连续函数的运算]

1° 连续函数的代数和是连续函数.

2° 有限个连续函数的积是连续函数.

3° 两个连续函数的商（当分母不等于零时）是连续函数.

4° 复合函数的连续性：如果函数f(x)在区间[a,b]上连续，又函数(y)也在某一个区间上

连续，而该区间包含着函数y=f(x)在区间[a,b]上所取的一切值，那末复合函数 [f(x)]也在区间 [a,b]上连续.

[连续函数的性质]

1° 如果函数f(x)在点x=a连续，并且f(a)>0(或f(a)<0)，那末f(x)在点a的某一个邻域（即 开区间(a-,a+),>0 任意小）内的一切点都有f(x)>0(或f(x)<0).

2° 函数的有界性定理 在闭区间[a,b]上连续的函数f(x)一定在该区间上有界.

3° 最大最小值定理 如果函数 f(x)在闭区间[a,b]上连续，那末在这个区间上至少存在

一点x,使得对应的f(x)值最大，并且也至少有一点x，使得f(x)的值最小.

4° 中间值定理 如果函数f(x)在闭区间[a,b]上连续，f(a)=A，f(b)=B，并设K是A，B 之间的任意一个值，那末在这个区间上至少存在一点x，使得f(x)的值等于K.特别是，若A,B 不同号，则在这个区间内，至少有一点x,使得f(x)的值等于零.

5° 反函数的连续性 如果函数y=f(x)在区间[a,b]上递增而且连续，又f(a)=，f(b)=， 那末反函数x=(y)在区间[,]上也连续.

6° 以参数表出的函数的连续性 如果函数(t)和 (t)在区间(,)内定义并连续，且函 数 (t)在此区间内是严格单调的，那末方程组

x=(t),y= (t)

在区间(a,b)内把y定义成x的 单值连续函数：

y= [ ^-1(x)]

其中a= lim ( )

0 t

t 



 及b= lim ( )

0 t

t 

  .

[初等函数的连续性] 一般地说，基本初等函数xⁿ,sinx,cosx,tanx,^x,log_a x, x

arcsin ,arccosx,arctanx,以及由它们经过有限次的算术运算和复合函数运算后所得的函

数，在一切使它们有意义的点都连续.

[实数集合的确界]

1° 有界集合 设有某一个实数集合E，若有一个数 M，使得集合 E的一切数M，则 称集合 E 是有上界的.类似地，若有一个数 m,使得集合 E 的一切数m，则称这个集合是有 下界的.既有上界又有下界的集合称为有界集合.

2° 实数集合的上确界和下确界

定义1 若有一个数，使得实数集合E中没有大于的数，但是无论>0 多么小，E 中总有大于-的数，则称为集合E的上确界，记作supE.若有一个数，使得集合

E中没有小于的数，但是无论>0 多么小，E中总有小于+ε 的数，则α 称为集合E 的下确界，记作infE.

定义2 实数集合的最小的上界称为它的上确界，最大的下界称为它的下确界.

以上两个定义是等价的.

3° 确界存在定理 有上界的集合必有唯一的上确界，有下界的集合必有唯一的下确界.

[函数的一致连续性]

1° 函数的一致连续性定义 设函数 f(x)定义在某一区间 X(闭的或不闭的，有穷的或无 穷的）上，若对任意给定的ε >0，都存在一个只与有关的δ =δ (ε )>0，使得对区间X上的 任意两点x₁和x₂，只要

|x2-x1|<δ

就有不等式

|f(x2) f (x1)|<ε 成立，则称函数f(x)在区间X上一致连续.

注意,函数在区间上每一点连续并不能必然地推出它在这个区间上的一致连续性.

例 函数f(x)=

x

1在开区间(0,1)内每一点都连续，但在(0,1)内并不一致连续.事实上，对于 任意小的δ



^{0，令 x}1=δ ，x2=2δ ，则|x2-x1|=δ ，而|f(x2)-f(x1)|=





 2

1 2

1

1   .这时，|x2-x1| 可以任意小，但|f(x2)-f(x1)|可以任意大，所以不一致连续.

值得注意的是，在闭区间[a,b]上已不再有与此类似的情况，这就是下面的

2° 康托定理 若函数f(x)在闭区间[a,b]上连续，则它在这区间上也是一致连续的.

3° 设

) (

_f =sup|f(x1)-f(x2)|

式中x₁和x₂为(a,b)内适合|x2-x1| 的任意两点，函数ωf称为函数f(x)的连续模数.

函数f(x)在区间(a,b)内一致连续的充分必要条件是

0 ) ( lim

0 



  

 ^f

2．多变量函数的连续性

[多变量函数的极限] 设函数 u=f(P)=f(x1,x₂,,xn)定义在区域 D 内,P0(x₁⁰,x⁰₂,,x_n⁰)为 D 内一点.若对任意小的ε >0，都存在δ =δ (ε ,P0)>0，使得只要PD及 0<ρ (P,P0)<δ （其中 ρ (P,P0)为P和P0两点间的距离），都有

|f(P)-A|<ε 则称数A为函数f(P)在P0点的极限，记作

A P f

P

P 

 ( ) lim

0

或 f x x x_n A

n i

x

x_{i i} 



 ( , , , )

lim _{1 2}

1

0 

[n重极限与累极限] 上述函数f(x1,x₂,,xn)的极限，是当函数的一切自变量同时趋向于

各自的极限时所得出的，称为n重极限（在n=2,3,时分别称为二重极限，三重极限,等等）.

此外，还有一种极限，它是由各个自变量依某种次序相继地各自趋向于极限所得出的，称为 累极限.例如对二元函数f(x,y)来说，二重极限为limf(x,y)

b y

a

x ，两个累极限为

yb

lim

xa

lim f(x,y)（先

让自变量x趋于a，再让自变量y趋于b）和

xa

lim

yb

lim f(x,y)（先让自变量y趋于b,再让自变

量x趋于a），三者不一定相等.

定理 若（i）二重极限

A=limf(x,y)

b y

a x

存在（有穷或无穷），（ii）对于D内的任一y，关于x的（有限的）单重极限 )

(y

 =

xa

lim f(x,y) 存在，则累极限

yb

lim(y)=

yb

lim

xa

lim f(x,y) 必存在，而且就等于二重极限.

对于第二种累极限

xa

limlimyb f(x,y)有类似结论.

[多变量函数的连续性]

定义1 如果

0

limP

P f(P)= f(P₀)= (lim )

0

P

f PP ，那末 f(P)在点P0连续.

定义2 如果对任意小的ε >0，都存在正数δ >0，使得当 0<ρ (P,P0)<δ 时，恒有

|f(P)-f(P0)|<ε 那末 f(P)在点P0连续.

定义 3 当自变量的改变量Δ x_i(i=1,2,…,n)为无穷小量时，函数的改变量u也是无穷小

量，或者写为

0 )]

, , , ( ) ,

, ,

( [ lim

lim ₁⁰ _{1 2}⁰ ₂ ⁰ ₁⁰ ₂^{0 0}

0

0      



 u f x x x x  xn xn f x x  xn





式中 ^{2 2}

2 2

1 x xn

x   



 

 ^，那末f(x1,x2,…,xn)在点(x₁⁰,x₂⁰,,x_n⁰)连续.

若函数 f(P)在区域D上每点都连续，则称函数 f(P)在区域D上连续.

[多变量函数的一致连续性] 设函数 f(P)定义在某一区域 D（有限的或无限的）上，若 对任意给定的ε >0，都存在一个只与ε 有关的δ =δ (ε )>0，使得对区域D上任意两点P1和 P₂，只要

ρ (P1,P₂)<δ 就有不等式

|f(P1)-f(P₂)|<ε 成立，则称函数 f(P)在区域D上一致连续.

[多变量连续函数的性质]

1° 在有界闭区域D上连续的函数必在D上有界.

2° 在有界闭区域D上连续的函数必在D上达到一个最大值与一个最小值.

3° 在有界闭区域D上每点都连续的函数必在D上一致连续.