关于Locale范畴反射子范畴的注解  

Notes on the Reflection Subcategory of the Category of Locales

作　　者：孙向荣[1] 贺伟[1] 

机构地区：[1]南京师范大学数学与计算机科学学院,南京210097

出　　处：《数学年刊（A辑）》2007年第6期821-826,共6页Chinese Annals of Mathematics

基　　金：国家自然科学基金(No.10331010)资助的项目.

摘　　要：利用Locale中的完全正则元和零维元构造性地给出了任意Locale的完全正则反射以及零维反射的描述,并且对于满足‘(?)’关系插入性的Locale,特别地,对正规Locale,证明了全体正则元构成的Locale是其正则反射.进而,利用平稳(flat)子Locale的扩张引理给出了Locale的紧完全正则反射,紧零维反射以及紧正则反射的构造性描述.This paper applies completely regular elements and zero-dimensiomal elements, gives constructive descriptions of the completely regular reflection and the zero-dimensional reflection of Locales in much simple form. For a Locale A, which satisfies the subdivisibility property, especially a normal Locale, the authors show that the Locale R（A） of regular elements is the regular reflection of A. Furthermore, the compact regular reflection, the completely regular reflection and the compact zero-dimensional reflection of Locales by the extension lemma of flat suLocale are abtained.

关 键 词：反射性 正则Locale 完全正则Locale 零维Locale 

分 类 号：O154.1[理学—数学]