它有-个有限子族，设为V,V2,,V 覆盖A.令U=∩U,和V=只，它们分别是点 和集合A的开邻域此外，由于对于每一个i=1,2,…,n有： onv,-C.nu.n-nu,nv,=8 所以 Unv-iUnv,)0(Un(