排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。 相似文献
2.
定义了坡代数(X,+,*)的模糊滤子的概念,给出了X上的模糊集A是(X,+,*)的模糊子坡代数(resp.,模糊理想,模糊滤子)的若干个等价刻画以及X×X上的模糊集E是(X,+,*)上的模糊同余关系的若干个等价刻画,另外还证明了模糊子坡代数范畴[0,1]-SInc是坡代数范畴Inc上的拓扑范畴。 相似文献
3.
研究L-拓扑空间中的R-强连通性,运用类比、推广的方法,将一般拓扑空间中的R-强连通性引入到L-拓扑空间中.定义了L-拓扑空间中R-强连通集以及R-强连通L-拓扑空间的概念,证明了L-拓扑空间的R-强连通性具有任意可积性,以及R-强连通性的樊畿定理,得出了R-强连通性是拓扑不变性和L-好的推广等结论.扩展了一般拓扑学中的一些结果. 相似文献
4.
L-预拓扑空间的局部连通性 总被引:1,自引:1,他引:0
在L-闭包空间的连通性基础上定义了L-预拓扑空间的局部连通性,并给出了局部连通的L-预拓扑空间的等价刻画,然后讨论了局部连通L-预拓扑空间的一些性质.最后证明了局部连通L-预拓扑空间与连续映射构成的范畴是一个弱拓扑范畴. 相似文献
5.
研究L-子坡代数范畴L-SInc的性质,首先给出了L-子坡代数范畴的定义,证明了其为坡代数范畴上的拓扑范畴,给出了其中等子和乘积的构造,证明了它有拉回.其次,定义了坡代数L-余塔的概念,以及由所有坡代数L-余塔构成的范畴IncCL,证明了在一定条件下,范畴L-SInc与范畴IncCL同构. 相似文献
6.
给出了预Hausdorff空间的定义,讨论了预Hausdorff空间和Hausdorff空间的关系,证明了预Hausdorff空间的分离性是可遗传的拓扑不变性质和任意可积的性质等结论. 相似文献
7.
目的研究当L为菱形格时基数小于或等于3的有限集E上的L-fuzzifying拟阵独立集系之集与其上的由拟阵独立集系组成的L-cotower之集的基数。方法列举法(即通过列举E上的全部L-fuzzifying拟阵独立集系及期上的由拟阵独立集系组成的全部L-cotower,进而得到它们所构成集合的基数)。结果证明了|Ⅱ(E,2,L)|=|Ⅱct(E,L)|,其中Ⅱ(E,2,L)是E上的L-fuzzifying拟阵独立集系的全体,Ⅱct(E,L)是E上的由拟阵独立集系组成的L-cotower的体。结论所给出的等式|Ⅱ(E,2,L)|=|Ⅱct(E,L)|推广了分明拟阵中的结论。 相似文献
8.
9.
真理想族的上、下确界及其性质 总被引:1,自引:1,他引:0
研究了非空集合上真理想族的上、下确界.在非标准扩大模型中,采用单子论的研究方法,提出了非空集合上真理想族上、下确界的定义,在此基础上研究了真理想族上、下确界存在的充要条件,并得到了真理想族在上、下确界存在的条件下的一些运算性质. 相似文献
10.
主要证明了L-预拓扑空间的局部连通性相对乘积运算是可乘的且是L-好的推广。 相似文献