非标准分析与定积分.pdfVIP

第26卷 第2期 长 沙 大 学 学 报 V0I．26 No．2 2 0 1 2年3月 JOURNAL OF CHANGSHA UNIVERSITY Mar．2 0 1 2 非标准分析与定积分 黄 铃 (海南大学信息科学技术学院，海南海13 570228) 摘 要：首先把经典数学里的实数域扩充到超实数域，即在原来定义实数的基础上增加了无穷大量和无穷小量，然后分 别从代数意义和几何意义上研究定积分的非标准等价定义． 关键词：超实数域；划分；单子；定积分；标准；非标准 中图分类号：0141．41 文献标识码：A 文章编号：1008—4681(2012)02-0016-02 上世纪六十年代，美国数理逻辑学家Robinson A在模型 a的全体称为标准数r的单子，记为hal(r) 论的基础上创立非标准分析…，然后美国数学家Nelson E在 1 非标准分析中的定积分 70年代创立内集论 ]，使得非标准分析更加简单化、公理 化．非标准分析把经典数学里的实数系统R扩张到超实数域 定义：设闭区间[口，b]中的rt+1个点 ， 一， ，满足 R上．所谓超实数域 ‘R，就是包括了R、无穷大数和无穷小 口= 0 l… =6，贝0称D={ 0， l，…， }为[n， 数的新数域，即无穷大数和无穷小数作为数来参与运算，这 b]的一个划分．若有 。一 一…一 ，则称D为一个无限 里的R是通常意义下的实数系． 细划分 ． 此时超实数’R可划分为有限数和无限数．如果一个实 在标准分析中，定积分的定义是我们已经熟知的．在非 数a的绝对值小于Ⅳ中的某个标准正整数，则称a是一个有 标准分析中，设，( )定义在 [口，b]内，D={ 。， 一， } 限数，用I。l≤+ 表示．’R中除有限数外的任何数被称为 为[n，b]的一个无限细划分，若存在J∈R，使对一切n N， 无限数． 有 有限数可划分为无穷小数和非无穷小数的有限数．若一 个实数s的绝对值小于R中所有标准正实数，则称 为无穷 ∑，( )x 一Xi)一J，其中 Ex ， ] 小数，用s一0表示．当 0时称 为正无穷小数，用8表 则称，( )在[o，b]上黎曼可积，且称J为，( )在[a，b]上 示；同样用一 表示负无穷小数． 无限数分为无穷大数和非无限自然数的无限数．无穷大 的积分，记作．，=I )dx． 数为若一个实数∞的绝对值大于Ⅳ中的所有标准整数，则称 按照这个定义，，( )在[a，b]上的积分应该这样理解： 1 ∞为无穷大数，用 或者 一*表示．当∞0时称 为正 在划分D越来越细的过程中，z 越来越接近于 ，当D为 占 1 1 无限细划分时，l 一 I_8。， 为无穷小数，此时l 一 无穷大数，用 一+ 或 表示；同样用 一一*或一 I= 的标准部分为0，但总不为0，只是I 一 I一0，这 表示负无穷大数．