FI代数上基于模糊滤子的一致拓扑空间  

Uniform topological spaces based on fuzzy filters in FI-algebras

作　　者：刘春辉[1] LIU Chunhui(Department of Mathematics and Statistics,Chifeng University,Chifeng 024000,Inner Mongolia,China)

机构地区：[1]赤峰学院数学与统计学院,内蒙古赤峰024000

出　　处：《浙江大学学报（理学版）》2018年第5期521-528,共8页Journal of Zhejiang University（Science Edition）

基　　金：国家自然科学基金资助项目(60774073);内蒙古自治区高等学校科学研究项目(NJZY17301)

摘　　要：拓扑结构是逻辑代数领域的重要研究内容之一,为了揭示FI代数上的拓扑结构,基于模糊滤子诱导的同余关系在FI代数上构造一致拓扑空间并讨论其拓扑性质,证明了:(i)一致拓扑空间是非连通、局部紧的完全正则空间;(ii)一致拓扑空间是T_0空间当且仅当是T_1当且仅当是T_2空间;(iii)FI代数中蕴涵算子关于一致拓扑是连续的,从而构成拓扑FI代数.同时,获得了一致拓扑空间是紧空间的充分必要条件.最后,讨论了商空间的性质.该研究对从拓扑层面进一步揭示FI代数内部特征具有一定的促进作用.Topological structure is one of important research topics in the field of logic algebra.In order to describe the topological structure of FI-algebras,uniform topological spaces are established and some of their properties are discussed based on the congruences induced by fuzzy filters.The following conclusions are proved:(i)Every uniform topological space is disconnected,locally compact and completely regular.(ii)A uniform topological space is a T 0 space if and only if it is a T 1 space if and only if it is a T 2 space.(iii)The implication operation in an FI-algebra is continuous under the uniform topology,which makes the FI-algebra to be topological.Meanwhile,some necessary and sufficient conditions for the uniform topological spaces to be compact are obtained.Finally,some properties of uniform topology on the quotient spaces are discussed.The results of this paper take a positive role to reveal internal features of FI-algebras on a topological level.

关 键 词：模糊逻辑 FI代数 模糊滤子 一致结构 一致拓扑空间 

分 类 号：O141[理学—数学] O153[理学—基础数学]