偏序集上的不动点理论

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

偏序集上有限维闭空间的秩函数

集合上的有限维闭集空间这一有趣的研究课题是由Batten引入的.本文研究了更一般的情形,即对偏序集上的有限维闭集卒间进行了探讨.利用了一个比偏序拟阵秩函数更一般的整值函数,给出了一个刻画偏序集闭空间的充分必要条件,而且当考虑的是有限偏序集时,该刻画可以加以改进.     

关于有限偏序集不动点性质的两个定理

设P为一偏序集,如果P的每个自身保序映射都有不动点,则称P有不动点性质。设P~*是P的子集,若存在保序映射r:P→P~*,使当x∈P~*时r(x)=x,则称P~*是P的一个收缩核,r叫做收缩映射。我们有下述两个定理。定理1 设P是有限偏序集,则以下诸命题等值:     

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

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

有限偏序集的分步上同调模

主要研究有限偏序集的二重分步上同调模,讨论该类模的一些性质.举例证明该类模不仅与偏序集的拓扑性质有关,而且与其的组合性质有关.并得到如下两个结果:(i)设P是有限偏序集,x1,x2为P中任意的两个元素,d2为P中所有除x1和x2外的其余元素之和.若茗x1,x2之间满足x1x2=O,那么P是零调的当且仅当Hx1+x2Hd2(P)=0.(ii)当P是锥型偏序集,设P1,P2为P的两个互不相交的子集,P=P1∪P2,设d1分别等于P1,P2的所有元素之和,那么Hd1Hd2(P)=O.     

研究偏序集Sperner性质的一个新方法

设 P是一个有限偏序集 ,Γ是一个群 ,保序地作用于 P上 .Kleitman、Edelberg和 Lubell证明 :P中存在一个 Sperner反链 ,它在Γ的作用下不变 ,换言之 ,它是Γ的某些轨道的并 .给出一个可用于研究偏序集的 NM( normalized matching)性质类似的定理 .     

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

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

关于Fuzzy Szpilrajn定理

L.A.Zadeh 在文[1]中给出了一个 fuzzy 的 Szpilrajn 定理,其表述如下:设 P 是集合 X 上的一个 fuzzy 偏序,则存在一个与 X 的基数相同的集合 Y 以及 Y 上的一个 fuzzy 线性序 L 和 X 到 Y 上的1—1映射σ使得P(x,y)>0(?)L(σ(x),σ(y))=P(x,y),x,y∈X.在文[1]中,此定理的叙述是一般的而证明只是对 X 为有限集的情况进行的,X 是无限集的情况没有作任何说明。我们发现,当 X 是无限集时此定理一般是不对的,但(X,P)在某种适当的条件下,定理也可成立。本文的目的就是给出一个适当的条件,来证明关于无限集情形的 fuzzy Szpilrajn 定理,同时举出一个原定理一般不成立的例子。     

广义Z-拟连续偏序集的若干性质

讨论了广义Z-拟连续偏序集的一些性质.利用伴随给出了广义Z-拟连续偏序集的等价刻画.证明了当Z是具有有限族并性质的Rudin子集系统时,Z-交连续的广义Z-拟连续偏序集是Z-拟连续偏序集.     

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

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

拟阵的独立集构成的偏序集

为了将贪心算法与偏序集进行结合,以挖掘拟阵的更多算法,对拟阵的独立集族与偏序集之间的关系进行研究;利用拟阵的独立集全体关于集合的包含关系构建偏序集,利用布尔格的结构性质,讨论该偏序集的性质,得到有限偏序集在满足何种条件时,必为拟阵的结构的充要条件。结果表明:在同构意义下,有限偏序集与该偏序集所建立的拟阵之间的对应是满足一定条件的偏序集与无环拟阵之间的双射;建立了拟阵与偏序集之间的桥梁,可以将关于拟阵的一些研究成果转化为偏序集理论框架下的结论,反之亦然。     

偏序集拟阵中的三类算子及十四滤子定理

在具有逆序对舍对应的有限偏序集上的偏序集拟阵中定义了闭包、内部和取补3种算子，研究了这3种算子的一些性质，最后证明了偏序集拟阵中的十四滤子定理。     

有限分配格的自同态半群

设 P 是有限偏序集,L 是有限分配格.它们分别对应有限分配格P~*=Hom_(POS)(P,2) 及有限偏序集 L~*=Hom_(DL)(L(?)2) 。并且 L~*(序)反同构于 L的联既约元集,L~(**)(格)同构于 L.本文证明了对于有限配格 L,End_(DL)L 反同构于 End_(POS)L~*。进而得到 End_(DL)L 反同构于 End_(POS)P,其中 P 表 L 的联既约元集.作为推论,也可以获得有限 Boolc 代数情形的相应结论.     

可数逼近偏序集的若干性质

可数逼近偏序集是连续偏序集的一种推广,讨论了可数逼近偏序集的一些拓扑性质以及与连续映射相关的性质,结果表明:可数逼近偏序集具有许多类似于连续偏序集的良好性质.     

偏序度量空间上ρ或σ-拟收缩的两个映射的公共不动点

【目的】在偏序的度量空间上讨论两个映射的公共不动点的存在问题。【方法】研究在具有偏序的实度量空间上满足由两个实函数ρ和σ决定的拟收缩条件的两个映射的性质。【结果】得到了这两个映射在连续或非连续条件下具有唯一公共不动点的存在定理,同时给出了不动点存在定理。【结论】所得结果推广和改进了已有文献中的相应结论。     

偏序度量空间上ρ或σ-拟收缩的两个映射的公共不动点

【目的】在偏序的度量空间上讨论两个映射的公共不动点的存在问题。【方法】研究在具有偏序的实度量空间上满足由两个实函数ρ和σ决定的拟收缩条件的两个映射的性质。【结果】得到了这两个映射在连续或非连续条件下具有唯一公共不动点的存在定理,同时给出了不动点存在定理。【结论】所得结果推广和改进了已有文献中的相应结论。
     

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

有关偏序集与竞赛图的讨论

给定一个竞赛图T=(V，A)，与T相关联的偏序集P是一个偏序集P1=(V，≤)，使得V．x，y∈V(T)，x≤y当且仅当x=y或者d(x，y)≥3．证明了每一个竞赛图都与一个偏序集相关联，但存在偏序集不与任何竞赛图相关联．此外，还对与竞赛图相关联的偏序集的性质进行了讨论．     

偏序集上的一般反演及其应用

本文在献文[1]、[2]的基础上,进一步研究偏序集上的反演,得到了偏序集上更一般的反演公式,使 M(?)bius反演、互反μ函数偶的反演和偏序集上的一般反演得到统一,并简化了某些定理的证明.文中给出了偏序集上一般反演公式成立的充要条件.     

广义Z-连续偏序集的几个拓扑注记

给出了Z-连续偏序集和广义Z-连续偏序集的一些拓扑性质.文章主要证明了若P是一个强的Z-交连续的广义Z-连续偏序集,则它的Lawson拓扑λZ(P)是一个T3拓扑.