一个偏序集不动点定理

在没有无限性公理的ZF集论中给出一个偏序集不动点定理.     

偏序集上的不动点理论

讨论具有不动点性质的偏序集所具有的性质，对它的范围作一些限制，并对有限集作具体的讨论，提出了广义既约元的概念，而且给出了有限偏序集具有不动点性质的又一个充要条件，讨沦了广义皇冠的本质。     

R-偏序集上的不动点定理

研究对象是带有偏序逼近族的偏序集(poaets with families of approximating partial orders,简称R.偏序集),目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.Luis Monteiro在带有等价关系的集合(sets with families of equivalences,简称sfe)上重建了基于度量空间的语义域研究的部分理论.R-偏序集是较sfe更具普适性的结构.本文仿照Luis Monteiro在sfe上的结论及M.W.Mislove dcpo(directedly complete partial ordem)上Tarski不动点定理的证明,在R-偏序集上建立了逼近映射的不动点定理;同时构造了一个新的范畴R-POSET (即以R-偏序集为对象,R-单凋映射为态射的范畴),建立了范畴R-POSET与范畴GUMS(即以广义超度量空间为对象,非扩展映射为态射的范畴)之间的一个伴随,为从广义超度量空间角度研究R-偏序集提供了思路.     

偏序集中的两个不动点定理

证明了偏序集中的两个不动点定理，推广和加强了Ｔａｒｓｋｉ－Ｋａｍｔｏｒｏｖｉｔｃｈ不动点定理。     

基于矩阵的偏序关系中盖住集计算研究

按照偏序关系中“盖住”的定义来计算盖住集,有时判断不准确或遗漏.基于矩阵的方法,提出了求盖住集的一个新的等价定义,并给出计算盖住集的矩阵和相关理论.利用矩阵可方便地计算出盖住集.     

偏序集内保序映象的Fuzzy不动点定理

研究了在点式定义下的基本Ｆｕｚｙ点的偏序关系时的不动点定理,推广了经典情形时的相应结果．     

偏序集拟阵的偏序集性质及其应用

通过对偏序拟阵的偏序集性质和广义拟阵通的偏序集性质的分别研究，得到了偏序集拟阵和广义拟阵二的关系，即每个偏序集拟阵均为广义拟阵，但反之不然。又利用这种关系得出拟阵中的贪心算法能够推广到偏序集拟阵进而组合格式中，并阐述了利用这种关系对于研究偏序集拟阵理论和广义拟阵理论的一些其他作用。     

一致连续偏序集理论

给出了一致连续偏序集的概念及其性质和等价刻划。利用一致极小集的方法阐述了映射的连续性、保一致小于关系和保一致极小集之间的联系，并证明了完备格是一致连续格当且仅当每个元都存在一致极小集。     

偏序集上拟压缩映象的一个不动点定理及应用

证明了偏序集上拟压缩映象的一个不动点定理,将偏序集上的单调映象不动点的存在性推广到拟压缩映象的情形,并应用此结果得到了在一定条件下一对耦合映射的不动点的存在性.     

Mobius交错偏序集

本文研究了Ｍｏｂｉｕｓ交错偏序集，给出该类偏序集的纤维构造定理，并讨论其在积和区间运算下的保持情况．本文将Ｂａｃｌａｗｓｋｉ有关ＣＭ偏序集的一些性质推广到Ｍｏｂｉｕｓ交错偏序集上．     

半序度量空间中单调减映射的不动点定理

利用〔1〕在度量空间中引入的半序,证明了半序度量中单调减映射的不动点定理,并给出了迭代及其收敛性.     

一个随机不动点定理

利用文[1]在赋范线性空间E中定义的半序及由半序引出的锥,得到了Banach空间中随机单调增算子的一个随机不动点定理。     

Caristi不动点定理的充要条件

Caristi不动点定理是一个值得十分重视和非常有趣的不动点定理,这一结果已被应用于研究内向映像的理论和正规可解性璀论．考虑到寻找满足：d （x, Tx） ≤Фx - ФTx 任意 x ∈ X条件的映射咖是一件相当困难的事,本文将给出西存在且满足上述条件的一个充分必要条件,使我们的工作更具有可操作性．     

一个新的多值压缩映射不动点定理

为进一步发展和完善度量空间中的不动点理论,扩展不动点定理的应用范围,利用Cauchy收敛判别准则给出了一个新的多值压缩映射不动点定理,该结论改进了Nadler不动点定理及最近的某些结果.     

关于二阶复域微分方程解的导数的不动点

研究了4类二阶整函数系数线性微分方程解的导数的不动点问题，发现解的导数的不动点密度与解的增长性有着密切联系．     

一维波动方程的对顶点定理

证明了无限长弦的振动方程的解满足对顶点定理,利用该定理求解了古尔沙问题和达布问题．     

一类分数阶m点边值问题正解的存在性

本文利用偏序集上的不动点定理,研究了分数阶m点边值问题Dα0+u(t)+f(t,u(t))=0,0相似文献   

Brouwer不动点改进定理

Brouwer是拓扑的第一个不动点定理。f是将闭圆盘D映入自身的连续映射，必有不动点，即存在z∈D，使f(z)=z。其后的不动点改进定理，都是借助其它数学工具，证明在二雏情形下，不改变Brouwer不动点定理条件，存在Z∈D，使f(z)=z^n。文中直接使用Brouwex不动点定理给出二维Brouwer不动点改进定理的证明。这一证明虽比较繁杂，但较为初等，避开使用其它数学工具，使可接受这一理论的群体加大．     

2k阶一般型常微分方程解的存在性

 利用同胚延拓方法和Schauder不动点定理,研究了一类一般2k型阶常微分方程组,得出了其解的存在性定理.     

Hilbert空间上非扩张映象的一个不动点定理

给出了Hilbert空间上的非扩张映象的一个不动点定理,改进并推广了Dugundji和Granas在Hilbert空间中对非扩张映象给出的类似于Altman定理的一个新的不动点定理相应的结果.