当且仅当函数依赖a→b在r上成立_奇怪的极限：x→0, sin(x^2*sin(1/x))/x=?

学习阶段：大学数学。

前置知识：无穷小的比较。

最近在知乎看到一道奇怪的题（我不知道这是哪本书上的，都是大家传来传去的图）：

这个题怎么解？而且这个怎么错了？​www.zhihu.com

问题来源图

原文：

最后，给出一个极限的计算过程，你能发现其中的“高级”错误吗？

这题不是很常规，有点值得讨论的东西在里面。

1. 问题重述

书上认为，这个计算极限的过程，有“高级”错误。我们可以提出两个问题：

这个过程有错误吗？“高级”错误是什么？

2. 我的解读

首先，这个等式

是形式上正确的，因为其中每一步确实都等于0，可以用计算机作图验证。

以下对两个问题作出回答：

这个推理过程可以认为有错误，也可以认为没有错误。

2.1 认为有错误

该书作者自然认为“这个过程有错误”，基于这个思想，我推测其错误如下：

后面两个等号没有任何问题，问题就出在

这一等号上面。

上面这个等式的直接依据是

时

和

是等价无穷小，然而这是有缺陷的。

根据大多数高数教材：若

，则它们互为等价无穷小。

然而

的极限不存在。根据（大多数高数教材上的）极限的定义，无论取多么小的

，当

时，式子

的分母依然有时为零，该式有时无意义，那么极限不存在。

因此，尚不能证明

和

是等价无穷小，那么(1)式暂时没有理论依据，这可能就是作者认为的“高级”错误吧。

至于说这两个函数究竟是不是等价无穷小，或者

和

自己是不是等价无穷小，有两种考虑方法：①这些作比后极限不存在的函数，不在体系内，不予考虑是否是等价无穷小，或者比较其大小。②这些函数可能是等价无穷小，但是超纲。超纲的内容自然不能用来解题。

我找到一个教学用PPT也论述了这件事：

不予考虑等价无穷小

2.2 认为没错误

等价无穷小是一种等价关系，等价关系满足自反性，那么

和它自己就应该是等价无穷小。因此，大多数高数教材对于等价无穷小的论述是不充分的。我们可以用如下方式定义等价无穷小：

与

互为等价无穷小，当且仅当存在函数

，使

.

如果使用该定义，那么可以证明

和

是等价无穷小：

当

时，两个函数均恒为0，

，可取

；

当

时，两式可以作比，取

，有

.

【此极限只能定义在聚点上，不能依赖整个去心邻域，超出了大多数高数教材的范畴。】

因此，对于任何的

，满足

且

. 证毕。

那么(1)式就有依据了：

3. 其他证明

在“认为有错误”时，我给出几种正确的证法。

3.1 定义法

可利用极限定义，直接证明

这个结论。

设

因为

恒成立，可以指定

因为

，可以指定

，这就找到了

.

现在我们梳理一下证明过程：

任取

，存在

，当

时，

即

由此

得证。

3.2 夹逼法

和

有恒定的大小关系，可以使用夹逼法。

因为

，故

.

3.3 泰勒展开法

为什么这里不能用等价无穷小?​www.zhihu.com

3.4 定义域分离法

【此方法和2.2节在本质上完全相同。】

在

时

不明确的原因是

时而为0，可以把这种情况单独拿出来讨论。

在

时

成立，

【此极限只能定义在聚点上，不能依赖整个去心邻域，超出了大多数高数教材的范畴。】

故

4. 总结

用这些方法可以反过来证明(1)式形式上的正确性。

出现问题的本质原因是：

这个函数在

时的情况比较复杂。它时而跳到

二阶无穷小，时而跳到

. 根据定义，它没有阶数，而且在无穷小的比较中也处于非常特殊的地位，大多数高数教材和考试不会涉及这种情况（因为这种函数一般只有理论上的价值）。

另外，大多数高数也不涉及定义在聚点处的极限，因此也很难完善对于等价无穷小的定义。在多元函数中，必须定义在聚点的极限更多见，可参考下文：

浅谈采用聚点的概念定义多元函数极限的利弊 - 图文 - 百度文库​wenku.baidu.com

5. 答疑

①我们知道

，而且

是无穷小，把它代换进去，不就显然得到

了么？

答：没有这个定理：若

是无穷小，则

. 想当然得到这个结论的原因是：大部分情况都满足

，因此它们确实是等价无穷小。所谓的代换，只是一种略称，没有直接依据，要证明

还是得回归到等价无穷小的定义上面。

②式子

的分母为0时，其分子也为0，它不是未定式么？

答：它确实是未定式，但是在用该定义证明极限的过程中，必须保证某个去心邻域内处处有定义。也就是说，我要求

有定义，你不能随便拿

去冲抵它。除非你重新定义极限在聚点处，那就变成了2.2节或3.4节考虑的内容。