实数系的连续性和完备性的若干等价定理

实数系的连续性和完备性的若干等价定理作者：张静，ZHANGJing作者单位：北京联合大学,基础部,北京,100101刊名：北京联合大学学报（自然科学版）英文刊名：JOURNALOFBEIJINGUNIONUNIVERSITY(NATURALSCIENCES)年，卷(期)：2009，23(2)被引用次数：0次参考文献(14条)1.EdwardsCHJrThehistoricaldevelopmentofthecalculus20072.华东师范大学数学系数学分析20013.菲赫金哥尔茨.杨弢亮.叶彦谦微积分学教程20064.邓东皋.尹小玲数学分析简明教程20065.王昆扬简明数学分析20016.杨宗磐数学分析入门19587.曹发祯实数理论中七个基本定理的等价性的一种证明方法1983(01)8.陈保存实数理论中几个基本定理的等价性[期刊论文]-四平师院学报:自然科学版1981(01)9.廖学余单圈证明--实数连续性的九个命题的等价性1986(01)10.张炳诚实数连续性的若干个等价命题1994(03)11.许树珊用辛欣原理直接证明实数连续性的其它若干等价命题1987(04)12.朱时数学分析札记199413.吴运恢用聚点原理直接证明实数连续性的其它几个命题1982(01)14.冯孔荣用有限复盖定理直接证明关于实数的其它几个定理1982(02)相似文献(10条)1.期刊论文曾友芳实数连续性七个定理等价性的证明-广西大学学报(自然科学版)2001,26(z1)以单向循环的方式对实数连续性七个定理的等价性进行证明,旨在用完整而简明的思路说明实数连续性定理的相互等价关系.2.期刊论文彭培让致密性定理证明其它实数连续性基本定理-河南教育学院学报（自然科学版）2009,18(3)用致密性定理统一证明其它实数连续性基本定理.3.期刊论文实数连续性七个定理等价性的证明-广西大学学报(自然科学版)2001,26(1)以单向循环的方式对实数连续性七个定理的等价性进行证明,旨在用完整而简明的思路说明实数连续性定理的相互等价关系.4.期刊论文陈引兰关于区间套定理与有限覆盖定理的两点注记-中国科教创新导刊2010,(2)本文对描述实数连续性的两个定理:区间套定理和有限覆盖定理的条件进行分析,给出定理中条件闭区间换为开区间后,怎样修改条件可使结论仍然成立.并以致密性定理的证明为例来介绍区间套定理和有限覆盖定理的应用区别.5.期刊论文朱永生.林立军基于实数连续性定理等价的新探讨-锦州师范学院学报(自然科学版)2003,24(2)实数集关于极限的运算是封闭的,这就是实数的连续性;实数的连续性理论是构筑极限理论的重要基础;实数连续性定理虽然数学表现形式不同,但它们都描述了实数的连续性,它们彼此是等价的,即任意一个定理都是其它定理成立的充要条件,另辟蹊径对其等价性进行了新的探讨.6.学位论文王耘粗糙集与粗糙函数模型研究2008本文讨论粗糙集理论和粗糙函数模型的若干相关问题。主要研究内容包括：粗糙函数模型基本理论的深化和推广，粗糙函数模型中粗糙隶属函数及其性质讨论，粗糙函数模型中粗柯西数列的若干数学特性，以及离散函数的粗连续性讨论，粗糙函数模型中粗微积分及其应用，等等。第一章是对粗糙集相关理论的简要综述。主要介绍了粗糙集提出的背景与发展概况，粗糙集理论的研究领域与现状，以及粗糙集理论的基本概念。第二章深化和推广了基于粗糙集理论的粗糙函数模型。Pawlak的粗糙函数模型未给出任一实数在实轴和标度两种度量下的离散化形式，其中粗糙函数的定义未能反映出粗糙函数定义和取值于整数集的显著特征.从数学的角度来看，这种定义是不严格的；从应用的角度来看，这种定义形式下的粗糙函数是不适于计算机及粗糙控制等方面的应用的.本章对Pawlak粗糙函数模型的基本概念进行改进，第二节提出标度上(下)近似，实轴上(下)近似两对近似算子的概念，并分析二者的性质及其对偶特性，给出标度双射定理及相关命题和结论.第三节以不可分辨关系为出发点，将两对近似算子推广到二维平面，建立新的实轴-标度粗糙函数模型(RL-S粗糙函数模型)。第三章对粗糙函数模型中的粗糙区间与粗糙隶属函数及其性质展开讨论。在实轴-标度粗糙函数模型(RL-S粗糙函数模型)的理论框架下，第二节定义了粗糙函数模型中的粗糙数、粗糙区间等概念，通过分析得出粗糙区间类似于粗糙集的一系列运算性质.第三节讨论了粗糙隶属函数及其性质并利用粗糙隶属函数给出粗糙区间另一种形式的等价定义.利用实数域上的上下近似算子及粗糙隶属函数两种工具，第四节分别定义粗糙区间的粗包含与粗相等关系，并分析其诸多性质.提出两个定理说明了粗糙区间的粗包含与粗相等的两种定义形式在考虑粗糙区间边界信息的附加条件下是等价的。第四章讨论粗糙函数模型中粗柯西数列的若干数学特性.粗糙函数模型基于对应某一标度的不可分辨关系，将实数轴划分成由点及开区间构成的等价类，即将实轴离散化.离散化后的实轴上也存在数列这一概念，那么实轴的离散化对数列的影响是什么，离散化后实轴上的数列又有什么相同和不同的性质?这些问题在Z.Pawlak的粗糙函数模型中并未涉及.针对以上问题，本章第二节定义并讨论实轴离散化后，粗柯西数列的收敛性.给出实数轴离散化后与收敛数列极限唯一性定理截然相反的性质，即提出粗收敛数列粗极限的不唯一性定理.讨论了收敛与粗收敛、发散与粗发散的逻辑关系，并对相关结论的直观意义予以说明.第三节定义了粗有界性等概念，分析了有界性与粗有界性的关系.分别提出粗收敛的必要条件和充分条件.第四节给出离散化数轴上粗柯西数列与其子列的关系定理及其推论，并以不可分辨关系为出发点对相应例子加以说明。第五章研究粗糙函数模型中的粗连续离散函数及其性质.对于定义和取值于实数轴的一般实函数，其中一类重要的函数就是连续函数，而在粗糙函数模型中，粗糙连续性也是其中离散函数的一个首要性质.关于离散函数的粗糙连续性，Pawlak仅给出其定义和以充要条件的形式给出粗连续函数的介值定理，并未加证明.而其他少有的相关文献也未对该理论进行探讨.关于粗糙函数模型及粗糙连续性等相关理论和应用的完善是一个亟待解决的问题.事实上，Pawlak给出的粗糙连续性定义与实函数的连续性定义是没有可比性的，而Pawlak改进后的介值定理中的充要条件是不满足的，即只成立粗连续的必要条件，充分条件不成立.为此我们提出以下问题：Pawlak粗糙连续性与实函数的连续性有何关系?它满足什么运算性质?闭区间上连续实函数的性质定理对粗糙连续离散函数是否成立，如何证明?粗糙函数模型中的离散函数是否也存在不动点的相关概念和理论?等等.本章针对以上问题展开讨论.第二节以与经典连续的ε-δ定义相类似的形式给出离散函数粗连续的概念，并且证明了粗糙连续性的ε-δ定义与Pawlak粗糙连续性的另两种定义是一致的.第三节讨论粗连续函数的取大，取小，取余等一系列运算性质.第四节将闭区间上连续函数的性质加以推广，给出闭区间上离散函数的最值定理，有界性定理及新的介值定理.以反例的形式说明了Pawlak介值定理的充分性不成立.提出与粗糙连续性密切相关的连通函数的概念，以此为工具对新介值定理作出严格的证明。第五节提出离散函数的粗不动点的概念，给出粗糙连续函数的粗不动点定理，并做了一定探讨。第六章对粗糙函数模型中的粗微积分及其应用问题展开讨论.本章的具体工作如下。关于粗糙函数模型中离散函数的粗导数，Pawlak提出粗导数的定义，给出两个离散函数四则运算的粗导数法则和高阶粗导数公式；并指出对于一般的离散函数，不成立费马定理和罗尔定理.在Pawlak给出的粗导数理论框架下，第六章第二节对这一部分内容作了改进和发展.第二节第_小节分析粗导函数及高阶粗导函数的函数特征，指出Pawlak给出的高阶粗导数定义的不完善之处，提出广义粗糙函数的概念，对原高阶粗导数定义进行改进.Pawlak只给出粗导数的四则运算公式及高阶粗导数公式的结论，未作证明.而其它少有的文献只是对粗导数的四则运算公式做出证明.本小节利用数值分析差分原理中单位映射和恒等映射的概念，对高阶粗导数公式做出证明.事实上，费马定理和罗尔定理即使对于粗连续的离散函数也是不成立的.为完善粗糙函数模型中粗导数应用的理论基础，第二节第二小节给出离散函数粗极值的概念，提出并证明了粗光滑离散函数的费马定理和罗尔定理.第二节第三小节定义离散函数的粗单调性和粗凹凸性的概念，通过与连续实函数导数的应用相对比，提出粗导数与粗单调性的关系定理，粗极值的两个充分条件，粗导数与粗凹凸性的两个关系定理，同时得到离散函数粗光滑的充分条件等一些新的结果。第七章总结了本论文的主要创新点及结论，并对与本论文的研究密切相关的后续工作进行展望，明确了今后研究工作的思路和方向。7.期刊论文马红芳.喻雪实数连续性命题的等价性-高等函授学报（自然科学版）2004,18(5)实数连续性命题反映了实数的连续性,是数学分析的重要理论基础,本文论述了实数连续性六个命题的等价性,并从实数引入的方式证明了它们的正确性.8.期刊论文曹媛函数连续性的几个问题-天津职业院校联合学报2010,12(2)函数的连续性和可微性是微积分的基本概念,维尔施特拉斯用ε、δ这种静态的有限量刻划了动态的无限量,给出了函数连续性的现代定义,并用分析式给出了历史上第一个处处连续而处处不可微函数的经典例子.典型函数如狄里克雷函数在实数域上每一点都不连续,而黎曼函数在每一无理数点上连续,在每一有理数点上不连续.基本初等函数与初等函数的连续性有定义域和定义区间的区别,一些初等函数的定义域是一些离散的点,因此,初等函数只能在其定义区间内连续.9.期刊论文邹斌.ZOUBing实数连续性等价性命题的证明-安徽广播电视大学学报2009,(2)以戴德金分划说为基础来研究实数的连续性,对于实数连续性的九个等价性命题:确界定理、戴德金定理、单调有界定理、区间套定理、有限覆盖定理、聚点定理、致密性定理、柯西收敛准则以及Botsko定理,采用循环论证,从命题1出发,依次证明下一命题,最后由命题9证明命题1,从而组成一个环路,证明了它们的等价性.10.期刊论文邵文凯.龚书浅谈数学分析中的数学思想-科技创新导报2010,(4)数学分析的基础是实数理论.实数系最重要的特征是连续性,有了实数的连续性,才能讨论极限,连续,微分和积分.正是在讨论函数的各种极限运算的合法性的过程中,人们逐渐建立起严密的数学分析理论体系.本文对数学分析内容中体现的函数思想、极限思想、连续思想、导数思想、微分思想、积分思想、级数思想的认识与应用进行一般性的分析和探讨.本文链接：授权使用：中共汕尾市委党校(zgsw)，授权号：17da0127-5e22-4dbc-8cfb-9dca0107f086下载时间：2010年8月6日