非标准分析的理想化原理及其应用.pdfVIP

2012年5月 吉林师范大学学报(自然科学版) No．2 第2期 Journal of Jilin Normal University(Natural Science Edition) Mav．2012 非标准分析的理想化原理及其应用 黄 铃，龙伦海，毕红兵，梁 莉 (海南大学信息学院应用数学系，海南海口570228) 摘 要：本文给出了由非标准分析的理想化原理导出的相关结论的证明，包括标准无限集中非标准元的存在性 及包含所有标准元的有限集的存在性等，并且讨论了这些结论在数学分析中的一些应用． 关键词：理想化原理；无穷大整数；无穷小实数；标准；非标准 中图分类号：0141．41 文献标识码：A 文章编号：1674．3873一(2012)02-0058-03 有限数：如果—个实数口的绝对值小于Ⅳ中的某个 1 介绍与说明 标准正整数，则称0是—个有限数，用 《+∞表示． 平常我们接触的《数学分析》也称标准分析，属 等价：当两个实数 ，Y满足 —y~--O，则称 与 于经典数学中柯西体系下的微积分理论，它是在实 Y等价或无限接近，用 — 表示． 数的基础上运用￡一N方法建立起来的．但随着近 实数的标准部分：若口∈R是一个有限数，总有 代数学的发展，有些问题标准分析已经无法解决，特 一 个无限接近于0的唯一标准实数r，使r—o为无 别是经典数学中的归纳法就只能解决量变问题，而 穷小数，即I r一口I一0，称这个标准实数r为有限数0 不能解释事物发生的质的变化，如猴子的儿子是猴 的标准部分，用r=。o表示． 子，人的父亲是人，按数学归纳法，猴子怎么能变成 2 理想化原理 人，达尔文的进化论岂不是错的，在此背景下产生了 非标准分析．非标准分析首先由美国数理逻辑学家 首先我们给出理想化原理的数学符号语言描 Robinson．A于 1960年在模型论的基础上所创 述： 立…，其次由美国数学家Nelson．E在上世纪7O年 理想化原理 设B( ，Y)为一个含有两个自由 代所创立的内集论 J，使得非标准分析变得更加简 变元的内的公式，即公式B( ，Y)未用标准、非标准 单化、公理化．国内也有一些关于非标准分析的论 等新词语，则 文 儿 儿5__6j．本文将讨论非标准分析的理想化原理 V m j VY∈zB( ，Y) j V肼 8( ，Y)(1) 导出的相关结论以及在数学分析中的一些应用． 其中V 加‘Z表示Z是Y的变域中任取的一个标准有 以下是对文中出现的一些述语和符号的说明． 限集．由理想化原理可得出如下一些结论． 标准的：指经典数学里定义的所有对象(如数、 定理1 在自然数集Ⅳ中存在非标准的无穷大 集合、函数、命题、公式等)． 整数“ 非标准的：指在非标准分析中经典数学里没有 证明 令B(x，Y)=[ ∈N，Y∈N， ≤ ]，取 = 的对象． max {Y}，贝0命题V CN ∈NVY∈ B( ， 无穷大数：若一个实数 的绝对值大于Ⅳ中的 Y)自然成立，由标准化原理得了 Ⅳ，V“y∈N，都有 所有标准整数，则称 为无穷大数．用 一∞表示． Y60成立．这里 一定是Ⅳ中的非标准无穷大正 当∞0时称 为正无穷大数，用 一+∞表示；同 整数． 样用 一一∞表示负无穷大数． 在现实生活中，非标准无穷大正整数是无处不在 无穷小数：如果一个实数s的绝对值小于R中 的，如一袋沙子所包含的沙粒的颗数；地球上树木的 所有标准正实数，