不分明化拓扑中F-滤子与网的若干性质

本文在[1]的不分明化拓扑新定义基础上,给出了不分明化滤子的定义,并且用逻辑的语义方法讨论了它的若干性质;之后讨论了子网和网的关系;最后给出了不分明化超滤子与超网的定义,同时用逻辑的语义方法证明了超滤子的极限点集与附贴集的等价关系.

L_(■_1)-不分明化邻近结构和滤子

本文基于连续值逻辑用语义方法定义了不分明化δ-邻近结构和不分明化滤子,并由不分明化δ-邻近结构给出了δ-不分明化邻域系的概念;证明了这种定义下的δ-不分明化邻域系构成不分明化滤子,得到了不分明化δ-邻近结构的可分离性与δ-不分明化邻域系N_x的T_1、T_0-可分离性的等价性。