Computer Engineering and Applications ›› 2017, Vol. 53 ›› Issue (4): 15-18.DOI: 10.3778/j.issn.1002-8331.1607-0361
Previous Articles Next Articles
MAO Xuxin1, XU Luoshan2
Online:
Published:
毛徐新1,徐罗山2
Abstract: The concept of meet supercontinuity for posets is introduced. Properties and characterizations of meet supercontinuity, as well as relationships of meet supercontinuity with supercontinuity and quasi supercontinuity are given. Main results are: (1)[A] lattice which is also meet supercontinuous must be distributive; (2)[A] bounded complete poset(bc-poset, for short)[L] is meet supercontinuous iff [?x∈L] and every subset [A] for which [∨A] exists, one has [x∧∨A=∨x∧a:a∈A]; (3)[A] bounded complete poset is supercontinuous iff it is meet supercontinuous and quasi supercontinuous; (4)Some counterexamples are constructed to show that a distributive complete lattice needn’t be a meet supercontinuous lattice and a continuous lattice needn’t be a meet supercontinuous lattice.
Key words: Scott S-set, meet supercontinuous poset, supercontinuous poset, distributive lattice
摘要: 利用偏序集上的Scott S-集,引入了交S-超连续偏序集概念,探讨了交S-超连续偏序集的性质、刻画及与S-超连续偏序集、拟S-超连续偏序集等之间的关系。主要结果有:(1)交S-超连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)[L]是交S-超连续的当且仅当对任意[x∈L]及子集[A],当[∨A]存在时有[x∧∨A=∨x∧a:a∈A];(3)有界完备偏序集S-超连续的当且仅当它是交S-超连续且拟S-超连续的;(4)获得了反例说明分配的完备格可以不是交S-超连续格,连续格也可以不是交S-超连续格。
关键词: Scott S-集, 交S-超连续偏序集, S-超连续偏序集, 分配格
MAO Xuxin1, XU Luoshan2. Meet supercontinuous posets[J]. Computer Engineering and Applications, 2017, 53(4): 15-18.
毛徐新1,徐罗山2. 交S-超连续偏序集[J]. 计算机工程与应用, 2017, 53(4): 15-18.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.1607-0361
http://cea.ceaj.org/EN/Y2017/V53/I4/15