摘要
滤子和开滤子是研究序结构和拓扑结构的非常有用的工具.作者通过反例说明L即使为完全分配代数格也无法保证OFilit(L)的分配性,并且证明了对于连续分配半格L,其开滤子DomainOFilt(L)为分配格当且仅当L稳定连续.
Filiters and open filters are useful utilities to explore strctures of domains. In this paper, it is proved that for a continuous distributive semilattice L, OFilt ( L ) is a distributive lattice iff L is stably continuous. And an example is given to show that in the general case the distributivity of L cannot imply that of OFilt (L).
出处
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
2006年第5期992-995,共4页
Journal of Sichuan University(Natural Science Edition)
基金
National Science Foundation of China(0020105401084)and the Science and Technology Research Project of Chongqing Educational Committee(KJ061102)
关键词
分配半格
开滤子Domain
稳定连续
distributive semilattice
open filter domains
stably continuous