论文部分内容阅读
Fuzzy格间的序同态概念,一方面保持Fuzzy点的高度不变,同时又保留了把分子映成分子的性质.后来王国俊教授舍弃了Fuzzy格上逆序对合对应的条件,在完全分配格之间提出了广义序同态。本文考虑摆脱Fuzzy格,完全分配格这些前提条件来研究更广泛的广义序同态.主要是将广义序同态逐步推广到完备格,连续格,domain和拟domain上而探讨各类广义序同态,从而一定程度上扩大序同态的应用范围.本文得到了完全分配格之间广义序同态与其逆的逆相等的若干条件;刻画了完备格间的伪广义序同态;定义了θ极小集,证明了连续格成为完全分配格的充分条件(V)a,b∈L,恒有B(a∨b)=B(a)∪B(b)成立.给出了domain间Scott广义序同态的充要条件及相关性质.提出了代数domain紧元间映射构成的Scott广义序同态成为单射和满射的若干等价条件.并在拟连续domain间,通过定义拟定向极小集得到了类Scott广义序同态的概念和刻画.通过这些研究,可以认识和把握更多广义序同态间的共同本质,为研究完全分配格,完备格,序之间映射注入了新的活力.
第一章预备,重点介绍偏序,格,分子格,完备格,domain,广义序同态等相关概念及其性质.
第二章进一步研究完全分配格间的广义序同态性质,探讨了f和f(-)1之间存在的联系,并得到(f(-)1)-1=f的等价条件.
第三章在完备格上定义伪广义序同态,并定义完备格上的素上集概念,得出完备格间映射是伪广义序同态的充要条件;定义θ极小集,证明连续格成为完备链当且仅当定向集小映射保定向并,得到连续格称为完全分配格的一个充分条件.
第四章在domain上定义Scott广义序同态,给出Scott广义序同态的刻画和其性质;并得到代数domain紧元之间的映射成为Scott广义序同态的充分条件;在拟连续domain中定义拟定向极小集得到拟连续domain成为类Scott广义序同态的若干等价条件.
最后对本文接下的工作作出展望.