实直线闭集:序列判据与开补集
在通常的经典集合论背景下讨论实直线,并允许可数次见证选择。集合 为开集,是指每个 属于 都有某个 ,使 包含于 。使用阿基米德性质的推论: 趋于零。对任意实直线子集 ,下列条件等价:
- 中任意在实直线上收敛的序列,其极限仍属于 。
- 的补集为开集。
由 2 推出 1。 设 属于 且 趋于 。若 不属于 ,补集的开放性给出 ,使 与 不相交。收敛性保证充分靠后时 ,与 属于 矛盾,故 属于 。
由 1 推出 2。 固定不属于 的 。若以 为中心的每个正半径区间都遇到 ,则对每个正整数 ,都有 属于 且 。将这些见证选成一个序列。给定 ,取 使 ;当 ,有 ,故 趋于 。条件 1 会迫使 属于 ,矛盾。因此 周围存在避开 的区间。对补集每点均如此,故补集开放。选择见证序列这一步使用已声明的经典背景;这里不声称在不带选择的基础体系中证明同一结论。若 为空,其中没有序列,其补集为整个开实直线;若 为整个实直线,其空补集的开放性真空成立。两种边界情形也满足等价关系。
学习目标与定义
集合 称为紧致的,如果任意一族开集只要其并包含 ,就存在有限个成员仍覆盖 。集合若包含其点构成的每个收敛序列的极限,则称为闭集;等价地,其补集是开集。序列紧致性指 中每个序列都有收敛到 中某点的子列。
空集是紧致、闭且有界的,也满足序列紧致性;这些性质均以空真方式成立。在需要选取点或无穷序列的证明中,要单独处理空集。我们使用先前数列内容中的实数完备性及其闭区间套和 Bolzano–Weierstrass 推论。
定理:实数直线上的 Heine–Borel 定理
对 ,下列条件等价:开覆盖意义下的紧致性;闭且有界;序列紧致性。
紧致推出闭且有界。 区间 ()覆盖 ,因而覆盖 。有限子覆盖给出一个界。为证明闭性,取 。对每个 ,区间 不含 。取其中覆盖 的有限子族,令 为这些区间中心到 的正距离的一半所组成的有限集合的最小值。所选以 为中心的区间内每点到 的距离严格大于 。因此 与 不相交,因此对每个集合外的点,都找到不与集合相交的开邻域,补集是开集。若 为空,结论立即成立。
闭且有界推出紧致。 将非空的 放入闭有界区间 。假设 的某个开覆盖不存在有限子覆盖。将 二等分;至少一个闭半区间与 的交集不能被有限覆盖,否则两组有限覆盖合起来便覆盖 。选取这样的半区间并重复,得到长度趋于零的闭区间套 ,且 不能被有限覆盖。每个交集非空,选取 。闭区间套性质给出唯一公共点 ;因两者均在 中,故 。由闭性得 。覆盖中某个成员 含 ;由其开放性, 包含以 为中心的某个开球。当 足够大时,整个区间 均在该球内,于是单个开集 就覆盖 ,矛盾。
闭且有界推出序列紧致。 中每个序列有界,故 Bolzano–Weierstrass 定理给出收敛子列。由闭性,其极限仍在 中。
序列紧致推出闭且有界。 若无界,可选取 ,使 ;它没有收敛到有限实数的子列,矛盾。若 是 中点的极限,则可选取 使 。由序列紧致性,某子列收敛到 中一点;它也收敛到 ,由实数极限唯一性得 。因此 是闭集,所有蕴涵均已证明。
推论与例子
给定尺度下的有限近似。 对任意 ,以紧集 中各点为中心的开球 构成开覆盖。有限子覆盖提供有限个样本中心,使每个点到其中一个中心的距离小于 。这样的有限集称为 -网。每个尺度都存在有限网,称为全有界;仅凭全有界并不能断定集合是闭的。
连续像是紧集。 若 连续且开集族 覆盖 ,则相对原像 覆盖 且为相对开集。把每个相对原像写成 ,其中 在 中开。由紧致性,有限多个 覆盖 ,对应的 覆盖像集。因此 紧致。若 非空,其紧致像闭且有界,故上下确界属于该像,得到极值定理。
为什么仅有界不够。 开覆盖 覆盖 ,但任何有限子族的左端点都有正的最小值,因而漏掉更小的正点。此集合有界,甚至全有界,却不是紧集,因为它缺少极限点零。
分级练习
- 基础。 、、 和 中哪些是 中的紧集?
- 核心。 给出 的一个没有有限子覆盖的开覆盖。
- 核心。 证明紧集的闭子集仍是紧集。
- 证明。 设 紧致、,且 非空,证明 。说明为什么不要求紧致、仅要求闭性已足以得到正下界,而用极小化序列证明时仍可能需要额外说明有界性。
完整解答
- 第一个和第四个集合闭且有界,因而紧致。第二个不是闭集,因为 且极限不在该集合中。整数集闭但无界,因而不紧。
- 嵌套开区间 覆盖整条实线;任意有限族都包含在其中最大的一个区间内,因而漏掉充分大的实数。
- 若 在 中闭,则因 有界而有界;由闭性及 Heine–Borel 定理,前者紧致。若子集相对闭,则写成 ,其中 闭,再用同一论证。
- 映射 的连续性保证它在非空紧集 上取得最小值。若最小值为零,必有 ,矛盾,故该最小值为正。更一般地,若 闭且 ,其补集开放,直接给出与 不相交的正半径开球,得到同样的正下界。极小化序列的论证须说明序列有界,不能把无界闭集当作紧集。这里,充分靠后时 ,其中 ,故 。其收敛子列的极限属于 ,并在该点取得距离 。
总结与术语
开覆盖是一族开集,其并包含给定集合;有限子覆盖由其中有限个成员组成,仍覆盖该集合。序列紧致性要求子列极限留在集合内。-网是在一个距离尺度下的有限近似。紧致与闭且有界的等价性是有限维欧氏空间的特殊性质,并非所有空间中紧致性的普遍定义。