仿sober与超sober拓扑空间

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

Fuzzy拓扑空间[X.ω(T)]与拓扑空间(X.T)的比较

在[2]中我们已经利用了 R.Lowen 在[1]中建立的点集 X 上 Fuzzy 拓扑与一般拓扑的两个对应,讨论了 f、t、s(X.ω(T))的 Fuzzy 分离性和拓扑空间(X.T)的分离性之间的关系。本文则是进一步对 f、t、s(X.ω(T))与(X.T)就局部紧致性、单点紧化以及一致性等方面作以比较。从而可以发现、只要Fuzzy 拓扑是拓扑生成的,那么它将保留着一般拓扑的许多好的结果。     

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

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

乘积测度的表示与集的截口的测度的可测性

设T,X是完备可分的度量空间,T×X是乘积空间.设ν是T上的完备的Borel概率测度,τ是X上的预测度.从ν和τ出发,可以通过两种不同方式定义乘积空间T×X上的测度.证明在τ是σ-有限的情形下,这两种方式定义的测度都等于T×X上的乘积测度ν×τ*,其中τ*表示由τ按方法Ⅰ所构造的外测度;在τ是非σ-有限时,证明了在一定的条件下函数τ(Et)与τ*(Et)都是T上的可测函数,其中E T×X,Et={x∈X;(t,x)∈E}.     

推理闭包空间的分离性

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

τ-拓扑下的不动点定理

τ是X的一个线性H ausdorff拓扑,在一致τ-O p ia l或τ-UKK条件下,给出了渐近非扩张型映照的不动点定理.由于L1(μ)并不具备通常的O p ia l条件,但是在L1(μ)赋予抽象测度拓扑τ下,(X,τ)满足一致τ-O p ia条l件,从而给出L1(μ)中渐近非扩张型映照的不动点定理.     

Opial条件下渐近非扩张型半群殆轨道的遍历定理

X是-Banach空间,(X,τ)是局部凸线性拓扑空间,C是X上的τ-序列紧凸集,S是C上的Γ类渐近非扩张型半群.首先给出了局部一致τ-Opial条件的概念,运用乘积拓扑网技巧得到了具有局部一致τ-Opial条件下空间X的新的收敛条件.然后利用该收敛条件得到了在局部一致τ-Opial条件下的,类渐近非扩张型半群殆轨道的遍历定理以及τ-收敛定理.结论是将已有结果由一致τ-Opial条件推广到局部一致τ-Opial条件,对空间X的要求进一步减弱,该结论是遍历定理在非一致凸空间中的延伸.     

L-fuzzy拓扑空间中的相对T3分离性

定义了L-fuzzy拓扑空间中的相对T1分离性和相对正则(T3)分离性,讨论了相对T1分离性和相对正则(T3)分离性的一系列性质.证明了相对正则分离性和相对T3分离性是相对闭遗传的,弱同胚不变的,L-好的推广性质,给出了相对T3分离性不是相对遗传的一个反例.     

T—型拓扑空间

关于拓扑空间的分离性公理,已有T_0、T_1、T_2等,本文提出T分离性,它比T-1强而比T_2,弱,讨论了T—型拓扑空间的某些性质,证明了对于满足第一可数公理的拓补空间来说,T和T_2的等价性。最后指出关肇直先生给出的局部紧性之定义与J·Kelley所给的定义在T—型拓扑空间上是一致的。定义一拓扑空间(X,T)叫做T—型的,是指X的一切紧子集都是闭的。若以D表     

半分离公理的等价性

<正>文[1]中只给出了部分半分离性的等价形式,在此将半T:(i=0,1,2,3,4)公理都给以等价形式,并将文[1]中已给出的等价形式加以扩充.定义1拓扑空间X的子集A称为X中的半开集当且仅当存在X中的开集O,使得O(?)A(?)(?).X中所有半开集所组成的族记为S.O(X).定义2设X为拓扑空间,x∈X,u(?)X.如果存在一个包含x的半开集v包含于u.     

拓扑系统的分离性

拓扑系统是目前最广泛的拓扑研究对象之一，它以点集拓扑空间，Locale的空间化，模糊拓扑空间与拓扑分子格为特例，它可以用来研究 计算机程序语言的指称语义的Domain理论。作者从拓扑学的角度研究了拓扑系统的分离性，得到了关于拓扑系统分离性刻画的几个定理。     

合成背景的面向属性概念格生成

目的研究合成背景下面向属性概念格的生成。方法面向属性概念格理论。结果由两个简单形式背景的面向属性概念格获得了合成形式背景的面向属性概念理论。结论推广了已知结果,易于获得复杂形式背景的面向属性概念格,从而更有利于知识发现。     

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

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

基于OE-近似概念格的不完备决策背景的规则提取

首先,通过对象诱导的三支条件近似概念格和三支决策近似概念格的细于关系,定义了不完备决策背景的OE-协调性;然后,在OE-协调的不完备决策背景上提出了对象诱导三支规则的提取方法, 分别从正面和负面的角度对规则进行获取和解释, 给出了冗余规则的判定定理及非冗余规则集的提取算法;最后,利用包含度理论,提出了带有置信度的三支规则提取方法, 提供了更为丰富的细节, 使得获取的规则更加完善。     

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

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

基于差别矩阵的区间值形式背景属性约简

目的在形式概念分析理论框架下,研究区间值形式背景的属性约简。方法给出区间值属性集差别矩阵和区间值形式背景属性约简的定义,并研究相关性质;研究协调区间值属性集的判定定理。结果给出协调区间值属性集的判定定理,以及基于区间值属性集差别矩阵的区间值形式背景约简方法。结论区间值形式背景可进行属性约简。     

弱于T1的几个分离性

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

反演集合与分离性公理

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