无穷小真的存在吗？

无穷小真的存在吗？

   在一般人眼里，无穷小（量）可以略去不计，但是，无穷小量是否真的存在，心里没有底。

5年前，老翁发表一篇短文，题目是：超实数*R真的存在吗？很有意思。

此文构思于十八大召开之后不久，发表于2012年12月19日。然而很不幸的是，此文被CSDN非法删除。现在，全文发表如下：

对于无穷小微积分而言，超实数*R的重要性是无须质疑的。比如：无穷小ε与δ，无穷大H与K，它们在无穷小微积分里面的作用是不可或缺的。但是，这些”理想数“是否真的存在？有人是持有怀疑态度的。

          针对这种情况，J. Keisler在2000年特意为”初等微积分“（Elementary Calculus）电子版写了一本可自由下载的电子参考资料，叫做”无穷小微积分基础“（Foundations ofInfimitesimal Calculus)，深入地回答了有关问题。这是一本值得研读的电子书。

         该书的要点是：给出超实数系*R的公理系统，然后在第23至31页利用所谓”超幂“（Ultrapower）直接构造出超实数*R系统，与构造实数系R一样，叫人无话可说。在此，我只想对好奇的读者指出这一事实，而不想陷入这8页的数学论证，显示无穷小的高贵身份。不过，我想提醒读者注意：这里面的布尔巴基风格。

         归结为一句话：超实数*R存在的真实性与实数R的存在性是一样的，白纸黑字，写的一清二楚，无可非议。问题在于：这种含有无穷小与无穷大的”线段”似乎为欧几里德几何学所不容。直线上有许多“空隙”，但是，又能够相交于一点，显得怪怪的，不可思议。但是，这些奇怪现象都阻止不了莱布尼兹追随者的前进步伐。数学家的天性是服从“逻辑真理”。

        此刻，国内的《高等数学》教材已经拿在我手中，我的心情很矛盾。是说，还是不说？我怕有人说我不自量力，对“国家级规划教材”持有不恭态度。左思右想，......仍然有点儿“举棋不定”。只好明日再说。

         此刻，我想的问题是：我的读者是些什么人？我想，大部分应该是学生。但是，也有个别数学“高手”。在互联网上普及数学，不同于课堂讲课，讲课的对象是完全确定的。讲深了不行，讲浅了也不行，有点犯难。我真心希望看到大家的“意见反馈”，不管对与不对，我都愿意认真考虑。

        在该教学参考书的前言中，J. Keisler有句话如下：

      “......Since then generations of studentshave been taught that infinitesimals do not exist and should be avoided”，意思是，自那时以后，几代大学生被告知（教导）：无穷小是不存在的，应该尽力避开。实际上，我国《高等数学》的老师们目前所做的宏伟事业正是这样的。对此，我个人很是无奈。

           在数学中引入无穷小的征途上，我们都是莱布尼兹的后来人。现把莱布尼兹的肖像放在下面：

              （肖像图片被系统删除）

用以表示对他的钻研探索精神的真挚的尊敬！

袁萌 2月14日