摘要
利用偏序集上的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-超连续格。
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.
作者
毛徐新
徐罗山
MAO Xuxin;XU Luoshan(College of Science, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China;College of Mathematical Science, Yangzhou University, Yangzhou, Jiangsu 225002, China)
出处
《计算机工程与应用》
CSCD
北大核心
2017年第4期15-18,24,共5页
Computer Engineering and Applications
基金
国家自然科学基金(No.11671008
No.11101212
No.61472343)
江苏省高校自然科学基金(No.15KJD110006)