上一节我们讲了很多不同类型的集合的定义,比如开集,闭集,开球(邻域),矩体之类的。这一节我们接着有限覆盖原理讲新的内容。
1. 紧集:
在上一讲中,我们提到了有限覆盖原理:
中的有限闭集的任一开覆盖均含有一个有限开覆盖。
证明:设
是
中的有界闭集。
是
的开覆盖。假定
令
,
有
是开集,
是闭集且
,如果一切
均为非空集,由
Cantor闭区间套定理知:
,这个点
不属于
,矛盾。
所以
,则取
即可。
q.e.d
还有另外一个相似的定理:
定理:设,若的任一开覆盖都包含有限子覆盖,则是有界闭集。
证明:设
,则对于每一个
,存在
,使得
假设有限覆盖为
。
可知
是
有界集。现在再令
,则
,即
。说明
,
是闭集。 q.e.d
如果的任一开覆盖均包含有限子覆盖,我们就称为紧集,上述两个定理表明中的紧集就是有界闭集。 </