模糊化拓扑空间中的δ-分离性及范畴FδTop的拓扑性

在模糊化拓扑空间中,利用连续值逻辑语义的方法介绍δ-开集,δ-闭集,δ-闭包和δ-邻域的概念,并以此为工具阐述T_(1)^(δ),T_(2)^(δ),T_(3)^(δ),T_(4)^(δ),T_(3)^(Sδ),T_(4)^(Sδ)分离性公理;其次研究它们的一些特征及等价刻画,讨论并证明它们彼此之间的关系;最后通过对δ-连续映射的定义,证明范畴FδTop是范畴Set上的拓扑范畴。

直觉权与直觉模糊化拓扑的关系

通过提出直觉权和直觉模糊化拓扑的概念,阐述了直觉模糊化拓扑可以通过直觉权来刻画,给出了应用直觉权来刻画直觉模糊化拓扑的具体方法,证明了任一个直觉权可以确定一个直觉模糊化拓扑,任一个直觉模糊化拓扑可以确定一个直觉权,并且直觉权与直觉模糊化拓扑之间存在一一对应的关系.

权与模糊化拓扑

通过引入权的概念,说明了模糊化拓扑可以通过权来刻画.给出了如何具体应用权来描述模糊化拓扑.首先,引入模糊化拓扑的定义,并在此基础上讨论了权和反模糊子群之间的一一对应关系.

模糊化拓扑空间的刻画

给出模糊化拓扑滤子收敛空间的定义,证明了模糊化拓扑滤子收敛空间和模糊化拓扑空间在范畴意义下是同构的,并且讨论了和其它极限结构的关系。模糊化拓扑滤子收敛空间和模糊化拓扑网收敛空间是匹配的。

模糊化(拓扑)导算子的公理化

将模糊化(拓扑)导算子进行了公理化,并且给出了若干模糊化(拓扑)导算子的刻画;同时建立了模糊化(拓扑)导算子和模糊化(拓扑)闭包算子之间的关系。

模糊化(拓扑)导空间

界定了模糊化(拓扑)导算子满足的公理,并且给出了若干模糊化(拓扑)导算子的刻画;同时建立了模糊化(拓扑)导算子和模糊化(拓扑)闭包算子之间的关系,进一步引入了模糊化拓扑导空间范畴I-GDS,并证得范畴I-GCS和I-GDS同构.

模糊化理想

引入模糊化理想,研究了模糊化理想的收敛理论,获得了一些重要结果。

范畴FTOP和L-FTOP的拓扑性

设FTOP是模糊化拓扑空间及模糊化不定映射的范畴,L-FTOP是L-fuzzy拓扑空间及连续映射的范畴,Set是集合及映射的范畴,证明了FTOP和L-FTOP都是Set上的拓扑范畴.

范畴FPTOP和L-FPTOP的拓扑性

设FPTOP是模糊化预拓扑空间及F-连续映射的范畴,L-FPTOP是L-fuzzy预拓扑空间及LF-连续映射的范畴,是集合及映射的范畴,文中证明了FPTOP和L-FPTOP都是Set上的拓扑范畴.

模糊化拟一致结构导出的拓扑

从模糊化拟一致结构μ出发,分别导出了模糊化内部算子和模糊化闭包算子,进而导出了两个模糊化拓扑τμ和ημ.结果表明,若μ是模糊化拟一致结构,则τμ=ημ不一定成立;若μ是模糊化一致结构,则τμ=ημ成立。

模糊化弱拓扑和模糊化预拓扑

在模糊化拓扑空间基础上,放宽了模糊化拓扑结构的公理体系,引入模糊化弱拓扑和模糊化预拓扑的概念,并且讨论了它们构成的范畴和模糊化拓扑空间范畴的关系.结果表明,模糊化拓扑空间范畴既是模糊化弱拓扑空间范畴的双余反射满子范畴,又是模糊化预拓扑空间范畴的双余反射满子范畴.

点式模糊化拟一致结构诱导的双拓扑

引入点式模糊化拟一致结构u,并由其分别导出了模糊化内部算子和模糊化闭包算子,进而诱导两个模糊化拓扑(?)和η_u.结果表明,若u是点式模糊化拟一致结构,则T_u=η_u不一定成立;若u是点式模糊化一致结构,则(?)=η_u成立.

KM伪度量空间中的模糊化收敛结构

分别提供了由KM伪度量到模糊化收敛结构和由模糊伪度量链到模糊化收敛结构的转化方法,并且证明了由KM伪度量诱导的模糊化拓扑进而诱导的模糊化收敛结构和KM伪度量直接诱导的模糊化收敛结构相同.而且,还证明了由KM伪度量诱导的模糊伪度量链进而诱导的模糊化收敛结构和由KM伪度量直接诱导的模糊化收敛结构相同.

模糊偏伪度量的表现定理及应用

本文借助概率分布函数的点式运算研究了模糊偏伪度量的表现定理,证明了由模糊偏伪度量空间(X,P,*)导出的右连续的映射族{pt}t∈(0,1)都是偏伪度量当且仅当(X,P,∧)也是模糊偏伪度量空间,进一步研究了此表现定理导出的模糊化拓扑空间。