导数绝对值趋于无穷是否为函数非一致连续的充分条件？

首先直接给结论：是的，满足这个前提的函数必然不一致连续。咱们一步步拆解问题，结合你给出的例子和数学推导来解释：

核心推导：反证法+拉格朗日中值定理 #

假设存在某个函数$f$，定义在$(-∞,∞)$上，当$x→±∞$时$|f'(x)|→∞$，同时$f$是一致连续的。

根据一致连续的定义：不管多小的$\epsilon>0$，总能找到一个$\delta>0$，只要两个点的距离小于$\delta$，它们的函数值差就小于$\epsilon$。

但前提表明，$|f'(x)|$会随$x$趋向无穷而无限增大——意思是只要$x$足够大（或足够小），导数的绝对值能超过任意给定的正数$M$。

咱们取$\epsilon=1/2$，按照一致连续的定义，肯定能找到对应的$\delta>0$。然后取$M=1/\delta$，根据前提，存在某个$X>0$，当$|x|>X$时，$|f'(x)|>1/\delta$。

现在取两个点：$x_0=X+1$（显然大于$X$），$y_0=x_0+\delta/2$，这两个点的距离是$\delta/2<\delta$，符合一致连续的距离要求。但根据拉格朗日中值定理，存在某个$\xi$在$x_0$和$y_0$之间，使得：
$$|f(x_0)-f(y_0)|=|f'(\xi)|·|x_0-y_0|$$
因为$\xi>X$，所以$|f'(\xi)|>1/\delta$，代入后得到：
$$|f(x_0)-f(y_0)| > \frac{1}{\delta}·\frac{\delta}{2} = \frac{1}{2}$$
这和一致连续的定义矛盾——我们取了距离小于$\delta$的两个点，函数值差却超过了$\epsilon=1/2$。所以假设不成立，满足前提的函数必然不一致连续。

结合你给出的例子理解 #

你提到的两个例子刚好帮我们区分了「满足前提」和「不满足前提」的情况：

• $f(x)=x$：它的导数恒为1，$|f'(x)|$不会趋向无穷，不满足问题的前提，所以它可以是一致连续的，这和我们的结论不冲突。
• $g(x)=x^2$：导数是$2x$，当$x→±∞$时$|g'(x)|$确实趋向无穷，满足前提，而它确实在全体实数上不一致连续，完美验证了我们的结论。

内容的提问来源于stack exchange，提问作者H.R