非标准分析.docVIP

分类号 陕西师范大学学士学位论文 作 者 单 位 数学与信息科学学院 指 导 老 师 峥 立 作 者 姓 名 世 辉 专 业、班 级 数学与应用数学专业0级班 提 交 时 间 二OO年五月 (数学与信息科学学院200级班) 指导教师 ome research about the nonstandard analysis YU Shi-hui (Class 2, Grade 2010, College of Mathematics and Information Science) Advisor: Associate Professor Chen Zheng-li Abstract: Firstly the article uses the method of using the model of the non-standard analysis, and has a simple description of its parts. On this basis, then it introduces hyperreal number system compared with the real number system of relations and differences, obtains that， which contains infinitesimal element is a real expansion of .Finally, the continuous function using non-standard methods to be discussed and applied by this method. Key words: nonstandard;hyperreal numbers;continuous functions 1引言 在十七世纪，莱布尼茨和牛顿根据非零的无穷小量提出了微分和积分的思想.牛顿在他的计算中使用了一个无穷小量，它可以和任意一个有限数相乘所得结果仍然是无穷小，但可以作为分母，因此不是零.莱布尼茨的小于任意一个指定量，同时也是非零的.这种思想并不容易理解和接受.无穷小的工作在整个世纪都遭到包括Bishop Berkeley、D’Alembert等人的攻击和质疑，但欧拉等人热心地进行了验证.正是欧拉大胆、自由地把无穷小量引入到数学中,才创立了近代微积分学.直到世纪,微积分才发展成现在课本中的形式,并且有了严格定义的极限,这样争论才平息下来. 上世纪数理逻辑在研究数学中长期积累的极为丰富的逻辑资料中得到了迅速的发展，一些重要的数学方法相继出现，也开创了非标准数学模型的研究.在此基础上,年初Abrahanm Robinson提出了一种处理极限的新方法，使得无穷小量有了实质的载体.这种方法把使用无穷小量的直观益处和现代数学中的严格性标准结合起来.它的基本思想就是利用实数理论的非标准模型来构造无穷小量.它是在标准分析的基础发展起来的，是其的继续和发展. 2 非标准分析基础内容简介 2.1 非标准实数域的构造与实数域R 2.1.1 一个矛盾的由来 由哥德尔不完全性定理：任意理论不能递归公理化。 也即告诉我们：任何一个充分丰富的形式系统，如果它是和谐的，则该系统内存在这样的语句，使与非在系统内部都不可以证明的。这个定理说明，任何形式体系都不能囊括一切，都是不完全的。当然在数学分析这个逻辑体系中，如果把它看成数理逻辑中所定义的形式系统，根据哥德尔不完全性定理，也必然会有它自身不可克服的矛盾，实数确实如此. 数学分析中最集中的基本矛盾是由等式反映的。是自变量，而是的极限，其本质上有，因此就其本质上看，而实际上；然而如果不承认，势必使数学分析中相当多的一部分理论和运算无法建立。于是我们可以得到这样两个结论： 结论一：上诉意义上数学分析理论在实数域这一结构上是不完全的. 结论二：若存在这样的数域它包含了非零的无限小量且中基本的性质中这个新数域也满足. 若结论二成立，则矛盾好像就得以解决了，因为这样的无限小量兼顾了非零和比任意正实数都小的特性.结论一则是对非标准实数域探讨的必要性.继而问题是：这样一个结构存在吗？若存在这个又会是怎样的？它是唯一的吗？ 2.1.2 几何空间上的启示 我们知道一条有向直线可以与实数轴建立一一对应关系，即当直线选取基准点以后，直线上的一个点（一维）就可表示一个实数；反之，任何实数都可以在直线上找到唯一的位置.在笛卡尔平面直角坐标系中平面上任意一个都和一个有序实数对对应：即若把有序实数对看成