实数域的非标准构造与超实数域.docVIP

实数域的非标准构造与超实数域 本章主要把实数集进行了扩充并建立了一个非标准分析模型，它包括无穷小量，无穷大量以及普通实数，构造出了超实数集.并对超实数域，非标准分析和转换原理在数学分析领域进行了证明及应用. 一．本章首先把非标准分析从自然数系,应用到有序域. 1.给出了有序域的的定义和相关性质，即满足交换律，结合律，存在零元，负元，蕴含等性质，且满足有序域上的运算+，·，满足关系. 2.定义了阿基米德有序域，给出了其性质稠密性及其证明，并用反证法证明完备的有序域是阿基米德的(例如有理数域是阿基米德有序域)，相反的有非阿基米德域. 定义：对于某个.若,则叫做有限的.若，则叫做无限的. 定义：或.的元素叫做无限小.称的元素为实数或标准实数，的元素是超实数，按无限小的定义，在实数中只有是无限小数，而其它无限小数都是超实数，这些数比大，比任何实数都小. 3.定义：如果且，记为.我们说无限接近，简称接近.也是有限集上的一个等价关系. 4.构造商环，存在一个到上的自然同态，以为核.有也是一个有序域，且是阿基米德的. 二．在阿基米德有序域的基础上，根据转换原理，得是一个有序域，并且，有,但是一个非阿基米德有序域.把上的运算扩张到上，有是把映入中的一个同构，即把嵌入中.同时应用DEDEKIND定理可以证明是一个完备的有序域. 其中定理2.6的证明用转换原理，以中的一个“无限小”，逼近来代替中的