证明设A是正则空间X中的一个紧致子集，U是A的一 个开邻域对于任何x∈A,点x有-个开邻域V,使得VCU, 集V,xEA是紧致子集A的-个开覆盖，它有有限子族，设 为V1,V,…,V,覆盖A.令V=U1,它是A的-个开邻 域，并且 V-(UV)-UV:CU 1