漫步数学分析十五——连续

连续函数有一个重要的性质，那就是当$x$靠近$x_0$时，$f(x)$靠近$f(x_0)$(如图$\ref{fig:4-1}$所示)。另一方面，在图2中，即使$x$非常靠近$x_0$，但是$f(x)$可能不会靠近$f(x_0)$。

图1

为了精确地定义连续，首先需要定义函数在一个点处的极限概念。

$\textbf{定义1}$ 令$A\subset R^n,f:A\to R^m$，假设$x_0$是$A$的一个聚点，我们说$b\in R^m$是$f$在点$x_0$处的极限，写作

$$\lim_{x\to x_0}f(x)=b$$

如果给定任意的$\varepsilon>0$，存在$\delta>0$(依赖于$f,x_0,\varepsilon$)使得对所有的$x\in A,x\neq x_0$，$\Vert x-x_0\Vert<\delta$意味着$\Vert f(x)-b\Vert<\varepsilon$。

直观上讲就是当$x$靠近$x_0$时，$f(x)$靠近$b$。我们也可以写成当$x\to x_0$时，$f(x)\to b$。(将这个概念与序列极限的概念进行比较)注意如果$x_0$ 不是一个聚点，那么将没有$x\neq x_0,x\in A$靠近$x_0$。

注意极限$\lim_{x\to x_0}f(x)$可能不存在；例如，令$f:R\backslash\{0\}\to R$定义为如果$x<0,f(x)=1$，如果$x>0,f(x)=2$，那么0是$R\backslash\{0\}$的聚点但是$\lim_{x\to 0}f(x)$不存在。然而，如果$x\neq0$时，$f(x)=1$，并且$f(0)=0$，那么$\lim_{x\to 0}f(x)=1$。另一个例子是$f:R\backslash\{0\}\to R,f(x)=\sin(1/x)$；这个函数越靠近0振荡越快，所以不会靠近任何极限。然而，如果$\lim_{x\to x_0}f(x)$存在，那么它是唯一的。假设$\lim_{x\to x_0}f(x)=b,b^{'}$，为了说明$b=b^{'}$，令$\varepsilon>0$，那么存在$\delta_1>0,\delta_2>0$使得$\Vert x-x_0\Vert<\delta_1$意味着$\Vert f(x)-b\Vert<\varepsilon/2$，$\Vert x-x_0\Vert<\delta_2$意味着$\Vert f(x)-b^{'}\Vert\varepsilon/2$，令$\delta=\min\{\delta_1,\delta_2\}$；那么$\Vert x-x_0\Vert<\delta$意味着$\Vert b-b^{'}\Vert\leq\Vert b-f(x)\Vert+\Vert f(x)-b^{'}\Vert<\varepsilon/2+\varepsilon/2=\varepsilon$；因此对任意$\varepsilon,\Vert b-b^{'}\Vert<\varepsilon$，所以$\Vert b-b^{'}\Vert=0$ 或者$b=b^{'}$。

接下来我们开始定义函数在一点处连续的概念。

$\textbf{定义2}$ 令$A\subset R^n,f:A\to R^m,x_0\in A$。我们说$f$在$x_0$处连续，如果$\lim_{x\to x_0}f(x)=f(x_0)$或者$x_0$不是$A$的一个聚点。

注意除了极限$\lim_{x\to x_0}f(x)$存在外，还需要指定它的值。定义2可以表述如下：$f$在定义域内的点$x_0$处连续，当且仅当对于所有的$\varepsilon>0$，存在$\delta>0$ 使得对所有的$x\in A,\Vert x-x_0\Vert<\delta$意味着$\Vert f(x)-f(x_0)\Vert\varepsilon$。在定义1 中，我们需要说明$x\neq x_0$，因为$f$没有必要在$x_0$处有定义，但是这里就不需要说明$x\neq x_0$，因为我们的条件在$x=x_0$时也是成立的。

这里介绍有用的符号。假设$f$在$(x_0,a]\subset R$上有定义，那么

$$\lim_{x\to x_0}f(x)=b$$

意味着$f$在定义域$A=(x_0,a]$中的极限。换句话说，对于每个$\varepsilon>0$，存在$\delta>0$使得$|x-x_0|<\delta$，$x>x_0$意味着$|f(x)-b|<\varepsilon$，因此我们取$x$从都右边靠近$x_0$时$f$的极限。同样地，我们可以定义

$$\lim_{x\to x_0}f(x)=b$$

为$x$从左边靠近$x_0$时的极限。

$\textbf{定义3}$ 函数$f:A\to R^{m}$在集合$B\subset A$ 上连续，如果$f$ 在$B$的每个点处都连续。如果我们只说$f$是连续的，这意味着$f$在它的定义域$A$上连续。

还有许多其他的方式来形式化连续的概念，其中有一个非常重要，因为它只涉及到拓扑学(也就是开集)，所以它应用更广。

$\textbf{定理1}$ 令$f:A\to R^m$是一个映射，其中$A\subset R^n$是任意集合，那么下面的断言是等价的。

1. $f$在$A$上连续
2. 对于$A$中的每个收敛序列$x_k\to x_0$，我们有$f(x_k)\to f(x_0)$
3. 对于$R^m$中的每个开集$U$，$f^{-1}(U)\subset A$ 对$A$而言是相对开的；即，对某个开集$V,f^{-1}(U)=V\cap A$
4. 对于每个闭集$F\subset R^m,f^{-1}(F)\subset A$ 对$A$而言是相对闭的；即，对某个闭集$G,f^{-1}(F)=G\cap A$

实际上，定理中的$\textrm{(ii)}$与极限有类似的版本，即如果$f:A\to R^m$ 并且$x_0$是$A$的聚点，那么

$$\lim_{x\to x_0}f(x)=b$$

当且仅当对于每个收敛到$x_0$的序列$x_k\in A$，

$$\lim_{k\to\infty}f(x_k)=b$$

从定理中可以看出，前面文章中提到的连续路径与这里定义的连续是一致的。之后的文章会介绍一些定理，根据这些定理我们就可以很容易的建立一般函数的连续性。

现在我们简要讨论一下定理1。首先，$\textrm{(i)}$与$\textrm{(ii)}$的等价性比较明显，因为$\textrm{(i)}$意味着$x$靠近$x_0$时$f(x)$靠近$f(x_0)$。 而$\textrm{(ii)}$除了是让序列$x$靠近$x_0$外其余都是一样的。如果我们将开集看做闭集的补的话，断言$\textrm{(iii)}$与$\textrm{(iv)}$是一样的。

现在我们看一下$\textrm{(iii)}$告诉了我们什么，选择一个小的开集$U$，它包含$f(x_0)$，那么$f^{-1}(U)$为开集意味着在$x_0$周围有一个开邻域并含于$f^{-1}(U)$。对于这个邻域中的$x$，它被映射到$U$中，而集合$U$表示的是$f(x_0)$ 附近的点。换句话说，在用$U$作为$f(x)$与$f(x_0)$的临近度量时，如果$x$充分靠近$x_0$(即，$x\in f^{-1}(U)$)，$f(x)$将充分靠近$f(x_0)$，因此这与$\textrm{(i)}$表达的想法是一致的。

$\textbf{例1：}$令$f:R^n\to R^n$是单位函数$x\mapsto x$，说明$f$是连续的。

$\textbf{解：}$固定一点$x_0\in R$，根据定义，我们必须对给定的$\varepsilon>0$找到$\delta>0$，使得$\Vert x-x_0\Vert<\delta$意味着$\Vert f(x)-f(x_0)\Vert<\varepsilon$。但是，如果我们选择$\delta=\varepsilon$，那么定义就变成了$\Vert x-x_0\Vert<\varepsilon$意味着$\Vert x-x_0\Vert<\varepsilon$，因此$f$是连续的。

$\textbf{例2：}$令$f:(0,\infty)\to R;x\mapsto 1/x$，说明$f$是连续的。

$\textbf{解：}$固定一点$x_0\in(0,\infty)$；即，$x_0>0$。为了确定如何选择$\delta$，我们考虑下面的表达式

$$\begin{align*} |f(x)-f(x_0)| &=\left|\frac{1}{x}-\frac{1}{x_0}\right|\\ &=\frac{|x_0-x|}{|xx_0|} \end{align*}$$

如果$|x-x_0|<\delta$，那么我们将得到

$$|f(x)-f(x_0)|<\frac{\delta}{|xx_0|}=\frac{\delta}{xx_0}$$

接下里，如果我们令$\delta<x_0/2$，那么我们将得到$x>x_0/2$(图$\ref{fig:4-2}$)，所以$\delta/xx_0<(2\delta/x_0^2)$。现在给定$\varepsilon>0$，选择$\delta=\min(x_0/2,\varepsilon x_0^2/2)$，那么$f$在$x_0$处是连续的。

图2

$\textbf{例3：}$令$f:R^n\to R^m$是连续的，说明$\{x\in R^n|\Vert f(x)\Vert<1\}$是开的。

$\textbf{解：}$上面的集合实际上就是$f^{-1}\{y|\Vert y\Vert<1\}$，它是一个开集的逆像，根据定理1$\textrm{(iii)}$ 可知它是开集。