第1.5节 无穷小从何而来？

   在今年十月份，国内新入学的大学生将会收到J.Keisler的一份礼物。这份礼物是什么呢？礼物珍贵吗？当然，十分珍贵。为什么？

         在J.Keisler的《基础微积分》教材的第1.5节（标题是无穷小，有限超实数与无穷大）里面有这样一段话：“This entire calculus course is developed from three basic principles relating the real and hyperrdal numbers: the Extension Principle, the Transfer Principle, and the Standard Part Principle.”，大意是，“这整本微积分学教材从3条联系着实数与超实数的基本原理展开。这3条原理是：延伸原理、转移原理与标准部分原理。

         整个微积分学只需3条理论支柱，这种视角，这种说法，确实新鲜，独树一帜。这3条原理联系着实数与超实数，并不偏向于实数或超实数的任何一方。也就是说，微积分学需要两种数系：实数系与超实数系，缺一不可。

         实际情况是，利用数理逻辑模型论的技术手段（比如：超幂）一次性地构建出超实数系*R，在*R重新定义数字之间的算术运算以及大小次序关系，在超实数*R系统中，分出一个子集合R，使其对应于原有的传统实数系。也就是说，*R与R都是新构造出的数系，不是一老一新，可以厚此薄彼。

       在这种”双数系“框架下，传统微积分学中的函数f自然迁移到*R的子集合R（实数的新模型)上了，进一步延伸到超实数*R中。此时，不难发现，出现一种超实数b，在这种新型大小次序关系下，满足条件0<b<r，r是”双数系“框架下的新实数，而不是超实数。这种情况是容易想象的。这就是所谓的”无穷小“。无穷小不是单个发明出来的，而是成批生产制造（构造）出来的。

      由超实数*R（所谓”超实线“）出发，容易展开超实平面的解析几何学。在一个几何点周围存在许多”无限接近“的“超实点”（平面单子），求解曲线的切线问题也就有了全新的思路，新的视角。站在新的高度看待微积分学，从此，微积分学不再是枯燥无味的教条了。学生们的想象力可以尽情的发挥。

           我们现在所做的工作是：文字转录、语义校对与大型网站的建立。为的是把J.Keialer的礼物（微积分的新视角、新高度）传送到广大学生的手中。有人也许会说，你们的做法把传统微积分学的教学秩序搞乱了。我们说，非也。在这种”双数系“框架下，传统极限概念更加容易理解。不是把原有教学秩序搞乱，而是原有教学内容需要改革。

          说明：昨天，文员薛lily女士有重新上传数据到新浪科技博客频道，把第1.5节（无穷小，有限超实数与无穷大）的”修订稿“三字去掉了，但是，相关图形仍然被过滤了。怎么办呢？恳请大家在本文留言中给予指教，多谢了！