证明设A是-个紧致子集EA,时于每-个A,由 于X是-个Hat空间，存在x的-个开域L,y的- 个牙郭浅，恨得，，=集族y湖显是案頸子 集A的-个开覆盖