共查询到17条相似文献,搜索用时 62 毫秒
1.
本文讨论了那样一些DCPO(即定向完备偏序集)的刻划问题,它们在赋以Scott开滤子拓扑后,其拓扑空间的开集格是连续格。该问题也是由LawsonJD。与MisloveM.提出的一系列公开问题中的一个[1]。 相似文献
2.
讨论抽象基(特别是偏序集带辅助序)上的伪Scott拓扑与伪Scott开滤子集的一些基本性质, 推广了Domain理论中一些熟知的结论,证明了抽象基上的伪Scott拓扑是完全分配格;若在偏序集P上赋予辅助关系<, 则其上伪Scott开滤子之集是连续domain. 相似文献
3.
本文利用引入的KS性质,刻划了那些其Scott拓扑可由开滤子生成的分配备格,该结果也是对[1]中一公开问题的一种解答.本文的刻划定理对于判定分配备格的Scott拓扑是否与Scott开滤子拓扑一致具有较强的可操作性,应用该刻划定理给出大量非连续格,其Scott拓扑具有开滤子基. 相似文献
4.
本文的目的是在偏序集上直接定义和研究网和滤子的Scott收敛理论,指出其相互之间的协调性,及其它们的导出拓扑与Scott拓扑的一致性. 相似文献
5.
拓扑系统的紧性和分离性 总被引:1,自引:0,他引:1
考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。 相似文献
6.
本文主要讨论了Domain函数空间上Isbell拓扑和Scott拓扑的一致性.利用Domain函数空间给出了一个例子: Scott拓扑有开滤子基的非连续的DCPO. 相似文献
7.
关于L—Fuzzy子集仿紧性的注记 总被引:3,自引:1,他引:2
本文意在指出L-fuzzy拓扑学中关于L-fuzzy子集仿紧性的几种定义不是一般拓扑学中子集仿紧性的真正推广,即它们不以分明子集仿紧性为特款。进一步修正了这些定义并重新证明了有关的几个定理。 相似文献
8.
9.
L-拓扑空间中的半拟紧性 总被引:1,自引:0,他引:1
在L-拓扑空间中借助于半拟开L-集合和它们的不等式给出了半拟紧性的一个新定义,这里L是完备的DeMorgan代数。它也能够借助于半拟闭L-集和它们的不等式刻画。当L是完全分配的DeMorgan代数时,它的许多刻画被给出了。 相似文献
10.
本文研究了L-fuzzy domain上的广义Scott拓扑,利用[1]中引入的L-fuzzy domain.获得了其上的广义Scott拓扑,它是Domain上Scott拓扑的推广,证明了一个L-fuzzy单调映射是L-fuzzy Scott连续映射当且仅当它关于L-fuzzy domain上的广义Scott拓扑连续. 相似文献
11.
在不分明化拓扑空间中,从正则开集出发引入了近似紧性和几乎紧性的概念,并且给出了它们的一些性质.这些概念的结合有助于我们对不分明化拓扑的研究。 相似文献
12.
在不分明化拓扑空间中,从pre-开集出发引入了强紧性的概念,并且给出了它的一些性质.这些概念的结合有助于我们对不分明化拓扑的研究. 相似文献
13.
14.
In this note, we provide a new proof of Magidor's theorem thatthe least strongly compact cardinal can be the least supercompactcardinal. 相似文献
15.
16.
Some characterizations of paracompact maps are given in this note, and some equivalent statements of collectionwise normal maps are discussed. And also we show that if f : X→Y is a closed collectionwise normal map, and f^-1(y) is a semistratifiable subspace of X for any y ∈ Y, then f is a paracompact map. 相似文献
17.