多元函数定义 1 1,2,1 设 D 是 nR 上的点集,D 到 R 的映射
:f? RD
,
zx
称为 n 元函数,记为
()zf? x
。 这时,D 称为
f
的 定义域,
()f D?
{ R | ( ),}z z fx x D
称为
f
的 值域,? =
1{ (,) R | ( ),}nz z fx x x D
称为
f
的 图 像 。
§ 2 多元连续函数例 1 1,2,1
2
2
2
2
1
b
y
a
x
z
是二元函数，其定义域为
D = 22
2
22
(,) 1
xy
xy
ab
R
,
函数的图 像 是一个上半椭球面（见图 1 1,2,1 ）。
z
2
2
2
2
1
b
y
a
x
z
O y
y
x
图 1 1,2,1
多元函数的极限定义 1 1,2,2 设 D 是 nR 上的开集,
002010,,,nxxx?x
D 为一定点,
)( xfz?
是定义在 D \ {
0x
} 上的 n 元函数,A 是一个实数 。 如果对于任意给定的
0
,存在
0
,使得当
),( 0?xx O?
\ {
0x
} 时,成立
Af )( x
,
则称 x 趋于
0x
时
f
收敛,并称 A 为
f
当 x 趋于
0x
时的 （ n 重）极限,
记为
0
l i m
xx?
)( xf
= A,或
)( xf A?
（
0xx?
），或
Axxxf
n
xx
xx
xx
nn
),,,(lim
21
0
0
22
0
11
。
注 在上面的定义中，“
0(,)Oxx
\ {
0x
},也可以用下面的条件
,||,|| 022011 xxxx,||,0 nn xx? x? 0x
替代。
多元函数的极限定义 1 1,2,2 设 D 是 nR 上的开集,
002010,,,nxxx?x
D 为一定点,
)( xfz?
是定义在 D \ {
0x
} 上的 n 元函数,A 是一个实数 。 如果对于任意给定的
0
,存在
0
,使得当
),( 0?xx O?
\ {
0x
} 时,成立
Af )( x
,
则称 x 趋于
0x
时
f
收敛,并称 A 为
f
当 x 趋于
0x
时的 （ n 重）极限,
记为
0
l i m
xx?
)( xf
= A,或
)( xf A?
（
0xx?
），或
Axxxf
n
xx
xx
xx
nn
),,,(lim
21
0
0
22
0
11
。
例 1 1,2,2 设
22
s i n)(),(
yx
y
yxyxf
，证明
0),(l i m
)0,0(),(
yxf
yx
。
证 由于
22
s in)(|0),(|
yx
y
yxyxf
≤
|| yx?
≤
|||| yx?
,
所以，对于任意给定的 0,只要取
2
，那么当
|0|,|0| yx
，
且
)0,0(),(?yx
时,
|0),(|?yxf
≤
22
|||| yx
。
这说明了
0),(l i m
)0,0(),(
yxf
yx
。
对一元函数而言，只要在
0x
的左、右极限存在且相等,那么 函数在
0x
处的极限就存在。而对多元函数来说，根据极限存在的定义，则要求当 x 以任何方式趋于
0x
时，函数值都趋于同一个极限。若自变量沿不同的两条曲线趋于某一定点时，函数的极限不同或不存在，那么这个函数在该点的极限一定不存在。
例 1 1,2,3 设
)0,0(),(,),(
22
yx
yx
xy
yxf
。
当点 x
),( yx?
沿 x 轴和 y 轴趋于
)0,0(
时，
),( yxf
的极限都是 0 。但当点 x
),( yx?
沿直线
mxy?
趋于
)0,0(
时,
2222
2
00 1
lim),(lim
m
m
xmx
mx
yxf
x
mxy
x?
,
对于不同的 m 有不同的极限值。这说明
),( yxf
在点
)0,0(
的极限不存在。
对一元函数而言，只要在
0x
的左、右极限存在且相等,那么 函数在
0x
处的极限就存在。而对多元函数来说，根据极限存在的定义，则要求当 x 以任何方式趋于
0x
时，函数值都趋于同一个极限。若自变量沿不同的两条曲线趋于某一定点时，函数的极限不同或不存在，那么这个函数在该点的极限一定不存在。
下例说明即使点 x 沿任意直线趋于
0x
时，
),( yxf
的极限都存在且相等，仍无法保证函数
f
在
0x
处有极限。
例 1 1,2,4 设
)0,0(),(,
)(
),(
24
22
yx
xy
xy
yxf
。
当点 x
),( yx?
沿直线
mxy?
趋于
)0,0(
时,成立
1
)(
l i m),(l i m
244
222
00
xxm
xxm
yxf
x
mxy
x；
当点 x
),( yx?
沿
y
轴趋于
)0,0(
时，也成立
1),(lim
0
0
yxf
x
y
，因此当点 x
),( yx?
沿任何直线趋于
)0,0(
时，
),( yxf
极限存在且相等。
但
),( yxf
在点
)0,0(
的极限不存 在。事实上，
f
在抛物线
xy?2
上的值为 0,因此当点 x
),( yx?
沿这条抛物线趋于
)0,0(
时，它的极限为 0 。
一元函数的极限性质，如唯一性、局部有界性、局部保序性、
局部夹逼性及极限的四则运算法则，对二元函数依然成立，这里不再细述，请读者自行加以证明。
累次极限对重极限
),(lim
),(),( 00
yxf
yxyx?
（即
),(lim
0
0
yxf
yy
xx
），人们很自然会想到的是，
能否在一定条件下将重极限
),( yx ),( 00 yx?
分解成为两个独立的极限
0xx?
和
0yy?
，再利用一元函数的极限理论和方法逐个处理之？
这后一种极限称为 累次极限 。
一元函数的极限性质，如唯一性、局部有界性、局部保序性、
局部夹逼性及极限的四则运算法则，对二元函数依然成立，这里不再细述，请读者自行加以证明。
定义 1 1,2,3 设 D 是 2R 上的开集,
),( 00 yx
D 为一定点,z =
),( yxf
为定义在 D
)},{(\ 00 yx
上的二元函数 。 如果对于每个固定的
0yy?
,极限
),(lim
0
yxf
xx?
存在,并且极限
),(l i ml i m
00
yxf
xxyy
存在,那么称此极限值为函数
),( yxf
在点
),( 00 yx
的先对 x 后对
y
的 二次极限 。
同理可定义先对
y
后对 x 的二次极限
),(l i ml i m
00
yxf
yyxx
。
累次极限 存在与重极限存在的关系很复杂。例 1 1,2,3 和例 1 1,2,4
其实已经告诉我们,二次极限存在 不能保证二重极限存在（请读者思考理由）。而从下面的例子可以知道，二重极限存在同样不能保证二次极限 存在。
例 1 1,2,5 （二重极限存在，但两个二次极限不存在）设
.00,0
,00,
1
c o s
1
s in)(
),(
22
yx
yx
yx
yx
yxf
或且由于
|),(| yxf
≤
22 yx?
,
所以
0),(l i m
)0,0(),(
yxf
yx
。但在
)0,0(
点两个二次极限显然不存在。
累次极限 存在与重极限存在的关系很复杂。例 1 1,2,3 和例 1 1,2,4
其实已经告诉我们,二次极限存在 不能保证二重极限存在（请读者思考理由）。而从下面的例子可以知道，二重极限存在同样不能保证二次极限 存在。
例 1 1,2,6 （二重极限存在，两个二次极限中有一个不存在）
设
.00,0
,00,
1
s i n
),(
yx
yx
x
y
yxf
或且在
)0,0(
点显然有
0),(l i m
)0,0(),(
yxf
yx
，即二重极限存在。且
),(li mli m
00
yxf
yx
=
0
1
s inlimlim
00
x
y
yx
,
但先 对 x 后对
y
的 二次极限 不存在。
此外一个 二次极限 存在不能保证另一个 二次极限也 存在；即使两个 二次极限都 存在，也不一定相等。也就是说,两个极限运算不一定可以交换次序 （参见本节习题 8 （ 2 ））。
例 1 1,2,6 （二重极限存在，两个二次极限中有一个不存在）
设
.00,0
,00,
1
s i n
),(
yx
yx
x
y
yxf
或且在
)0,0(
点显然有
0),(l i m
)0,0(),(
yxf
yx
，即二重极限存在。且
),(li mli m
00
yxf
yx
=
0
1
s inlimlim
00
x
y
yx
,
但先 对 x 后对
y
的 二次极限 不存在。
在二重极限存在时，我们有下面的结果,
定理 1 1,2,1 若二元函数
),( yxf
在
),( 00 yx
点存在二重极限
Ayxf
yxyx
),(li m
),(),( 00
,
且当
0xx?
时存在极限
)(),(lim
0
xyxf
yy
,
那么
),( yxf
在
),( 00 yx
点的先对
y
后对 x 的二次极限存在且与二重极限相等,即
Ayxfxyxf
yxyxxxyyxx
),(lim)(lim),(limlim
),(),( 00000
。
证 只要证明
Ax
xx
)(lim
0
即可。
对于任意给定的
0
，由于
Ayxf
yxyx
),(li m
),(),( 00
，所以存在
0
，
使得当
2020 )()(0 yyxx
时有
2
),(
Ayxf
,
于是对于每个满足
||0 0xx
的 x,令
0yy?
，就得到
AyxfAx
yy
),(lim)(
0
≤
2
。
这就是说，对于任意给定的
0
，存在
0
，使得当
||0 0xx
时,
|)(| Ax
。
同样可证：在二重极限存在的情况下，如果当
0yy?
时存在极限
)(),(lim
0
yyxf
xx
，那么
),(lim)(lim),(limlim
),(),( 00000
yxfyyxf
yxyxyyxxyy
。
所以,若函数
),( yxf
的二重极限及两个二次极限都存在，则三者必相等，即
),(lim),(limlim),(limlim
),(),( 000000
yxfyxfyxf
yxyxyyxxxxyy
。
这意味着，此时 极限运算可以交换次序 。
多元函数的连续性定义 1 1,2,4 设 D 是 nR 上的开集,
)( xfz?
是定义在 D 上的函数，
0x
D 为一定点 。 如果
0
l i m
xx?
f ( x ) = f (
0x
),
则称函数 f 在点
0x
连续 。 用“
”语言来说就是,如果对于任意给定的
0
,存在
0
,使得当
),( 0?xx O?
时,成立
| f ( x ) - f (
0x
) | ＜ ε,
则称函数 f 在点
0x
连续 。
如果函数 f 在 D 上每一点连续,就称 f 在 D 上连续,或称 f 是 D
上的 连续函数 。
例 1 1,2,7 函数
22s i n),( yxyxf
在 2R 上连续。
证 设
),( 00 yx
为 2R 上的任一点，则有
|),(),(| 00 yxfyxf?
=
|s i ns i n| 202022 yxyx
=
2
s i n
2
c o s2
2
0
2
0
222
0
2
0
22
yxyxyxyx
≤
2
s i n2
2
0
2
0
22
yxyx
2
0
2
0
22 yxyx
≤
2
0
2
0 )()( yyxx
（利用三角不等式）。
于是，对于任意给定的 0,取,当
2
0
2
0 )()( yyxx
时就成立
),(),( 00 yxfyxf 。
这说明 ),( yxf 在 ),(
00 yx
点连续。由于 ),(
00 yx
为 2R 上的任一点，所以
),( yxf 在 2R 上连续。
例 1 1,2,7 函数
22s i n),( yxyxf
在 2R 上连续。
证 设
),( 00 yx
为 2R 上的任一点，则有
|),(),(| 00 yxfyxf?
=
|s i ns i n| 202022 yxyx
=
2
s i n
2
c o s2
2
0
2
0
222
0
2
0
22
yxyxyxyx
≤
2
s i n2
2
0
2
0
22
yxyx
2
0
2
0
22 yxyx
≤
2
0
2
0 )()( yyxx
（利用三角不等式）。
一元连续函数和差积商及复合函数性质同样可以平行地推广到多元连续函数。
例 1 1,2,8 计算极限
22(,) ( 1,0 )
l n( e )
l im
y
xy
x
xy
。
解 注意到函数
l n ( e )yx?
和
22 yx?
在其自然定义域上的连续性，
由极限的运算法则，得到
(,) ( 1,0 )
2 2 2 2(,) ( 1,0 )
(,) ( 1,0 )
l im l n( e )
l n( e )
l im l n 2
l im
y
y
xy
xy
xy
x
x
x y x y
。
例 1 1,2,9 计算极限
22
22(,) ( 0,0 )
si n si n( 1 )
l im
xy
y x y
xy
。
解 利用
1
s i n
lim
0
t
t
t
，得到
22
22(,) ( 0,0 )
s i n ( 1 )
l i m
xy
y x y
xy
=
22
22(,) ( 0,0 )
si n( 1 )
l i m ( 1 )
( 1 )
xy
y x y
y
y x y
=
22
22(,) ( 0,0 ) (,) ( 0,0 )
s i n s i n ( 1 )
l i m l i m ( 1 )
( 1 )
x y x y
y x y
y
y x y
=1 。
向量值函数平面解析几何中熟知的参数方程
),(
),(
ty
tx
],[ 10 ttt?
是一元函数的另一种推广：多个因变量（ x 和 y ）按某种规律，随自变量 t 的变化而相应变化。
定义 1 1,2,5 设 D 是 nR 上的点集,D 到 mR 的映射
,?fD mR,
),,,(
21 nxxxx ),,,( 21 mzzzz
称为 n 元 m 维向量值函数 （ 或 多元函数组 ）,记为 )( xfz? 。 D 称为 f
的 定义域,( ) { | ( ),}mRf D z z f x x D称为 f 的 值域 。
多元函数是 1?m 的特殊情形。
向量值函数平面解析几何中熟知的参数方程
),(
),(
ty
tx
],[ 10 ttt?
是一元函数的另一种推广：多个因变量（ x 和 y ）按某种规律，随自变量 t 的变化而相应变化。
显然，每个
iz
（
mi,,2,1
）都是 x 的函数
)( xii fz?
，它称为 f 的第 i
个坐标（或分量）函数，于是,f 可以表达为分量形式
),(
),(
),(
22
11
x
x
x
mm
fz
fz
fz
xD 。
因此 f 又可表示为
),,,( 21 mffff
。
例 1 1,2,1 0 映射
3,[ 0,) [ 0,2 π ] Rf
,
),,(),( zyxr
的具体分量形式是
,),(
,s i n),(
,c o s),(
rrzz
rryy
rrxx
[ 0,),[ 0,2 π ]r
,
这是二元三维向量值函数，在空间解析几何中知道，这是三维空间上的一张半圆锥面。
定义 1 1,2,2 ' 设 D 是 nR 上的开集，
0?xD
为一定点，
0,\ { }
m? Rf D x
是映射（向量值函数）,A 是一个 m 维向量。如果对于任意给定的 0,存在 0,使得当
}{\),( 00 xxx?O?
时,成立
Axf )(
（ 即
),()(?Axf O?
）,
则称 A 为 x 趋于
0x
时
f
的 极限,并称 x 趋于
0x
时
f
收敛 。记为
Axf?
)(lim
0xx
或
)()( 0xxAxf
。
定义 1 1,2,4 ' 设 D 是 nR 上的开集,
0?xD
为一定点 。
f
m?:RD 是映射 （向量值函数）。如果
f
满足
)()(lim 0
0
xfxf?
xx
,
那么称
f
在
0x
点 连续 。 用,,语言来说就是,如果对于任意给定的 0,存在 0,使得当
),( 0?xx O?
时,成立
|
)( xf
-
)( 0xf
| ＜? （即
)),(()( 0?xfxf O?
）,
则称
f
在点
0x
连续 。
如果映射
f
在 D 上每一点连续，就称
f
在 D 上连续。这时称映射
f
为 D 上的 连续映射 。
定理 1 1,2,2 设 D 是 nR 上的开集，
0?xD
为一定点。那么映射
,m? RfD 在 0x 点连续的充分必要条件为：函数 mfff,,,21? 在 0x 点连续。
定理的证明可由不等式
|)()(| 0xx jj ff?
≤
m
i
ii ff
1
2
00 ))()((|)()(| xxxfxf
≤
m
i
ii ff
1
0 |)()(| xx
（ mj,,2,1 ）
直接得到。
定理 1 1,2,2 设 D 是 nR 上的开集，
0?xD
为一定点。那么映射
,m? RfD 在 0x 点连续的充分必要条件为：函数 mfff,,,21? 在 0x 点连续。
例 1 1,2,1 1 设 D =
},|),{( 2 dvcbuavu R
。映射
3,? RfD
,
),,(),( zyxvu?
是二元三维向量值函数，它写成分量形式就是
),,(
),,(
),,(
vuzz
vuyy
vuxx
(,)uv? D
。
如果
),(),,(),,( vuzvuyvux
都是 D 上的连续函数，从几何上看，这就是三维空间上的连续曲面的一般方程。
设 Ω 是 kR 上的开集,D 为 nR 上的开集。 g,k? RD 与 f,Ω m? R
为映射。若 g 的值域 ()gD 满足 ()gD? Ω,则可以定义 复合映射
,m? Rf g D,
( ( ) )u f g u 。
定理 11.2.3 如果 g 在 D 上连续,f 在 Ω 上连续,那么复合映射 fg
在 D 上连续 。
:f? RD
,
zx
称为 n 元函数,记为
()zf? x
。 这时,D 称为
f
的 定义域,
()f D?
{ R | ( ),}z z fx x D
称为
f
的 值域,? =
1{ (,) R | ( ),}nz z fx x x D
称为
f
的 图 像 。
§ 2 多元连续函数例 1 1,2,1
2
2
2
2
1
b
y
a
x
z
是二元函数，其定义域为
D = 22
2
22
(,) 1
xy
xy
ab
R
,
函数的图 像 是一个上半椭球面（见图 1 1,2,1 ）。
z
2
2
2
2
1
b
y
a
x
z
O y
y
x
图 1 1,2,1
多元函数的极限定义 1 1,2,2 设 D 是 nR 上的开集,
002010,,,nxxx?x
D 为一定点,
)( xfz?
是定义在 D \ {
0x
} 上的 n 元函数,A 是一个实数 。 如果对于任意给定的
0
,存在
0
,使得当
),( 0?xx O?
\ {
0x
} 时,成立
Af )( x
,
则称 x 趋于
0x
时
f
收敛,并称 A 为
f
当 x 趋于
0x
时的 （ n 重）极限,
记为
0
l i m
xx?
)( xf
= A,或
)( xf A?
（
0xx?
），或
Axxxf
n
xx
xx
xx
nn
),,,(lim
21
0
0
22
0
11
。
注 在上面的定义中，“
0(,)Oxx
\ {
0x
},也可以用下面的条件
,||,|| 022011 xxxx,||,0 nn xx? x? 0x
替代。
多元函数的极限定义 1 1,2,2 设 D 是 nR 上的开集,
002010,,,nxxx?x
D 为一定点,
)( xfz?
是定义在 D \ {
0x
} 上的 n 元函数,A 是一个实数 。 如果对于任意给定的
0
,存在
0
,使得当
),( 0?xx O?
\ {
0x
} 时,成立
Af )( x
,
则称 x 趋于
0x
时
f
收敛,并称 A 为
f
当 x 趋于
0x
时的 （ n 重）极限,
记为
0
l i m
xx?
)( xf
= A,或
)( xf A?
（
0xx?
），或
Axxxf
n
xx
xx
xx
nn
),,,(lim
21
0
0
22
0
11
。
例 1 1,2,2 设
22
s i n)(),(
yx
y
yxyxf
，证明
0),(l i m
)0,0(),(
yxf
yx
。
证 由于
22
s in)(|0),(|
yx
y
yxyxf
≤
|| yx?
≤
|||| yx?
,
所以，对于任意给定的 0,只要取
2
，那么当
|0|,|0| yx
，
且
)0,0(),(?yx
时,
|0),(|?yxf
≤
22
|||| yx
。
这说明了
0),(l i m
)0,0(),(
yxf
yx
。
对一元函数而言，只要在
0x
的左、右极限存在且相等,那么 函数在
0x
处的极限就存在。而对多元函数来说，根据极限存在的定义，则要求当 x 以任何方式趋于
0x
时，函数值都趋于同一个极限。若自变量沿不同的两条曲线趋于某一定点时，函数的极限不同或不存在，那么这个函数在该点的极限一定不存在。
例 1 1,2,3 设
)0,0(),(,),(
22
yx
yx
xy
yxf
。
当点 x
),( yx?
沿 x 轴和 y 轴趋于
)0,0(
时，
),( yxf
的极限都是 0 。但当点 x
),( yx?
沿直线
mxy?
趋于
)0,0(
时,
2222
2
00 1
lim),(lim
m
m
xmx
mx
yxf
x
mxy
x?
,
对于不同的 m 有不同的极限值。这说明
),( yxf
在点
)0,0(
的极限不存在。
对一元函数而言，只要在
0x
的左、右极限存在且相等,那么 函数在
0x
处的极限就存在。而对多元函数来说，根据极限存在的定义，则要求当 x 以任何方式趋于
0x
时，函数值都趋于同一个极限。若自变量沿不同的两条曲线趋于某一定点时，函数的极限不同或不存在，那么这个函数在该点的极限一定不存在。
下例说明即使点 x 沿任意直线趋于
0x
时，
),( yxf
的极限都存在且相等，仍无法保证函数
f
在
0x
处有极限。
例 1 1,2,4 设
)0,0(),(,
)(
),(
24
22
yx
xy
xy
yxf
。
当点 x
),( yx?
沿直线
mxy?
趋于
)0,0(
时,成立
1
)(
l i m),(l i m
244
222
00
xxm
xxm
yxf
x
mxy
x；
当点 x
),( yx?
沿
y
轴趋于
)0,0(
时，也成立
1),(lim
0
0
yxf
x
y
，因此当点 x
),( yx?
沿任何直线趋于
)0,0(
时，
),( yxf
极限存在且相等。
但
),( yxf
在点
)0,0(
的极限不存 在。事实上，
f
在抛物线
xy?2
上的值为 0,因此当点 x
),( yx?
沿这条抛物线趋于
)0,0(
时，它的极限为 0 。
一元函数的极限性质，如唯一性、局部有界性、局部保序性、
局部夹逼性及极限的四则运算法则，对二元函数依然成立，这里不再细述，请读者自行加以证明。
累次极限对重极限
),(lim
),(),( 00
yxf
yxyx?
（即
),(lim
0
0
yxf
yy
xx
），人们很自然会想到的是，
能否在一定条件下将重极限
),( yx ),( 00 yx?
分解成为两个独立的极限
0xx?
和
0yy?
，再利用一元函数的极限理论和方法逐个处理之？
这后一种极限称为 累次极限 。
一元函数的极限性质，如唯一性、局部有界性、局部保序性、
局部夹逼性及极限的四则运算法则，对二元函数依然成立，这里不再细述，请读者自行加以证明。
定义 1 1,2,3 设 D 是 2R 上的开集,
),( 00 yx
D 为一定点,z =
),( yxf
为定义在 D
)},{(\ 00 yx
上的二元函数 。 如果对于每个固定的
0yy?
,极限
),(lim
0
yxf
xx?
存在,并且极限
),(l i ml i m
00
yxf
xxyy
存在,那么称此极限值为函数
),( yxf
在点
),( 00 yx
的先对 x 后对
y
的 二次极限 。
同理可定义先对
y
后对 x 的二次极限
),(l i ml i m
00
yxf
yyxx
。
累次极限 存在与重极限存在的关系很复杂。例 1 1,2,3 和例 1 1,2,4
其实已经告诉我们,二次极限存在 不能保证二重极限存在（请读者思考理由）。而从下面的例子可以知道，二重极限存在同样不能保证二次极限 存在。
例 1 1,2,5 （二重极限存在，但两个二次极限不存在）设
.00,0
,00,
1
c o s
1
s in)(
),(
22
yx
yx
yx
yx
yxf
或且由于
|),(| yxf
≤
22 yx?
,
所以
0),(l i m
)0,0(),(
yxf
yx
。但在
)0,0(
点两个二次极限显然不存在。
累次极限 存在与重极限存在的关系很复杂。例 1 1,2,3 和例 1 1,2,4
其实已经告诉我们,二次极限存在 不能保证二重极限存在（请读者思考理由）。而从下面的例子可以知道，二重极限存在同样不能保证二次极限 存在。
例 1 1,2,6 （二重极限存在，两个二次极限中有一个不存在）
设
.00,0
,00,
1
s i n
),(
yx
yx
x
y
yxf
或且在
)0,0(
点显然有
0),(l i m
)0,0(),(
yxf
yx
，即二重极限存在。且
),(li mli m
00
yxf
yx
=
0
1
s inlimlim
00
x
y
yx
,
但先 对 x 后对
y
的 二次极限 不存在。
此外一个 二次极限 存在不能保证另一个 二次极限也 存在；即使两个 二次极限都 存在，也不一定相等。也就是说,两个极限运算不一定可以交换次序 （参见本节习题 8 （ 2 ））。
例 1 1,2,6 （二重极限存在，两个二次极限中有一个不存在）
设
.00,0
,00,
1
s i n
),(
yx
yx
x
y
yxf
或且在
)0,0(
点显然有
0),(l i m
)0,0(),(
yxf
yx
，即二重极限存在。且
),(li mli m
00
yxf
yx
=
0
1
s inlimlim
00
x
y
yx
,
但先 对 x 后对
y
的 二次极限 不存在。
在二重极限存在时，我们有下面的结果,
定理 1 1,2,1 若二元函数
),( yxf
在
),( 00 yx
点存在二重极限
Ayxf
yxyx
),(li m
),(),( 00
,
且当
0xx?
时存在极限
)(),(lim
0
xyxf
yy
,
那么
),( yxf
在
),( 00 yx
点的先对
y
后对 x 的二次极限存在且与二重极限相等,即
Ayxfxyxf
yxyxxxyyxx
),(lim)(lim),(limlim
),(),( 00000
。
证 只要证明
Ax
xx
)(lim
0
即可。
对于任意给定的
0
，由于
Ayxf
yxyx
),(li m
),(),( 00
，所以存在
0
，
使得当
2020 )()(0 yyxx
时有
2
),(
Ayxf
,
于是对于每个满足
||0 0xx
的 x,令
0yy?
，就得到
AyxfAx
yy
),(lim)(
0
≤
2
。
这就是说，对于任意给定的
0
，存在
0
，使得当
||0 0xx
时,
|)(| Ax
。
同样可证：在二重极限存在的情况下，如果当
0yy?
时存在极限
)(),(lim
0
yyxf
xx
，那么
),(lim)(lim),(limlim
),(),( 00000
yxfyyxf
yxyxyyxxyy
。
所以,若函数
),( yxf
的二重极限及两个二次极限都存在，则三者必相等，即
),(lim),(limlim),(limlim
),(),( 000000
yxfyxfyxf
yxyxyyxxxxyy
。
这意味着，此时 极限运算可以交换次序 。
多元函数的连续性定义 1 1,2,4 设 D 是 nR 上的开集,
)( xfz?
是定义在 D 上的函数，
0x
D 为一定点 。 如果
0
l i m
xx?
f ( x ) = f (
0x
),
则称函数 f 在点
0x
连续 。 用“
”语言来说就是,如果对于任意给定的
0
,存在
0
,使得当
),( 0?xx O?
时,成立
| f ( x ) - f (
0x
) | ＜ ε,
则称函数 f 在点
0x
连续 。
如果函数 f 在 D 上每一点连续,就称 f 在 D 上连续,或称 f 是 D
上的 连续函数 。
例 1 1,2,7 函数
22s i n),( yxyxf
在 2R 上连续。
证 设
),( 00 yx
为 2R 上的任一点，则有
|),(),(| 00 yxfyxf?
=
|s i ns i n| 202022 yxyx
=
2
s i n
2
c o s2
2
0
2
0
222
0
2
0
22
yxyxyxyx
≤
2
s i n2
2
0
2
0
22
yxyx
2
0
2
0
22 yxyx
≤
2
0
2
0 )()( yyxx
（利用三角不等式）。
于是，对于任意给定的 0,取,当
2
0
2
0 )()( yyxx
时就成立
),(),( 00 yxfyxf 。
这说明 ),( yxf 在 ),(
00 yx
点连续。由于 ),(
00 yx
为 2R 上的任一点，所以
),( yxf 在 2R 上连续。
例 1 1,2,7 函数
22s i n),( yxyxf
在 2R 上连续。
证 设
),( 00 yx
为 2R 上的任一点，则有
|),(),(| 00 yxfyxf?
=
|s i ns i n| 202022 yxyx
=
2
s i n
2
c o s2
2
0
2
0
222
0
2
0
22
yxyxyxyx
≤
2
s i n2
2
0
2
0
22
yxyx
2
0
2
0
22 yxyx
≤
2
0
2
0 )()( yyxx
（利用三角不等式）。
一元连续函数和差积商及复合函数性质同样可以平行地推广到多元连续函数。
例 1 1,2,8 计算极限
22(,) ( 1,0 )
l n( e )
l im
y
xy
x
xy
。
解 注意到函数
l n ( e )yx?
和
22 yx?
在其自然定义域上的连续性，
由极限的运算法则，得到
(,) ( 1,0 )
2 2 2 2(,) ( 1,0 )
(,) ( 1,0 )
l im l n( e )
l n( e )
l im l n 2
l im
y
y
xy
xy
xy
x
x
x y x y
。
例 1 1,2,9 计算极限
22
22(,) ( 0,0 )
si n si n( 1 )
l im
xy
y x y
xy
。
解 利用
1
s i n
lim
0
t
t
t
，得到
22
22(,) ( 0,0 )
s i n ( 1 )
l i m
xy
y x y
xy
=
22
22(,) ( 0,0 )
si n( 1 )
l i m ( 1 )
( 1 )
xy
y x y
y
y x y
=
22
22(,) ( 0,0 ) (,) ( 0,0 )
s i n s i n ( 1 )
l i m l i m ( 1 )
( 1 )
x y x y
y x y
y
y x y
=1 。
向量值函数平面解析几何中熟知的参数方程
),(
),(
ty
tx
],[ 10 ttt?
是一元函数的另一种推广：多个因变量（ x 和 y ）按某种规律，随自变量 t 的变化而相应变化。
定义 1 1,2,5 设 D 是 nR 上的点集,D 到 mR 的映射
,?fD mR,
),,,(
21 nxxxx ),,,( 21 mzzzz
称为 n 元 m 维向量值函数 （ 或 多元函数组 ）,记为 )( xfz? 。 D 称为 f
的 定义域,( ) { | ( ),}mRf D z z f x x D称为 f 的 值域 。
多元函数是 1?m 的特殊情形。
向量值函数平面解析几何中熟知的参数方程
),(
),(
ty
tx
],[ 10 ttt?
是一元函数的另一种推广：多个因变量（ x 和 y ）按某种规律，随自变量 t 的变化而相应变化。
显然，每个
iz
（
mi,,2,1
）都是 x 的函数
)( xii fz?
，它称为 f 的第 i
个坐标（或分量）函数，于是,f 可以表达为分量形式
),(
),(
),(
22
11
x
x
x
mm
fz
fz
fz
xD 。
因此 f 又可表示为
),,,( 21 mffff
。
例 1 1,2,1 0 映射
3,[ 0,) [ 0,2 π ] Rf
,
),,(),( zyxr
的具体分量形式是
,),(
,s i n),(
,c o s),(
rrzz
rryy
rrxx
[ 0,),[ 0,2 π ]r
,
这是二元三维向量值函数，在空间解析几何中知道，这是三维空间上的一张半圆锥面。
定义 1 1,2,2 ' 设 D 是 nR 上的开集，
0?xD
为一定点，
0,\ { }
m? Rf D x
是映射（向量值函数）,A 是一个 m 维向量。如果对于任意给定的 0,存在 0,使得当
}{\),( 00 xxx?O?
时,成立
Axf )(
（ 即
),()(?Axf O?
）,
则称 A 为 x 趋于
0x
时
f
的 极限,并称 x 趋于
0x
时
f
收敛 。记为
Axf?
)(lim
0xx
或
)()( 0xxAxf
。
定义 1 1,2,4 ' 设 D 是 nR 上的开集,
0?xD
为一定点 。
f
m?:RD 是映射 （向量值函数）。如果
f
满足
)()(lim 0
0
xfxf?
xx
,
那么称
f
在
0x
点 连续 。 用,,语言来说就是,如果对于任意给定的 0,存在 0,使得当
),( 0?xx O?
时,成立
|
)( xf
-
)( 0xf
| ＜? （即
)),(()( 0?xfxf O?
）,
则称
f
在点
0x
连续 。
如果映射
f
在 D 上每一点连续，就称
f
在 D 上连续。这时称映射
f
为 D 上的 连续映射 。
定理 1 1,2,2 设 D 是 nR 上的开集，
0?xD
为一定点。那么映射
,m? RfD 在 0x 点连续的充分必要条件为：函数 mfff,,,21? 在 0x 点连续。
定理的证明可由不等式
|)()(| 0xx jj ff?
≤
m
i
ii ff
1
2
00 ))()((|)()(| xxxfxf
≤
m
i
ii ff
1
0 |)()(| xx
（ mj,,2,1 ）
直接得到。
定理 1 1,2,2 设 D 是 nR 上的开集，
0?xD
为一定点。那么映射
,m? RfD 在 0x 点连续的充分必要条件为：函数 mfff,,,21? 在 0x 点连续。
例 1 1,2,1 1 设 D =
},|),{( 2 dvcbuavu R
。映射
3,? RfD
,
),,(),( zyxvu?
是二元三维向量值函数，它写成分量形式就是
),,(
),,(
),,(
vuzz
vuyy
vuxx
(,)uv? D
。
如果
),(),,(),,( vuzvuyvux
都是 D 上的连续函数，从几何上看，这就是三维空间上的连续曲面的一般方程。
设 Ω 是 kR 上的开集,D 为 nR 上的开集。 g,k? RD 与 f,Ω m? R
为映射。若 g 的值域 ()gD 满足 ()gD? Ω,则可以定义 复合映射
,m? Rf g D,
( ( ) )u f g u 。
定理 11.2.3 如果 g 在 D 上连续,f 在 Ω 上连续,那么复合映射 fg
在 D 上连续 。
