论文部分内容阅读
随着计算机科学的发展,序结构愈来愈受到人们的关注,它与拓扑结构、代数结构相互结合,充分体现在连续格与Domain理论中,有着重要的研究价值.
本文第二章探讨了给定集合上的偏序关系的分解性质,证明了给定集合P上的全体偏序P(P)依集合包含序是一个Scott Domain;证明了任一偏序≤均可表示为若干代数偏序的定向上确界;还证明了若一个集合P在一族定向偏序{≤i}i∈l下均为(完备)格,则在一定条件下(P,V≤i)仍为(完备)格.也讨论了偏序集上内蕴拓扑的分解性质,得到了(对偶)Alexandrov拓扑、Scott拓扑的一些具体分解性质.
第三章考察了一些特殊拓扑的分解性质,构造了例子说明一族可数定向拓扑的并未必还是拓扑,证明了拓扑空间(x,V.Ti)上的特殊化序等于诸拓扑空间(x,Ti)(i∈I)上的特殊化序的交;定向的一族单调收敛拓扑的上确界拓扑在一定条件下仍为单调收敛拓扑.
第四章利用连续格理论的方法探讨了泛代数及其子代数偏序集,证明了当0元运算集不为空集时T-代数的子代数偏序集依集合包含序是一个代数格,特别是连续格;证明了任一T-代数的子代数偏序集依集合包含序是一个代数Domain,而添加一个最小元“⊥”后则是代数格,特别是连续格.构造了从T-代数范畴到T-代数的子代数偏序集范畴的一个函子,并证明了T-代数范畴中任意对象族的乘积都存在.