仿紧正则locale的紧正则反射

在locale范畴中讨论仿紧locale的性质,证明仿紧正则locale是正规的.通过正规locale的插入性,给出正则理想格CR(L)是仿紧正则locale的紧正则反射的构造性描述.

局部紧正则Locale的紧正则反射

关于如何给出locale的紧正则反射构造一直是locale理论中最重要研究课题,通过给出补紧元的定义,进而给出局部紧正则locale的紧正则反射的一个构造性描述,并保证了局部紧正则定义在locale上和在拓扑空间上的一致性.同时证明了若A是局部紧locale,则CR(A)(由A的所有理想组成的理想格Idl(A)的子frame)是紧正则locale;并对于局部紧正则locale A,CR(A)是A的紧正则反射,并给出了具体的反射关系图.

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

利用Locale中的完全正则元和零维元构造性地给出了任意Locale的完全正则反射以及零维反射的描述,并且对于满足‘(?)’关系插入性的Locale,特别地,对正规Locale,证明了全体正则元构成的Locale是其正则反射.进而,利用平稳(flat)子Locale的扩张引理给出了Locale的紧完全正则反射,紧零维反射以及紧正则反射的构造性描述.

Locale的仿紧完全正则反射

1972年,Isbell利用locale中由正规覆盖构成的一致结均的完备化,证明了仿紧完全正则locale范畴是locale范畴的满反射子范畴．本文通过在locale的补零元理想格上做核映射的方法,给出locale的仿紧完全正则反射的明确构造,并证明locale的仿紧完全正则反射是locale的Stone-Cech紧化的子locale．