共查询到20条相似文献,搜索用时 968 毫秒
1.
2.
3.
目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。 相似文献
4.
推理闭包算子及其诱导的空间 总被引:1,自引:0,他引:1
吴洪博 《西北大学学报(自然科学版)》2008,38(1):9-13
目的 建立一般非空集合X上的结论 闭域和推理空间理论,并对它们的性质进行初步的探讨.方法 通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空间的思想提出了推理闭包空间理论.结果 探求推理闭包空间的初步性质和模糊命题演算系统的基本性质.结论 通过推理闭包空间的建立,丰富了模糊逻辑的研究方法 ,沟通了拓扑学和逻辑学之间的联系. 相似文献
5.
给出了偏序集拟阵的闭包算子和闭集的定义,并讨论了其相关性质,推广了拟阵理论中的有关结果,同时指出闭包算子和闭集在偏序集拟阵理论与拟阵理论中的区别和联系。 相似文献
6.
利用L*-格值上的Lukasiewicz蕴含算子,讨论直觉Fuzzifying拓扑空间的闭包算子。首先给出了直觉Fuzzifying拓扑空间中闭包度的概念及其相关性质,其次定义直觉Fuzzifying拓扑空间的闭包算子,最后证明了拓扑的直觉Fuzzifying闭包算子Icl等价于从直觉Fuzzifying闭包算子Icl出发得到一个直觉Fuzzifying拓扑Iτ定义的闭包算子Icl。 相似文献
7.
将分明拓扑学中的导集不等式G∩Ad■G(∩A)d与闭包不等式G∩A-■G(∩A)-推广到fuzzifying拓扑空间中,证明结论成立. 相似文献
8.
LF闭包空间的层紧性 总被引:5,自引:1,他引:4
在LF闭包空间中,引入层紧集概念,进一步,定义了层紧空间概念,并用a-渗透,M-可达的等概念刻画了层紧集的性质,给出了层紧集的几个等价刻画,证明了LF闭包空间的层紧性是弱同胚不变性质和弱拓扑不变性质。 相似文献
9.
10.
借助L-Fuzzy集的分解定理,给出了从分明拓扑空间(X,T)上的内部算子与闭包算子出发到LX上的算子的诱导公式,证明了这样诱导的算子是LX上的内部算子与闭包算子. 相似文献
11.
L-闭包空间及Urysohn引理 总被引:11,自引:0,他引:11
目的研究L-闭包空间中与拓扑空间类似的一些性质。方法定义L-闭包空间及它们之间的连续映射、开映射、闭映射和同胚映射,并给出这些映射的等价刻画,继而定义正规L-闭包空间。结果证明了关于L-闭包空间的Urysohn引理。结论拓扑空间中的Urysohn引理可推广至L-闭包空间。 相似文献
12.
改进集是研究向量优化问题的一个十分重要的工具。首先证明了改进集的有关拓扑闭包和拓扑内部的一些性质。进一步,在改进集的条件下给出了拓扑向量空间中两个非空集合之和的拓扑内部与拓扑闭包的一些运算性质,并得到了它的一些等价刻画。最后给出了一些具体的例子对主要结果进行了解释。
相似文献
相似文献
13.
本文首先给出了拓扑空间中的一个集合为闭集的充要条件,从而进一步得到拓扑空间中的一个集合的闭包和边界集必为闭集并且它的闭包是包含着这个集合的最小的闭集。其次我们知道在一般的度量空间中一个集合的导集必是闭集,但是在一般拓扑空间中此结论不一定成立,所以本文主要给出了在拓扑空间中一个集合的导集为闭集的的充分条件和充分必要条件。 相似文献
14.
在L-闭包空间中借助于Lα-c-开覆盖引入了SP-紧性的概念,讨论了其基本性质.证明了它对L-闭包空间具有闭遗传性、L-好的推广和弱拓扑不变性等好的性质. 相似文献
15.
李尧龙 《东北师大学报(自然科学版)》2008,40(1):11-14
在偏序集拟阵的基础上,引入了偏序集广义拟阵的函数,定义了偏序集广义拟阵的闭包算子,讨论了偏序集广义拟阵的一系列性质.最后得到了偏序集广义拟阵的闭包公理. 相似文献
16.
在L-Fuzzy拓扑空间中给出了半内部、半闭包,半边界和半正则的定义,讨论了它们的性质,并借助于它们给出了半开集、半闭集、正则开(闭)集的等价刻划。 相似文献
17.
18.
19.
方进明 《青岛海洋大学学报(自然科学版)》1995,25(1):119-124
本文在不分明的意义下,对闭包,内部,半闭包及半内部进行研究,得到一些反映它们之间关系的性质定理,此外,当我们将闭包,内部,半闭包及半内部看作四种不同的运算作用到一个不分明集上,可以构造多少种不同的水分明集。对此,本文用若干定理给出了详细的回答。 相似文献
20.
在不分明化拓扑空间中,给出了人们广为关注的拓扑学中的θ闭包的概念,并由此军政府了θ-开集,θ-闭集,θ-连续映射和强θ-连续映射,使用逻辑的语议的方法讨论了他们的有关性质,在不分明化拓扑中导入了θ-拓扑空间,描述了强θ-映射的四种等价刻划和θ-连续映射的四个必要条件。 相似文献