贡献者: DTSIo; Giacomo
1. 紧致性的概念
紧致性(compactness)是一个重要的拓扑概念。在分析学中,它首次出现于对定义在实数集子集上函数的研究中。我们试着举一些例子来说明紧致性是怎样一个概念。
从逻辑上说,我们还没有引入连续函数这一概念,但这并不妨碍我们从直观上去理解它。直观上讲,对于点集 上的函数 , 如果当 越来越接近 时,函数值 也会越来越接近 在 处的值 , 那么就可以认为它在点 处是"连续"的。说 在 上连续,也就是它在 的每一点处都连续。
显然连续性是一个局部性质:函数在一点处是否连续,只跟它在这一点的某个邻域里的行为有关。对于一般的集合 , 从其上函数的局部性质是无法推出整体性质的。例如,在开区间 上,
- 函数 是连续的,但它在 时无界;
- 函数 连续且有界,但却达不到它的最大和最小值,例如当 时 , 但它却取不到 值;
- 函数 连续且有界,但在 时震荡得越来越厉害,根本没有极限。
归根结蒂,这些"不好"的整体性质,都来自于定义域 的某种"不好的性质": 由于 本身不属于开区间 , 所以没办法用 的邻域去覆盖到接近 的那些点。当 越来越接近端点时,就只好用 的越来越小的邻域去作为看待局部性质的标尺了。如果在开区间 内部来看,当 时,它实际上是不会接近任何一点的(它的极限跑出了定义域的范围). 换句话说,我们没法找到一个一致(uniform)的标尺去衡量定义域 上的局部性质。这时就说它缺乏紧致性。
在上面这个例子中,给开区间 补上端点就足够解决很多问题,例如保证连续函数都有界,都能达到最大和最小值,而且不会"过分地震荡", 也就是说,函数在不同的点处连续的"程度"都一样。但在更贴近实际应用的复杂场景中,紧致性的缺失可能会造成一些意料之外的后果。有一个简单的例子可以说明这一点(它属于魏尔斯特拉斯): 给定平面上不共线的三点,则过这三点的曲线长度的最小值是由折线段达到的; 如果一定要求曲线不能有不光滑的角点,那么寻找长度最小值的问题就无解。当然,可以造出光滑的曲线段使之逐渐逼近有角点的折线,但这样得到的"极限构型"却跑出了光滑曲线的类。由此所生发出的弱紧性(weak compactness)概念在现代分析学和微分方程理论中是非常基本的。
2. 定义与例子
设 是实数集的子集。
定义 1 开覆盖
集合 的一个开覆盖(open cover)是指一族开集 , 使得这些开集的并集包含 .
例 1 开覆盖的例子
开区间的族 组成 的开覆盖。它是一个可数的覆盖。
以某种方式给有理数集的全体进行编号。开区间的族 组成有理数集的开覆盖。它是一个可数的覆盖。
开区间 组成了闭区间 的开覆盖。这是一个有限的覆盖。
定义 2 紧集
集合 称作是紧致的(compact), 如果它的任何开覆盖 中都存在有限多个开集 , 使得这有限个开集仍旧组成 的开覆盖。
例 2 例子
实数集的有限子集当然是紧集。
开区间 不是紧集。例如,开集族 组成了开区间 的开覆盖。但如果仅限于从中选出 个开区间,那么它们的并集显然不能覆盖到特别接近 的点。所以这个开集族没有有限的子覆盖。类似地,实数集中的开集都不是紧集。
但任何闭区间 都是紧集。设 是闭区间 的开覆盖。如果它没有有限子覆盖,那么将区间 从中二分之后,至少有一半不能被有限个开集覆盖。将这一半记为 , 继续二分,则至少又有一半不能被有限个开集覆盖。将这一半记为 . 如此续行即得到一个长度减半的闭区间套 . 如果写 , 那么 是单调递增的序列, 是单调递减的序列。按照实数集的完备公理,有一个实数 介于集合 和 之间: 对于一切 都成立。于是 , 从而属于某个开集 . 闭区间套 显然缩至 , 而这意味着有某个 能够被 这单个开集覆盖,这与当初 的选取方式相违背。
习题 1 开区间与闭区间的区别
如果把论证中的闭区间 改为开区间 , 那么问题会出在哪里?提示:按照上述方式构造的区间套可能会缩至端点。
习题 2 可数覆盖性质
设 . 如果 是 的开覆盖,那么总可以从中选出至多可数无穷多个开集,使之仍旧组成 的开覆盖。提示: 包含可数无穷的稠密子集,其中每一点都属于某个 .
简单地说,紧集就是具有"有限覆盖性质"的点集。乍一看这不好理解,但实际上,如果把开集理解为某点的邻域,那么集合 总能被有限多个开集覆盖即说明:可以找到一个一致的标尺把 的所有局部性质都统一起来。关于这一点的详细解释,可以参考后续文章连续函数的性质, 这里进行一点简单的说明:如果函数 是连续的,那么给定一个误差 之后,对于任何 都可找到它的邻域 , 使得当 时函数值 与 的误差小于 . 邻域 显然组成 的开覆盖,而如果 是紧集,那么从中便可选出有限个开集,使得函数 在这些开集上的振幅都可用 控制。这就显示出集合 本身的某种整体性质了。
3. 紧集的性质
紧集有一系列很好的拓扑性质。这其中的第一个正是上一小节例子中闭区间套的抽象版本:闭集套性质(property of nested closed sets):
定理 1 闭集套
集合 是紧致的,当且仅当下述命题成立:如果 是一族在 中闭的子集,而且其中任意有限个的交集都非空,那么交集 本身非空。
证明是直接的:交集 为空等价于集族 组成 的开覆盖,所以上述定理其实就是紧致性定义的逆否命题。
定理 2 收敛子序列
集合 是紧致的,当且仅当其中的每个序列都有收敛的子序列,其极限仍旧落在 中。
证明。 设 是紧集。设 是一个序列; 不妨假定 是无穷集,而这个序列本身也是没有重复的无穷集。如果 不是它的子列极限,那么总有一个邻域 使得这序列只有有限多元素落在里面。假定每个 都不是它的子列极限,那么这样构造的 显然组成 的开覆盖。它的有限子覆盖只能包含 中的有限多个元素,与最初它是无穷集的预设违背。
反过来,设 中的每个序列都有收敛到 中某元素的子序列。设 是 的开覆盖,但却没有有限的子覆盖。可以选出其中可数个开集组成可数开覆盖 . 按照假定它没有有限子覆盖,于是对于任何 , 补集 都非空,即其中有元素 . 序列 有收敛子序列,不妨设这子序列是 , 极限是 . 按假定 属于某个 , 于是从某项开始子序列 也包含于 . 这同序列 的构造相矛盾。证毕。
这个证明的前半部分单独抽取出来,就是波尔查诺-魏尔斯特拉斯定理(Bolzano-Weierstrass theorem):
定理 3 波尔查诺-魏尔斯特拉斯定理
实数集中有界的无穷序列必然包含收敛的子序列。实际上,有界的序列包含于某闭区间中,而应用闭区间的紧致性即可得到结论。
作为重要的推论,有:
定理 4
集合 是紧致的,当且仅当它是有界的闭集。
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。