交C-连续偏序集
利用偏序集上的半拓扑结构, 引入了交C-连续偏序集概念, 探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系. 主要结果有:(1) 交C-连续的格一定是分配格; (2) 有界完备偏序集(简记为bc-poset) $L$是交C连续的当且仅当对任意$x\in L$及非空Scott闭集$S$, 当$\vee S$存在时有$x\wedge\vee S=\vee\{x\wedge s:s\in S\}$; (3) 完备格是完备Heyting代数当且仅当它是交连续且交C-连续的; (4) 有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的; (5) 获得了反例说明分配的完备格可以不是交C-连续格, 交C-连续格也可以不是交连续格
关键词:
Scott C-集,
交C-连续偏序集,
C-连续偏序集,
分配格