2.4函数的连续 单调函数的不连续点集 初等函数的连续性

函数的连续性、单调函数的间断点与初等函数的连续性 系统讲解

本节是数学分析的核心内容，建立在极限理论的基础上，定义了函数连续性这一微积分的核心概念，推导了连续函数的运算性质、单调函数的连续性特征、反函数的连续性，最终给出了初等函数在定义域内处处连续的核心结论，是后续导数、积分、级数理论的基础。

---

一、函数连续性的核心定义与等价刻画

定义2.4.1 函数在一点处的连续性

设\(X \subseteq \mathbb{R}\)，\(f:X \to \mathbb{R}\)为一元函数，\(x_0 \in X\)。若

\[\boldsymbol{\lim\limits_{x \to x_0} f(x) = f(x_0)} \]

则称\(f\)在点\(x_0\)处连续，\(x_0\)称为\(f\)的连续点；否则称\(x_0\)为\(f\)的不连续点（间断点）。

1. 连续性的ε-δ严格定义

\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(x \in X\)且\(|x-x_0|<\delta\)时，恒有

\[\boldsymbol{|f(x)-f(x_0)| < \varepsilon} \]

2. 间断点的三种情形

\(x_0\)为间断点，当且仅当以下三种情况之一成立：

1. \(f\)在\(x_0\)处无定义；
2. \(f\)在\(x_0\)处有定义，但\(\lim\limits_{x \to x_0} f(x)\)不存在；
3. \(f\)在\(x_0\)处有定义，且\(\lim\limits_{x \to x_0} f(x)\)存在，但\(\lim\limits_{x \to x_0} f(x) \neq f(x_0)\)。

3. 单侧连续性

• 右连续：若\(f\)在\(x_0\)的右旁有定义，且\(\boldsymbol{\lim\limits_{x \to x_0^+} f(x) = f(x_0)}\)，则称\(f\)在\(x_0\)处右连续；
• 左连续：若\(f\)在\(x_0\)的左旁有定义，且\(\boldsymbol{\lim\limits_{x \to x_0^-} f(x) = f(x_0)}\)，则称\(f\)在\(x_0\)处左连续。

4. 区间上的连续性

• 若\(f\)在开区间\((a,b)\)内的每一点都连续，则称\(f\)在\((a,b)\)上连续；
• 若\(f\)在闭区间\([a,b]\)上连续，当且仅当：\(f\)在\((a,b)\)内连续，且在\(a\)点右连续，在\(b\)点左连续；
• 同理可定义半开半闭区间\([a,b)\)、\((a,b]\)上的连续性。

---

定理2.4.1 函数在一点连续的充要条件

设\(f\)在\(x_0\)的某开邻域内有定义，则\(f\)在\(x_0\)处连续 \(\iff\) \(f\)在\(x_0\)处既左连续又右连续，即：

\[\boldsymbol{f(x_0^-) = \lim\limits_{x \to x_0^-} f(x) = f(x_0) = \lim\limits_{x \to x_0^+} f(x) = f(x_0^+)} \]

严谨证明

1. 必要性（\(\implies\)）：
   已知\(f\)在\(x_0\)处连续，即\(\lim\limits_{x \to x_0} f(x) = f(x_0)\)。
   根据函数极限存在的充要条件（左右极限存在且相等），得：

   \[\lim\limits_{x \to x_0^-} f(x) = \lim\limits_{x \to x_0^+} f(x) = \lim\limits_{x \to x_0} f(x) = f(x_0) \]

   即\(f\)在\(x_0\)处既左连续又右连续。

2. 充分性（\(\impliedby\)）：
   已知\(f\)在\(x_0\)处左连续且右连续，即\(\lim\limits_{x \to x_0^-} f(x) = f(x_0)\)，\(\lim\limits_{x \to x_0^+} f(x) = f(x_0)\)。
   因此左右极限存在且相等，均等于\(f(x_0)\)，根据函数极限存在的充要条件，得\(\lim\limits_{x \to x_0} f(x) = f(x_0)\)，即\(f\)在\(x_0\)处连续。
   \(\square\)

核心解读

该定理是分段函数在分段点处连续性判定的核心工具，只需分别计算分段点处的左右极限，验证是否等于函数值即可。

---

二、连续函数的运算性质

定理2.4.2 连续函数的四则运算法则

若函数\(f\)、\(g\)在\(x_0\)处连续，则\(f \pm g\)、\(f \cdot g\)、\(\frac{f}{g}\)（\(g(x_0) \neq 0\)）均在\(x_0\)处连续。

证明

以乘法为例，其余同理可证：
已知\(f\)、\(g\)在\(x_0\)处连续，即\(\lim\limits_{x \to x_0} f(x) = f(x_0)\)，\(\lim\limits_{x \to x_0} g(x) = g(x_0)\)。
根据函数极限的乘法法则，得：

\[\lim\limits_{x \to x_0} [f(x) \cdot g(x)] = \lim\limits_{x \to x_0} f(x) \cdot \lim\limits_{x \to x_0} g(x) = f(x_0) \cdot g(x_0) \]

符合连续的定义，因此\(f \cdot g\)在\(x_0\)处连续。
\(\square\)

---

定理2.4.3 复合函数的连续性

设\(y=f(u)\)在\(u_0\)处连续，\(u=u(x)\)满足\(\lim\limits_{x \to x_0} u(x) = u_0\)，则复合函数\(y=f(u(x))\)在\(x \to x_0\)时的极限为：

\[\boldsymbol{\lim\limits_{x \to x_0} f(u(x)) = f(u_0) = f\left( \lim\limits_{x \to x_0} u(x) \right)} \]

特别地：若\(u(x)\)在\(x_0\)处连续，即\(u_0=u(x_0)\)，则复合函数\(f(u(x))\)在\(x_0\)处连续。

核心意义

该定理的核心是：对于连续函数，极限运算与函数运算可以交换顺序，这是求复杂极限的核心方法之一。

严谨证明

1. 已知\(f(u)\)在\(u_0\)处连续，根据连续的ε-δ定义：
   \(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(|u - u_0| < \delta\)时，恒有\(|f(u) - f(u_0)| < \varepsilon\)。
2. 对上述\(\delta>0\)，由\(\lim\limits_{x \to x_0} u(x) = u_0\)，根据极限的ε-δ定义：
   \(\exists \eta>0\)，当\(0<|x-x_0|<\eta\)时，恒有\(|u(x) - u_0| < \delta\)。
3. 联立得：\(\forall \varepsilon>0\)，\(\exists \eta>0\)，当\(|x-x_0|<\eta\)时，\(|f(u(x)) - f(u_0)| < \varepsilon\)，因此：
   \[\lim\limits_{x \to x_0} f(u(x)) = f(u_0) = f\left( \lim\limits_{x \to x_0} u(x) \right) \]
   特别地，若\(u(x)\)在\(x_0\)处连续，则\(\lim\limits_{x \to x_0} u(x) = u(x_0)\)，代入得\(\lim\limits_{x \to x_0} f(u(x)) = f(u(x_0))\)，即复合函数在\(x_0\)处连续。
   \(\square\)

---

三、单调函数的极限与连续性

单调函数是一类具有极佳性质的函数，其核心特征是：区间上的单调函数在每一点的左右极限都存在，因此单调函数的间断点只能是跳跃间断点。

引理2.4.1 单调函数的左极限存在性

设函数\(f(x)\)在\(x_0\)的左旁\((x_0-\delta, x_0)\)单调增（减），则左极限\(f(x_0^-) = \lim\limits_{x \to x_0^-} f(x)\)存在，且：

1. 若\(f(x)\)在\((x_0-\delta, x_0)\)单调增有上界（减有下界），则\(f(x_0^-)\)为有限数；
2. 若\(f(x)\)在\((x_0-\delta, x_0)\)单调增无上界（减无下界），则\(f(x_0^-) = +\infty\)（\(-\infty\)）。

证明（单调增有上界的情形）

1. 在\((x_0-\delta, x_0)\)中任取严格递增数列\(\{x_n\}\)，满足\(\lim\limits_{n \to \infty} x_n = x_0\)。
2. 因\(f(x)\)单调增有上界，故数列\(\{f(x_n)\}\)单调增有上界，根据单调有界定理，\(\{f(x_n)\}\)收敛，记\(\lim\limits_{n \to \infty} f(x_n) = a\)。
3. 由数列收敛的定义，\(\forall \varepsilon>0\)，\(\exists N \in \mathbb{N}\)，当\(n>N\)时，\(a-\varepsilon < f(x_n) \leq a\)。
4. 取\(\delta = x_0 - x_{N+1}\)，当\(x \in (x_0-\delta, x_0) = (x_{N+1}, x_0)\)时，存在\(m>N+1\)使得\(x_{N+1} < x_m < x\)，由单调性得：
   \[a-\varepsilon < f(x_{N+1}) \leq f(x) \leq f(x_m) \leq a < a+\varepsilon \]
   即\(|f(x)-a| < \varepsilon\)，符合左极限的定义，故\(f(x_0^-) = a\)。

单调减、无界的情形同理可证。
\(\square\)

---

引理2.4.2 单调函数的右极限存在性

设函数\(f(x)\)在\(x_0\)的右旁\((x_0, x_0+\delta)\)单调增（减），则右极限\(f(x_0^+) = \lim\limits_{x \to x_0^+} f(x)\)存在，且：

1. 若\(f(x)\)在\((x_0, x_0+\delta)\)单调增有下界（减有上界），则\(f(x_0^+)\)为有限数；
2. 若\(f(x)\)在\((x_0, x_0+\delta)\)单调增无下界（减无上界），则\(f(x_0^+) = -\infty\)（\(+\infty\)）。

证明与引理2.4.1完全对称，仅需将左旁改为右旁，递增数列改为递减数列即可。

---

引理2.4.3 区间上单调函数的左右极限存在性

设函数\(f(x)\)在开区间\((a,b)\)上单调，则对\(\forall x_0 \in (a,b)\)，左极限\(f(x_0^-)\)和右极限\(f(x_0^+)\)都存在且有限，且满足：

\[\boldsymbol{f(x_0^-) \leq f(x_0) \leq f(x_0^+)} \]

同时，端点处的单侧极限\(f(a^+)\)、\(f(b^-)\)也存在（可为无穷）。

核心推论

区间上的单调函数的间断点只能是跳跃间断点，且间断点的个数至多可数。
解读：单调函数在每一点的左右极限都存在，因此不可能出现可去间断点、无穷间断点、振荡间断点，仅可能出现左右极限不相等的跳跃间断点。

---

引理2.4.4 严格单调函数的反函数单调性

设\(f\)为区间\(I\)上的严格增（减）函数，则其反函数\(f^{-1}: f(I) \to I\)也为严格增（减）函数。

证明（严格增的情形）

1. 任取\(y_1, y_2 \in f(I)\)，且\(y_1 < y_2\)，则存在\(x_1, x_2 \in I\)，使得\(y_1 = f(x_1)\)，\(y_2 = f(x_2)\)。
2. 反证：假设\(x_1 \geq x_2\)，由\(f\)严格增，得\(f(x_1) \geq f(x_2)\)，即\(y_1 \geq y_2\)，与\(y_1 < y_2\)矛盾。
3. 因此\(x_1 < x_2\)，即\(f^{-1}(y_1) < f^{-1}(y_2)\)，故\(f^{-1}\)严格增。
   严格减的情形同理可证。
   \(\square\)

---

引理2.4.5 严格单调函数的连续性

设\(g(y)\)为区间\(J\)上的严格单调函数，若其值域\(g(J)\)为区间，则\(g(y)\)在\(J\)上连续。

证明（反证法，严格增的情形）

1. 反设\(y_0 \in J\)是\(g(y)\)的间断点，由\(g\)严格增，根据引理2.4.3，\(g(y_0^-)\)和\(g(y_0^+)\)都存在有限，且\(g(y_0^-) < g(y_0^+)\)（间断点必为跳跃间断点）。
2. 由\(g\)严格增，得：
   • 对\(\forall y \leq y_0\)，\(g(y) \leq g(y_0^-)\)；
   • 对\(\forall y \geq y_0\)，\(g(y) \geq g(y_0^+)\)。
3. 因此值域\(g(J) \subseteq (-\infty, g(y_0^-)] \cup [g(y_0^+), +\infty)\)，取\(r \in (g(y_0^-), g(y_0^+))\)，则\(r \notin g(J)\)，与\(g(J)\)是区间矛盾。
4. 故反设不成立，\(g(y)\)在\(J\)上无间断点，即处处连续。
   严格减的情形同理可证。
   \(\square\)

---

定理2.4.4 反函数的连续性

设\(f\)为区间\(I\)上严格增（减）的连续函数，值域为\(J\)，则其反函数\(f^{-1}\)在\(J\)上也是严格增（减）的连续函数。

证明

1. 由引理2.4.4，\(f^{-1}\)在\(J\)上严格增（减）；
2. 由连续函数的介值定理（后续章节核心定理），连续函数\(f\)的值域\(J\)必为区间；
3. 由引理2.4.5，严格单调且值域为区间的函数\(f^{-1}\)在\(J\)上连续。
   \(\square\)

核心应用

该定理是反三角函数、对数函数连续性的理论基础：

• 正弦函数\(\sin x\)在\([-\frac{\pi}{2}, \frac{\pi}{2}]\)上严格增连续，故反三角函数\(\arcsin x\)在\([-1,1]\)上严格增连续；
• 指数函数\(a^x\)（\(a>0,a\neq1\)）在\(\mathbb{R}\)上严格单调连续，故对数函数\(\log_a x\)在\((0,+\infty)\)上严格单调连续。

---

四、初等函数的连续性

定理2.4.5 初等函数的连续性

所有初等函数在其定义域内都是连续的。

证明逻辑

1. 基本初等函数的连续性：
   • 常值函数\(y=C\)显然处处连续；
   • 幂函数\(y=x^\alpha = e^{\alpha \ln x}\)，由指数函数、对数函数的连续性，结合复合函数连续性，得幂函数在定义域内连续；
   • 指数函数\(y=a^x\)、对数函数\(y=\log_a x\)、三角函数、反三角函数，均已通过极限定义、反函数连续性定理证明在定义域内连续。
2. 初等函数的构造：初等函数是由基本初等函数经过有限次的加、减、乘、除、复合运算得到的函数。
3. 连续性的保持：由连续函数的四则运算法则、复合函数连续性定理，有限次的四则运算、复合运算保持连续性，因此所有初等函数在其定义域内处处连续。
   \(\square\)

核心应用：连续函数求极限的代入法

若\(f(x)\)是初等函数，\(x_0\)是\(f(x)\)定义域内的点，则

\[\boldsymbol{\lim\limits_{x \to x_0} f(x) = f(x_0)} \]

这是求极限最常用、最简便的方法，例如：

\[\lim\limits_{x \to 1} \frac{\ln x + \sin x}{e^x \sqrt{1+x^2}} = \frac{\ln 1 + \sin 1}{e^1 \cdot \sqrt{2}} = \frac{\sin 1}{e\sqrt{2}} \]

---

五、核心知识点归纳总结表

知识点	核心结论	适用条件	核心应用	高频易错点
函数在一点连续	\(\lim\limits_{x \to x_0}f(x)=f(x_0)\)，等价于ε-δ定义	\(x_0\)在定义域内，极限存在且等于函数值	判定函数在一点的连续性	忽略“极限存在”或“等于函数值”的条件，误将有定义等同于连续
单侧连续与连续的关系	连续\(\iff\) 左连续且右连续	函数在\(x_0\)的左右旁均有定义	分段函数在分段点的连续性判定	左右极限计算错误，或忽略单侧连续的条件
连续函数四则运算	连续函数的和差积商（分母非零）仍连续	函数在同一点连续	构造连续函数，判定初等函数的连续性	分母为0的点，误判为连续点
复合函数连续性	连续函数的复合仍连续，极限与函数运算可交换	外层函数在\(u_0\)连续，内层函数极限为\(u_0\)	求复杂复合函数的极限，交换极限与函数顺序	外层函数不连续时，误用交换顺序的结论
单调函数的连续性	区间上单调函数的左右极限处处存在，间断点仅为跳跃间断点	函数在区间上单调	判定单调函数的间断点类型，证明单调函数的连续性	误将单调函数的间断点认为是其他类型，忽略左右极限存在性
反函数连续性	严格单调连续函数的反函数也严格单调连续	原函数在区间上严格单调且连续	证明反三角函数、对数函数的连续性	忽略“严格单调”的条件，非严格单调函数无反函数
初等函数连续性	初等函数在定义域内处处连续	点在初等函数的定义域内	代入法求初等函数的极限	定义域外的点，误判为连续点，直接代入求极限

---

补充说明

本节的核心价值在于：

1. 建立了连续的严格定义，将“不间断”的直观概念转化为可量化的数学语言；
2. 给出了连续性的判定方法与运算规则，为后续研究连续函数的性质（有界性、最值性、介值性、一致连续性）奠定了基础；
3. 证明了初等函数的连续性，为极限计算提供了最简便的工具，是微积分计算的核心基础。

---

函数的振幅、间断点分类与单调函数的间断点性质 系统讲解

本节是函数连续性理论的深化内容，通过振幅给出了函数在一点连续的等价刻画，系统分类了间断点的类型，并证明了单调函数间断点的核心性质——间断点必为第一类，且个数至多可数，是数学分析中研究函数连续性、间断性的核心内容，也是后续黎曼积分、实变函数理论的重要基础。

---

一、函数的振幅与连续性的等价刻画

振幅是刻画函数在一点附近波动幅度的核心工具，它将“连续”的抽象ε-δ定义，转化为“函数在点附近的波动可任意小”的直观描述。

定义2.4.2 函数的振幅

1. 区间上的振幅

设\(f\)在点\(x_0\)的某开邻域\((x_0-r_0, x_0+r_0)\)内有定义，对任意\(r \in (0,r_0)\)，称

\[\boldsymbol{\omega_f(x_0, r) = \sup\left\{ |f(x'') - f(x')| \mid x', x'' \in (x_0 - r, x_0 + r) \right\} \geq 0} \]

为\(f\)在区间\((x_0 - r, x_0 + r)\)上的振幅。

核心等价性质：对任意区间\(I\)，有

\[\sup_{x',x''\in I}|f(x'')-f(x')| = \sup_{x\in I}f(x) - \inf_{x\in I}f(x) \]

因此区间振幅可等价表示为：

\[\omega_f(x_0, r) = \sup_{x\in (x_0-r,x_0+r)} f(x) - \inf_{x\in (x_0-r,x_0+r)} f(x) \]

证明思路：对任意\(x',x''\)，\(|f(x'')-f(x')| \leq \sup f - \inf f\)；同时对任意\(\varepsilon>0\)，可找到\(x_1,x_2\)使得\(f(x_1)-f(x_2) > \sup f - \inf f - \varepsilon\)，因此两者相等。

2. 点处的振幅

显然，当\(r \to 0^+\)时，区间\((x_0-r,x_0+r)\)不断缩小，\(\omega_f(x_0, r)\)关于\(r\)单调递减（区间越小，函数波动范围不会扩大），且\(\omega_f(x_0, r) \geq 0\)。根据单调有界定理，极限\(\lim\limits_{r \to 0^+} \omega_f(x_0, r)\)必存在，称该极限为\(f\)在点\(x_0\)处的振幅，记作：

\[\boldsymbol{\omega_f(x_0) = \lim_{r \to 0^+} \omega_f(x_0, r)} \]

直观意义：振幅\(\omega_f(x_0)\)刻画了函数在\(x_0\)附近的波动剧烈程度——振幅越大，函数在\(x_0\)附近的波动越剧烈；振幅越小，波动越平缓。

---

定理2.4.6 连续的振幅等价刻画

定理：\(f\)在点\(x_0\)处连续的充要条件是\(\boldsymbol{\omega_f(x_0) = 0}\)。

严谨证明（每步标注推理依据）

必要性（\(f\)在\(x_0\)连续 \(\implies\) \(\omega_f(x_0)=0\)）

1. 已知\(f\)在\(x_0\)处连续，根据连续的ε-δ定义，对\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(|x-x_0|<\delta\)时，有
   \[|f(x) - f(x_0)| < \frac{\varepsilon}{3} \]

2. 取\(0<r<\delta\)，则对任意\(x \in (x_0-r, x_0+r)\)，都满足\(|x-x_0|<\delta\)，上述不等式恒成立。
3. 由上确界、下确界的定义，对区间\((x_0-r,x_0+r)\)有：
   \[f(x_0) - \frac{\varepsilon}{3} \leq \inf_{x\in (x_0-r,x_0+r)} f(x) \leq \sup_{x\in (x_0-r,x_0+r)} f(x) \leq f(x_0) + \frac{\varepsilon}{3} \]

4. 因此区间振幅满足：
   \[0 \leq \omega_f(x_0, r) = \sup f - \inf f \leq \left(f(x_0)+\frac{\varepsilon}{3}\right) - \left(f(x_0)-\frac{\varepsilon}{3}\right) = \frac{2\varepsilon}{3} < \varepsilon \]

5. 令\(r \to 0^+\)，由极限的保不等式性，得\(0 \leq \omega_f(x_0) \leq \varepsilon\)。由\(\varepsilon\)的任意性，得\(\omega_f(x_0)=0\)。

充分性（\(\omega_f(x_0)=0\) \(\implies\) \(f\)在\(x_0\)连续）

1. 已知\(\omega_f(x_0) = \lim\limits_{r \to 0^+} \omega_f(x_0, r) = 0\)，根据函数极限的ε-δ定义，对\(\forall \varepsilon>0\)，\(\exists \delta>0\)，当\(0<r<\delta\)时，有
   \[\omega_f(x_0, r) = \sup_{(x_0-r,x_0+r)} f - \inf_{(x_0-r,x_0+r)} f < \varepsilon \]

2. 对任意\(x \in (x_0-r, x_0+r)\)，显然有：
   \[|f(x) - f(x_0)| \leq \sup_{(x_0-r,x_0+r)} f - \inf_{(x_0-r,x_0+r)} f < \varepsilon \]

3. 该式完全符合函数在\(x_0\)处连续的ε-δ定义，因此\(\lim\limits_{x \to x_0} f(x) = f(x_0)\)，即\(f\)在\(x_0\)处连续。
   \(\square\)

核心价值：该定理不仅给出了连续的直观刻画，更是后续黎曼积分理论的核心——黎曼可积的充要条件，就是函数在区间上的振幅和可任意小。

---

二、间断点的分类与定义

若\(x_0\)不是\(f\)的连续点，则称\(x_0\)为\(f\)的间断点（不连续点）。
间断点的三大成因：

1. \(f\)在\(x_0\)处无定义；
2. \(f\)在\(x_0\)处有定义，但\(\lim\limits_{x \to x_0} f(x)\)不存在；
3. \(f\)在\(x_0\)处有定义，\(\lim\limits_{x \to x_0} f(x)\)存在，但\(\lim\limits_{x \to x_0} f(x) \neq f(x_0)\)。

根据左右极限的存在性，间断点可分为两大类：

定义2.4.3 间断点的分类

第一类间断点

若\(f\)在\(x_0\)处的左极限\(f(x_0^-)\)和右极限\(f(x_0^+)\)都存在且为有限值，则称\(x_0\)为\(f\)的第一类间断点，分为两个子类型：

1. 可去间断点：\(f(x_0^-) = f(x_0^+)\)（即\(\lim\limits_{x \to x_0} f(x)\)存在），但\(\lim\limits_{x \to x_0} f(x) \neq f(x_0)\)，或\(f\)在\(x_0\)处无定义。
   典型例子：\(f(x)=\frac{\sin x}{x}\)在\(x=0\)处无定义，但\(\lim\limits_{x \to 0}\frac{\sin x}{x}=1\)，因此\(x=0\)是可去间断点。
   核心特征：可通过补充/修改\(f\)在\(x_0\)处的定义，消除间断点，使函数在该点连续，这也是“可去”的含义。
2. 跳跃间断点：\(f(x_0^-) \neq f(x_0^+)\)，称\(|f(x_0^+) - f(x_0^-)|\)为跳跃度。
   典型例子：符号函数\(f(x)=\text{sgn}x = \begin{cases}1, & x>0 \\ 0, & x=0 \\ -1, & x<0\end{cases}\)，在\(x=0\)处\(f(0^-)=-1\)，\(f(0^+)=1\)，跳跃度为2，是跳跃间断点。
   核心特征：无法通过修改函数值消除间断，函数在该点发生“跳跃”。

第二类间断点

若\(f\)在\(x_0\)处的左极限\(f(x_0^-)\)和右极限\(f(x_0^+)\)中，至少有一个不存在（包括为无穷大、振荡无极限），则称\(x_0\)为\(f\)的第二类间断点，常见子类型：

1. 无穷间断点：左右极限至少有一个为\(\pm\infty\)。
   典型例子：\(f(x)=\frac{1}{x}\)在\(x=0\)处，\(f(0^-)=-\infty\)，\(f(0^+)=+\infty\)，是无穷间断点。
2. 振荡间断点：\(x \to x_0\)时，函数在两个有限值之间无限振荡，极限不存在。
   典型例子：\(f(x)=\sin\frac{1}{x}\)在\(x=0\)处，\(x \to 0\)时\(\frac{1}{x} \to \infty\)，\(\sin\frac{1}{x}\)在\([-1,1]\)之间无限振荡，左右极限均不存在，是振荡间断点。

前置结论呼应：由引理2.4.3，区间上的单调函数在每一点的左右极限都存在，因此单调函数的间断点必为第一类间断点，不可能出现第二类间断点。

---

三、单调函数的间断点核心性质

定理2.4.7 区间\(I\)上的单调函数\(f\)的间断点至多可数个。

该定理是分析学的经典结论，揭示了单调函数的连续性“极好”——即使存在间断点，个数也不会超过可数个（与自然数集等势）。下面给出两种经典证法的完整解析。

证法1 按跳跃度分类法

1. 不妨设\(f\)在区间\(I\)上单调递增（单调递减的情形可通过\(-f\)转化为递增），且\(I=(a,b)\)（闭区间、半开区间仅多两个端点，不影响可数性）。
2. 取严格递减趋于\(a\)的数列\(\{a_n\}\)、严格递增趋于\(b\)的数列\(\{b_n\}\)，满足\(a_n < b_n\)且\([a_n,b_n] \subset [a_{n+1},b_{n+1}] \subset (a,b)\)，则\(\bigcup_{n=1}^\infty [a_n,b_n] = (a,b)\)。
3. 对每个正整数\(k\)，定义集合：
   \[D_{n,k} = \left\{ x \in (a_n,b_n) \mid \omega_f(x) = f(x^+) - f(x^-) \geq \frac{1}{k} \right\} \]
   即\((a_n,b_n)\)中跳跃度不小于\(\frac{1}{k}\)的间断点集合。
4. 对任意\(m\)个点\(x_1 < x_2 < \dots < x_m \in D_{n,k}\)，由\(f\)单调递增，得：
   \[f(b_n) - f(a_n) \geq \sum_{i=1}^m [f(x_i^+) - f(x_i^-)] \geq \sum_{i=1}^m \frac{1}{k} = \frac{m}{k} \]
   因此\(m \leq k[f(b_n)-f(a_n)]\)，即对固定的\(n,k\)，\(D_{n,k}\)是有限集。
5. 记\((a_n,b_n)\)中的间断点集合\(D_n = \bigcup_{k=1}^\infty D_{n,k}\)，整个区间的间断点集合\(D = \bigcup_{n=1}^\infty D_n = \bigcup_{n=1}^\infty \bigcup_{k=1}^\infty D_{n,k}\)。
6. 可数个有限集的并集是至多可数集，因此\(D\)至多可数，即\(f\)的间断点至多可数。

证法2 有理数对应法（更直观的经典证法）

1. 设\(f\)在\(I\)上单调递增，对\(f\)的任意间断点\(x\)，由引理2.4.3，\(f(x^-) < f(x^+)\)，因此每个间断点\(x\)对应一个非空开区间\((f(x^-), f(x^+))\)。
2. 由\(f\)单调递增，对任意两个不同的间断点\(x_1 < x_2\)，必有\(f(x_1^+) \leq f(x_2^-)\)，因此对应的开区间\((f(x_1^-),f(x_1^+))\)与\((f(x_2^-),f(x_2^+))\)互不相交。
3. 对每个互不相交的开区间，由有理数的稠密性，可在其中取一个有理数\(r_x\)；不同的间断点对应不同的有理数（区间互不相交），因此间断点集合与有理数集的一个子集一一对应。
4. 有理数集是可数集，其子集至多可数，因此\(f\)的间断点集合至多可数。
   \(\square\)

核心解读：该定理的本质是，实数轴上互不相交的开区间最多只能有可数个，因此单调函数的间断点不可能超过可数个。该结论在实变函数、概率论中具有重要应用。

---

四、核心知识点归纳总结表

表1 间断点分类与特征

间断点大类	子类型	核心特征	定义条件	典型例子	可修复性
第一类间断点	可去间断点	极限存在，与函数值不匹配	\(f(x_0^-)=f(x_0^+)\)，但\(\lim f(x)≠f(x_0)\)或\(f\)在\(x_0\)无定义	\(f(x)=\frac{\sin x}{x}\)在\(x=0\)处	可通过补充/修改函数值消除间断
	跳跃间断点	左右极限存在但不相等	\(f(x_0^-)≠f(x_0^+)\)，均为有限值	符号函数\(\text{sgn}x\)在\(x=0\)处	无法通过修改函数值消除
第二类间断点	无穷间断点	至少一个单侧极限为无穷	\(f(x_0^-)\)或\(f(x_0^+)\)为\(\pm\infty\)	\(f(x)=\frac{1}{x}\)在\(x=0\)处	不可修复
	振荡间断点	至少一个单侧极限振荡不存在	\(x \to x_0\)时函数在有限区间内无限振荡，无极限	\(f(x)=\sin\frac{1}{x}\)在\(x=0\)处	不可修复

表2 核心定理总结

定理名称	核心结论	适用条件	核心意义
连续的振幅等价定理	\(f\)在\(x_0\)连续 \(\iff\) \(\omega_f(x_0)=0\)	\(f\)在\(x_0\)的邻域内有定义	给出连续的直观刻画，是黎曼可积理论的基础
单调函数间断点类型定理	区间上单调函数的间断点必为第一类间断点	函数在区间上单调	限定了单调函数间断点的类型，排除第二类间断点
单调函数间断点个数定理	区间上单调函数的间断点至多可数个	函数在区间上单调	揭示了单调函数的连续性极好，间断点个数不超过自然数集

---

高频易错点提醒

1. 混淆可去间断点与连续点：可去间断点的极限存在，但必须等于函数值才是连续点，否则仍为间断点。
2. 误将无穷间断点归为第一类：第一类间断点要求左右极限都存在且有限，无穷大属于极限不存在，是第二类间断点。
3. 认为单调函数可以有不可数个间断点：根据定理，单调函数的间断点至多可数，不可能有不可数个。
4. 忽略振幅的定义前提：振幅的讨论要求函数在\(x_0\)的邻域内有定义，无定义的点无法讨论振幅与连续性。

---

函数连续性与间断点典型例题 系统讲解

本节是函数连续性理论的落地应用，通过经典例题系统讲解分段函数连续性判定、间断点类型识别、分析学经典反例，同时证明“不存在在有理点全连续、无理点全不连续的函数”这一核心结论，是本科数学分析、考研数学的高频考点，也是理解函数连续性本质的关键内容。

---

一、分段函数的连续性判定（例2.4.2）

题干

讨论函数\(f(x)=\begin{cases} x+2, & x\geq0 \\ x-2, & x<0 \end{cases}\)的连续性。

完整解析（标注理论依据）

1. 非分段点的连续性分析
   当\(x>0\)时，\(f(x)=x+2\)是初等函数，根据初等函数在定义域内处处连续的定理，\(f(x)\)在\((0,+\infty)\)上处处连续；
   当\(x<0\)时，\(f(x)=x-2\)是初等函数，同理，\(f(x)\)在\((-\infty,0)\)上处处连续。

2. 分段点\(x=0\)处的连续性分析
   函数在一点连续的充要条件是在该点左连续且右连续，分别计算左右极限：

   • 右极限：\(x \to 0^+\)时，\(f(x)=x+2\)，故\(f(0^+)=\lim\limits_{x \to 0^+} (x+2) = 2\)；
   • 左极限：\(x \to 0^-\)时，\(f(x)=x-2\)，故\(f(0^-)=\lim\limits_{x \to 0^-} (x-2) = -2\)；
   • 函数值：\(f(0)=0+2=2\)。

3. 间断点类型判定
   左右极限均存在但不相等，因此\(x=0\)是第一类间断点中的跳跃间断点，跳跃度为\(|f(0^+)-f(0^-)|=4\)；
   函数在\(x=0\)处右连续，但不左连续，因此在该点不连续。

4. 最终结论
   \(f(x)\)在\((-\infty,0) \cup (0,+\infty)\)上处处连续，\(x=0\)是跳跃间断点（第一类间断点）。

题后总结

• 通用解题通法：分段函数连续性分析分两步：① 非分段点：利用初等函数连续性直接判定；② 分段点：计算左右极限，验证是否等于函数值，判定间断点类型。
• 高频易错点：计算左右极限时误用错误的分段表达式；混淆左连续与右连续的定义。

---

二、可去间断点的识别与修复（例2.4.3）

题干

研究下列函数在\(x=0\)处的连续性：
(1) \(f(x)=|\text{sgn}x|=\begin{cases}1, & x\neq0 \\ 0, & x=0\end{cases}\)
(2) \(f(x)=\begin{cases}\frac{\sin x}{x}, & x\neq0 \\ 0, & x=0\end{cases}\)

核心定义回顾

可去间断点：函数在该点的左右极限存在且相等（极限存在），但极限值不等于函数值，或函数在该点无定义，属于第一类间断点，可通过补充/修改函数值消除间断，修复为连续函数。

完整解析

(1) 函数\(f(x)=|\text{sgn}x|\)的分析

1. 极限计算：当\(x \neq 0\)时，\(|\text{sgn}x|=1\)，因此\(\lim\limits_{x \to 0} f(x) = 1\)，极限存在。
2. 连续性判定：\(\lim\limits_{x \to 0} f(x)=1 \neq f(0)=0\)，因此\(x=0\)是第一类间断点中的可去间断点。
3. 连续修复：修改\(x=0\)处的函数值，定义
   \[\tilde{f}(x)=\begin{cases} f(x), & x\neq0 \\ 1, & x=0 \end{cases} \]
   则\(\tilde{f}(x)\)在\(\mathbb{R}\)上处处连续。

(2) 函数\(f(x)=\frac{\sin x}{x}\)的分析

1. 极限计算：由第一个重要极限，\(\lim\limits_{x \to 0} \frac{\sin x}{x}=1\)，极限存在。
2. 连续性判定：\(\lim\limits_{x \to 0} f(x)=1 \neq f(0)=0\)，因此\(x=0\)是第一类间断点中的可去间断点。
3. 连续修复：补充定义\(x=0\)处的函数值，定义
   \[\tilde{f}(x)=\begin{cases}\frac{\sin x}{x}, & x\neq0 \\ 1, & x=0\end{cases} \]
   则\(\tilde{f}(x)\)在\(\mathbb{R}\)上处处连续。

题后总结

• 核心特征：可去间断点是唯一可通过修改函数值消除的间断点，本质是“极限存在，仅函数值与极限不匹配”。
• 高频易错点：混淆可去间断点与跳跃间断点，忽略“左右极限必须相等”的核心条件。

---

三、取整函数的间断点分析（例2.4.4）

题干

研究取整函数\(f(x)=[x]=n\)（\(n-1 \leq x < n\)，\(n \in \mathbb{Z}\)）的连续性。
注：\([x]\)表示不超过\(x\)的最大整数，也叫地板函数\(\lfloor x \rfloor\)。

完整解析

1. 非整数点的连续性分析
   对任意非整数点\(x_0\)，存在整数\(n\)使得\(n-1 < x_0 < n\)。取\(\delta = \min\{x_0-(n-1), n-x_0\}>0\)，则当\(x \in (x_0-\delta, x_0+\delta)\)时，\([x]=n\)为常数，因此\(\lim\limits_{x \to x_0} [x] = n = [x_0]\)，故\(f(x)\)在所有非整数点处连续。

2. 整数点的连续性分析
   对任意整数\(x=n\)，分别计算左右极限：

   • 右极限：\(x \to n^+\)时，\(n < x < n+1\)，故\([x]=n\)，\(f(n^+)=\lim\limits_{x \to n^+} [x] = n\)；
   • 左极限：\(x \to n^-\)时，\(n-1 < x < n\)，故\([x]=n-1\)，\(f(n^-)=\lim\limits_{x \to n^-} [x] = n-1\)；
   • 函数值：\(f(n)=n\)。

3. 间断点类型判定
   左右极限均存在但不相等，因此所有整数点\(x=n\)都是第一类间断点中的跳跃间断点，跳跃度为1。

题后总结

• 核心考点：取整函数的定义、左右极限的计算、跳跃间断点的判定。
• 高频易错点：计算左极限时误用\([x]=n\)，忽略\(x \to n^-\)时\(x < n\)，\([x]=n-1\)。

---

四、第二类间断点的经典例子（例2.4.5）

题干

讨论下列函数间断点的类型：
(1) \(y=\frac{1}{x}\)；(2) \(y=\sin\frac{1}{x}\)；(3) \(y=D(x)\)（狄利克雷函数）。

核心定义回顾

第二类间断点：函数在该点的左极限、右极限中，至少有一个不存在（包括为无穷大、振荡无极限）。

完整解析

(1) 函数\(y=\frac{1}{x}\)

1. 定义域为\(x \neq 0\)，\(x=0\)是唯一间断点。
2. 极限分析：\(x \to 0^+\)时\(\frac{1}{x} \to +\infty\)，\(x \to 0^-\)时\(\frac{1}{x} \to -\infty\)，左右极限均为无穷大，属于极限不存在的情形。
3. 间断点类型：\(x=0\)是第二类间断点中的无穷间断点，无法通过定义函数值修复连续性。

(2) 函数\(y=\sin\frac{1}{x}\)

1. 定义域为\(x \neq 0\)，\(x=0\)是唯一间断点。
2. 极限分析：\(x \to 0\)时\(\frac{1}{x} \to \infty\)，\(\sin\frac{1}{x}\)在\([-1,1]\)之间无限次振荡，无确定的左右极限。
   验证：取子列\(x_n=\frac{1}{2n\pi}\)，\(n \to \infty\)时\(\sin\frac{1}{x_n}=0\)；取子列\(y_n=\frac{1}{2n\pi+\frac{\pi}{2}}\)，\(n \to \infty\)时\(\sin\frac{1}{y_n}=1\)，两个子列极限不相等，故极限不存在。
3. 间断点类型：\(x=0\)是第二类间断点中的振荡间断点。

(3) 狄利克雷函数\(D(x)\)

狄利克雷函数定义：\(D(x)=\begin{cases}1, & x为有理数 \\ 0, & x为无理数\end{cases}\)，定义域为\(\mathbb{R}\)。

1. 极限分析：对任意\(x_0 \in \mathbb{R}\)，由实数的稠密性，\(x_0\)的任意去心邻域内都有无穷多有理数和无理数。取有理子列\(x_n \to x_0\)，\(D(x_n)=1\)；取无理子列\(y_n \to x_0\)，\(D(y_n)=0\)，两个子列极限不相等，故\(\lim\limits_{x \to x_0} D(x)\)不存在。
2. 间断点类型：\(\mathbb{R}\)上的每一点都是\(D(x)\)的第二类间断点，即狄利克雷函数处处不连续。

题后总结

• 核心区别：无穷间断点的特征是极限为无穷大，振荡间断点的特征是函数在有限区间内无限振荡，无确定极限。
• 高频易错点：混淆“极限不存在”和“极限为无穷大”的概念，极限为无穷大是极限不存在的特殊情形。

---

五、黎曼函数的连续性分析（例2.4.6）

题干

黎曼函数（Riemann函数）定义为：

\[R(x)=\begin{cases} \frac{1}{p}, & x=\frac{q}{p} \in (0,1),\ p,q \in \mathbb{N}^+,\ p与q互质, \\ 1, & x=0,1, \\ 0, & x \in (\mathbb{R}-\mathbb{Q}) \cap (0,1) \end{cases}\]

证明：\(\lim\limits_{x \to x_0} R(x)=0\)，由此知\(R(x)\)在\([0,1]\)的所有无理点处连续，所有有理点处不连续。

完整解析

黎曼函数是分析学经典反例，核心特征是无理点处处连续，有理点处处间断，是“几乎处处连续”的典型代表。

步骤1：证明\(\boldsymbol{\lim\limits_{x \to x_0} R(x)=0}\)（ε-δ定义）

1. 对\(\forall \varepsilon>0\)，要找到\(\delta>0\)，使得当\(0<|x-x_0|<\delta\)时，\(|R(x)|<\varepsilon\)。
2. 分析\(R(x) \geq \varepsilon\)的情形：\(R(x)=\frac{1}{p} \geq \varepsilon\)即\(p \leq \frac{1}{\varepsilon}\)，满足该条件的正整数\(p\)只有有限个；对每个\(p\)，满足\(R(x)=\frac{1}{p}\)的\(x=\frac{q}{p}\)也只有有限个。
3. 因此，\([0,1]\)中满足\(R(x) \geq \varepsilon\)的点只有有限个，记为\(x_1,x_2,\dots,x_k\)。
4. 取\(\delta = \min\left\{ |x_i - x_0| \mid x_i \neq x_0 \right\}\)（若所有\(x_i=x_0\)，取\(\delta=1\)），则当\(0<|x-x_0|<\delta\)时，\(x\)不是上述有限个点，故\(R(x)<\varepsilon\)，符合极限定义。
   因此\(\lim\limits_{x \to x_0} R(x)=0\)。

步骤2：连续性判定

1. 无理点处：若\(x_0\)是无理点，则\(R(x_0)=0\)，\(\lim\limits_{x \to x_0} R(x)=0=R(x_0)\)，故\(R(x)\)在无理点处连续。
2. 有理点处：若\(x_0\)是有理点，\(R(x_0)=\frac{1}{p} \neq 0\)，而\(\lim\limits_{x \to x_0} R(x)=0 \neq R(x_0)\)，故有理点是第一类间断点中的可去间断点。

题后总结

• 核心意义：黎曼函数是黎曼积分理论的经典例子，验证了“几乎处处连续的函数黎曼可积”的核心结论。
• 高频易错点：混淆连续点与间断点，误以为有理点连续、无理点间断。

---

六、经典不存在性定理（例2.4.7）

题干

不存在函数\(f:\mathbb{R} \to \mathbb{R}\)，在所有无理点处不连续，而在所有有理点处连续。

完整解析（闭区间套证法，本科阶段易理解）

1. 反证假设：存在这样的函数\(f\)，在所有有理点连续，所有无理点不连续。
2. 有理数集是可数集，记\(\mathbb{Q}=\{r_1,r_2,\dots,r_n,\dots\}\)。
3. 构造闭区间套：
   • 第一步：取有理点\(r_1^* \in \mathbb{Q} \setminus \{r_1\}\)，由\(f\)在\(r_1^*\)处连续，根据连续的振幅等价刻画，存在\(\delta_1>0\)，使得闭区间\([a_1,b_1]=[r_1^*-\delta_1, r_1^*+\delta_1]\)满足：\(r_1 \notin [a_1,b_1]\)，\(b_1-a_1 < \frac{1}{2}\)，且\(f\)在该区间上的振幅\(\omega_f < \frac{1}{2}\)。
   • 以此类推，第\(n\)步得到闭区间\([a_n,b_n]\)，满足：
     1. \([a_1,b_1] \supset [a_2,b_2] \supset \dots \supset [a_n,b_n] \supset \dots\)；
     2. \(b_n - a_n < \frac{1}{2^n}\)，\(\lim\limits_{n \to \infty} (b_n - a_n)=0\)；
     3. \(r_1,r_2,\dots,r_n \notin [a_n,b_n]\)；
     4. \(f\)在\([a_n,b_n]\)上的振幅\(\omega_f < \frac{1}{2^n}\)。
4. 闭区间套定理应用：存在唯一的点\(\xi \in \bigcap_{n=1}^\infty [a_n,b_n]\)。
5. 矛盾推导：
   • \(\xi\)是无理点：所有有理数\(r_n\)都不在区间套中，故\(\xi \notin \mathbb{Q}\)；
   • \(f\)在\(\xi\)处连续：对\(\forall \varepsilon>0\)，取\(n\)使得\(\frac{1}{2^n}<\varepsilon\)，则\(f\)在\([a_n,b_n]\)上的振幅小于\(\varepsilon\)，故\(\omega_f(\xi)=0\)，由连续的振幅等价定理，\(f\)在\(\xi\)处连续。
   • 这与“\(f\)在所有无理点处不连续”的假设矛盾。
6. 因此反设不成立，不存在这样的函数。

核心意义

该定理揭示了函数连续点集的拓扑本质：函数的连续点集必为\(G_\delta\)型集（可数个开集的交），而有理数集\(\mathbb{Q}\)不是\(G_\delta\)型集，因此无法作为一个函数的全连续点集。

---

七、核心知识点归纳总结表

函数名称	连续点集	间断点集	间断点类型	核心特征
分段函数\(\begin{cases}x+2,x\geq0\\x-2,x<0\end{cases}\)	\((-\infty,0)\cup(0,+\infty)\)	\(\{0\}\)	第一类跳跃间断点	分段点左右极限不相等，跳跃度为4
\(\frac{\sin x}{x}\)	\(\mathbb{R}\setminus\{0\}\)	\(\{0\}\)	第一类可去间断点	极限存在，补充定义后可连续
取整函数\([x]\)	\(\mathbb{R}\setminus\mathbb{Z}\)	所有整数点\(\mathbb{Z}\)	第一类跳跃间断点	每个整数点跳跃度为1
\(\frac{1}{x}\)	\(\mathbb{R}\setminus\{0\}\)	\(\{0\}\)	第二类无穷间断点	\(x\to0\)时极限为无穷大
\(\sin\frac{1}{x}\)	\(\mathbb{R}\setminus\{0\}\)	\(\{0\}\)	第二类振荡间断点	\(x\to0\)时在\([-1,1]\)无限振荡
狄利克雷函数\(D(x)\)	空集（处处不连续）	全体实数\(\mathbb{R}\)	第二类间断点	任意点的极限都不存在
黎曼函数\(R(x)\)	\([0,1]\)中的所有无理点	\([0,1]\)中的所有有理点	第一类可去间断点	无理点连续，有理点间断，极限处处为0

核心结论汇总

1. 分段函数连续性分析的核心是分段点处的左右极限计算，非分段点直接用初等函数连续性判定；
2. 第一类间断点分为可去间断点（极限存在）和跳跃间断点（左右极限存在但不等），第二类间断点是左右极限至少一个不存在；
3. 黎曼函数是无理点连续、有理点间断的经典例子，而反过来的函数不存在；
4. 函数的连续点集必须是\(G_\delta\)型集，有理数集不满足该条件，因此无法作为函数的全连续点集。