由 f(xn) 收敛能否反推 xn 收敛？严格单调下的两个定理

〇 问题的提出

在高等数学与数学分析的极限理论中，由原数列推导复合函数数列的敛散性是常规思维。根据海涅定理（Heine）或复合函数极限运算法则：若函数 $f(x)$ 在点 $a$ 处连续，且数列 $\{x_n\}$ 满足 $\lim_{n\to\infty} x_n = a$，则必定有：

$$\lim_{n\to\infty} f(x_n) = f(a)$$

但这只是一个单向命题。在考研数学及高阶分析讨论中，我们常常需要面对它的逆问题：

核心疑问：已知复合数列 $\{f(x_n)\}$ 收敛，在什么充分条件下，能够反推原数列 $\{x_n\}$ 也必定收敛？

直观上，如果 $f(x)$ 不是一一映射（例如存在水平段或震荡波动），不同趋向的 $x_n$ 完全可能映到同一个像极限，反推显然不成立。因此，函数 $f(x)$ 的严格单调性是最基础的先决结构。

然而，仅仅具备严格单调性就足够了吗？答案并非如此简单。定义域的有限性与无穷远处的渐近形态，将彻底分化结论的走向。本文系统梳理严格单调下的两条核心定理，剖析其数学证明与反例构造，并说明其在考研真题中的实战应用。

---

一、定理 1：有界情形下的反推判定

在数列自身有界或定义于有限闭区间的场景下，严格单调性足以保证收敛性的逆推成立。

定理 1（有界性条件下的逆向收敛定理）
设区间 $I$ 上函数 $f(x)$ 严格单调，数列 $\{x_n\} \subset I$。若复合数列 $\{f(x_n)\}$ 收敛，且原数列 $\{x_n\}$ 有界，则数列 $\{x_n\}$ 必收敛。

$$\boxed{\{f(x_n)\} \text{ 收敛} \quad \land \quad \{x_n\} \text{ 有界} \quad \stackrel{f \text{ 严格单调}}{\Longrightarrow} \quad \{x_n\} \text{ 收敛}}$$

证明过程

利用波尔查诺-魏尔斯特拉斯致密性定理（Bolzano-Weierstrass）：每一个有界数列必存在收敛子列。因此，我们只需进一步证明：数列 $\{x_n\}$ 只能有唯一的子列极限。

第一步：反设存在不同极限点
反设 $\{x_n\}$ 存在两个相异的子列极限 $\alpha < \beta$。根据极限定义，存在子列 $\{x_{n_k}\}$ 与 $\{x_{m_k}\}$ 分别满足：

$$\lim_{k\to\infty} x_{n_k} = \alpha, \qquad \lim_{k\to\infty} x_{m_k} = \beta$$

任取分界实数 $c$ 使得 $\alpha < c < \beta$。由数列极限的保号性，当指标 $k$ 充分大时，恒有：

$$x_{n_k} < c < x_{m_k}$$

第二步：利用单调性构建严格分离
由于 $f(x)$ 在区间 $I$ 上严格单调，分两种情形讨论：

1. 若 $f(x)$ 在 $I$ 上严格单调递增，则对充分大的 $k$，有： $$f(x_{n_k}) < f(c) < f(x_{m_k})$$
2. 若 $f(x)$ 在 $I$ 上严格单调递减，则对充分大的 $k$，有： $$f(x_{n_k}) > f(c) > f(x_{m_k})$$

无论哪种情形，常数 $f(c)$ 都将子数列像集合 $\{f(x_{n_k})\}$ 与 $\{f(x_{m_k})\}$ 进行了严格的区间分割。两端极限绝不可能跨越或同时落于 $f(c)$ 的同一侧，即：

$$\lim_{k\to\infty} f(x_{n_k}) \neq \lim_{k\to\infty} f(x_{m_k})$$

第三步：导出矛盾
但题设已知数列 $\{f(x_n)\}$ 收敛，由收敛数列的性质，其任意子列均收敛于同一个极限。这与上述两子列极限相异产生不可调和的矛盾。

因此，$\{x_n\}$ 不可能拥有两个不同的子列极限，即有界数列 $\{x_n\}$ 的子列极限唯一。由分析学基本定理，有界且仅有一个聚点的实数列必收敛。$\blacksquare$

---

二、定理 2：无限区间上的推广

如果数列 $\{x_n\}$ 未预先假定有界，或者区间延伸至无穷远（如 $[a, +\infty)$），我们能否单凭 $\{f(x_n)\}$ 收敛就保证 $\{x_n\}$ 收敛？

答案是：必须要求 $f(x)$ 在无穷远处也是无界的（即发散到 $\pm\infty$），从而彻底排除水平渐近线。

定理 2（无限区间上的无穷远发散判定）
设函数 $f(x)$ 在区间 $[a, +\infty)$ 上严格单调，数列 $\{x_n\} \subset [a, +\infty)$。若复合数列 $\{f(x_n)\}$ 收敛，且满足：

$$\lim_{x\to+\infty} f(x) = +\infty \qquad \text{或} \qquad \lim_{x\to+\infty} f(x) = -\infty$$

则数列 $\{x_n\}$ 必收敛。

$$\boxed{\{f(x_n)\} \text{ 收敛} \quad \land \quad \lim_{x\to+\infty} f(x) = \pm\infty \quad \stackrel{f \text{ 严格单调}}{\Longrightarrow} \quad \{x_n\} \text{ 收敛}}$$

证明过程

收敛数列必有界，由题设 $\{f(x_n)\}$ 收敛，知存在正实数 $M > 0$，使得对所有 $n \in \mathbb{N}^+$ 均有 $|f(x_n)| \le M$。

我们通过反证法先确立 $\{x_n\}$ 的有界性：

第一步：反设原数列无界
由于 $x_n \ge a$，若数列 $\{x_n\}$ 无界，则必存在发散到正无穷的子列 $\{x_{n_k}\}$，即：

$$\lim_{k\to\infty} x_{n_k} = +\infty$$

第二步：借助无穷远性态引出矛盾
根据定理假设，函数在无穷远处发散。应用海涅归结原则：

• 若 $\displaystyle\lim_{x\to+\infty} f(x) = +\infty$，则伴随 $x_{n_k} \to +\infty$，必有 $f(x_{n_k}) \to +\infty$；
• 若 $\displaystyle\lim_{x\to+\infty} f(x) = -\infty$，则伴随 $x_{n_k} \to +\infty$，必有 $f(x_{n_k}) \to -\infty$。

无论哪种情形，均说明子数列像集合 $\{f(x_{n_k})\}$ 是无界的。然而，$\{f(x_{n_k})\}$ 是收敛数列 $\{f(x_n)\}$ 的子列，必须满足 $|f(x_{n_k})| \le M$ 的有界性要求，产生直接矛盾！

第三步：归结为定理 1
反设不成立，故数列 $\{x_n\}$ 必须是有界的。既然 $\{x_n\}$ 有界且 $f(x)$ 严格单调，直接应用定理 1，即刻得出 $\{x_n\}$ 必收敛。$\blacksquare$

---

三、反例剖析：无限区间何以失效？

若省去定理 2 中“$\lim_{x\to+\infty} f(x) = \pm\infty$”这一关键条件，逆推结论是否仍能成立？

答案是：彻底失效。最经典且优雅的反例莫过于反正切函数。

经典反例：$f(x) = \arctan x$

构造如下：

• 取函数 $f(x) = \arctan x$，其在整个实数域 $\mathbb{R} = (-\infty, +\infty)$ 上处处可导且严格单调递增；
• 取数列 $x_n = n$。

容易验证：

$$\lim_{n\to\infty} f(x_n) = \lim_{n\to\infty} \arctan n = \frac{\pi}{2}$$

然而：

$$\lim_{n\to\infty} x_n = \lim_{n\to\infty} n = +\infty \quad (\text{发散})$$

此时，复合数列 $\{f(x_n)\}$ 完美收敛到 $\frac{\pi}{2}$，但原数列 $\{x_n\}$ 却发散至无穷大！

几何根源

为什么会发生这种情况？从几何视角审视：$f(x) = \arctan x$ 在 $x \to +\infty$ 处存在一条水平渐近线 $y = \frac{\pi}{2}$。

尽管函数本身是严格递增的双射，但由于无穷远处被“压扁”进入了一条有限的渐近走廊，导致无限广阔的原像自变量空间（$x_n \to +\infty$）在像空间中被压缩进了一个无限逼近 $\frac{\pi}{2}$ 的微小邻域内。

核心启发：严格单调映射要想把“像的收敛”原原本本反推回“原像的收敛”，必须在无穷远处具备足够的“拉伸度”（即趋向 $\pm\infty$），不容许水平渐近线将无穷发散折叠为有限极限。

---

四、核心结论与判别法则

将上述定理融会贯通，在面对数列反推判定问题时，可凝练为如下判别法则：

1. 有限区间场景（如 $I = [a, b]$）：
   $\{x_n\} \subset [a, b]$ 天然有界。只要 $f(x)$ 在该区间上严格单调，由复合数列 $\{f(x_n)\}$ 收敛即可无条件反推 $\{x_n\}$ 收敛。
2. 无限区间场景（如 $[a, +\infty)$ 或 $\mathbb{R}$）：
   必须补充约束，二者居其一：
   • 补充约束一：已预先获知 $\{x_n\}$ 本身有界；
   • 补充约束二：函数 $f(x)$ 在两端无穷远处不趋向有限常数，即： $$\lim_{x\to+\infty} f(x) = \pm\infty \quad \left(\text{以及 } \lim_{x\to-\infty} f(x) = \pm\infty\right)$$

---

五、真题应用：2024 数二例 1.78

上述理论不仅在纯数学分析中具有奠基意义，在考研数学命题中更是高频的考察热点。2024 年全国硕士研究生招生考试数学（二）的选择题便精准切中了这一命题机制。

选择题2024 数二例 1.78

已知数列 $\{a_n\}$（$a_n \neq 0$），若 $\{a_n\}$ 发散，则下列选项中必发散的是（\quad）。

• A $\left\{a_n + \dfrac{1}{a_n}\right\}$ 发散
• B $\left\{a_n - \dfrac{1}{a_n}\right\}$ 发散
• C $\left\{e^{a_n} + \dfrac{1}{e^{a_n}}\right\}$ 发散
• D $\left\{e^{a_n} - \dfrac{1}{e^{a_n}}\right\}$ 发散

解答

核心破题思路：逆否命题的转化

题干设问形式为：“若 $\{a_n\}$ 发散，则 $\{f(a_n)\}$ 必发散”。

回顾数理逻辑的基本法则，原命题与其逆否命题等价：

$$(a_n \text{ 发散} \Longrightarrow f(a_n) \text{ 发散}) \quad \Longleftrightarrow \quad (f(a_n) \text{ 收敛} \Longrightarrow a_n \text{ 收敛})$$

换言之，判定哪一个选项正确，等价于检验哪一个函数 $f(x)$ 满足“由 $f(a_n)$ 收敛能严格反推 $a_n$ 收敛”！根据本文定理 2，这要求函数 $f(x)$ 在全域连通区间上严格单调，且在无穷远处发散到 $\pm\infty$。

---

方法 1：利用定理准则逐项审视

对各选项所对应的函数形式逐一考察：

选项	对应函数 $f(x)$	单一区间严格单调？	无穷远极限 $\lim_{x\to\pm\infty} f(x)$	最终判定
(A)	$x + \dfrac{1}{x}$	否。在 $(0,+\infty)$ 上以 $x=1$ 为极小值点，先减后增，非严格单调	$\pm\infty$	✗ 不满足逆推条件，舍弃
(B)	$x - \dfrac{1}{x}$	否。虽然在 $(-\infty,0)$ 与 $(0,+\infty)$ 上各自严格递增，但定义域不连通，跨越间断点无单调性	$\pm\infty$	✗ 不满足单一区间严格单调，舍弃
(C)	$e^x + e^{-x}$	否。$f'(x) = e^x - e^{-x}$ 在 $x=0$ 处改变符号，双曲余弦为偶函数，非严格单调	$+\infty$	✗ 不满足逆推条件，舍弃
(D)	$e^x - e^{-x}$	是。导数 $f'(x) = e^x + e^{-x} > 0$ 恒成立，在 $\mathbb{R}$ 上严格单调递增	$\lim_{x\to+\infty} f = +\infty$ 且 $\lim_{x\to-\infty} f = -\infty$	✓ 完美符合定理 2

对于选项 (D)，对应函数实际上是双曲正弦函数 $f(x) = 2\sinh x$。由于其在整个实数域 $\mathbb{R}$ 上单调递增无界，且不存在任何水平渐近线，完全满足定理 2。由逆否命题成立可知：只要 $\{a_n\}$ 发散，则 $\{e^{a_n} - e^{-a_n}\}$ 必定发散。

因此正确答案必选 (D)。

---

方法 2：反例构造法的直观验证

为直观破除 (A)、(B)、(C) 的干扰，针对非单调性与非连通性构造振荡反例（即构造 $\{a_n\}$ 发散但 $\{f(a_n)\}$ 恒为常数而收敛）：

1. 对 (A) 构造：取交替震荡数列 $a_n = 2, \dfrac{1}{2}, 2, \dfrac{1}{2}, \dots$。显然 $\{a_n\}$ 在两点间振荡发散，但： $$a_n + \frac{1}{a_n} \equiv 2 + \frac{1}{2} = \frac{5}{2} \quad (\text{收敛})$$
2. 对 (B) 构造：取交替正负数列 $a_n = 1, -1, 1, -1, \dots$。$\{a_n\}$ 发散，但： $$a_n - \frac{1}{a_n} \equiv 0 \quad (\text{收敛})$$
3. 对 (C) 构造：同样取 $a_n = 1, -1, 1, -1, \dots$。$\{a_n\}$ 发散，但： $$e^{a_n} + e^{-a_n} \equiv e + \frac{1}{e} \quad (\text{收敛})$$

三个反例的本质均是抓住了函数在两个不同自变量位置取相同函数值的非单射特征。

---

命题底蕴一览

判别复合数列敛散性的实质，是函数几何性质与分析性质在离散点列上的映射投射。只有当 $f(x)$ 构成从全域到全域的无渐近线严格单调双射时，敛散信息才能无损双向传导。这正是 (D) 成为唯一正确选项的深层原因。