高数 连续函数的运算与初等函数的连续性

写在前面

之前我们了解了函数在某点连续的定义，同时也提到了有理函数在其定义域内的每一点都连续，这篇文章，我们就来详细了解连续函数和连续性这两个概念。

---

一、连续函数的和、差、积、商的连续性

由函数在某点连续的定义和极限的四则运算法则，我们可以得到一个重要的定理：

定理1
设函数 $f(x)$ 和 $g(x)$ 在点 $x_0$ 连续，则它们的和（差）$f\pm g$、积 $f\cdot g$ 及商 $\frac{f}{g}$（当 $g(x_0)\ne 0$）时都在点 $x_0$ 连续。

🌰例子：

$\tan x=\frac{\sin x}{\cos x}$ 在定义域内连续，是因为 $\sin x$ 和 $\cos x$ 都在 $(-\infty ,+\infty )$ 连续。

---

二、反函数与复合函数的连续性

1. 反函数的连续性

定理2
如果函数 $y=f(x)$ 在区间 $I_x$ 上单调递增（或单调递减）且连续，那么它的反函数 $x=f^{-1}(y)$ 也在对应的区间 I y = { y ∣ y = f ( x ) , x ∈ I x } I_y=\{y|y=f(x),x\in I_x\} Iy​={y∣y=f(x),x∈Ix​} 上单调递增（或单调递减）且连续。

书上并没有给出证明，但不是很难。只需运用增函数减函数的定义即可。

*此处所说的单调递增和单调递减，更准确地来说应该是严格的。连续函数存在反函数的充要条件是函数在定义域内严格单调。

2. 复合函数的连续性

定理3
设函数 $y=f[g(x)]$ 由函数 $u=g(x)$ 和函数 $y=f(u)$ 复合而成，$\stackrel{\circ }{U}(x_0)\subset D_{f\circ g}$，若 $\underset{x\to x_0}{\lim }g(x)=u_0$，而函数 $y=f(u)$ 在 $u=u_0$ 连续，则 $$\underset{x\to x_0}{\lim }f[g(x)]=\underset{u\to u_0}{\lim }f(u)=f(u_0)\text{\hspace{1em}(*)}$$

这个定理，只需要把复合函数的极限运算法则定理中的“存在 ${\delta }_0>0$，当 $x\in \stackrel{\circ }{U}(x_0,{\delta }_0)$ 时，有 $g(x)\ne u_0$”这个条件，便可以得到。

*根据定理中所给条件，$(\ast )$ 式还可以写成 $$\underset{x\to x_0}{\lim }f[g(x)]=f[\underset{x\to x_0}{\lim }g(x)]$$

定理4
设函数 $y=f[g(x)]$ 是由函数 $u=g(x)$ 与函数 $y=f(u)$ 复合而成，$U(x_0)\subset D_{f\circ g}$。若函数 $u=g(x)$ 在 $x=x_0$ 上连续，且 $g(x_0)=u_0$，而函数 $y=f(u)$ 在 $u=u_0$ 连续，则复合函数 $y=f[g(x)]$ 在 $x=x_0$ 也连续。

只要在定理3中令 $u_0=g(x_0)$，这就表示 $g(x)$ 在点 $x_0$ 连续，所以由 $(\ast )$ 式得 $$\underset{x\to x_0}{\lim }f[g(x)]=f(u_0)=f[g(x_0)]$，所以 $f[g(x)]$ 在点 $x_0$ 上连续。

---

三、初等函数的连续性

首先，回忆一下：

基本初等函数：

幂函数、指数函数、对数函数、三角函数、反三角函数。

初等函数：

由常数和基本初等函数经过有限次的四则运算和有限次的函数符合步骤所构成并可用一个式子表示的函数。

• 基本初等函数在它们的定义域内都是连续的。
• 一切初等函数在其定义区间内都是连续的。

定义区间：包含在定义域内的区间

有了上面这些结论，我们就可以证明一些常见的等价无穷小关系式了。

• $\ln (1+x)\sim x(x\to 0)$

  $\underset{x\to 0}{\lim }\frac{\ln (1+x)}{x}=\underset{x\to 0}{\lim }\ln (1+x{)}^{\frac{1}{x}}=\ln e=1$

  事实上，把这里的 $\ln$ 换成更一般的 ${\log }_a$，会有 ${\log }_a(1+x)\sim \frac{x}{\ln a}$.

• $e^x-1\sim x(x\to 0)$

  令 $e^x-1=t$，则 $x=\ln (1+t)$，当 $x\to 0$ 时， $t\to 0$
  所以 $\underset{x\to 0}{\lim }\frac{e^x-1}{x}=\underset{t\to 0}{\lim }\frac{t}{\ln (1+t)}=1$

  和上面类似，更一般的形式是 $a^x-1\sim x\ln a$. 做个替换就行。

• $(1+x{)}^{\alpha }-1\sim \alpha x(x\to 0)$

  令 $(1+x{)}^{\alpha }-1=t$，则有 $x\to 0$ 时，$t\to 0$
  所以 $\underset{x\to 0}{\lim }\frac{(1+x{)}^{\alpha }-1}{x}=\underset{x\to 0}{\lim }[\frac{(1+x{)}^{\alpha }-1}{\ln (1+x{)}^{\alpha }}\cdot \frac{\alpha \ln (1+x)}{x}]=\underset{t\to 0}{\lim }\frac{t}{\ln (1+t)}\cdot \underset{t\to 0}{\lim }\frac{\alpha \ln (1+x)}{x}=\alpha$

  有些地方也把 $\alpha$ 换成另一个希腊字母 $\mu$.
  话说教科书上前面幂函数写的是 $y=x^{\mu }(\mu \in \mathbb{R})$，后面这个等价无穷小却用 $\alpha$，这两个字母的使用有什么不同标准吗😂

---

后话

还有最后一小节，讲的是闭区间上连续函数的性质，比如说零点存在定理。
后面就要讲有关于导数的知识啦，感觉前途一片光明 （至少高中会学）