论文部分内容阅读
本文对连续预序集及Z-子集系统上的预序集进行了研究,得到了一些关于连续预序集及Z-子集系统上的预序集好的性质,主要结果如下:
1.在连续预序集中,《关系满足强插入性质。
2.一族具有最小元的连续预序集的乘积仍是连续预序集a3.连续预序集在保定向上确界投射下的象仍然连续。
4.{ u:u∈L)构成连续预序集L上的Scott拓扑基.
5.(连续)偏序集范畴是(连续)预序集范畴的反射子范畴。
6.以连续预序集为对象,以保Way-bel0W关系的Scott连续函数为态射的范畴是完备的。
7.Z-连续预序集是Z-交连续的.
8.Z-预序集P是Z-交连续的当且仅当对于任意的U∈σz(P)及z∈P,有↑(U∩↓X)∈σZ(P)。
9.连续预序集L是超连续预序集的充要条件是其上的scott拓扑与上拓扑一致。
10.Z-预序集P是Z-拟连续的当且仅当σz(P)是超连续预序集。
11.若Z-子集系统满足:Ai∈z(P),i∈J i∈J Ai∈z(P),则z-连续预序集是Z-拟连续预序集。
12.设P是Z-拟连续预序集,则(P,σz(P))是局部紧拓扑空间。
13.对于Z-拟连续预序集P,(P,σZ(P), (P))是逐点完全正则拓扑空间。
14.对于z一拟连续预序集P,(P,λ(P))是完全正则拓扑空间.
其中在第二章最后,我们用范畴的观点考虑具有任意上确界或下确界的预序集,得到如果M,L是具有余积的小范畴,则函子F:M →L Scott连续的充要条件是F保持余积。