[Math]复合函数极限存在定理：单调连续函数反函数连续性定理推论
在高等数学和数学分析中，可能会遇到这样的问题：已知一个复合数列的极限存在，能否反过来推出内层数列的极限也存在？这类问题的答案往往取决于外层函数是否具有某种“可逆性”，这个其实和一个核心定理相关——严格单调连续函数必有连续反函数，它可以推导出一个在复合函数极限中非常实用的结论。
一、问题
设 {x_n} 是一个数列，其取值范围被限制在闭区间
\left[-\frac{\pi}{2},\frac{\pi}{2}\right]
上。我们关心以下两类情况：
- 如果 \sin x_n 的极限存在，能否推出 x_n 的极限存在？
- 如果 \cos x_n 的极限存在，能否推出 x_n 的极限存在？
从直观上看，\sin x 与 \cos x 都是连续函数，但它们的性质有所不同。要准确回答上述问题，我们需要先建立一个有力的理论工具。
二、核心定理：严格单调连续函数必有连续反函数
2.1 定理内容
设函数 f 在区间 I 上严格单调且连续，那么：
- f 是从 I 到 f(I) 的一一对应；
- 其反函数
f^{-1}: f(I)\to I
存在，并且也是连续的。
简言之：严格单调连续函数必有连续的反函数。
这个定理是数学分析中的一个基础结论。它保证了在一定条件下，函数关系可以“双向连续地”传递极限，即不仅 x\to y 的极限关系成立，反过来 y\to x 的极限关系也成立。
2.2 定理的证明思路
（1）严格单调 \Rightarrow 一一对应
以严格递增为例。若 f 在区间 I 上严格递增，则对任意 x_1,x_2\in I，有
x_1<x_2 \quad\Longrightarrow\quad f(x_1)<f(x_2).
因此不同的自变量对应不同的函数值，即 f 是单射。将陪域限制为值域 f(I) 后，f 自然是双射，于是反函数 f^{-1} 存在。
严格递减的情形完全类似。
（2）连续 \Rightarrow 反函数连续
直观上，严格单调连续函数的图像是一条不断上升（或下降）的连续曲线，没有断裂。把图像关于直线 y=x 对称后，得到的反函数图像仍然是一条连续曲线。
下面用 \varepsilon–\delta 语言给出严格证明。为简洁起见，只证明 x_0 为区间 I 的内点的情形；端点情形可用单侧邻域类似处理。
设 y_0\in f(I)，且 x_0=f^{-1}(y_0)。任取 \varepsilon>0，且 \varepsilon 足够小使得
(x_0-\varepsilon,\ x_0+\varepsilon)\subset I.
由于 f 严格递增且连续，开区间 (x_0-\varepsilon,\ x_0+\varepsilon) 在 f 下的像仍是开区间。事实上，由严格单调性可得
f\big((x_0-\varepsilon,\ x_0+\varepsilon)\big)\ \subset\ \big(f(x_0-\varepsilon),\ f(x_0+\varepsilon)\big).
又由介值定理，对任意
y\in\big(f(x_0-\varepsilon),\ f(x_0+\varepsilon)\big),
都存在 x\in(x_0-\varepsilon,\ x_0+\varepsilon) 使得 f(x)=y，因此
f\big((x_0-\varepsilon,\ x_0+\varepsilon)\big)\ =\ \big(f(x_0-\varepsilon),\ f(x_0+\varepsilon)\big).
取
\delta=\min\left\lbrace f(x_0+\varepsilon)-y_0,\ y_0-f(x_0-\varepsilon) \right\rbrace>0.
则当 |y-y_0|<\delta 时，有
y\in\big(f(x_0-\varepsilon),\ f(x_0+\varepsilon)\big).
于是
f^{-1}(y)\in(x_0-\varepsilon,\ x_0+\varepsilon),
即
\big|f^{-1}(y)-f^{-1}(y_0)\big|<\varepsilon.
这就证明了 f^{-1} 在 y_0 处连续。由 y_0 的任意性，f^{-1} 在 f(I) 上连续。
三、重要推论：从函数极限反推数列极限
有了连续反函数定理，我们可以立即得到一个在数列极限中非常有用的结论。
3.1 推论内容
设函数 f 在区间 I 上严格单调且连续，{t_n} 是 I 中的数列。若
\lim_{n\to\infty} f(t_n)
存在，且该极限值属于 f(I)，则
\lim_{n\to\infty} t_n
也存在。
3.2 推论的证明
设
\lim_{n\to\infty} f(t_n)=L\in f(I).
令 a=f^{-1}(L)，即 L=f(a)。
由于 f^{-1} 在 f(I) 上连续，所以 f^{-1} 在点 L 处连续。根据连续函数的数列极限定义，对任意 \varepsilon>0，存在 \delta>0，当
|y-L|<\delta
时，有
\big|f^{-1}(y)-f^{-1}(L)\big|<\varepsilon.
又因为 f(t_n)\to L，所以对上述 \delta>0，存在正整数 N，当 n>N 时，
|f(t_n)-L|<\delta.
取 y=f(t_n)，则
\big|f^{-1}(f(t_n))-f^{-1}(L)\big|<\varepsilon,
即
|t_n-a|<\varepsilon.
所以
\lim_{n\to\infty} t_n=a=f^{-1}(L).
这就完成了证明。
说明：如果 I 是闭区间，则 f(I) 也是闭区间，此时 f(t_n) 的极限必属于 f(I)，推论的条件自动满足。如果 I 不是闭区间，则需要额外考虑极限点是否在值域内。在本文后续的例子中，区间为闭区间
\left[-\frac{\pi}{2},\frac{\pi}{2}\right],
所以可以直接使用该推论。
四、数列函数推论一致性：海涅定理视角
上述推论虽然用数列形式表述，但它的本质并不局限于离散情形。事实上，对于函数极限，相同的结论同样成立。
4.1 推论在函数极限中的形式
设函数 f 在区间 I 上严格单调且连续，函数 g 在某去心邻域内满足 g(x)\in I。若
\lim_{x\to x_0} f\big(g(x)\big) = L \in f(I),
则
\lim_{x\to x_0} g(x) = f^{-1}(L).
证明方法与数列版本完全类似，只需将 \varepsilon–\delta 语言从数列极限改为函数极限即可。这一推广表明：连续反函数保持极限的性质不仅适用于离散的数列，也适用于连续的函数极限过程，因而具有更广泛的适用性。
4.2 数列函数一致性解释
从数学分析的角度看，数列极限是函数极限的特殊情形。事实上，函数极限
\lim_{x\to x_0} h(x) = L
的充要条件是：对任意满足 x_n \to x_0（且 x_n \neq x_0）的数列 {x_n}，都有
\lim_{n\to\infty} h(x_n) = L.
这就是著名的海涅定理（Heine 定理），它把函数极限和数列极限紧密联系起来。
因此：函数版本是更一般的表述，两者的核心机制完全相同，均是连续反函数保持极限。数列版本是函数版本在离散指标（或 x_0=+\infty）下的特殊形式。通过海涅定理，我们将函数极限的问题转化为数列极限来检验，或者反过来，把数列极限的结论推广到函数极限。
五、应用举例：正弦函数与余弦函数的对比
现在我们把上述推论应用到具体的函数上，比较 \sin x 与 \cos x 在区间
\left[-\frac{\pi}{2},\frac{\pi}{2}\right]
上的表现。
5.1 正弦函数的情形
函数
f(x)=\sin x
在区间
\left[-\frac{\pi}{2},\frac{\pi}{2}\right]
上严格递增且连续。
因此，若数列 {x_n} 满足
-\frac{\pi}{2}\le x_n\le \frac{\pi}{2},
并且
\lim_{n\to\infty}\sin x_n
存在，则由推论可知
\lim_{n\to\infty}x_n
一定存在。
这是因为 \sin x 在该区间上是单射，不同的 x 对应不同的 \sin x 值。因此，\sin x_n 的极限唯一确定了 x_n 的极限。
5.2 余弦函数的情形
函数
g(x)=\cos x
在区间
\left[-\frac{\pi}{2},\frac{\pi}{2}\right]
上不单调。
具体来说，\cos x 在该区间上的图像先增后减：在
\left[-\frac{\pi}{2},0\right]
上从 0 增加到 1，在
\left[0,\frac{\pi}{2}\right]
上从 1 减少到 0。因此它不是一一对应，反函数不存在。
这意味着：即使 \cos x_n 的极限存在，也不能推出 x_n 的极限存在。
反例
取
x_n=(-1)^n\frac{\pi}{2}.
即
x_1=-\frac{\pi}{2},\quad x_2=\frac{\pi}{2},\quad x_3=-\frac{\pi}{2},\quad x_4=\frac{\pi}{2},\quad \cdots
显然 {x_n} 在 -\frac{\pi}{2} 和 \frac{\pi}{2} 之间震荡，极限不存在。
但是
\cos x_n=\cos\left((-1)^n\frac{\pi}{2}\right)=0
对一切 n 成立，所以
\lim_{n\to\infty}\cos x_n=0
存在。
这个例子清楚地表明：\cos x_n 收敛时，x_n 不一定收敛。原因是 \cos x 在
\left[-\frac{\pi}{2},\frac{\pi}{2}\right]
上不是单射，不同的 x 可能对应同一个 \cos 值。例如
\cos\left(\frac{\pi}{2}\right)=\cos\left(-\frac{\pi}{2}\right)=0.
因此，即使 \cos x_n 的极限存在，也无法唯一确定 x_n 的极限，甚至 x_n 可能根本不收敛。
六、更复杂的复合情形
在实际问题中，我们可能会遇到双层复合，例如 \sin(\cos x_n) 或 \cos(\sin x_n)。这时需要逐层分析外层函数在相应区间上的单调性。
6.1 情形一：\sin(\cos x_n)
设数列 {x_n} 满足
-\frac{\pi}{2}\le x_n\le \frac{\pi}{2}.
则
0\le \cos x_n\le 1.
令
t_n=\cos x_n,
则 t_n\in[0,1]。外层函数
\sin t
在区间 [0,1] 上严格递增且连续。
因此，若
\lim_{n\to\infty}\sin(\cos x_n)=\lim_{n\to\infty}\sin t_n
存在，由推论可得
\lim_{n\to\infty}t_n=\lim_{n\to\infty}\cos x_n
存在。
但是，这并不能进一步推出 x_n 的极限存在，因为 \cos x 在
\left[-\frac{\pi}{2},\frac{\pi}{2}\right]
上不单调。
仍取反例
x_n=(-1)^n\frac{\pi}{2}.
此时
\cos x_n=0,\quad \sin(\cos x_n)=\sin 0=0,
所以 \sin(\cos x_n)\to 0，\cos x_n\to 0，但 x_n 不收敛。
6.2 情形二：\cos(\sin x_n)
同样设
-\frac{\pi}{2}\le x_n\le \frac{\pi}{2}.
则
-1\le \sin x_n\le 1.
令
u_n=\sin x_n.
外层函数
\cos u
在区间 [-1,1] 上不是单调的：它在 [-1,0] 上递增，在 [0,1] 上递减，因此不是单射。
所以，即使
\lim_{n\to\infty}\cos(\sin x_n)
存在，也不能推出 u_n=\sin x_n 的极限存在，更不能推出 x_n 的极限存在。
反例仍取
x_n=(-1)^n\frac{\pi}{2}.
此时
\sin x_n=(-1)^n=\pm 1,
所以
\cos(\sin x_n)=\cos(\pm 1)=\cos 1
是常数列，极限存在。但 \sin x_n 在 -1 和 1 之间震荡，不收敛，x_n 也不收敛。
七、总结
本文的核心逻辑可以概括为：
- 定理基础：若函数 f 在区间 I 上严格单调且连续，则 f 存在连续的反函数 f^{-1}。
- 推论：若数列 {t_n}\subset I，且 f(t_n) 收敛到 f(I) 中的某个值，则 t_n 必收敛。该结论同样适用于函数极限情形。
- 海涅定理：数列极限与函数极限通过海涅定理相互联系，因此数列版本的推论可以自然推广到函数版本。
- 反例：若外层函数不单调（如 \cos x 在 \left[-\frac{\pi}{2},\frac{\pi}{2}\right] 上），则不能由外层函数极限存在推出内层数列极限存在。原因是此时函数不是单射，不同的内层取值可能对应相同的外层函数值，导致内层数列可以震荡而外层数列收敛。
在本文的例子中，\sin x 在
\left[-\frac{\pi}{2},\frac{\pi}{2}\right]
或 [0,1] 上单调，因此能反推；\cos x 在相应区间上不单调，因此不能反推。这是判断复合极限能否反推的关键所在。
