相对T_0、T_1、T_2空间的性质

相对拓扑性质是经典拓扑性质的推广。研究了T0空间、T1空间、T2空间及其子空间的定义和性质,并对相对空间、相对空间和相对空间的定义及性质进行深入研究。     

■-空间

本文提出-分离性,证明了它强于 T_0.但却弱于 T_1,并讨论了-空间的几个重要性质.     

关于分离性的一点注记

本文引入CS分离性,讨论了它与T_0、T、T_1和正则空间的关系,最后给出CS空间几个重要性质.     

L-fuzzy点式度量空间与一种T_2分离性

在Lfuzzy 拓扑空间中引入了一种T2 分离性.这种T2 分离性有许多好的性质,如对子空间可遗传、在积运算下保持、是好的推广等.特别地,Lfuzzy 点式度量空间是T2 空间.T2 性蕴涵T1性且T1 正则性蕴涵T2 性.此外,这种T2 性质可由网的收敛与O收敛来刻画.     

T_1~*和T_(1 1/2)—型邻域空间

本文在邻域空间中又引入了T_1~*和T_(1 1/2)—型两种特殊的邻域空间,并证明了一些等价命题。最后推导了二者分离性之间的关系。     

T31/2-型邻域空间

本文在邻域空间中引入了T_(3(1/2))—型(V)空间,讨论了它的基本性质,推导了T_(3(1/2))—型(V)空间与Ti(i=3,4)—型(V)空间的关系,并给出了一个等价条件.     

一类介乎于T_0 T_1之间的空间T_(1/2)

本文以“拓扑空间中每一个集合的导集皆为闭集”为定义,做出了一类介乎于T_0,T_1之间的空间T_(1/2),并证明了任一有限的T_0空间都是T_(1/2)空间,正则的T_(1/2)空间为T_3空间等。     

F-拓扑空间的分离公理

[1]中引入模糊拓扑空间的概念后,有关讨论已有很多,我们仿照,将中的概念与中的一般拓扑空间的有关概念对比,来讨论模糊拓扑空间的分离性,并提出一些概念和分离性的等价命题。另外利用远域和开邻域相结合定义模糊拓扑空间的另一种类型分离性。     

极小LF T_2拓扑空间

对于任意Fuzzy格L和非空集X,本文证明了L~X上极小LF T_2拓扑的存在性,并借助于序同态和理想等工具讨论了这种拓扑的结构。最后证明了当L的最大元是有限个分子之并时L~X上存在唯一极小LF T_2拓扑的充要条件是X为有限集。     

T_(α,β)算子及其在常微分、差分方程中的应用

介绍了T_(α,β)算子的性质及其在常微分、差分方程中的某些应用,进而讨论了将一般的具有复特征的实平面算子T化为T_(α,β)算子的根据和方法。     

Q-紧性与强T_2分离性

在不分明拓扑学中,紧性是被普遍关心的问题,而且作了较为深入的研究,得到了一系列较好的结果,如文献[1—5],本文目的是在文献[6]中提出的拓扑分子格理论的框架下,首先是借助于完全分配格中元的成分概念把不分明拓扑空间中的Q-紧性概念推广到拓扑分子格中;其次是对于完全分配格中的不可比分子在拓扑分子格中引入了强T_2分离性概念。     

L-Fuzzy拓扑空间中的T21/3分离性

在LF拓扑空间中定义T_(2~(1/3)),ST_(2~(1/3))和层T_(2~(1/3))分离性,讨论与其他分离性的关系,论证了它们是L-好的推广,并研究了它们的一些性质.     

T_0拓扑空间的拟连续性与交连续性

本文在定向空间的基础上通过收敛的方式定义了拟连续空间和交连续空间,推广了Domain理论中的相应结果.主要结果如下:(1)一个T_0空间是拟连续的,当且仅当它是局部强紧的,当且仅当它的开集格在集包含关系下是超连续格,当且仅当它的sober化是拟连续dcpo;(2)一个定向空间是交连续的当且仅当它的闭集格在集包含关系下是一个Frame;(3)一个T_0拓扑空间是c-空间当且仅当它既是交连续的又是拟连续的.     

弱于T1的几个分离性

本文讨论了弱于Ｔ１的几个分离性，证明了（１）闭导集空间等价于ＴＤ－空间；（２）Ｒ０－空间Ｘ是Ｔ１－空间当且发Ｘ是Ｔ０－空间。     

拓扑系统的(强)T2分离性

提出拓扑系统的一种新的T2分离性——强T2分离性,给出了T2拓扑系统的网式收敛刻画和强T2拓扑系统的滤子式收敛刻画.证明了拓扑系统的(强)T2分离性都是T0拓扑空间类的T2分离性的良好推广,证明了一个loca le是T2loca le当且仅当它是强T2的拓扑系统.构造了例子说明T2拓扑系统不必是强T2的拓扑系统,讨论了(强)T2拓扑系统的loca le化、空间化、子系统、和系统以及积系统等方面的运算性质.     

T_3和T_4-型邻域空间

在邻域空间中又引入了T3和T4 -型邻域空间 ,并讨论了它们的遗传性和拓扑性 ,最后推导了Ti(i=2 ,3,4 )型邻域空间相互间的关系