函数极限＜3＞——连续函数

连续函数

连续函数的定义

定义3.1 连续函数

若函数$f\left(x\right)$在邻域$\mathring{U}\left(x_0,\delta \right)$上有定义,且$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(\left|x-x_0\right|<\delta \right)$,$\left|f\left(x\right)-f\left(x_0\right)\right|<\epsilon$,也就是${\lim }_{x\to x_0}f\left(x\right)=f\left(x_0\right)$,则称$f\left(x\right)$在点$x_0$处连续,或$x_0$为$f\left(x\right)$的一个连续点。

定义3.2 开区间上的连续函数

若函数$f\left(x\right)$在开区间$\left(a,b\right)$上每一点都连续,则称$f\left(x\right)$在$\left(a,b\right)$上连续。

定义3.3 单侧连续

若${\lim }_{x\to x_0^{+}}f\left(x\right)=f\left(x_0\right)$,即$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(-\delta <x-x_0\le 0\right)$,$\left|f\left(x\right)-f\left(x_0\right)\right|<\epsilon$,则称$f\left(x\right)$在点$x_0$处左连续,或$x_0$为$f\left(x\right)$的一个左连续点。
若${\lim }_{x\to x_0^{-}}f\left(x\right)=f\left(x_0\right)$,即$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(0\le x-x_0<\delta \right)$,$\left|f\left(x\right)-f\left(x_0\right)\right|<\epsilon$,则称$f\left(x\right)$在点$x_0$处右连续,或$x_0$为$f\left(x\right)$的一个右连续点。

定义3.4 闭区间上的连续函数

若$f\left(x\right)$在开区间$\left(a,b\right)$上每一点都连续,且在右端点左连续,左端点右连续,则函数$f\left(x\right)$在闭区间$\left[a,b\right]$上连续。

连续函数的性质

定理3.1 四则运算性质

连续函数的四则运算结果也是连续函数。

不连续点的分类

定义3.5 跳跃间断点

左右极限存在但不相等。

定义3.6 无穷间断点 振荡间断点

左右极限中至少有一个不存在,又可分为无穷间断点或振荡间断点。

定义3.7 可去间断点

左右极限存在且相等,但不等于此处函数值,或此处函数无定义。

反函数的连续性

定理3.2 反函数存在定理

若$f\left(x\right)$在$D_f$上严格单调增加(减少),则存在$f\left(x\right)$的反函数$f^{-1}\left(y\right)=x$,$y\in R_f$,且$f^{-1}\left(y\right)$也严格单调增加(减少)。

不妨设$f\left(x\right)$在$D_f$上严格单调增加。
$f\left(x\right)$满足$x_1\ne x_2\iff y_1\ne y_2$,即$f\left(x\right)$具有单射性,也就是对任意原象$y$,有唯一的$x$与其对应,所以存在从$y$到$x$的反函数映射。
设$y_1>y_2$,由映射定义,$x_1=f^{-1}\left(y_1\right)\ne x_2=f^{-1}\left(y_2\right)$,
又根据$f\left(x\right)$在$D_f$上严格单调增加,则$x_1>x_2$,也就是$y_1>y_2\Rightarrow x_1>x_2$,$f^{-1}\left(y\right)$也严格单调增加。

定理3.3 反函数连续性定理

设$y=f\left(x\right)$在闭区间$\left[a,b\right]$上连续且严格单调增加,设$f\left(a\right)=\alpha$,$f\left(b\right)=\beta$,则$f^{-1}\left(y\right)$在$\left[\alpha ,\beta \right]$上连续。

由反函数存在定理,反函数$f^{-1}\left(y\right)$必定存在,且严格单调增加。
取$\gamma \in \left[\alpha ,\beta \right]$,构造集合 S = { x ∣ x ∈ [ a , b ] , f ( x ) < γ } S=\left \{ x|x\in \left [ a,b \right ],f\left ( x \right )<\gamma \right \} S={x∣x∈[a,b],f(x)<γ},
由确界存在定理,集合$S$的上确界存在,记为$x_0$,
断言:
(1)$\forall x<x_0$,$f\left(x\right)<\gamma$
反证法,设$\exists x_1$:$x_1<x_0$,$f\left(x_1\right)\ge \gamma$,
因为$y=f\left(x\right)$严格单调增加,所以$x_1<x_0\iff f\left(x_1\right)<f\left(x_0\right)$,
综上所述,$\forall x\in \left[a,b\right]$,$f\left(x\right)<\gamma \le f\left(x_1\right)<f\left(x_0\right)$,这与$x_0$是$S$的最小上界矛盾,所以$\forall x<x_0$,$f\left(x\right)<\gamma$。
(2)$\forall x>x_0$,$f\left(x\right)>\gamma$
反证法,设$\exists x_1$:$x_1>x_0$,$f\left(x_1\right)\le \gamma$,
因为$y=f\left(x\right)$严格单调增加,所以$x_1>x_0\iff f\left(x_1\right)>f\left(x_0\right)$,
综上所述,$\forall x\in \left[a,b\right]$,$f\left(x_0\right)<f\left(x_1\right)\le \gamma$,这与$x_0$是$S$的上界矛盾,所以$\forall x>x_0$,$f\left(x\right)>\gamma$。
引用函数极限的保不等号性,则有${\lim }_{x\to x_0^{-}}f\left(x\right)\le \gamma \le {\lim }_{x\to x_0^{+}}f\left(x\right)$,
根据单侧极限的定义和连续函数的定义,${\lim }_{x\to x_0^{-}}f\left(x\right)={\lim }_{x\to x_0^{+}}f\left(x\right)={\lim }_{x\to x_0}f\left(x\right)=\gamma =f\left(x_0\right)$。
由于$\gamma$的任意性,所以$R_f=\left[\alpha ,\beta \right]$,即$D_{f^{-1}}=\left[\alpha ,\beta \right]$。
现在取$y_0\in \left[\alpha ,\beta \right]$,由于$y=f\left(x\right)$的单射性,有且只有唯一的$x_0$与之对应,
$\forall \epsilon >0$,因为函数$f\left(x\right)$在闭区间$\left[a,b\right]$上连续且严格单调增加,所以当自变量$x$的邻域为$\left(x_0-\epsilon ,x_0+\epsilon \right)$时,$x$映射后的邻域为$\left(f\left(x_0-\epsilon \right),f\left(x_0+\epsilon \right)\right)$,
取 δ = min ⁡ { ∣ f ( x 0 − ε ) − f ( x 0 ) ∣ , ∣ f ( x 0 + ε ) − f ( x 0 ) ∣ } \delta =\min \left \{ \left | f \left ( x_{0}-\varepsilon \right )-f\left ( x_{0} \right ) \right | , \left | f \left ( x_{0}+\varepsilon \right )-f\left ( x_{0} \right ) \right | \right \} δ=min{∣f(x0​−ε)−f(x0​)∣,∣f(x0​+ε)−f(x0​)∣},$\forall \epsilon >0$,$\exists \delta >0$:$\forall y\left(\left|y-y_0\right|<\delta \right)$,$\left|f^{-1}\left(y\right)-f^{-1}\left(y_0\right)\right|=\left|x-x_0\right|<\epsilon$,$f^{-1}\left(y\right)$在$\left[\alpha ,\beta \right]$上连续。

复合函数的连续性

定理3.4 复合函数连续性定理

函数$u=g\left(x\right)$在点$x_0$处连续,$g\left(x_0\right)=u_0$,$f\left(u\right)$在$u_0$处连续,则$f\circ g\left(x\right)$在$x_0$连续。

由连续函数的定义,$\forall \delta >0$,$\exists \eta >0$:$\forall x\left(x-x_0<\eta \right)$,$\left|g\left(x\right)-g\left(x_0\right)\right|=\left|g\left(x\right)-u_0\right|<\delta$,
同理,$\forall \epsilon >0$,$\exists \delta >0$:$\forall u\left(u-u_0<\delta \right)$,$\left|f\left(u\right)-f\left(u_0\right)\right|<\epsilon$,
令上文中$g\left(x\right)=u$,则$\forall \epsilon >0$,$\exists \eta >0$:$\forall x\left(g\left(x\right)-g\left(x_0\right)<\eta \right)$,$\left|f\left(g\left(x\right)\right)-f\left(g\left(x_0\right)\right)\right|<\epsilon$。