连续函数与函数的极限

连续函数在数学上是很重要的课题，函数的连续与否会影响到许多性质、定理的成立，因此也是非常有必要讨论的。然而函数怎么样叫做连续呢？且让我们先做点直观上的讨论。

• 图1(a) 看起来就连续不断。
• 图1(b) 出现一个断点，它在 $x=2$ 时是无定义的。所以在 $x=2$ 时不连续，在其他地方连续。
• 图1© 中在 $x=0$ 及 $x=2$ 处是有定义的，但很明显发生断裂，也是不连续。
• 图1(d) 在靠近 $x=0$ 时不断来回震荡，所以也是不连续。

看起来，连续与否似乎是能够很直观地去判断的。但是学习数学，直观虽说重要，却不可过度依赖。数学上常常会有与直观相悖的事实出现，或者是直观无法完全说明的事。例如上图1(d) 或许也有人觉得看起来很连续呀，但是我觉得并不连续，那你觉得谁才是对的？或是像

$$y=\{\begin{array}{l}1x\in Q\\ 0x\in R/Q\end{array}$$

有人说它处处都有断开，所以处处不连续。也有人说有理数不是稠密的吗？所以画出图来后，那些 $y=1$ 应该是看起来很连续的，无理数也是稠密的，所以那些 $y=0$ 应该也都非常连续呀！如果你知道他说法错了，你要怎么反驳他呢？甚至，这些还是把函数给画出图来的情况，没给你图，你能判断 $f(x)={\sum }_{n=0}^{\infty }0.78^n\cos (3^n\pi x)$ 是否连续吗？

事实上，在微积分刚发展时，由于大多时候处理的都是连续函数，所以数学家们似是不曾想过，也没必要去在意这个问题。直到十八世纪时，开始在物理问题上出现一些不连续函数，迫使数学家们在微积分的应用上必须面对函数可能不连续的问题。为了不诉诸直观、造成争议的发生，数学家们逐渐在数学中使用形式化的定义取代口语的描述。虽然形式化的定义会让同学觉得好像很难读，但其好处是可以帮助我们精确地下判断。

从对于图 1 几种情况的观察中，我们对于连续下这样的结论：如果函数 $y=f(x)$ 在 $x=a$ 处连续，那么首先必须函数值 $f(a)$ 是有定义的，再来是在 $x=a$ 的附近，函数值的趋势必须是越来越靠近 $(a,f(a))$ 这个点。

而以上若不成立，就是不连续。如果以这个当作判断法则，就可以正确地区分出连续与否。然而，这就牵涉到了函数极限的概念。

定义 1.1 函数的极限
如果函数 $y=f(x)$ 在 $x=a$ 附近有定义，并且随着 $x$ 越来越靠近、无限地靠近 $a$ 时，函数值 $f(x)$ 随之越来越靠近、无限地靠近某个值 $L$ ，则称 $L$ 为函数在 $x$ 趋近到 $a$ 时的极限。符号上可以记作：当 $x\to a$，$f(x)\to L$。或者是使用 $\lim$ 符号：
$$\underset{x\to a}{\lim }f(x)=L$$

有了极限的概念以后，现在可以正式对连续下定义。

定义 1.2 连续
函数 $y=f(x)$ 在 $x=a$ 处连续，若且唯若
$$\underset{x\to a}{\lim }f(x)=f(a)$$
而如果函数 $y=f(x)$ 在区间 $I$ 上的每个点都连续，则称 $f(x)$ 在区间 $I$ 上连续。如果函数 $y=f(x)$ 在整个实数 $\mathbb{R}$ 连续，则称 $f(x)$ 处处连续 。

别小看这一条式子，表面看似一条，其实是三个条件要成立：

1. 函数值 $f(a)$ 有定义
2. 极限 ${\lim }_{x\to a}f(x)$ 存在
3. 上述两者相等

既然连续的条件是三者成立，那么只要其中的一个不成立，便是不连续了。例如图1(b) 中的 $x=2$ 处是函数值不存在；图1© 中的 $x=0$ 处函数值存在，但是极限不存在；图1© 的 $x=2$ 处则是函数值与极限都存在，可是函数值不等于极限值；至于图1(d) 的 $x=0$ 处，那也是极限不存在。

为了方便，我们对于不连续点进行分类。如果极限值 ${\lim }_{x\to a}f(x)$ 存在，则无论函数值 $f(a)$ 不存在，或是虽存在但与极限值不相等，我们皆称之为可去间断点（removable discontinuity）。如此命名，乃是因为我们可以透过重新定义函数值，或者在函数无定义处补上函数值定义，来使之成为连续点。例如图1(b) 中的 $x=2$ 处，我们只要补上 $f(2)$，它就变得连续了。以及图1© 的 $x=2$ 处，我们改变 $f(2)$ 的值，使其与 ${\lim }_{x\to a}f(x)$ 相等，就变得连续。至于图1© 中的 $x=0$ 处与图1(d) 的 $x=0$ 处，无论我们怎么定义 $f(2)$，都仍会是不连续，这种不连续点我们称之不可去间断点 。

一旦认识连续的定义是 ${\lim }_{x\to a}f(x)=f(a)$ ，那么如果遇到极限问题，只要判定函数是连续的，就可以直接代入，非常方便！那么，哪些函数是连续的呢？一些基本常见的函数差不多都是连续的：

1. 幂函数 $x^a$， $a$ 可以是任意实数
2. 三角函数 $\sin (x)$ 和 $\cos (x)$
3. 指数函数 $a^x$
4. 对数函数 ${\log }_{a}x$

再配合以下这些基本性质：

性质 1.1 连续函数的基本性质
若 $f(x)$与 $g(x)$ 皆在 $x=a$ 处连续，$c$ 为一常数，则以下函数也在 $x=a$ 处连续：

1. $f(x)\pm g(x)$
2. $c\cdot f(x)$
3. $f(x)\cdot g(x)$
4. $\frac{f(x)}{g(x)}$，条件是 $g(a)\ne 0$

有了以上这些基本性质，我们就认识了更多连续函数！

下面引进单侧极限的概念，在解极限问题时是很好用的。

定义 1.3 单侧极限
如果函数 $y=f(x)$ 在 $x=a$ 的右侧附近有定义，并且随着 $x$ 由 $a$ 的右侧越来越靠近、无限地靠近 $a$ 时，函数值 $f(x)$ 随之越来越靠近、无限地靠近某个值 $L$，则称 $L$ 为函数在 $x$ 趋近到 $a$ 时的右极限。符号上可以记作：当 $x\to a^{+}$，$f(x) \to L$。或者是使用 $\lim$ 符号：
$$\underset{x\to a^{+}}{\lim }f(x)=L$$
类似地可定义左极限，符号上记作
$$\underset{x\to a^{-}}{\lim }f(x)=L$$

认识了单侧极限，便可以介绍下面这个有用的性质。

性质 1.2
若 $x=a$ 为函数 $f(x)$ 定义域中的内点，换句话说，函数 $f(x)$ 在 $x=a$ 的两侧附近有定义。则
$$\underset{x\to a}{\lim }f(x)=L$$
若且唯若
$$\underset{x\to a^{-}}{\lim }f(x)=\underset{x\to a^{+}}{\lim }f(x)=L$$

在数列的极限中我们学过夹挤定理，而函数的极限同样有夹挤定理。

定理 1.1 夹挤定理
如果在 $ x = a $ 的附近（可以不包含 $ x = a $ 本身）满足 $ g(x) \leq f(x) \leq h(x) $，且
$$\underset{x\to a}{\lim }g(x)=\underset{x\to a}{\lim }h(x)=L$$
则有
$$\underset{x\to a}{\lim }f(x)=L$$

例题 1 求极限 ${\lim }_{x\to 0}{x}^2\sin \left(\frac{1}{x}\right)$

【解】

那个 $ \sin\left(\frac{1}{x}\right) $ 看起来不太好处理，所以试图找上下界来使用夹挤定理。 首先因为

$$-1\le \sin \left(\frac{1}{x}\right)\le 1$$

所以

$$-x^2\le x^2\sin \left(\frac{1}{x}\right)\le x^2$$

而显然

$$\underset{x\to 0}{\lim }-x^2=0=\underset{x\to 0}{\lim }{x}^2$$

所以由夹挤定理，我们知道

$$\underset{x\to 0}{\lim }{x}^2\sin \left(\frac{1}{x}\right)=0$$

例题 2

求极限 ${\lim }_{x\to 0}\frac{\sin (x)}{x}$

【解】

在图中，显然三角形 $OBA$ 面积大于扇形 $OBC$ 面积大于三角形 $OBC$ 面积。所以写
$$\frac{1}{2}\cdot 1\cdot \sin \theta \le \frac{1}{2}\cdot 1^2\cdot \theta \le \frac{1}{2}\cdot 1\cdot \tan \theta$$

作约分并同除以 $\sin \theta$，得到
$$1\le \frac{\theta }{\sin \theta }\le \frac{1}{\cos \theta }$$

$$\Rightarrow 1\ge \frac{\sin \theta }{\theta }\ge \cos \theta$$

显然
$$\underset{\theta \to 0}{\lim }1=1=\underset{\theta \to 0}{\lim }\cos \theta$$

所以由夹挤定理，就有
$$\underset{x\to 0}{\lim }\frac{\sin (x)}{x}$$

此极限十分重要，一定要记起来。