假设你用一些开区间盖住了 。区间可以很小,彼此可以重叠,也可以有无限多个。现在要删掉多余的成员,留下有限个,仍然不漏任何一点。你不能把留下的区间拉长,也不能临时换一套更方便的覆盖。
闭区间总能完成这件事。开区间 却可能做不到,哪怕它看起来同样只有一小段。紧致性关心的就是这种差别:给定的局部信息,能不能从中选出有限份来控制整体。
若一族开集的并等于空间 ,就称它为 的开覆盖。 紧致,是指它的每一个开覆盖,都有一个有限子族仍然覆盖 。
对子集 ,说 紧,采用的是子空间拓扑。也可以用环境中的开集来覆盖它:相对开集形如 ,而 恰好等价于 。这两个说法检验的是同一件事。

有限空间一定紧:对每个点,从覆盖里挑一个含它的成员,选出的集合只有有限个。无限离散空间不紧,因为所有单点集组成一个开覆盖,有限多个单点盖不住全空间。平凡拓扑则不同:只要空间非空,任何开覆盖都必须包含 这个成员,它自己就够了。点的多少并不能单独决定紧致性。
看看 上的覆盖
任意 ,取 ,就有 ,所以它确实覆盖。但有限选出 后,令 ,这些区间的并只是 。点 还在原空间,却没被盖到。因此这个覆盖没有有限子覆盖。

别把左端点误写成 。区间 已经单独包含整个 ,它不能证明不紧。反例不仅要看起来像一族区间,还要同时完成“全族覆盖”和“每个有限子族失败”这两项核对。
下面的实验先让你从六个固定区间里删成员。只留下编号 1 和 3,查看遗漏的整段;换成两个恰好相接的开区间,再看一个漏点为什么也足以使覆盖失败。切到无限覆盖后,增加 ,观察反例点如何随你选择的有限范围一起移动。这个游戏展示某些具体覆盖;空间紧不紧,最终仍由定义中的“每一个”决定。
这里值得看一次完整证明。设 是 的任意相对开覆盖。 时挑一个包含这个点的成员即可,下面设 。
令 收集所有能用有限个原覆盖成员盖住 的 。包含 的某个开集还包含一小段 ,所以 非空,且有元素大于 。设 ,于是 。
取覆盖中含 的成员 。相对开性给出 ,使
由上确界的性质,可以找到 ,满足 。已有有限个成员盖住 ,再加入 ,就盖住 。因此 本身也能到达。
若 ,同一组有限成员还会盖住某个更长的 ,其中 。这与 是上界矛盾。所以 ,有限子覆盖找到了。
证明没有预先知道需要多少个成员。它利用开性,让“已经能盖到的最远位置”还能向前推进;实数的上确界性质则保证这个最远位置有意义。
紧空间的闭子空间仍然紧。设 在紧空间 中闭。把 的相对开覆盖写成 ,其中 在 中开。加入 ,得到 的开覆盖。选出有限子覆盖后,把 去掉,剩下的原成员仍盖住 ,因为被去掉的集合本来就不含 中的点。

闭这个条件不能省。 是紧空间 的子集,却刚刚被证明不紧。
紧空间的连续像紧。设 连续, 紧。用 中的开集 覆盖 ,则 是 的开覆盖。有限选出逆像后,对任意 ,取 使 ;这个 落在某个选中的逆像里,于是 落在相应的 中。所选的有限个 就覆盖了 。

这里从未要求连续映射把开集送到开集。证明中真正使用的是逆像。这也是前一章商映射能发挥作用的地方:闭区间的商空间是它的连续像,所以紧。
还有一个方向需要环境能把两点分开。若任意不同的 都有互不相交的开邻域,空间称为 Hausdorff 空间。度量空间满足这个条件:取半径小于 的两个开球即可。分离公理的一般讨论放在第 7 章,这里只用这一条。
Hausdorff 空间中的紧子集闭。设 紧, 为 Hausdorff,取 。对每个 ,找不交开集 、。由紧致性,有限个 覆盖 。令
是 的开邻域, 包含 ,且 。于是每个外部点都有避开 的开邻域, 开, 闭。若 为空,结论直接成立。

注意环境 只需 Hausdorff,不必紧。也不能删掉 Hausdorff:两点平凡空间里的单点集紧,却不闭。
这给出一个很省力的同胚判据:紧空间到 Hausdorff 空间的连续双射是同胚。若 满足这些条件, 的闭集 紧, 紧,进而在 中闭。所以 把闭集送到闭集,这正是逆映射连续的闭集判据。第 4 章的端点粘合空间到平面圆周的连续双射,现在也有了这个独立证明。
设 紧, 开,且包含整条切片 。管状引理断言:存在 的开邻域 ,使
为什么能把每个高度不同的局部宽度,变成整条切片共同的宽度?
对每个 ,由积拓扑的基,选择开矩形 ,使 。每个矩形只照顾一小段切片。
如果 不紧,局部宽度可能一路缩到零。取 、,在 中考虑开集
它含整条 。假设存在开邻域 使 ,则 含某个 ;缩小后可设 。但 在这条管里,且 ,所以不在 中,矛盾。
实验的紧切片由三个固定开矩形照顾。把管半宽调到 ,再超过它,找出哪个高度先失守。随后去掉中间矩形,检查这时连切片本身是否盖住了。切换到非紧切片,试着缩小宽度:反例会继续靠近零,无法被一个正宽度彻底排除。
管状引理把有限积的证明整理得很清楚。设 都紧,给 任意开覆盖。固定 ,切片 与 同胚,能由有限个原覆盖成员盖住;它们的并是开集 。管状引理给出 。这些 又覆盖 ,再由 紧选有限个 。合并各自对应的有限组原覆盖成员,就得到全积空间的有限子覆盖。归纳可得任意有限积紧。
一族闭集具有有限交性质,是指任意有限子族的交都非空。这里把空子族的交约定为空间 。紧致性等价于:每一族具有有限交性质的闭集,其全体交也非空。

若全体交为空,补集族就是开覆盖。紧致性给出有限子覆盖;再取补集,就得到某个有限闭集交为空,与条件矛盾。
反过来,若某个开覆盖没有有限子覆盖,取其成员的补集。任意有限个补集的交都非空,否则相应有限个开集已经覆盖;但全体补集的交为空。这与闭集版本矛盾。两个方向都只用到了德摩根律,却把“覆盖整个空间”换成了“共同留下一个点”。
例如在紧空间中,一列嵌套的非空闭集 必有共同点:任意有限交等于其中下标最大的那个,仍非空。若换成非紧空间 ,闭集 就给出全体交为空的反例。
1. 闭且有界从哪里来。证明 的子集紧,当且仅当它在 中闭且有界。说明这里为什么不能把 换成任意度量空间。
2. 最大值不是只靠有界。设 非空且紧, 连续。证明 取得最大值和最小值。
3. 一个无限而紧的空间。证明无限集合的余有限拓扑是紧的。
4. 紧的直积与它的因子。设 非空,且 紧。证明两个因子都紧,并解释非空条件的作用。
覆盖紧空间 ,所以有限个 就够了。取 。有限交仍开,而且仍含 。
任取 。某个 包含 ,而 ,所以 。这就证明整条管都在 里。
若 闭且有界,它包含于某个闭立方体 。闭区间紧,有限积紧,所以这个立方体紧; 是它的闭子集,因此紧。
任意度量空间中的“闭且有界”未必足够。给无限集合离散度量 (),整个空间闭且有界,但单点开覆盖没有有限子覆盖。