无限小与非标准分析

微积分的创立是数学发展史上的一个里程碑,是继欧几里得几何之后一个最伟大的创造。在创建微积分上,牛顿和莱布尼兹各自都假定存在“无限小量”,运用无限小方法建立了贫贱不能微积分的原始概念和运算方法。在那里,“无限小量”可说扮演了举足轻重的角色。但是“无限小量”究竟是什么从逻辑上并不能阐述清楚,出现了“无限小誖论”,引起了各种各样的攻击。实数理论的形成,无限小就更无存身之地了。因为实数系是一个完备的有序域。完备性公理肯定:若E是非空有上界的实数集,则E必有最小上界,如果允许实数集中有在一个正的无限小ε,则ε应小于每一正的常规实效。