连续函数（三）

1.严格单调函数必存在反函数

2.连续函数的反函数若存在，则反函数在定义域内必连续

3.连续函数的复合函数在定义域内也是连续的

4.一切初等函数在其定义域上连续

1

我们在映射中介绍过逆映射：

传送门：映射与函数（一）

函数是一种特殊映射，它是数集到数集的关系，如果函数也满足单射，那么其逆映射称为反函数。我们要研究反函数的三点性质：存在性，连续性和可导性。今天先介绍前两种。

2

在连续函数第一篇中，我们知道正弦函数、余弦函数、指数函数都是连续函数，且它们在定义域内都是严格单调的，根据反函数存在性定理和反函数连续性定理我们知道，它们的反函数都是连续的:

我们发现，这些函数已经基本包括了六类基本初等函数的大部分，而常数函数显然是连续的，剩下还有一个幂函数是否连续呢。实际上，我们可以把幂函数看成一个复合函数：

它是对数函数与常数函数经过四则运算再与指数函数复合的结果。我们自然就要问：复合函数的连续性怎么样？或者说，函数要满足什么条件经过复合运算后是连续的。实际上，我们有下面的定理：

连续函数的复合函数在其定义域内必连续

我们证明这个结论：

但是反过来，如果函数不连续，就没有上述结论，我们举一个反例：

这样我们就得到了幂函数在定义内必连续。进一步，我们知道连续函数经过有限次四则运算是连续的，因此我们可以得到下面的结论：

一切初等函数在其定义域上必连续

同样的要注意函数经过有限次四则运算和复合运算后的定义域，我们不妨举幂函数的例子：

3

我们利用上面的结论来做两个例题。

• 例1

• 例2

这是一道应用题。物质的质量在不断的减少，而且每一个时刻减少的量都不是一个常数，它与物质质量大小有关，因此，这是一个动态的过程。我们很难用静态的思维去求一个固定时刻下的质量。这时候，我们就利用极限的思想。我们把无限分割下的时间区间看作是静态的，在这个无穷小的区间里物质每一个时刻放射出来的质量是恒定的，也就是上面为什么用“约为”、等于号上加一点的含义，它表示不是精确的。但，只要这个区间无穷小，我们就认为是相等的。于是t时刻的质量M(t)就是一个极限值。