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

； ： ； ； l I 毒 ／?嘻1 。# l j 。4 三j { ； i 摘 要 学问题对连续格的研究．几乎在同一时期，Lawson、Stralka等人为寻求一类紧半格 的代数刻画而定义了一种有特殊性质的完备格．但他们很快发现这种完备格 恰好是Scott定义的连续格．自此之后，对连续格及其更一般的具有某种连续性的 格序结构的研究逐渐成为了数学界和理论计算机科学界关注的一个重要方 向． 完全分配格与连续格有许多相似之处，从子集系统的角度来看，前者隶属由 所有子集构成的子集系统，后者隶属定向子集系统．早在1952年，Raney在他的几 篇经典论文中给出了完全分配格的一些性质，并证明了完备格L是完全分配格 当且仅当L中不同的点可被主滤子的补集和主理想的补集分离．由于该刻画中 没有使用交和并的运算，仅涉及到序关系，自然地可以在更一般的偏序集上讨 论相应的性质． 循着Em舌、Menon等人的思路，我们考虑了几种可以用特殊子集分离点的偏 序集，引入了Raney偏序集、HC一偏序集、HA一偏序集等概念并讨论了相关偏序集 的一些性质．得到定向完备偏序集P是强Raney偏序集当且仅当P既为Raney偏序 集又为A．偏序集，证明了强Raney偏序集在有上伴随和下伴随的满映射下的像仍 为强Raney偏序集．对HC一偏序集、HA一偏序集我们也有相应的结论． 关键词： 强Raney偏序集；Raney偏序集；A．偏序集；嬲一偏序集；HA一偏序集； 超连续偏序集；超代数偏序集． 。。l；。，▲飞Ii‰；。 熟，．毖F醚鬣器§0，≥，；．，0；； Abstract Domain inthe of1970swhenD．Scottwasled theoryappearedearlypart byprob· lemsofsemanticsfor toinitiatedthe ofcontinuouslattices．At computerlanguages study aboutthesame akindof latticeswith time，Lawson，Stralka，etc．defined complete spe· cial tocharacterizeacla