Heyting系统之间的态射分解  

Factorization of Morphisms between Heyting System

作　　者：姜广浩[1] 占诗源 

机构地区：[1]淮北师范大学数学科学学院,安徽淮北235000

出　　处：《模糊系统与数学》2015年第5期66-70,共5页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11361028;11011001);安徽高等学校省级自然科学研究重点项目(KJ2013A236)

摘　　要：给出了Heyting系统之间的单-满映射和满-单映射的概念,并且用具体的实例说明了概念的可能性和合理性。文章的结论对深入研究Heyting系统之间H-连续映射的性质和Heyting系统的空间化形式以及Locale化形式有很好的参考意义。In this paper, the definitions of injective-subjective function and subjective-injective function between heyting system are introduced and examined. In addition, some examples are given to illustrate the possibility and rationality of these definitions. Conclusions of this paper play an important role for us to deeply study the properties of H-continuous mapping, the spatialization and localification between heyting system.

关 键 词：拓扑系统 HEYTING代数 H-连续映射 Heyting系统 单-满映射 满-单映射 

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