一类基于R-偏序集的Scott不动点定理的简单变异

对R-完备的R-偏序集,证明了(1)R-连续映射关于偏序族中偏序的最小不动点恰好作成其关于偏序族所逼近的偏序上的最小不动点的逼近序列,这区别于对最小不动点的"对角线"方式逼近;(2)R-连续映射一定是ω-连续映射;(3)关于偏序族中任何偏序都连续的R-连续映射一定是连续映射;(4)最后本文给出了以上结果的简单应用.     

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-偏序集提供了思路.     

一类(φ)-压缩映射的公共不动点定理及其迭代收敛性

利用拓扑空间的性质和一些分析技巧,讨论了两个可交换的映射的公共不动点问题,证明了几个新的公共不动点定理,推广和改进了文献[1]~[10]的相关结果.特别在文章定理1和推论1以及推论2中,并不要求单个映射是连续的,只需要复合映射连续就可以了.     

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

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

模糊度量空间中一类映射的不动点定理

应用模糊度量满足三角不等式的基本概念及分析方法,研究完备模糊度量空间中Ciric-Altman型映射不动点的存在性问题,在一定条件下于模糊度量空间中给出了两个新的非唯一不动点定理,扩展了相关结果.     

一些Scott连续自映射的不动点集的性质

研究了一些连续domain在幂等的连续自映射下的不动点集的性质，并证明了PF-domain在Scott连续自映射下的不动点集为连续的dcpo（定向完备集）．     

Schauder不动点定理的推广(Ⅱ)

本文中证明了非线性泛函分析中一个长期未解决的著名猜想:设 X 是 Banach 空间,G 是 X 的闭凸子集,f,:G→G 是连续映射.如果存在正整数 n>1使 f~n 是紧映射,则 f 有一不动点.     

Scott连续自映射不动点集的性质研究

主要研究了一些连续domain上Scott连续自映射的不动点集的性质．证明了若L是双有限domain,f：L→L是一致交换映射,则Fix（f）是双有限domain;提出了连续cpo上不动点集的一个例子;并证明了若L是有界完备domain,f：L→L是稳定映射且max（L）CFix（f）,则Fix（f）是L的收缩等性质．     

锥度量空间中一类压缩映射不动点定理

在锥度量空间中,运用迭代方法,研究了一类压缩算子的不动点存在性和唯一性,获得几个新的不动点定理,推广和改进了相关文献结果.     

(3R,4R)-4-叠氮基-3-哌啶醇的合成

研究了以吡啶和苄氯为起始原料,经五步反应得到抗癌药BMS-690514的关键中间体(3R,4R)-4-叠氮基-3-哌啶醇.反应首先得到N-苄基-1,2,3,6-四氢吡啶,进一步通过氯甲酸乙酯取代、环氧化反应得到7-氧杂-3-氮杂双环[4.1.0]庚烷-3-甲酸乙酯,然后发生叠氮化反应得到构型不同的混合产物,通过手性制备得到(3R,4R)-4-叠氮基-3-羟基-1-哌啶甲酸乙酯,水解该中间产物得到最终产物(3R,4R)-4-叠氮基-3-哌啶醇.该方法使用苄氯反应得到更易离去的苄基离去基团,使产物的收率提高了14.2%;采用与已有手性制备(3R,4R)-4-叠氮基-3-羟基-1-哌啶甲酸乙酯的不同方法,使产物的收率提高了20.2%.所用原材料廉价易得,可有效降低成本.     

Banach空间中的一个随机不动点定理

本文研究了Banach空间中的一个随机不动点的存在性问题，并获得了相应的随机不动点定理．     

Banach空间中的一个随机不动点定理

本文研究了Banach空间中的一个随机不动点的存在性问题,并获得了相应的随机不动点定理.     

凸度量空间上的一个公共不动点定理

本文在凸度量空间上推广了一个公共不动点定理,同对改进了定理的压缩条件。我们的结果椎广和改进了Gregǔs,Goebel,Rhoades,Kirk,KHAN-Sessa等人的相应结果。     

Fan-Browder不动点定理的一个推广及其应用

利用escaping序列的概念及FanKy不等式的推广形式对Fan-Browder不动点定理进行了一个推广，且应用Fan-Browder不动点定理的推广证明了一个新的FanKy截口定理。     

GFC-空间中的GFC-KKM定理及其对不动点的应用

引入了GFC-空间中的GFC-KKM映射和GF-映射,建立了GFC-空间中的GFC-KKM定理.作为应用,获得了GFC-空间中转移紧开值GF-映射的匹配定理和Fan-Browder型不动点定理.结论统一、改进和推广了一些近期文献的已知结果.     

Ekeland变分原理与Caristi不动点定理的另一种相关性

在Ekeland变分原理和Caristi不动点定理等价的基础上,进一步证明了Ekeland变分原理中的ε-极值点包含在Caristi不动点定理中对应映射的不动点集中.     

一类集值算子的不动点定理

讨论了一类集值算子的拟不动点对的存在性,并给出了该类算子在满足Ｌｉｐｓｃｈｉｔｚ条件下的不动点存在性的证明。     

(Ag)型相容映象的公共不动点定理

目的为了降低公共不动点定理中对映象对相容性的要求,扩展不动点定理的应用范围。方法引进(Ag)型相容映象,再利用度量空间中自映象对的非相容性条件。结果建立了一类具有Φ-压缩条件和(Ag)型相容性的两对非相容映象对的公共不动点定理。结论结果表明:度量空间中,对于具有(Ag)型相容性的非相容映象对,在不要求空间完备和映象连续的情况下就能够得到唯一的公共不动点,并且这个不动点是映象的不连续点。     

一种简单的基于固定网格的空间直线索引算法

介绍了空间索引的功能，建立了空间索引的方法．针对地理信息系统中空间索引的重要性，以及在地理信息系统空间元素中直线和由直线组成的复合元素占了绝大部分的现象，改进了一种图形学中常用的直线生成算法，以快速建立基于固定网格的直线空间索引的算法，并分4种情况进行分析．本算法具有原理简单、易于实现等特点，并且在作者开发的一个GIS项目中得到了具体应用．