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

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