推论1.2,20间中的每-小紧致子美森灵闭美 证明设A是hs空润X的-个紧致子集，对于任有 X,知果xA,测限定理7,21可见z不是的凝豪点 因此凡A的餐案点都在A中，从而A是一个闭美