Loading [MathJax]/jax/element/mml/optable/BasicLatin.js

微积分笔记(6)——一致连续和闭区间连续函数

微积分笔记(6)——一致连续和闭区间连续函数

连续函数(续)

反函数的连续性

f:(a,b)(c,d)f1:(c,d)(a,b) 互为反函数,且都是严格单调,则 fC(a,b)f1C(c,d)

x0(a,b),记 y0=f(x0)(c,d)。往证 fx0 点连续。

不妨设 ff1 都是严格递增。

ε>0,要使 |f(x)f(x0)|<ε,即要 y0ε=f(x0)ε<f(x)<f(x0)+ε=y0+ε

f1 单调性,上式等价于 f1(y0ε)<x<f1(y0+ε)

已知 f1(y0ε)<x0=f1(y0)<f1(y0+ε)

δ>0 使得 f1(y0ε)<x0δ,f1(y0+ε)>x0δ

(x0δ,x0+δ)(f1(y0ε),f1(y0+ε))

|xx0|<δ 时,f1(y0ε)<x<f1(y0+ε)

从而 y0ε<f(x)<y0+ε

|f(x)f(x0)|<ϵlimxx0f(x)=f(x0)

同理可证 f1y0 点连续。

x0(a,b)y0(c,d) 的任意性,得证。

推论 1:令 a>0,a1f(x)=ax ,则 f:(,+)(0,+) 严格单调,f1(x)=logaxf1:(0,+)(,+) 严格单调,从而 axC(,+),logaxC(0,+)

推论 2arcsinx,arccosx,arctanx 在定义域内连续。

推论 3f(x)=xa=ealnxC(0,+)

定理:初等函数在定义域内连续。

不连续点 = 间断点

间断点的分类

f(x)x0limxx0f(x)f(x0)

  1. 可去间断点limxx0f(x) 存在,但不等于 f(x0)(包括 f(x)x0 点无定义)。
  2. 跳跃间断点limxx0f(x),limxx+0f(x) 都存在但不相等。
  3. 第二类间断点limxx0f(x),limxx+0f(x) 至少有一个不存在。

一致连续

I 是一区间,f:IR

定义

如果 ε>0,δ>0,使得 x1,x2I,满足 |x1x2|<δ 时都有 |f(x1)f(x2)|<ε,则称 fI 上一致连续。

推论

fI 上一致连续,则 fI 中每一点都连续(在 I 中连续)。

否定一致连续

ε0>0,δ>0,xδ,yδI,|xδyδ|<δf(xδ)f(yδ)ε0

等价转换

取上面的 δ=1nxδ,yδ 换为 xn,yn

ε0>0,使 nN,xn,ynI,|xnyn|<1n,|f(xn)f(yn)|ε0

有界闭区间上连续函数的性质

fC[a,b],则 f 具有以下性质。

一、一致连续性

f[a,b] 上一致连续。

证明思路:反证法,利用等价转换后的否定一致连续,根据有界数列必有收敛子列取 {xn} 收敛子列 {xkn},先证明 {ykn}{xkn} 收敛至同一个数 x,由 f 的连续性,得到 f(xkn),f(ykn) 同时收敛至 f(x),即得矛盾。

二、有界性

f[a,b] 上有界。

证明使用反证法类似一即易证。

三、最值性质

x,x[a,b] 使得 x[a,b],f(x)f(x)f(x)。记为 f(x)=minaxbf(x),f(x)=maxaxbf(x)

证明思路:取上下确界,利用定义,根据有界数列必有收敛子列取得 xx

四、介值性质

f(a)f(b)γf(a)f(b) 之间的某介值,则 c(a,b) 使得 f(c)=γ

证:先设 f(a)f(b)<0,γ=0

不妨令 f(a)<0<f(b)。假设 f(x)0x[a,b]

a1=a,b1=b,检查 f(a1+b12) 的符号。

f(a1+b12)>0,取 a2=a1,b2=a1+b12

f(a1+b12)<0,取 b2=b1,a2=a1+b12

这时继续检查,不断重复。

依次进行,得到单调增 {an}α,单调减 {bn}β

f(an)<0<f(bn),bnan=b1a12n10α=β=c0limnf(an)=f(α)=f(β)=limnf(bn)0f(c)=0一般情况,设 F(x)=f(x)γC[a,b] 即可证明。

注:γ=0 的情况也称为零点性质

 

点赞 0

No Comments

Add your comment

我只是个路过的假面骑士。