【作者】 冯晶晶；

【导师】 陈东立；

【作者基本信息】 西安建筑科技大学 ， 应用数学， 2010， 硕士

【摘要】 本文讨论了滤子、超结构和超幂模型及其性质,并分解*-映射为M-映射和e-映射.讨论了全域和形式语言,进而用M-映射和e-映射的具体构造证明了转换原理.在此基础上,讨论了个体集S,指标集I和滤子F三个因素对非标准模型的影响,并给出了非标准扩大模型和饱和模型的具体构造.最后讨论了非标准扩大模型和饱和模型成立的一些充要条件以及非标准扩大模型和饱和模型的关系.论文的要点及主要内容如下：在第一章和第二章里,首先简单概述了非标准分析产生背景、发展状况及其研究现状,其次给出了滤子的定义和几种常见的超滤子及其性质,最后给出了它们之间的关系.第三章,首先讨论了超结构的定义及其性质,其次介绍了超幂模型,最后给出了映射M和e,及其有关性质和结论,并得出了M-映射和e-映射合成*-映射,即得出了*-映射的内部构造.第四章,讨论了全域和形式语言,在此基础上,利用第三章给出*-映射分解成的M-映射和e-映射,证明了转换原理.在第五章中,通过讨论个体集S,指标集I和滤子厂三个因素对非标准模型的影响,进而定义了良的非标准模型,在此基础上,讨论了当个体集S,指标集I,滤子F分别满足什么条件时,非标准模型才是非标准扩大模型或饱和模型.最后讨论了非标准扩大模型和饱和模型成立的一些充要条件和非标准扩大模型和饱和模型的关系.更多还原

【Abstract】 In this paper, the filter, the superstructure and the superpower model are dis-cussed. Then some properties of them are presented. The natural construction of *-mapping, the universe and languages are discussed. Based on it, the transfer principle is showed by using mapping M and e. Then three effective factors of the nonstandard model,that is, the individuals S, index set I and the filter F are discussed. The detailed construction of the nonstandard enlarged model and the saturated model are given. Finally, the sufficient and necessary conditions of the nonstandard enlarged model and the saturated model are showed, and the relation of the nonstandard enlarged model and the saturated is proved.The main points of this paper are as follows:In the first two chapters, the background, the actual development condition and research states of the nonstandard analysis are introduced. Then definition of the filter, some other ultrafilters and properties of the ultrafilter are presented. Finally, the relation of these ultrafilters are given.In the third chapter, the definition and properties of the superstructure are in-troduced. The mapping M, mapping e and the related properties and conclusions are presented. Then it is proved that the mapping M and the mapping e compose the *-mapping, and the natural construction of *-mapping is given.In the fourth chapter, the universe and the languages are disscused. Based on it, the transfer principle is proved by using mapping M and mapping e.In the fifth chapter,the three effective factors of the nonstandard model,that is, the individuals S,index set I and the filter F are discussed. Then the well nonstandard model is defined. Based on it, the construction of the nonstandard enlarged model and the saturated model are givn by discussing the individuals S, the index set I and the fil-ter F. Then the sufficient and necessary conditions of the nonstandard enlarged model and the saturated model are showed, and the relation of the nonstandard enlarged model and the saturated is proved.更多还原