连续函数$f^2$在$x\to\infty$时极限存在是否蕴含$f$的极限存在及相关证明的正确性验证

阿华AIGC实验室

2026-4-22

嘿，这个问题提得相当到位！先直接给结论：对于连续函数$f:\mathbb{R}\to\mathbb{R}$，如果$\lim_{x\to\infty}f(x)^2$存在，那么$\lim_{x\to\infty}f(x)$一定存在。你的证明思路整体是正确的，不过咱们可以把细节打磨得更严谨些，一步步拆解来看：

首先先明确区分连续和非连续的情况：你提到的非连续反例（$f$在有理数上取1，无理数上取-1）完全成立——这时候$f(x)^2$恒为1，极限存在，但$f$本身没有极限。但连续函数的性质会让这个反例完全失效，原因就在于连续函数的介值性。

接下来咱们细化你的证明逻辑：

设$L = \lim_{x\to\infty}f(x)^{2$，根据极限的定义，$\limsup_{x\to\infty}f(x)}2 = \liminf_{x\to\infty}f(x)^2 = L$。

关于$\limsup f$和$\liminf f$的关系

对于任意趋向于无穷的序列$x_n$，$f(x_n)$的所有极限点$y$都满足$y^2 = L$（因为$f(x_n)^2\to L$，而平方函数连续）。所以所有可能的极限点只能是：

当$L=0$时，只有$0$这一个点；
当$L>0$时，只有$\sqrt{L}$和$-\sqrt{L}$两个点。

这就直接导出了你提到的结论：$\limsup f$和$\liminf f$要么相等（都为$\sqrt{L}$、都为$-\sqrt{L}$或都为0），要么互为相反数（$\sqrt{L}$和$-\sqrt{L}$）。

分情况验证极限存在性

当$L=0$时：
因为$|f(x)| = \sqrt{f(x)^2}$，而平方根函数是连续的，所以$\lim_{x\to\infty}|f(x)| = \sqrt{\lim_{x\to\infty}f(x)^2} = 0$，这直接推出$\lim_{x\to\infty}f(x)=0$，没毛病。
当$L>0$时：
假设出现你说的$\limsup f = \sqrt{L}$且$\liminf f = -\sqrt{L}$的情况，那根据$\limsup$和$\liminf$的定义：
- 存在序列$x_n\to\infty$，使得$f(x_n)\to\sqrt{L}$；
- 存在序列$y_n\to\infty$，使得$f(y_n)\to-\sqrt{L}$。
因为$f$是连续的，根据介值定理，对于每个$n$，在$x_n$和$y_n$（不妨设$x_n < y_n$）之间必然存在某个$z_n$，使得$f(z_n)=0$。而$z_n$显然也趋向于无穷（因为$x_n$和$y_n$都趋向无穷），这时候$f(z_n)^{2=0$，但$\lim_{x\to\infty}f(x)}2=L>0$——一个收敛到$L$的序列不可能有子序列收敛到0，这就产生了矛盾。
所以这种互为相反数的情况不可能发生，只能是$\limsup f = \liminf f = \sqrt{L}$，或者$\limsup f = \liminf f = -\sqrt{L}$，这时候$\lim_{x\to\infty}f(x)$自然存在。