论文部分内容阅读
第一部分 证明了有最小元的exact偏序集(弱domain)的乘积为exact偏序集(弱domain),exact domain在保定向并的投射算子、具有下伴随的投射算子或具有下伴随且保定向并的满映射下的像,仍为exact domain.文中还讨论了exact偏序集的基。
第二部分 引入了lower below关系,并讨论了它的基本性质。介绍了弱光滑偏序集,证明了并半格若是弱光滑且连续的与完全分配等价、弱光滑格与F—分配格等价、完备半格到一弱光滑完备半格有单的保上拓扑闭集的下伴随,则其也为弱光滑的。主要证明了上拓扑序同构的完备半格序同构,完备半格(完备格)的上拓扑闭集同构于弱下稳定的(下稳定的)和强代数光滑的完备格.
第三部分 介绍了Z—弱连续偏序集,并讨论了一些基本性质.其次,讨论了Z—弱连续偏序集的映射性质.证明了Z—弱连续偏序集在保Z—并的投射算子,幂等上伴随和保Z—并的满上伴随下的像扔为Z—弱连续偏序集.文中还讨论了Z—弱连续偏序集的基和Z—弱代数偏序集,