论文部分内容阅读
纤维正则与纤维正规是纤维拓扑空间分离性中比较重要的两个性质,同时也为研究新的概念--纤维locale提供了思考的空间,对于纤维locale,是否在满足某些条件时,它就是纤维正则或者纤维正规的.除了具有纤维正则与纤维正规性,是否具有其他分离性质.因此本文是在Locale理论的基础上给出了纤维locale的定义,主要阐述了纤维locale理论中某些分离性的有关定义及结论,并结合纤维空间纤维正则、纤维正规的定义,给出了非空间式纤维locale中纤维正则、纤维正规的无点刻画及相关定理,同时把空间式纤维locale的纤维正则、纤维正规性作为非空间式纤维locale的特例讨论,并在研究的过程中给出与原纤维拓扑空间的等价刻画,
文章还涉及到空间式纤维locale的其他分离性质,如纤维T0、纤维R0、纤维T2、纤维T2、纤维完全正则的定义及相关命题。
本文的主要结论有:
定理3.1.2:设X是B上的纤维拓扑空间,Ω(X)、Ω(B)分别表示拓扑空间X与B上的开集格,则纤维拓扑空间X是纤维正则的充分必要条件是纤维localeΩ(X)→Ω(f)Ω(B)是纤维正则的。
定理3.1.4:设LX→fLB是纤维locale,f-是LB到LX的frame同态,LXj为LX的子locale.若纤维locale LX→fLB是纤维正则的,则LXj→fLB是纤维正则的。
定理4.1.2:设X是B上的纤维拓扑空间,Ω(X)、Ω(B)分别表示拓扑空间X与B上的开集格,设f-是Ω(B)到Ω(X)的frame同态,则纤维拓扑空间X是纤维正规的,当且仅当纤维localeΩ(X)→Ω(f)Ω(B)是纤维正规的。