本文主要对局部紧正则locale的紧正则反射、局部紧正则locale的单点紧化以及紧locale的正规反射进行了研究。首先,本文提出了“补紧元”的概念,并通过“补紧元”的概念构造性地对局部紧正则locale进行了定义,解决了因为局部紧在locale上没有明确定义而导致拓扑空间中局部紧性质不能直接推广到locale上的问题。对给出的局部紧正则locale A,证明了A对“”关系保持插入性,并且由A的所有正则理想构成的全体CR(A)是紧正则locale,从而可以构造出局部紧正则locale的紧正则反射CR(A)。其次,利用“补紧元”的概念,给出了locale的单点紧化构造。即对于任意非紧的局部紧locale A,加入元素{0,1},可以证明新生成的格是一个紧的locale,记为S(A)。特别,对于上一章构造的局部紧正则locale A,证明了单点紧化之后的locale S(A)为紧正则的,从而构造了A的紧正则反射S(A)。因此,对于局部紧正则locale A,利用定义的locale单点紧化,构造了不同于上一章CR(A)的紧正则反射S(A),并且两个紧正则反射是同构的。最后,研究了正规locale的紧正则反射,并给出了紧locale的正规反射。通过证明正规locale是正则的,以及紧正则locale是正规的,于是对任意的正规locale A,可以构造出它的紧正则反射CR(A)。在此基础上,考虑构造紧locale的正规反射。最后对于任意的紧locale A,利用它的紧正则反射CR(A),以及任意一个正规的locale B,构造出其正规反射。