摘要
关于如何给出locale的紧正则反射构造一直是locale理论中最重要研究课题,通过给出补紧元的定义,进而给出局部紧正则locale的紧正则反射的一个构造性描述,并保证了局部紧正则定义在locale上和在拓扑空间上的一致性.同时证明了若A是局部紧locale,则CR(A)(由A的所有理想组成的理想格Idl(A)的子frame)是紧正则locale;并对于局部紧正则locale A,CR(A)是A的紧正则反射,并给出了具体的反射关系图.
About how to give a construction of the compact regular reflection for locales is the most important issue in Locale theory. By given the definition of the co-compact element,a constructive description of the compact regular reflection for locally compact regular locales will be described,it also ensures that the definition of locally compact regular in the locale and in the topological space is consistent. At the same time,it is proved that if the local A is locally compact,then CR( A)( the sub-frame of the ideal lattice composed of all ideals) is the compact regular locale,and for the locally compact regular A,CR( A) is the compact regular reflections of locale A,the specific reflection relationship is also given.
引文
[1] Banaschewski B,Mulvey C J. Stone-Cech compactification[J]. Houston J Math,1980,6(3):301-311.
[2]Johnston P T. Wallman compactification of locales[J].Houston J Math,1984,10(2):201-206.
[3]He Wei. Compact regular reflections of locales[J]. Acta Math Sinica,1999,42(3):441-444.
[4]He Wei. Regular compactification of locally compact locles[J]. Chinese Science Bulletin,1996,41(23):2023-2024.
[5] Johnston P T. Stone spaces[M]. Cambridge:Cambridge Univ Press,1982.
[6]Sun Xiangrong,He Wei. A remark on Wallman compactification of locales[J]. Journal of Mathematical Research and Exposition,2008,28(3):605-608.
[7] Wallman H. Lattice and topological spaces[J]. Ann Math,1938,39(1):112-126.
[8]Wallman H. Lattice and bicompact spaces[J]. Proc Nat Sci USA,1937,23(3):164-165.
[9] Banaschewski B. Compactfication of frames[J]. Math Nachr,1990,149(1):105-117.
[10] Johnston P T. Almost maximal ideals[J]. Fund Math,1984,123:197-209.
[11] Maclane S. Categories for the working Mathematician[M]. New York:Springer Verlag,1971.
[12]Kou Hui,Luo Maokang. Strongly zero-dimen sional locales[J]. Acta Mathematica Sinica:English Series,2002,18(1):47-54.
[13]He Wei,Liu Yingming. Inverse limits in the category of locales[J]. Science in China,1998,41(5):476-482.
[14] He Wei,Luo Maokang. Completely regular para compact reflection of locales[J]. Science in China Series A:Mathematics,2006,49(6):820-826.
[15]孙向荣,贺伟.关于Wallman紧化的一点注记[J].数学研究与评论,2008,28(3):605-608.
[16]贺伟,张耀明. Locale的内部与边界[J].数学进展,2000,29(4):357-361.