正规开覆盖

正规开覆盖(normal open cover)一类开覆盖.若X为拓扑空间，o}是X的开覆盖.若存在X的开覆盖列{Gun使得oGl - oGh，并且对于任意自然数ZW}tI是哪的星加细，则称G}为X的正规开覆盖.空间X是正规空间的充分必要条件是，X的任意局部有限开覆盖是正规开覆盖.空间X的局部有限由补零集组成的覆盖是正规开覆盖.