微积分学的理想数：ε与H

     三百年前，莱布尼兹认为无穷小ε与与无穷大H是微积分学中的“理想数”（idealnumbers）；三百年之后，A.Robinson论证了这类理想数的合法性（即逻辑推理的严密性）。我们现在只管用（Use）就是了。怎么用呢？用在哪里呢？

          微积分学的核心问题是：把闭区间[a，b]分割成H个等长的闭子区间，使得每个闭子区间的长度为（b-a)/H= δ，也就是，b= a +Hδ，这是很简单的算术题。但是，有人不接受这种区间分割法，因为数字H太大了。可是，我们已经说过，H是一个“理想数”，需要你头脑中想一想才行。如果不愿意去想，那么，我们就没有办法了。

          设想一条连续曲线穿越闭该区间[a，b]，则必然至少通过某个闭子区间。由于该闭子区间的长度δ是无穷小，因其两个端点相距为无穷小，所以具有一个标准部分c∈[a，b]，由此不难断定点c即为连续曲线与闭区间{a，b]的交点。这就是连续曲线（函数）基本属性的“非传统”证明的要点。

        再设想连续函数在闭区间[a，b]上的顶积分问题。将区间无限分割，去该连续函数的“部分和”（也叫”黎曼和“），取其标准部分即可。由此导出微积分学基本定理（也叫“牛顿-莱布尼兹公式）是举手之劳的事情。

        设想无穷序列求极限以及无穷级数求和的问题，只要把无穷大序号H带入”通项“，然后取其标准部分即可。至此，微积分学的大部分内容就算完了，根本用不了160个学时。

          数学的进步表现在简单与明白，而不是繁琐与奥秘。有人对上述”证明“持有异议，那就请他去找数理逻辑模型论专家辩论，与我们何干？这种对无穷小进行无限求和术是微积分学老祖宗莱布尼兹的“老套路”，不是我们的发明。对于爱动脑筋的好同学（不爱动脑筋的同学也不是坏同学），这里面的奥妙可就多的去了。比如，为什么把无穷大H叫做”理想数“，与”虚数“（Imaginary numbers一样？为什么这种子区间的”个数“好像比实数还要多？这是真的吗？深入下去，用不了多久，你就会想入非非了。那才过瘾啊！

           这里讲点历史背景。1934年，Thoralf Skolem首次引入”HyperInteger“（超整数）H的概念。1948年，E. Hewitt首次引入超实数的概念，但是，过了十几年，1961年A. Robinson才把超实数用到微积分里面去。1976年，J.Keisler据此建立了无穷小（现代）微积分学教材。要想推翻这套理论体系就得”翻老帐“，把整个现代数学”闹翻天“才行。只有傻人愿意与数学家”死顶牛“。

           好消息：今天上午，同济大学的《高等数学》（第六版），我肯定能够拿到手。坦白地讲，我虽然教数学多年，但是，我从来没有参阅过什么《高等数学》教材。每逢看见”高等数学“几个字，我心里面就要”笑“出来。何谓”高等“？无穷小ε与无穷大H算个啥？