谓词转换器的拓扑语义

本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义。，引入D－半拓扑空间概念，用以建立相容谓词转换器的语义，引入SM-半拓扑空间概念，用以刻画连续谓词转换器的语义。针对不确定程序，本文引入了dI-domain上半稳定映射概念，给出了其等价刻画。     

一种新的Fuzzifying拓扑空间中的半开集

利用不同于文献[7]的方法引入了Fuzzifying拓扑空间中的半开集的概念,通过实例说明本文定义的半开集概念不同于文献[7]中的相应的概念,且有明显优点.此外,利用新定义的半开集概念引入Fuzzifying拓扑空间中的半领域系,半闭包及半内部,最后作为应用定义了映射的Fuzzying半连续性并给出若干刻画条件.     

完全诱导双拓扑空间

引入半正则化双拓扑空间的概念 ,研究其性质 ;利用 (τi,τj)完全下半连续映射引入分明双拓扑空间的完全诱导双拓扑空间的概念并研究它们间的联系 ;给出完全诱导双拓扑空间的一些重要性质     

L-拓扑空间的半N_β-紧性

在L-拓扑空间中利用半开βa-覆盖引入了半Nβ-紧性。讨论了半Nβ-紧性的性质,如一个半Nβ-紧集与一个半闭集的交仍为半Nβ-紧的;半Nβ-紧性在不定映射下保持不变;由分明拓扑空间(X,τ)拓扑生成的L-拓扑空间(LX,ωL(τ))是半Nβ-紧的当且仅当(X,τ)是半紧的。此外,还讨论半Nβ-紧性与半紧性的关系。     

Fuzzifying拓扑空间中的强半开集

利用文献[3]中重新定义的半开集在Fuzzifying拓扑空间中引入了强半开集.此外,利用新定义的强半开集概念引入了强半邻域、强半闭包和强半内部,最后作为应用定义了映射的强半连续性并给出了若干等价刻画.     

L-拓扑空间的半S_β-紧性

在L-拓扑空间中引入半Sβ-紧性,这种紧性是针对任意L-模糊子集定义的,它是Sβ-紧性的推广。研究半Sβ-紧性的性质,如一个半Sβ-紧集与一个半闭集的交仍为半Sβ-紧的;半Sβ-紧性在不定映射下保持不变;由分明拓扑空间(X,τ)拓扑生成的L-拓扑空间(LX,ωL(τ))是半Sβ-紧的当且仅当(X,τ)是半紧的。此外,还给出了半Sβ-紧性的网式刻画。     

关于某些拟一致空间的超空间拓扑

设(X,τ)是一个拓扑空间。在本文中,我们证明了在超空间2^X上局部有限拓扑e^τ与局部有限覆盖拟一致u_LF所导出的超拓扑|2^u_LF|是相同的。我们还证明了下面条件是等价的:(1)(X,τ)是仿紧的;(2)(X,τ)是orth紧的,且e^τ=|2^u_FT|;(3)存在一个Lebes-yue拟一致u_L,使e^τ<     

Fuzzifying双拓扑空间中的半开集

引入了fuzzifying双拓扑空间中的(τi,τj)半开集(半开集),(τi,τj)半邻域系统(半邻域系统)以及(τi,τj)半闭包和(τi,τj)半内部(半闭包,半内部),最后给出了全连续映射。     

连续自映射拓扑压的两个注记

令T:X→ X是紧度量空间(X,d)上的连续映射.该文给出了T的拓扑压和T在非游荡集上的限制的拓扑压相等的不依赖于变分原理的一个直接证明.同时,还讨论了半共轭的两个系统的拓扑压之间的关系,证明了拓扑压在一致有限对一条件下是半共轭不变量.     

拓扑向量空间中锥半连续性与锥拟凸映射

对于拓扑向量空间中的几个锥拟凸映射,讨论了它们之间的若干关系,同时,对锥半连续及锥上半连续映射的锥拟凸性给出了一些结果。     

L-拓扑空间的局部半紧性

定义了L-拓扑空间的局部半紧性,证明了这种局部半紧性是L-好的推广,是半闭可遗传的,在irresolute、开的、满的L值Zadeh型函数下保持不变.     

L-拓扑空间的强拟半开集

在L-拓扑空间给出了强拟半开集和强拟半闭集的概念,并且讨论了它们的一些性质.     

Fuzzifying半拓扑空间的分离公理

在fuzzify ing拓扑空间中,利用fuzzify ing半开集、fuzzify ing半邻域系及fuzzify ing半闭包等概念导入了ST0-,ST1-,ST2-,ST3-,ST4-分离公理,并给出这5个公里的等价命题以及它们的关系。     

半拓扑系统

本文旨在建立Ｓ系统理论，它具有相当的广泛性，以及应用背景性，同时又以拓扑空间、模糊拓扑空间、拓扑分子格以及拓扑系统为特例．     

L-拓扑空间中的半拟紧性

在L-拓扑空间中借助于半拟开L-集合和它们的不等式给出了半拟紧性的一个新定义,这里L是完备的DeMorgan代数。它也能够借助于半拟闭L-集和它们的不等式刻画。当L是完全分配的DeMorgan代数时,它的许多刻画被给出了。     

关于对半层空间

利用对$g$-函数和半连续函数给出对半层空间的一些刻画, 并讨论了具有半层拓扑的拓扑序$C$-空间的对半层性.     

关于Fuzzy拓扑线性空间的某些结果

本文给出了Ｆｕｚｚｙ拓扑线性空间的若干特征刻划，简化了判断Ｆｕｚｚｙ拓扑线性空间的条件，研究了Ｆｕｚｚｙ拓扑线性空间的层次结构，揭示了Ｆｕｚｚｙ拓扑线性空间与分明拓扑线性空间的内在联系，得到了Ｆｕｚｚｙ拓扑线性空间的“平移不变性”与“局部凸性”都是可截性质。     

半拓扑子集的一些性质

本文引入半边界,并且进一步研究了半拓扑子集的一些性质,例如十集定理(定理2.6).另外也讨论了子空间,乘积空间和商空间中的半开集.     

诱导的I-fuzzy拓扑生成序空间

本文研究了模糊拓扑生成序空间与其诱导的I-fuzzy拓扑生成序空间之间的关系.利用三种Lowen映射内在关联的方法,引入了三种I-fuzzy拓扑生成序空间,建立了诱导的I-fuzzy拓扑生成序空间理论.获得了诱导的I-fuzzy拓扑与诱导的I-fuzzy拓扑生成序之间的从属关系.     

Fuzzy拓扑共生预序空间

文[1]给出了研究拓扑空间,邻近空间,一致空间的统一化理论的方法,提出了拓扑共生结构的概念。文[3,4]引入了Fuzzy拓扑共生结构,初步研究了Fuzzy拓扑,Fuzzy邻近结构,Fuzzy一致结构的统一化问题,文[5]讨论了Fuzzy拓扑共生结构生成