广义近似空间与拓扑空间

研究了有限论域上的广义近似空间与拓扑空间之间的关系。首先,给出了粗糙隶属函数,拓扑隶属函数的概念。其次,借助粗糙隶属函数刻画了的上下近似算子,借助拓扑隶属函数刻画了的内部闭包算子。再次,利用隶属函数分别从拓扑,二元关系出发构造了关系,拓扑,最终证得拓扑空间与关于自反传递关系的近似空间一一对应。     

[0,1]-拓扑空间中模糊网的m-收敛性的非标准刻画

在非标准扩大模型下,以非标准分析的方法研究了[0,1]-拓扑空间中模糊网的m-收敛理论,给出了模糊网m-收敛性的非标准刻画.首先,利用转换原理,定义了*-模糊集合,提出了N-单子和Q-单子的概念.其次,借助这两类单子给出了模糊网的N-收敛性和Q-收敛性的非标准特征.最后,由这些特征得到了模糊网的m-收敛性的非标准刻画,并讨论了模糊Haudorff分离性与模糊网的m-收敛性之间的关系.     

模糊拓扑空间中Q-紧集的非标准刻画

在非标准扩大模型下,讨论了模糊拓扑空间中Q-紧集的非标准刻画．首先,将模糊集合扩张为非标准模糊集合,借助模糊点的重域定义了模糊点的单子．其次,以模糊点的单子为工具,给出了Q-紧集的非标准刻画,并在此基础上得到了Q-紧空间的非标准刻画．最后,证明了Q-紧空间的Tychonoff乘积定理．     

Lawson-Mislove问题的一个必要条件

借助于Dcpo上的Scott拓扑,引进Scott吸收Dcpo的概念,并证明了函数空间上Scott拓扑与Isbell拓扑一致的必要条件是该函数空间的值域Dcpo是Scott吸收的.结果表明,Scott吸收性是Lawson-Mislove问题的一个必要性刻画.     

[0,1]－拓扑空间中T*分离性的非标准分析方法研究

在非标准扩大模型下,应用非标准分析方法研究了[0,1]－拓扑空间中的T*分离性.首先,利用模糊点的单子及其性质,刻画了T (i＝0,1,2)分离性.其次,借助模糊集的邻域系,提出了模糊集单子的概念,证明了模糊集单子的逼近定理.最后,得到了T (i＝3,4)分离性的非标准刻画.     

L光滑拓扑空间中的强半开集强半闭集

在L光滑拓扑空间中给出了L光滑r强半开集,r强半闭集等概念和它们的一些基本性质.并讨论了它们的等价刻画和相互关系,给出L光滑拓扑空间中K uratow sk i s十四集定理.     

k-半层空间的函数刻画

实值函数(连续或半连续)是刻画某些拓扑空间的有用工具,许多空间类都可以用满足一定条件的实值函数刻画,如:完备正规空间、层空间等。本文利用实值函数给出了k-半层空间的一些新的刻画,推广了已有文献中的一些结果。     

LF-拓扑空间中的强半预连续序同态

引入并研究LF-拓扑空间中的强半预开集的概念,并利用这些概念定义了LF-拓扑空间中的强半预连续序同态,给出了它们的一些基本性质和等价刻画.     

可度量化空间的条件探导

利用g-函数和弱基g-函数刻画度量空间和广义度量空间是一个有趣的研究热点.前人已经利用弱基g-函数得到了一些条件;改进了原有的条件,利用弱基g-函数给出了可度量化空间的一个刻画.     

关于代数L-domain的一个刻画定理

引入了强core紧拓扑空间的概念,给出了代数L-domain的刻画定理,其主要结果是:偏序集D是代数L-domain当且仅当对每个强core紧拓扑空间X,函数空间[X→D]是代数L-domain.