复习笔记 Day20

中紧集等价于有界闭集
证明思路两边都是反证法，即证明若某个聚点不属于有界闭集，那么某个开覆盖不是有限覆盖。再证明如果某个有界闭集集如果存在一族开覆盖没有有限覆盖，那么可以导出矛盾。