推理闭包空间的分离性

目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。     

可数连续格与局部Lindel(o)f空间

引入可数连续格概念,证明了可数连续格在许多方面类似于连续格,并证明了可数连续的素frame范畴对偶于强Sober的局部Lindelof拓扑空间范畴．     

有限极小集

本文讨论了完备格上有限极小集和可分子生成的格的性质,证明了可分子生成的格范畴与Sober拓扑空间范畴的反范畴的等价性;在此基础上给出了完全分配格的一族刻划.     

关于弱T2空间的若干结果

在L-拓扑空间中,讨论了弱T2空间与其它T2空间的关系,以及弱T2空间的良紧性和正规性．     

Z-拟代数Domain

对一般的子集系统Z,引入Z-拟代数domain的概念,证明了Z-domain P是Z-拟代数的当且仅当P上的Z-Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z-拟代数domain P上的Z-Scottg拓朴σz(P)是Sober的当且仅当空间(P,σz(P))具有弱Rudin性质．     

浅谈实数域上的拓扑空间

在实数域上,构造了三个拓扑空间:左闭拓扑空间E、右闭拓扑空间G、无限拓扑空间F。左闭拓扑空间E的基为{Br(z,d)|r>0为有理数,z∈R},满足第二可数公理。在分离性上,左闭拓扑空间E既是正则空间,又是正规空间,从而是T2空间、T1空间、T0空间,但是是非连通的。右闭拓扑空间G结构和左闭拓扑空间E相同。无限拓扑空间F是T0空间,不是T1空间。但是,无限拓扑空间F是连通的。     

广义Frame的谱空间

本文在frame的范畴形式推广--广义frame上引进点、素元与谱空间的概念,并且证明任意广义frame都是完备、余完备的Cartesian闭范畴.进而说明一个广义frame上全体点与该广义frame上全体素元之间存在着范畴等价的关系,此关系不同于经典frame理论中相应的--对应关系.并且讨论了广义Frame范畴与拓扑空间范畴之间的函子关系,最后,证明广义frame的谱空间是Sober空间.     

测度空间的拓扑序列熵

给定一个拓扑动力系统（X，T），记M（X）为X上Borel概率测度的全体，其上的拓扑由弱拓扑所诱导．如果系统（X，T）具有零拓扑序列熵，则它称为拓扑-null的．对于给定的一个伪度量空间以及其上的一个自映射（不必连续），引入并研究沿着给定序列的拓扑熵，包括由空间上连续实值函数所诱导的伪度量．作为应用可以证明，给定一个序列A包含于Z＋，如果X为零维的，那么，系统（X，T）沿着A具有零拓扑熵当且仅当（M（X），T）沿着A具有零拓扑熵．特别的，当X为一个零维空间时，系统（X，T）为拓扑-null的当且仅当（M（X），T）为拓扑-null的．     

α 拓扑空间的乘积性

研究了由拓扑空间(X,T)诱导出的α-拓扑空间(X,Tα)中的α闭包、α内部、α边界,证明了Tα=Tαα,得到了α-拓扑空间的乘积性,研究了αT2-空间的一些性质.     

反演集合与分离性公理

刘建忠在《反演集合理论及其应用》中提出了反演集合的概念,并在此基础上定义了反演集合的拓扑空间、度量空间.将经典拓扑学中的T0,T1,T2,T3,T4空间及正则和正规空间移植于反演集合的拓扑空间之中,提出了反演T0,T1,T2,T3,T4空间及反演正则和正规空间,并讨论了这些空间的若干性质,丰富了反演集合拓扑空间理论.     

仿sober与超sober拓扑空间

对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性：仿sober和超sober分离性;讨论了诸分离性的相关性质和相互关系,证明了非T1的仿sober空间一定是连通的、可分的sober空间;还探讨了domain上Scott拓扑与仿sober、超sober分离性的关系,证明了仿（超）sober偏序集均为代数domain.     

Fuzzy拓扑空间中分离性的一点注记

在Fuzzy拓扑空间中引入了N-T0,N-T1分离性概念,这不仅使分明的T0,T1拓扑空间分别成为N-T0,N-T1拓扑空间的特款,而且揭示了在Fuzzy拓扑空间中的T0,T1分离性与层次分离性（T-1）,N-T0,N-T1间的分解关系.文中还讨论了这两个分离性的性质.     

醚的定量结构-活性/性质相关性研究

在邻接矩阵的基础上,建构一个新的拓扑指数nT,其中的0阶指数0T、1阶指数1T与醚的沸点Tb,摩尔折射Rm、辛醇/水分配系数(lg KOW)呈高度的相关性,复相关系数均在0.99以上;0T与醚对小鼠的生物毒性(pC)也具有良好的相关性,相关系数为0.940 1,均明显优于文献方法.nT是一种较为理想的拓扑指数,可用于醚活性/性质的预测.     

拓扑置成的LF拓扑空间

本又给出了由分明拓扑空间（X，T）置成的LF拓扑空间（LX，X（T）），研究了它的拓扑基结构，证明了（LX，X（T））是T2的，连通的空间，当且仅当（X，T）是T2的，连通的空间。     

形式背景的几种分离性

利用拓扑方法定义了形式背景的T0,T1,T2分离性,探讨几种分离性之间的关系,并研究诸分离性的性质.证明了诸分离性对兼容子背景是遗传的且被满足一定条件的背景映射所保持.另外,还得到拓扑空间(X,τ)的上述几种分离性与形式背景(X,τ,∈)的相应分离性在一定条件下是一致的.     

导算子保并的定理和不保并的反例

研究了L fuzzy拓扑空间中T-1分离性与导算子保并性的关系 ,证明了在菱形格上的拓扑空间中T-1分离性是导算子保并的充分条件 ,同时给出了在一类六元格上的拓扑空间中T-1分离性不能保证导算子保并性的反例 .这个结果回答了导算子在一般T-1的L fuzzy拓扑空间中是否保并这一公开问题 .     

基于方向关系的不确定区域拓扑关系推理

用宽边界区域模型建模不确定区域,把不确定区域间的拓扑和分析关系表示为确定区域间拓扑和分析的组合表示,并根据宽边界区域方向关系矩阵与宽边界区域扩展九交矩阵的联系,提出了基于方向关系的推理拓扑关系方法。根据推理方法可直接推理拓扑关系,因而可以节省计算量和存储空间。