实数系基本定理的等价性

实数系7个基本定理是描述实数系连续性的不同数学表达形式,又是以后函数连续性质证明的理论基础.从有限覆盖定理出发,按有限覆盖定理(→)聚点定理(→)致密性定理(→)柯西收敛准则(→)确界定理(→)单调有界定理(→)闭区间套定理(→)有限覆盖定理的顺序,证明了他们之间的等价性,从而给出等价性证明的一种新方法.     

实数连续性的等价命题

Dedekind分划基本定理、确界存在定理、单调有界定理、闭区间套定理、聚点定理、Cauchy收敛准则、有限复盖定理等七个实数连续性的等价命题是数学分析的理论基础,也是现代数学的重要工具。它们的等价性一般都是循环证明的。为了加深对这些命题的理解,掌握应用这些命题证题的规律,进行仿射证明是非常有益的。在文献[1——8]中已给出     

实数系基本定理的等价性

实数系7个基本定理是描述实数系连续性的不同数学表达形式,又是以后函数连续性质证明的理论基础。从有限覆盖定理出发,按有限覆盖定理 聚点定理 致密性定理 柯西收敛准则 确界定理 单调有界定理 闭区间套定理 有限覆盖定理的顺序,证明了他们之间的等价性,从而给出等价性证明的一种新方法。     

单调算子序列的等价条件和应用

本文给出了在线性赋范空间C[a,b]上的单调线性算子序列的三个等价条件及证明,又用此等价条件证明了维尔斯特拉斯第一逼近定理。     

极小曲面的存在性与变分不等式

提出极小曲面问题,通过将泛函极值转化为一般函数极值的方法,将极小曲面存在惟一性问题转化为变分不等式的存在惟一性问题,得到一个重要的等价性定理.其中引入了极小曲面算子,并证明它的严格单调及半连续性,最后利用Browder-Hartman-stampacchia变分不等式解的存在惟一性定理,得到了极小曲面的存在惟一性.     

动力系统的遍历性

给出遍历性及唯一遍历的几个等价条件.主要结果是定理4、定理6及定理7.并利用定理4给出定理5的一个证明.定理6及定理7给出唯一遍历的等价条件,定理7的证明采用的是泛函分析的方法.     

带有强迫项的泛函方程解的性质

利用Arzela-Ascoli定理证明一类泛函方程存在单调递增解的充分必要条件; 利用Schander不动点定理讨论泛函方程解的存在性、 延拓性和单调性, 改进和加强了已有的结果.     

等价无穷小的应用定理

关于等价无穷小的应用文献[1]在文中做了探讨,又进一步给出了几个等价无穷小的应用定理,并给出了初步证明与例题分析.特别说明,定理中涉及到的极限都是假设存在的.     

实数基本定理的等价性探讨

在了解传统论证方法的基础上,从一种新的角度去认识六个实数基本定理的等价性.介绍了实数系的六个基本定理以及研究现状和存在问题,并证明这六个实数基本定理的等价性.     

一类集值映射的向量拟均衡问题

研究一类集值伪单调映射的向量拟均衡问题,利用著名的Fan-KKM定理证明了解的存在定理.作为应用,得到伪单调映射的广义向量变分不等式与隐式向量相补问题解的存在性.     

带积分边界条件的三阶微分方程凸单调正解的存在唯一性

研究了带积分边界条件的三阶边值问题凸单调正解的存在唯一性,证明利用了和算子的不动点定理以及混合单调算子中的不动点定理,获得了所研究问题凸单调正解存在唯一的充分条件,并且建立了迭代格式来逼近这个唯一正解.     

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

以十进制小数表示作为出发点,给出实数定义,并以此为基础证明了单调收敛定理.总结了描述实数系连续性和完备性的若干等价定理,即:单调收敛定理,上(下)确界定理,边界点定理,戴德金分割定理,辛钦定理,区间套定理,聚点原理,有限覆盖定理,致密性定理,柯西收敛准则.     

一类奇异高阶常微分方程边值问题解的存在唯一性

研究非线性奇异高阶微分方程边值问题的解,引用了混合单调迭代算子和混合单调迭代不动点定理,并利用该定理对二阶Dirichlet方程的解的存在性和唯一性进行证明.     

Lebesgue积分的一个附注

首先阐释了Lebesgue积分的优越性,然后通过由Fatou定理对Lebesgue控制收敛定理的证明,表明了Lebesgue积分的三大著名定理Levi定理、Fatou定理和Lebesgue控制收敛定理均是彼此等价的.它们相互之间是可以构成一个循环证明的.     

实数理论中的七条等价定理

在实数理论中,除了实数构造的定理外,有七条等价定理,即[1]文所列的六个定理外,还有聚点存在定理,即定理有界无穷点集必有聚点。为了证明其等价性,只要在[1]所指出的证明次序中将最后部分改为“→有限复盖定理→聚点存在定理→波尔察诺定理”即可。由有限复盖定理证明聚点存在定理: 设X是有界无穷点集,X(?)[a,b].如果X没育聚点,因而区间[a,b]上的每个y部不是X     

无穷小量等价代换定理推广

利用无穷小量等价代换简化求极限中的计算,总结和推广了等价定理,并给出了定理的证明及应用.     

实数连续性定理的等价性的一种证明

关于实数连续性定理的等价性的证明,大都采用循环证明的方法。本文给出以区间套定理证明其它定理的一种等价性的证明方法。     

等价于Fan-Knaster-Kuratowski-Mazurkiewicz定理的不动点定理

最近Tarafdar(J.Math.Anal.Appl.128(1987),475—479)获得了一个不动点定理并证明了这个定理与Fan 的定理(Math.Ann.266(1984),519—537)等价,后一个定理是著名的Knaster-Kuratowski-Mazurkiewicz 定理(Fund.Math.14(1929),132—137)的推广,本文主要目的是推广Tarafdar 的不动点定理并证明所得的一个不动点定理和Fan 的定理等价.     

函数序列关于几乎处处弱收敛概率测度序列积分的单调收敛定理

研究了函数序列关于几乎处处弱收敛概率测度序列积分的单调收敛性,在新的条件下得到了单调收敛定理,并推证出概率测度几乎处处弱收敛的若干新的等价条件.     

偏好、强序刻画和社会选择形式空间等价

为研究一般社会选择函数的构造机制,该文通过一般性偏好的运算形成偏好的强序刻画,并基于此证明在形式背景下社会选择函数全空间的一些等价性和自等价性.但是在强序刻画下,社会选择函数的存在性定理(Arrow定理)的构造相对简化,约束公理系统的配置也简化,这为全面形式化处理Arrow定理提供了有力工具.