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

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

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

多变量函数的连续性

多元函数概念和极限

多元函数(多变量函数)

f:DR

称为 n 元函数,也记为:
f(x)=f(x1,x2,,xn),x=(x1,x2,,xn)D


其中定义域 DRn,值域 f(D)R

多元函数的极限

f:DR,aD,limxaf(x)=pR,即:
ε>0,δ>0,xBδ(ˆa)D,|f(x)p|<ε(xD0<xa<δ)

无穷远处的极限

f:DR,r>0,Br(0)cD(x>rxD),定义:
limxf(x)=pR


如果满足:
ε>0,M>0,x>M,|f(x)p|<ε
:其他类型无穷远处极限可以类似地定义,比如部分变量趋向于无穷远或部分变量趋向于单侧无穷远。

多元函数极限的性质

函数极限与点列极限

f:DR,aD,则 limxaf(x)=p 的充分必要条件是,对于满足 limkxk=a 的点列 {xk}D{a},都有 limkf(xk)=p

证明:必然性比较容易证明,下证明充分性。

limxaf(x)p,构造 {xk}D{a},xa
ε0>0,kN,xkDB1k(ˆa),|f(xk)p|ε0


矛盾。


1. 该性质常用来判断极限 limxaf(x) 不存在(发散);
2. 若已知极限存在,可以利用该性质求出极限。

函数四则运算的极限

f,g:DR,aD,limxaf(x)=p,limxag(x)=q

  1. limxa[f(x)±g(x)]=p±q
  2. limxa[f(x)g(x)]=pq
  3. limxa[f(x)g(x)]=pq(q0)

利用函数极限与点列极限的关系即可证明。

Cauchy 收敛准则

f:DR,aD,则 limxaf(x) 存在的充分必要条件是:
ε>0,δ>0,x,xDBδ(ˆa),|f(x)f(x)|<ε[x,xD,0<xa<δ,0<xa<δ]

必要性利用 |f(x)f(x)||f(xf(a))|+|f(x)f(a)|。充分性先导出 f(x)a 点附近有界,再利用列紧原理:存在 {xk}D{a},xka,f(xk)p,再验证 limxaf(x)=p|f(x)p||f(x)f(xk)|+|f(xk)p|
然后即可证明。

多元函数的连续性

多元函数的连续性

设函数 f:DR,aD,称 fa 点连续,如果:
limxaf(x)=f(a)ε>0,δ>0,xDBδ(a),|f(a)f(x)|<ε

如果 fD 内每一点都连续,则称 fD 上(内)连续。注意:上面的定义中 a 可以不是 D 的内点。

推论:设 aD 的孤立点,f 定义在 D 上,则 fa 点连续。

记号
C(D)={f:DR|f 在 D 中每一点都连续}


其中 DRn 是一个区域(开或闭)。

推论 1C(D) 是一个线性空间,即:
f,gC(D),α,βR,αf+βgC(D)


推论 2:连续函数经过四则运算(分母不为 0) 仍连续。

结论:多项式函数处处连续,有理函数在分母不为零的点处处连续。

一致连续概念

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

推论:若 fD 上一致连续,则 fD 中每一点连续。(反之不成立)

 

点赞 0

No Comments

Add your comment