论文部分内容阅读
纤维正则与纤维正规是纤维拓扑空间分离性中比较重要的两个性质，同时也为研究新的概念--纤维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)是纤维正规的。