关于一致连续性与大O记号表述等价性的疑问

嘿，这个问题抓得很准！先帮你理清两个关键区分——逐点的大O和一致的大O，这直接决定了结论的不同：

• 先看第一个式子 $f(x + h) = f(x) + \mathcal{O}_{|h| \to 0}(h)$：

  • 如果这里的$\mathcal{O}(h)$是一致的（即存在常数$C>0$，对所有定义域内的$x$，只要$|h|$足够小，就有$|f(x+h)-f(x)| \leq C|h|$），这就是利普希茨连续，它是比一致连续更强的条件：利普希茨连续的函数一定一致连续，但反过来一致连续的函数不一定满足这个（比如$\sqrt{x}$在$[0,1]$上一致连续，但不满足利普希茨连续），所以是充分非必要，并非等价关系。
  • 如果是逐点的（即对每个固定的$x$，存在依赖于$x$的$C_x$，当$|h|$足够小时有$|f(x+h)-f(x)| \leq C_x|h|$），那这个条件连一致连续都推不出，比如$f(x)=x^2$就满足逐点的$\mathcal{O}(h)$，但它在$\mathbb{R}$上明显不一致连续。

• 再看你关心的一般情况 $f(x + h) = f(x) + \mathcal{O}_{|h| \to 0}(h^\alpha)$（$\alpha \in (0,1)$）：

  • 如果是一致的大O，这就是α-Hölder连续，同样，Hölder连续的函数必然是一致连续的（只要取$\delta=(ε/C)^{1/\alpha}$，就能满足一致连续的定义），但反过来一致连续的函数不一定是Hölder连续的（比如构造一个连续但处处不可导的魏尔斯特拉斯函数，它一致连续但不满足任何α-Hölder条件）。
  • 如果是逐点的大O，那这个条件和一致连续完全不等价，反例还是$f(x)=x^2$：对每个固定的$x$，当$|h| \leq 1$时，$|f(x+h)-f(x)|=|2xh+h^2| \leq (2|x|+1)|h|$，而$|h|=|h|^\alpha \cdot |h|^{1-\alpha} \leq |h|^\alpha$（因为$|h| \leq 1$，$1-\alpha>0$，所以$|h|^{1-\alpha} \leq 1$），因此$|f(x+h)-f(x)| \leq (2|x|+1)|h|^{\alpha$，也就是逐点的$\mathcal{O}(h}\alpha)$，但$f(x)=x^2$在$\mathbb{R}$上不一致连续，完美符合你要的反例！

所以核心在于大O记号是对$x$一致的还是逐点的——一致的大O会给出比一致连续更强的连续性条件，而逐点的大O则和一致连续没有必然联系，很容易找到反例～

备注：内容来源于stack exchange，提问作者Newton