真理想族的上、下确界及其性质

 研究了非空集合上真理想族的上、下确界.在非标准扩大模型中,采用单子论的研究方法,提出了非空集合上真理想族上、下确界的定义,在此基础上研究了真理想族上、下确界存在的充要条件,并得到了真理想族在上、下确界存在的条件下的一些运算性质.     

一种数列的单调性与确界

用适当拆项合理分组的方法证明了一种通项为和式的数列的单调性,既解决了参考文献中关于此种数列尚未解决的问题,又给出了已有结论的简证,并得出了这种数列在相应情况下的上确界和下确界.     

Topos中偏序对象的上(下)确界

基于topos中的偏序对象,讨论了topos中的上下确界的定义,推广了格论中的经典结论,将一些格论中熟知的结论提升到了topos中。得到了主要结果:topos中的对象为完备偏序对象当且仅当该对象的任意广义子集存在上(下)确界。     

随机变量本性上（下）确界与范数的关系

给出了随机变量本性上（下）确界的2种新定义,并根据一般确界定义和概率的性质对2种新定义的等价性进行了证明;进而研究了随机变量本性上（下）确界与随机变量p范数,无穷范数之间的关系和相互表示问题.     

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

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

n维模糊数的序、距离、确界及其逼近问题

诸如模糊数值函数积分等问题,如何采用上、下函数逼近的方法去定义,在模糊数学领域讨论的比较少,其主要原因是涉及到模糊数集的上、下确界问题.对n维模糊数的序、距离、确界及其逼近问题进行讨论:在模糊数空间定义了新的序关系、距离和确界,并利用模糊数的支撑函数给出了n维模糊数集确界的表示和在新的距离意义下的逼近刻划;使得高维模糊数空间中诸如模糊数值函数的积分采用上、下函数逼近的方法去定义成为可能.     

带"上确界"的一阶脉冲微分方程的周期边值问题

利用上下解方法和单调迭代技术，研究了带“上确界”的一阶脉冲微分方程的周期边值问题，并且获得了其极值解存在性结果．     

数集确界的性质

引入了数集的四则运算,研究了数集四则运算后集合确界的性质.     

变动区间上的确界函数是连续函数的证明

研究了连续函数在变动区间上的确界函数的连续性问题.通过变动区间与单位区间的对应关系,将变动区间上的确界函数表示为单位区间上的确界函数.利用2个函数的上确界相减的不等式,由函数的一致连续性,证明了变动区间上的确界函数是一致连续的.     

单调有界定理的另证

单调有界定理是证明数列极限存在的一个重要定理,它是实数完备性定理之一,与确界存在定理、区间套定理、致密定理、聚点定理、有限覆盖定理、柯西准则都是等价的.他们之间的等价证明到处可见.如下主要就构造法、二分法两种方法来证明单调有界定理。     

模糊数空间上下确界的度量刻划

在模糊数空间上定义了一种新的度量，证明用这种度量可以对序有界的模糊序列的上、下确界进行刻划。     

变动区间上的确界函数是连续函数的证明

研究了连续函数在变动区间上的确界函数的连续性问题.通过变动区间与单位区间的对应关系，将变动区间上的确界函数表示为单位区间上的确界函数.利用2个函数的上确界相减的不等式，由函数的一致连续性，证明了变动区间上的确界函数是一致连续的.     

关于随机变量“几乎确界”的注记

作者对随机变量的几乎确界进行了研究，在适当的条件下，得到了随机变量几乎确界的一些性质，并对对称、可逆、倒对称随机变量的几乎确界性质作了进一步的讨论。     

实数的确界定理和连续性公理在平面上的推广

由于平面上任意两点不可比较大小,导致了直线上成立的很多结论在平面上就很难成立,由此借助偏序集理论在平面上规定了一种全序,从而将实数的确界定理和连续性公理推广到平面上,得到了平面上相应的确界定理和连续性公理.     

正规矩阵的稳定性及其特征值的估值方法

就特殊矩阵稳定性论证了几个重要定理,给出了特征值上下确界的求法,分析并论证达到上下确界的条件,结合实例给出了论证方法.     

复射影空间拟共形平坦全实极小子流形的体积下确界

研究CP4中拟共形平坦的全实极小子流形M,得到M体积的下确界以及取得下确界的充要条件,还有其特例--共圆平坦情形的全部对应结果.     

Bogdanov-Takens系统在分段低次多项式扰动下极限环个数的上确界

将平面分为左右2个区域,研究Bogdanov-Takens系统在分段n(n=1、2)次多项式扰动下极限环个数的上确界B_2(n).利用广义幂级数和二阶微分算子估计一阶Melnikov函数M1(h)的孤立零点个数的上确界,得到当M_1(h)不恒为0时,在一次分段多项式扰动下有2≤B_2(1)≤3,在连续的一次分段多项式扰动下极限环个数的上确界为B_(2c)(1)=1;在二次分段多项式扰动下有5≤B_2(2)≤7,在连续的二次分段多项式扰动下极限环个数的上确界满足3≤B_(2c)(2)≤5.     

Bogdanov-Takens系统在分段n次多项式扰动下极限环个数的上确界

将平面分为左右2个区域,研究Bogdanov-Takens系统在非连续(连续)分段n次多项式扰动下极限环个数的上确界B_2(n)(B_(2c)(n)).通过构造二阶微分算子估计一阶Melnikov函数M_1(h)(M_(1c)(h))的孤立零点个数的上确界,得到当M_1(h)?0(M_(1c)(h)?0)时,在非连续分段多项式扰动下B_2(n)≤16n+[n/2]-10,在连续分段多项式扰动下B_(2c)(n)≤16n+[(n-3)/2]-10.     

半序Banach空间中集的上确界及一类非线性算子方程的解

本文讨论了半序Banach空间中集的上确界的存在性,获得了锥为强极小的一个充分条件。同时,澄清了A为增算子时方程Ax=x有解的充要条件。     

极小化向量定理的一种新证法

通过充分利用下确界的概念,给出了极小化向量定理的一个简单明了的新证明.