是的，之前提供的自定义 KaTeX 渲染函数已经配置了原生 LaTeX 定界符 \(...\)（行内）和 \[...\]（块级），所以可以直接使用这些定界符，不会被 Markdown 解析器干扰。下面是将文章所有公式改为原生定界符后的版本，内容完全不变。

---

在高等数学和数学分析中，可能会遇到这样的问题：已知一个复合数列的极限存在，能否反过来推出内层数列的极限也存在？这类问题的答案往往取决于外层函数是否具有某种“可逆性”，这个其实和一个核心定理相关——严格单调连续函数必有连续反函数，它可以推导出一个在复合函数极限中非常实用的结论。

---

一、问题

设 ({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) 上严格单调且连续，那么：

1. (f) 是从 (I) 到 (f(I)) 的一一对应；
2. 其反函数
   [
   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\Big{ f(x_0+\varepsilon)-y_0,\ y_0-f(x_0-\varepsilon) \Big}>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 xn\le \frac{\pi}{2},
]
并且
[
\lim{n\to\infty}\sin xn
]
存在，则由推论可知
[
\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 xn)=\lim{n\to\infty}\sin tn
]
存在，由推论可得
[
\lim{n\to\infty}tn=\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) 也不收敛。

---

七、总结

本文的核心逻辑可以概括为：

1. 定理基础：若函数 (f) 在区间 (I) 上严格单调且连续，则 (f) 存在连续的反函数 (f^{-1})。
2. 推论：若数列 ({t_n}\subset I)，且 (f(t_n)) 收敛到 (f(I)) 中的某个值，则 (t_n) 必收敛。该结论同样适用于函数极限情形。
3. 海涅定理：数列极限与函数极限通过海涅定理相互联系，因此数列版本的推论可以自然推广到函数版本。
4. 反例：若外层函数不单调（如 (\cos x) 在 (\left[-\frac{\pi}{2},\frac{\pi}{2}\right]) 上），则不能由外层函数极限存在推出内层数列极限存在。原因是此时函数不是单射，不同的内层取值可能对应相同的外层函数值，导致内层数列可以震荡而外层数列收敛。

在本文的例子中，(\sin x) 在
[
\left[-\frac{\pi}{2},\frac{\pi}{2}\right]
]
或 ([0,1]) 上单调，因此能反推；(\cos x) 在相应区间上不单调，因此不能反推。这是判断复合极限能否反推的关键所在。