Loading [MathJax]/jax/output/HTML-CSS/jax.js

微积分笔记(37)——多变量函数的连续性(3)

微积分笔记(37)——多变量函数的连续性(3)

多变量函数的连续性

向量值函数(数值函数的推广)

定义

ff:DRm

称为向量值函数,也记为 y=ff(x)

其中 ff 的定义域 DRnff 的值域 ff(D)Rm

分量表示

x=(x1,,xn)D,y=(y1,,ym)Rm

函数也可写成:
{y1=f1(x1,,xn)ym=fm(x1,,xn)


这里 ff=(f1,f2,,fm),即 ff 可以用分量函数组合。

如果 f1,,fm 均为线性函数,则可用矩阵 ff=Ax 的方法表示函数。

曲线

给定:
ff:[a,b]Rm


则称 ff([a,b])m 维欧氏空间中的一条曲线。

也称此函数为 Rm 中一条曲线。

复合函数

设:
gg:DRm,ff:ΩRk,ΩRm


如果 gg(D)Ω,则可以定义复合函数 ffgg:DRk

也即 ffgg(x)=ff(gg(x)),xD

记:
y=gg(x),u=ff(y),yΩ


则二函数复合得到:
u=ff(gg(x)),xD

向量值函数的极限与连续

向量值函数的极限

令:
ff:DRm,aD,limxaff(x)=pRm:ε>0,δ>0,xBδ(ˆa)D,ff(x)p<ε

分量表示

记:
ff(x)=(f1(x),,fm(x)),p=(p1,,pm)


则:
limxaff(x)=plimxafk(x)=pk,k=1,,m

向量值函数极限的性质

  1. 保持线性。
  2. 保持内积。
  3. Cauchy 收敛准则。
  4. 点收敛准则。

向量值函数的连续

设:
ff:DRm,aD


ffa 点连续,如果:
limxaff(x)=ff(a):ε>0,δ>0,xDBδ(a),ff(x)ff(a)<ε

连续性的特征刻画

DRn 是开集,ff:DRm,则 ffD 中处处连续的充分必要条件是,GRm 中开集:
ff1(G)={xD:ff(x)G}


Rn 中开集。

证明略。

复合函数的极限

gg:DRn,ff:ΩRk,gg(D)Ω

又设:
aD,limxagg(x)=p,limypff(y)=ff(p)


则:
limxaffgg(x)=limxaff(gg(x))=ff(p)

证明略。

:上面条件要求 ffp 点连续,也可以修改为:
limypff(y)=q


存在,但 gg(x)p

记号

C(D,Rm)={ff:DRm|ffD}

其中 DRn。(可以是区域,也可以不是)

m=1 时,C(D,R1)=C(D)

推论C(D,Rm) 是一个线性空间。

连续曲线

若:
ffC([a,b],Rm)


则称其为一条连续曲线。

连续函数的性质

一致连续概念(推广到向量值函数)

称函数 ff:DRmD 上一致连续:
ε>0,δ>0,x,xD,xx<δ,ff(x)ff(x)<ε

紧致集上的连续性

ffC(D,Rm)DRn 是紧致集,则 ffD 上一致连续。

证明:若不然:
ε0>0,kN,xk,ykDxkyk<1k,ff(xk)ff(yk)ε0

D 列紧,则存在子列 {xk},{yk},都收敛于某 zD。于是矛盾。

紧致集上的有界性

ffC(D,Rm),若 D 紧致,则 ff(D) 也紧致(有界闭集)。

证明:只须验证 ff(D) 是列紧的。

任取点列 {yk}ff(D)
{xk}D,ff(xk)=yk,k=1,2,


已知 D 列紧:存在子列 {xk} 收敛于某 zD,而 ffD 上连续。
limkff(xk)=ff(z),limykyk=ff(z)ff(D)

ff(D) 列紧。

推论:若上面 m=1,则 ffD 上可以达到最大最小值。


1. 连续函数不必把闭集映射成闭集。
2. 连续函数不必把有界集映射成有界集。

道路连通概念

ERn 称为道路连通集,如果 a,bE,存在连续曲线 LE,使得 a,bL

更具体的表述:
a,bE,ffC([α,β],Rn)


满足 ff([α,β])E,且 ff(α)=a,ff(β)=b

不失一般性,可令 α=0,β=1

推论:令 ER1
E 是道路连通的,则 E 必是一个区间。

证明:应用一元连续函数介值定理。

连续函数的连通性质

ffC(D,Rm),若 D 道路连通,则 ff(D) 也道路连通。

证明:为验证 ff(D) 道路连通:任取两点 y0,y1ff(D)
x0,x1,ff(x0)=y0,ff(x1)=y1


已知 D 道路连通,存在 Rn 中连续曲线 hhC([0,1],Rn)
hh([0,1])D,hh(0)=x0,hh(1)=x1

即在 D 中连接 x0,x1,由此得到 Rm 中连续曲线 ffhhC([0,1],Rm)
ffhh([0,1])ff(D),ffhh(0)=y0,ffhh(1)=y1

即在 ff(D) 中连接 y0,y1,这说明 ff(D) 道路连通。

推论:设 fC(D),若 D 道路连通,则 fD 上有介值性质:

a,bD,f(a)<f(b),则 f(a)<r<f(b),cD,f(c)=r证明考虑 f(D) 是一个区间即可得知。

 

点赞 0

No Comments

Add your comment

就算只有六十亿分之一的机会,我们还是会邂逅。