论文部分内容阅读
本文研究Z—domain和Z-连续domain关于Z—Scott拓扑的子空间,Z-连续domain的和运算,及Z-连续domain的积运算,主要内容如下:
第一章引入Z-子domain,Z—domain的子空间,Z-连续domain子空间的概念,得到Z—Scott开集和Z—Scott闭集是Z—domain的子空间,举例说明上集,下集不一定是Z—domain的子空间,并给出上集,下集可以作为Z-连续domain子空间的充要条件。证明Z-连续domain范畴是广义Z-连续domain范畴的余反射子范畴。
第二章引入Z—domain的和,Z—Scott连续映射的和的概念,说明了在某些和的作用下Z-连续domain的可加性。证明Z-连续domain范畴的余积是disjointsum,并讨论其它形式的范畴和。从拉回的角度说明同构强于双态射,并举例说明Z-连续domain范畴不是平稳范畴。
第三章研究Z-连续domain关于Z—Scott拓扑的Cartesian积。对任意一族有最小元的Z—domain{Pi|i∈Z},证明了若每个σZ(Pi)是连续格则∏Pi上的Z—Scott拓扑恰好是Z—Scott拓扑σZ(Pi)的积拓扑。证明Z—domain范畴积存在。