强Raney偏序集与HC-偏序集的若干性质

来源 :江西师范大学 | 被引量 : 0次 | 上传用户:Ar_meng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究.几乎在同一时期,Lawson、Stralka等人为寻求一类紧半格的代数刻画而定义了一种有特殊性质的完备格.但他们很快发现这种完备格恰好是Scott定义的连续格,自此之后,对连续格及其更一般的具有某种连续性的格序结构的研究逐渐成为了数学界和理论计算机科学界关注的一个重要方向.   完全分配格与连续格有许多相似之处,从子集系统的角度来看,前者隶属由所有子集构成的子集系统,后者隶属定向子集系统,早在1952年,Raney在他的几篇经典论文中给出了完全分配格的一些性质,并证明了完备格L是完全分配格当且仅当L中不同的点可被主滤子的补集和主理想的补集分离.由于该刻画中没有使用交和并的运算,仅涉及到序关系,自然地可以在更一般的偏序集上讨论相应的性质.   循着Erne、Menon等人的思路,我们考虑了几种可以用特殊子集分离点的偏序集,引入了Raney偏序集、HC-偏序集、HA-偏序集等概念并讨论了相关偏序集的一些性质.得到定向完备偏序集p是强Raney偏序集当且仅当P既为Raney偏序集又为A-偏序集,证明了强Raney偏序集在有上伴随和下伴随的满映射下的像仍为强Raney偏序集.对HC-偏序集、HA-偏序集我们也有相应的结论.
其他文献
幻方可追溯到4000多年前的“洛书”,是组合设计的研究对象之一.幻方在图像信息处理技术等方面有重要的应用[31].对于幻方,前人已经做了大量的工作[1,7-9],而对幻方作系统研究
在最近十年,多智能体系统的一致问题由于在多个领域的潜在应用,得到了大量的关注。现存的一致问题可分为两类:带有一个领导者的一致,也称作主从一致或是分布式跟踪;不带领导者的一
本文主要讨论具有某种特殊传递性的区组设计的分类和构造问题.全文由七章组成.   在第一章中,我们对群与设计的历史背景和研究现状进行了比较全面的综述.在第二章中,我们
自上世纪七十年代美国研究声纳信号理解系统后,数据融合技术作为一门新兴的交叉学科产生并迅速发展起来了。多传感器数据融合就是对来自多个传感器的观测数据进行多方面、多层
矩阵保持问题在某些领域有着广泛的实际应用背景,其很多研究具有较强的实际意义.设F是一个域,n为整数且n≥2.用Mn(F)记F上所有n×n矩阵的集合.如果一个映射f∶Mn(F)→Mn(F))被