紧空间
在数学中,如果欧几里得空间 Rn 的子集是閉集合且是有界的,那么称它是的。例如,在R中,单位区间[0, 1]是紧致的,但整数集合Z不是(它不是有界的),半开区间[0, 1)也不是(它不是闭合的)。
更现代的方式是称一个拓扑空间为紧致的,如果所有它的开覆盖都有有限子覆盖。海涅-博雷尔定理证明了这个定义对欧几里得空间子集等价于“閉集且有界”。
注意:某些作者如布尔巴基使用术语“预紧致”,并把“紧致”保留给是豪斯多夫空间并且“预紧致”的拓扑空间。一个单一的紧致集合有时称为紧统(compactum)。在法語的數學著作中,quasi-compact是指緊緻,compact是指緊緻且豪斯多夫,不同於英語。[1]
历史和动机
术语“紧致”是莫里斯·弗雷歇在1906年介入的。
很久以来就认识到了像紧致性这样的性质对于证明很多有用的定理是必需的。最初“紧致”意味着“序列紧致”(所有序列都有收敛子序列)。这是在研究主要的度量空间的时候。“覆盖紧致”定义已经变得更加突出,因为它允许我们考虑更一般的拓扑空间,并且关于度量空间的很多已有结果可以推广到这种设置。这种推广在研究函数空间的时候特别有用,它们很多都不是度量空间。
研究紧致空间的主要原因之一是因为它们以某种方式类似于有限集合:有很多结果易于对有限集合证明,其证明可以通过极小的变动就转移到紧致空间上。常说“紧致性是在有限性之后最好的事情”。例如:
- 假设X是豪斯多夫空间,我们有一个X中的点x和不包含x的X的有限子集A。则我们可以通过邻域来分离x和A:对于每个A中的a,设U(x)和 V(a)分别是包含x和a的不相交的邻域系统。则所有U(x)的交集和所有V(a)的并集就是要求的x和A的邻域。
注意如果A是无限的,则证明失败,因为任意多个x的邻域的交集可能不是x的邻域。但这个证明是可以挽救的,如果A是紧致的:我们可以简单的选取A的覆盖{V(a)}的有限子覆盖。在这种方式下,我们看到在豪斯多夫空间中,任何点都可以通过不包含它的任何紧致集合的邻域来分离。事实上,重复这个论证证明了在豪斯多夫空间中任何两个不相交紧致集合可以通过领域来分离 -- 注意这正好就是我们在豪斯多夫分离公理中把“点”(就是单元素集合)替代为“紧致集合”所得到的。涉及紧致空间的很多论证和结果都服从这个模式。
在度量空间中,所有的有限集都有最大与最小元素。一般而言,无限集可能不存在最大或最小元素(比如R中的(0, 1)),但R中的非空紧子集都有最大和最小元素。在很多情况下,对有限集成立的证明可以扩展到紧集。一个简单的例子是对以下性质的证明:定义在紧集上的连续实值函数是一致连续的。
定义
欧几里得空间中的紧致性
- 所有开覆盖都有有限子覆盖。这是最常用的定义。
- 所有在这个集合中的序列都有收敛子序列,它的极限点属于这个集合。
- 这个集合的所有无限子集有在这个集合中的聚集点。
- 这个集合是闭合与有界的。这是最容易验证的定义,例如闭区间或闭n维球。
在其他空间中,这些条件等价与否依赖于这个空间的性质。
注意尽管紧致性是集合自身(和它的拓扑)的性质,闭合性是相对于它所在的空间的;上面的“闭合”是在闭合于Rn中的意义上使用的。比如闭合在Qn中的集合典型的不闭合在Rn中,因此不是紧致的。
拓扑空间中的紧致性
上段中的“有限子覆盖”性质要比“閉集与有界”更加抽象,但是它在用于 Rn 的子集的子空间拓扑时有明显的好处,省去了使用度量或周围(ambient)空间的需要。因此紧致性是个拓扑性质。闭区间[0,1]在某种意义上是本质上紧致性的,不论它是如何嵌入R或Rn中的。
拓扑空间 X 被定义为紧致的,如果它的所有开覆盖都有至少一个有限的子覆盖。也就是說:
- X 是緊緻的,如果对于任意一个由 X 的開子集构成的集合族 C,使得
- 总存在一个 C 的有限子集 F,使得
-
其他緊緻的等價定義利用了有限交集性质,如果拓樸空間 X 滿足下面這條件則 X 為緊緻空間:如果 為 X 中任意一個閉子集的集族 且满足有限交集性质,則集族 中所有元素的交集為非空集合。[2]。这个定义对偶于使用开集的定义。
某些作者要求紧致空间还是豪斯多夫的,并把非豪斯多夫的紧致性叫做预紧致。
性质
紧集具有以下性质:
其他形式的紧致性
- 列紧集:每個有界序列都有收歛的子序列。
- 可数紧集:每個可數的開覆蓋都有一個有限的子覆蓋。
- 伪紧:所有的實值連續函數都是有界的。
- 弱可數緊緻:每個無窮子集都有極限點。
在度量空间中,以上概念均等价于紧集。
以下概念通常弱于紧集:
注解
- François Guénard, Gilbert Lelièvre. (PDF). ENS Fontenay. 1985: 24.
- A space is compact if and only if the space has the finite intersection property on PlanetMath
引用
- H.L. Royden Real Analysis(1988)Pearson Education, Inc. Delhi, India, ISBN 978-81-297-0105-3
- 张恭庆,林源渠,《泛函分析讲义》(1987)北京大学出版社,ISBN 978-7-301-00489-0
- Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology(1978)Springer-Verlag, New York
- Countably compact on PlanetMath