柯西《分析教程》中的无穷小-西北大学学报.PDFVIP

维普资讯 西北大学学报 (自然科学版) 2004年2月，第34卷第 1期，Feb．，2004，Vo1．34，No．1 JournalofNorthwestUniversity(NaturalScienceEdition) 柯西 《分析教程》中的无穷小 杨宝珊 (西北大学 数学与科学史研究中心，陕西 西安 710069) 摘要：目的 考查和分析Cauchy((分析教程》中有关无穷小的若干问题。方法 运用历史分析的方 法，采用非标准分析的观点对原始文献进行研究。结果 推广了非标准分析的奠基者 Abraham Robinson关于Cauchy的某些历史评论。结论 如果允许考虑实无穷小和无穷整数，那么，传统认 为的Cauchy在连续性上所犯的某些失误就可 以得到解释。另外，Cauchy对无穷小的态度影响了 他对完备性的立场。 关 键 词：柯西；《分析教程》；无穷小；非标准分析 中图分类号：O112 文献标识码 ：A 文章编号：1000．274X(2004)01-0121-04 l8世纪 的分析学家致力于创造有效 的方法并 )=0的一个函数 )，这里所指的不是这样 把它们付诸应用，分析中的一些基本概念和基本原 的无穷小)。 理并没有得到严格处理，导致许多悖论和混乱。l9 世纪初 ，法 国数学家Augustin-LouisCauchy本着使 1 连续性和无穷小 分析严格化的明确 目标 ，写出一系列分析教程 ¨叫 。 人们经常提到 Cauchy关于连续性犯 了某些错 Cauchy对数学最杰出的贡献之一就是他对 函 误或者表述得含}昆不清。例如 ，他在许多场合混淆 数的解析连续性 (与几何连续性相对)的定义和使 了点态连续和一致连续。然而 ，1966年，Abraham 用。在 1821年的 《分析教程》的第2章中，Cauchy关 Robinson在 《非标准分析》中注意到[51，Cauchy一直 于连续的定义如下：“设 )是变量 的函数，且对 在实无穷小的应用和仅以实数为基础的极限之间徘 于已给的两个界限之间的每一个 值，该函数总是 徊 。Robinson指出，如果 Cauchy在实际上容许他 的 有一个惟一的有限值。如果从这两个界限之间的 变量取无穷小值，那么，含 昆不清的地方就没有 了， 值着手，给变量 以一个无穷小增量 ，那么函数本 而 Cauchy也就没有犯错误。另一方面 ，Robinosn指 身将增加一个差量 + )一 )，这个差同时依 出Cauchy关于连续函数序列之和仍是连续函数的 赖于新变量 和原变量 的值。如果对于这界限之 结论不能用 同样 的方法来辩护 。但是 ，本文指 间的每一个 值，差 + )一 )的绝对值随着 出，当容许一个相当于等度连续的假定时，就可以解 的值无限减小而无限减小，那么函数 )将是介于 释 Cauchy关于这一命题的证明。最后，我们还推测 这两个约定界限之间的变量 的一个连续 函数。换 到 ，Cauchy对无穷小的留恋可能影响了他对完备性 言之，如果在已给的界限之间，变量 的一个无穷小 的态度 。 增量总是产生函数 )本身的一个无穷小增量，那 在本文 中。一个无穷小被看成是一个实体 ，这 么函数．厂()将在这界限之间关于 保持连续”¨。 实体 可以和实数 (以及其他 的无穷小及其倒数) 这个定义可以被看成形~nlim(f(+ )一 )) 比较大小，并且，对每一个正实数 r，都有 一r = 0的一个极限定义，其 中 不允许取非零无穷小 r。零是 (标准)实数 中惟一的无穷小，并且是惟一的 值。但是 ，没有必要做出这样的限制 ，Cauchy也没有 没有倒数 的实数 (通常把 “无穷小”定 义为使 说过这一限制是必要 的或是合理 的。上