摘要
在模糊化拓扑空间中,利用连续值逻辑语义的方法介绍δ-开集,δ-闭集,δ-闭包和δ-邻域的概念,并以此为工具阐述T_(1)^(δ),T_(2)^(δ),T_(3)^(δ),T_(4)^(δ),T_(3)^(Sδ),T_(4)^(Sδ)分离性公理;其次研究它们的一些特征及等价刻画,讨论并证明它们彼此之间的关系;最后通过对δ-连续映射的定义,证明范畴FδTop是范畴Set上的拓扑范畴。
The concepts of δ-open set,δ-closed set,δ-closure and δ-neighborhood were introduced by using the method of continuous valued logical semantics in fuzzifying topological space,and the axiom of T_(1)^(δ),T_(2)^(δ),T_(3)^(δ),T_(4)^(δ),T_(3)^(Sδ),T_(4)^(Sδ) separation was expounded with this method.Secondly,some of their features and equivalent characterizations were studied,then discussed and proved their relationship with each other.Finally,category FδTop was proved to be a topological category on category Set by defining δ-continuous mapping.
作者
刘生云
王小霞
王玉焕
LIU Shengyun;WANG Xiaoxia;WANG Yuhuan(School of Mathematics and Computer Science,Yan’an University,Yan’an 716000,China)
出处
《湖北大学学报（自然科学版）》
CAS
2024年第3期424-432,共9页
Journal of Hubei University：Natural Science
基金
国家自然科学基金(12261090)
陕西省自然科学基础研究计划项目(2018JM1042)资助。
