---
url: /integral/y317t8ko/index.md
---
# 高等微积分 Lesson 10

## 连续性

$f$在$x\_0$处连续 $\Longleftrightarrow$ $\underset{x\to x\_0}{\lim}f(x)=f(x\_0)$

$\Longleftrightarrow$ $\forall\varepsilon>0$，$\exist\delta>0$，$\forall|x-x\_0|<\delta$，使得$|f(x)-f(x\_0)|<\varepsilon$.

/Claim/ （用序列极限刻画连续性）

> $f$在$x\_0$处连续 $\Longleftrightarrow$ 若$\underset{n\to\infty}{\lim}x\_n=x\_0$，则$\underset{n\to\infty}{\lim}f(x\_n)=f(x\_0)$.

/Proof/

> 先证明“$\Longrightarrow$”：设$f$在$x\_0$处连续，设$\underset{n\to\infty}{\lim}x\_n=x\_0$，$D$为定义域，则有复合极限
> $$
> \Z\_+\overset{h}{\longrightarrow}D\overset{f}{\longrightarrow}\R
> $$
> $\underset{n\to\infty}{\lim}h(n)=x\_0$，$\underset{x\to x\_0}{\lim}f(x)=f(x\_0)$且修正2成立，由复合极限定理得到命题成立.
>
> 再证明“$\Longleftarrow$”：设右侧的命题P成立，求证$\underset{x\to x\_0}{\lim}f(x)=f(x\_0)$. 为此，考虑 Heine Theorem ，其中说“$\underset{x\to x\_0}{\lim}f(x)=f(x\_0)$ $\Longleftrightarrow$ $\forall{y\_n\neq x\_0}$且$\underset{n\to\infty}{\lim}y\_n=x\_0$的序列有$\underset{n\to\infty}{\lim}f(y\_n)=f(x\_0)$”
>
> 上面的定理右侧恰好是命题P的特例，当然成立，由此证明了$\underset{x\to x\_0}{\lim}f(x)=f(x\_0)$.

证毕.

下面就得到一个推论：连续函数与序列极限可交换. 也就是说，设$f$是连续函数，则$\underset{n\to\infty}{\lim}f(x\_n)=f(\underset{n\to\infty}{\lim}x\_n)$，当然前提是$\underset{n\to\infty}{\lim}x\_n$存在.

上面推论的证明实际上就是命题的“$\Longrightarrow$”部分.

***

回忆[压缩映像定理](/integral/ih4mtv5k/)，最后一段证明实际上使用这里的这个推论.

设$(X,d)$是完备度量空间，$T:X\to X$压缩，要求：

1. $T$连续：验证$T$在$x\_0$处的连续性（用$\varepsilon-\delta$语言）

   $\forall\varepsilon>0$，取$\delta=\varepsilon/c$，从而$\forall d(x,x\_0)<\delta$，有
   $$
   d(Tx,Tx\_0)\leq cd(x,x\_0)\<c\delta=\varepsilon
   $$
   （压缩映射是连续的）

2. 任取$x\_0\in X$，定义$x\_n=T^{(n)}(x\_0)$，先验证${x\_n}$是Cauchy列，再由$X$是完备度量空间，证明$\underset{n\to\infty}{\lim}x\_n=z$（存在）.

   在学习完上面的推论之后，我们就可以这样进行最后一步证明：由$T$连续，得到
   $$
   T(z)=T(\underset{n\to\infty}{\lim x\_n})\overset{\text{exchange}}{=}\underset{n\to\infty}{\lim}T(x\_n)=\underset{n\to\infty}{\lim} x\_{n+1}=z
   $$
   证毕.

***

我们还要继续讨论不连续能“坏”到什么程度.

/Definition/

> 称$x\_0$是$f$的连续点 $\Longleftrightarrow$ $f$在$x\_0$处连续；
> 称$x\_0$是$f$的间断点 $\Longleftrightarrow$ $f$在$x\_0$处不连续.
>
> 间断点有两种可能的情形：
>
> 1. 存在$\underset{x\to x\_0}{\lim}f(x)$，但是不等于$f(x\_0)$.
> 2. $\underset{x\to x\_0}{\lim}f(x)$不存在.

对于第1类间断点，可以修改$f$为$\tilde{f}$，要求
$$
\tilde{f}(x)=\left{\begin{array}{lr}
f(x),,\quad\forall x\neq x\_0\\\\
\underset{x\to x\_0}{\lim}f(x)=L,,\quad x=x\_0
\end{array}\right.
$$
则$\tilde f$在$x\_0$处连续，所以我们可以称第1类间断点为“可去间断点”.

对于第2类间断点，我们叫做“本质间断点”（essential）.

以后经常要通过修改$f$的方式去掉第1类间断点.

下面还要做一些术语上的约定：

1. 在有一些比较老的教材上，会称定义域$D$之外的点$x\_0$为$f$的间断点，也就是说只要$\underset{x\to x\_0}{\lim}f(x)$不存在，就称$x\_0$为间断点.
2. 我们的课上讨论的连续点和间断点坚持$x\_0\in D$.

## 连续函数的局部性质

/Theorem/ （四则运算保持连续）

> 四则运算==几乎==会保持连续性. 这个“几乎”来自于除法的一些分母不为零的要求.
>
> 设$f$，$g$在$x\_0$处连续，则
>
> 1. $f\pm g$在$x\_0$处连续.
>
> 2. $fg$在$x\_0$处连续.
>
>    > 注记：注意记号的差别，$f\circ g$是复合，$(f\circ g)(x)=f(g(x))$，而函数乘法写作$fg$或者$f\cdot g$，相当于逐点做乘法，$(fg)(x)=f(x)\cdot g(x)$.
>
> 3. 若$g(x\_0)\neq 0$，则$f/g$在$x\_0$处连续.

/Proof/

> 仅仅对3.进行证明. 由于
> $$
> \underset{x\to x\_0}{\lim}\frac{f}{g}=\frac{\underset{x\to x\_0}{\lim}f(x)}{\underset{x\to x\_0}{\lim}g(x)}=\frac{f(x\_0)}{g(x\_0)}=\frac{f}{g}(x\_0)
> $$

证毕.

推论：设$f,g\in C(D,\R)$，则有$f\pm g$，$f\cdot g\in C(D,\R)$，记$V={x\in D|g(x)=0}$为$g$的零点集，则有$f/g\in C(D-V,\R)$. 这是显然的.

/Theorem/

> 复合保持连续性，连续映射的复合仍然连续.

回顾：对逐点连续性的定义较为狭隘，我们应该如何使这个定义适用于一般的$D$？

（比如在$D$边缘上的一点，其开球邻域会有一部分落在$D$之外）

/Definition/

> 对一般的定义域$D$，称$f:D\to\R$在$x\_0$处连续，若$\forall\varepsilon>0$，$\exist\delta>0$，使得$f\[B\_\delta(x\_0)\cap D]\subseteq B\_\varepsilon(f(x\_0))$.
>
> 称$f$是$D$上的连续映射（记为$f\in C(D,\R)=C(D)$），如果$f$在$D$上每点处连续.

/Theorem/

> 设$f:D\to E$在$x\_0$处连续，
>
> > 也就是说，$f$在$x\_0$处不“撕开”.
>
> $g:E\to F$在$f(x\_0)$处连续，
>
> > 也就是说，$g$在$f(x\_0)$处不“撕开”.
>
> 则$g\circ f:D\to F$在$x\_0$处连续.
>
> > 也就是说，$g\circ f$在$x\_0$处不“撕开”.

/Proof/

> 由$g$在$f(x\_0)$处连续知，$\forall\varepsilon>0$，$\exist\delta\_1>0$使得$g\[B\_{\delta\_1}(f(x\_0))\cap E]\subseteq B\_\varepsilon((g\circ f)(x\_0))$.
>
> 用$f$在$x\_0$处连续定义知对于上述$\delta\_1>0$，$\exist\delta>0$使得$f\[B\_\delta(x\_0)\cap D]\subseteq B\_{\delta\_1}(f(x\_0))$.
>
> 由$f$像点取值在$E$中，有$f\[B\_\delta(x\_0)\cap D]\subseteq B\_{\delta\_1}(f(x\_0))\cap E$.
>
> 把上面几句话“接”在一起即得证.

证毕.

推论：连续映射的复合是连续的.

由这两个局部性质，可建立一般初等函数的连续性.

/Example/

> 有理函数$f(x)=P(x)/Q(x)$（$P(x)$，$Q(x)$为多项式）在分母零点外连续.

/Proof/

> 1. $\text{Id}\_\R$连续（恒同映射连续），可以用$\varepsilon-\delta$语言证明；
>
> 2. $\text{Id}*\R^n=x^n$（$n\in\Z*{\geq0}$）连续（来自$n$个$\text{Id}\_\R$之积）；
>
> 3. 多项式$P(x)=\underset{i=0}{\overset{n}{\sum}}a\_ix^i$连续（是$n$个单项式之和）；
>
> 4. $P(x)/Q(x)$在分母零点外连续.

证毕.

\==从这里我们越来越意识到，之后的定理和内容，都是在把所学过的定理和命题“连接”起来，形成最后的证明，这是一个基本的思路.==

/Example/

> 设$u(x)$连续且为正，$v(x)$连续. 求证$u(x)^{v(x)}$连续.

/Proof/

> 方法1：
>
> > 对于$\forall x\_0$，有
> > $$
> > \underset{x\to x\_0}{\lim}u(x)^{v(x)}\overset{\text{claim proved in the last class}}{=}(\underset{x\to x\_0}{\lim}u(x))^{\underset{x\to x\_0}{\lim}v(x)}=u(x\_0)^{v(x\_0)}
> > $$
>
> 得证.
>
> 方法2：
>
> > $u(x)^{v(x)}=e^{v(x)\ln u(x)}$
> >
> > $u(x)$连续，复合$\ln(\cdot)$ $\Longrightarrow$ $\ln u(x)$连续 $\Longrightarrow$ $v(x)\ln u(x)$连续，之后再复合一次.
>
> 得证.

证毕.

## 连续函数的整体性质

* 介值定理——连通性
* 有界性定理——紧致性
* 最值定理——紧致性

这些性质在100年前左右被提炼出来，形成topology.

为方便证明，对$\R$完备性再给出等价的叙述.

/Theorem/ （区间套原理）

> 设有闭区间下降链：$\[a\_1,b\_1]\supseteq\[a\_2,b\_2]\supseteq\cdots$，且$\underset{n\to\infty}{\lim}(b\_n-a\_n)=0$，则$\underset{n=1}{\overset{\infty}{\bigcap}}\[a\_n,b\_n]$是单点集${c}$，且$c=\underset{n\to\infty}{\lim}a\_n=\underset{n\to\infty}{\lim}b\_n$.

/Proof/

> 由闭区间下降链的定义，有
> $$
> a\_1\leq a\_2\leq\cdots\leq a\_n\leq b\_n\leq\cdots\leq b\_2\leq b\_1
> $$
> 由MCT就能证明$\underset{n\to\infty}{\lim}a\_n$、$\underset{n\to\infty}{\lim}b\_n$存在，再由$\underset{n\to\infty}{\lim}(b\_n-a\_n)=0$，得到两者极限为同一个值$c$.
>
> 验证$\underset{n=1}{\overset{\infty}{\bigcap}}\[a\_n,b\_n]={c}$：
>
> 1. 一方面，对于固定的$n$，有$a\_n\leq a\_m$，$\forall m\geq n$（由$a\_n\uparrow$）. 再由极限不等式得到$a\_n\leq\underset{n\to\infty}{\lim}a\_n=c$；类似地，$b\_n\geq\underset{n\to\infty}{\lim}b\_n=c$.
>
>    这表明这个无穷交集非空，有${c}\subseteq\underset{n=1}{\overset{\infty}{\bigcap}}\[a\_n,b\_n]$.
>
> 2. 另一方面，来证明$\underset{n=1}{\overset{\infty}{\bigcap}}\[a\_n,b\_n]$. 考虑$\forall x\in\underset{n=1}{\overset{\infty}{\bigcap}}\[a\_n,b\_n]$，满足$a\_n\leq x\leq b\_n$，$\forall n$，这就表明$c=\underset{n\to\infty}{\lim}a\_n\leq x\leq\underset{n\to\infty}{\lim}b\_n=c$，也就是$x=c$.
>
>    这表明$\underset{n=1}{\overset{\infty}{\bigcap}}\[a\_n,b\_n]\subseteq{c}$.

证毕.

## 介值定理

/Theorem/

> 设$f$在$\[a,b]$上连续，且$f(a)f(b)<0$（异号），则$\exist c\in(a,b)$，使得$f(c)=0$.

/Proof/

> 反证法. 设$f$在$(a,b)$上处处非零，不妨设$f(a)<0\<f(b)$（另外的情况可以考虑$-f$），从而在闭区间$\[a,b]$上，可以得到$\[a,\frac{a+b}{2}]$左负右正，或者$\[\frac{a+b}{2},b]$左负右正.
>
> 定义闭区间下降链$\[a\_n,b\_n]$满足$f(a\_n)<0\<f(b\_n)$，且$b\_n-a\_n=(b-a)/2^{n-1}$，令$\[a\_1,b\_1]=\[a,b]$.
>
> 下降的规则是：
>
> 1. 若$f(\frac{a\_n+b\_n}{2})>0$，则令$\[a\_{n+1},b\_{n+1}]=\[a\_n,\frac{a\_n+b\_n}{2}]$；
> 2. 若$f(\frac{a\_n+b\_n}{2})<0$，则令$\[a\_{n+1},b\_{n+1}]=\[\frac{a\_n+b\_n}{2},b\_n]$.
>
> 这个区间套最终会形成一个单点集${c}$，$f(c)=f(\underset{n\to\infty}{\lim}a\_n)=\underset{n\to\infty}{\lim}f(a\_n)<0$，而且$f(c)=f(\underset{n\to\infty}{\lim}b\_n)=\underset{n\to\infty}{\lim}f(b\_n)>0$，矛盾.
>
> 假设不成立，所以一定存在$c\in(a,b)$使得$f(c)=0$.

证毕.

能不能不使用区间套？考虑一个比较“绕”的证明方法，用到一些比较朴素的思想.

/Proof/

> 反证法. 设$f$处处非零，不妨设$f(a)<0\<f(b)$.
>
> 定义$A={x\in\[a,b]:f(x)<0}$，由$a\in A$，且$A$有上界$b$，由确界定理得到$A$有上确界$\sup A=M$.
>
> > 在我们朴素的想法中，$M$就是$f(x)$从负到正转变的点.
>
> 由定义，$M\geq a$且$M\leq b$，所以$M\in\[a,b]\subseteq f$的定义域.
>
> 来考虑$f(M)$，假设$f(M)\neq0$（这是反证法的要求）.
>
> 由$\underset{x\to a+}{\lim}f(x)=f(a)<0$，知$\exist\delta>0$使得$f$在$\[a,a+\delta)$上处处负，所以$\[a,a+\delta)\subseteq A$，得到$M=\sup A>a$.
>
> 同理$M=\sup A\leq b-\delta'\<b$.
>
> 所以这个“转变点”（临界点）在中间，而不在端点.
>
> 而且$f(M)=\underset{x\to M+}{\lim}f(x)\geq 0$，又有$f(M)\neq 0$得到$f(M)>0$，利用这一点，还有$f$的连续性（使得$\underset{x\to M+}{\lim}f(x)=\underset{x\to M}{\lim}f(x)$），得到$\exist\delta>0$使得$f$在$(M-\delta,M+\delta)$中恒正，表明$M-\delta$也是$A$的上界，出现矛盾.
>
> 假设不成立.

证毕.

/Theorem/ （介值定理——连续函数可取到一切介值）

> 设$f$在$\[a,b]$上连续，设$v$介于$f(a)$，$f(b)$之间（介值），则$\exist x\in\[a,b]$，使得$f(x)=v$.

/Proof/

> 考虑$g(x)=f(x)-v$，再用前述定理即可.

/Claim/ （Brouwer不动点定理——一维版本）

> 设$f:\[0,1]\to\[0,1]$连续，则$f$必有不动点.

/Proof/

> 令$g(x)=f(x)-x$连续，因为定义域和值域都是$\[0,1]$，一定有
>
> $g(0)=f(0)-0\geq0$，$g(1)=f(1)-1\leq0$.
>
> 所以$0$是$g(0)$，$g(1)$的介值. 由介值定理得到$\exist g(x)=0$ $\Longleftrightarrow$ $\exist f(x)=x$.

上面这个定理是Brouwer在上个世纪20年代发现的，其二维版本是：设$f:D\to D$（$D$为闭圆盘）且连续，则$f$必有不动点.