查看“紧空间”的源代码

在[[数学]]中，如果[[欧几里得空间]] '''R'''<sup>''n''</sup> 的[[子集]]是[[闭集|閉集合]]且是[[有界集合|有界]]的，那么称它是'''-{A|zh-hans:紧致;zh-hant:緊緻}-'''的。例如，在'''R'''中，[[单位区间]][0, 1]是紧致的，但[[整数]]集合'''Z'''不是（它不是有界的），半开区间<nowiki>[0, 1)</nowiki>也不是（它不是闭合的）。

更现代的方式是称一个[[拓扑空间]]为'''紧致'''的，如果所有它的[[开覆盖]]都有[[有限集合|有限]]子覆盖。[[海涅-博雷尔定理]]证明了这个定义对欧几里得空间子集等价于“閉集且有界”。

注意：某些作者如[[布尔巴基]]使用术语“'''预紧致'''”，并把“紧致”保留给是[[豪斯多夫空间]]并且“预紧致”的拓扑空间。一个单一的紧致集合有时称为'''紧统'''（compactum）。在法語的數學著作中，quasi-compact是指緊緻，compact是指緊緻且豪斯多夫，不同於英語。<ref>{{cite book|author=François Guénard,  Gilbert Lelièvre|title=Compléments d'analyse, Volume 1, Topologie, première partie|url=http://www.math.u-psud.fr/~guenard/Livres/Complements.pdf |publisher= ENS Fontenay|year= 1985|pages= 24}}</ref>

== 历史和动机 ==

术语“紧致”是[[莫里斯·弗雷歇]]在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''中的非空紧子集都有最大和最小元素。在很多情况下，对有限集成立的证明可以扩展到紧集。一个简单的例子是对以下性质的证明：定义在紧集上的连续实值函数是[[一致连续]]的。

==定义==
=== 欧几里得空间中的紧致性===
对于[[欧几里得空间]]'''R'''<sup>''n''</sup>的[[子集]]，下列四个条件是等价的：
* 所有[[开覆盖]]都有有限[[子覆盖]]。这是最常用的定义。
* 所有在这个集合中的[[序列]]都有[[收敛]]子序列，它的极限点属于这个集合。
* 这个集合的所有无限子集有在这个集合中[[聚集点]]。
* 这个集合是[[闭集|闭合]]与[[有界集合|有界]]的。这是最容易验证的定义，例如闭[[区间]]或闭''n''维球。

在其他空间中，这些条件等价与否依赖于这个空间的性质。

注意尽管紧致性是集合自身（和它的拓扑）的性质，闭合性是相对于它所在的空间的；上面的“闭合”是在闭合于'''R'''<sup>''n''</sup>中的意义上使用的。比如闭合在'''Q'''<sup>''n''</sup>中的集合典型的不闭合在'''R'''<sup>''n''</sup>中，因此不是紧致的。

=== 拓扑空间中的紧致性 ===
上段中的“有限子覆盖”性质要比“閉集与有界”更加抽象，但是它在用于 '''R'''<sup>''n''</sup> 的子集的[[子空间拓扑]]时有明显的好处，省去了使用度量或周围（ambient）空间的需要。因此紧致性是个[[拓扑性质]]。闭区间[0,1]在某种意义上是本质上紧致性的，不论它是如何嵌入'''R'''或'''R'''<sup>''n''</sup>中的。 

拓扑空间 {{mvar|X}} 被定义为紧致的，如果它的所有开覆盖都有至少一个有限的子覆盖。也就是說：
:{{mvar|X}} 是緊緻的，如果对于任意一个由 {{mvar|X}} 的開子集构成的[[集合族]] {{mvar|C}}，使得
:<math>X = \bigcup_{x \in C}x</math>
:总存在一个 {{mvar|C}} 的'''有限'''子集 {{mvar|F}}，使得
:<math>X = \bigcup_{x \in F}x</math>
::

其他緊緻的等價定義利用了[[有限交集性质]]，如果拓樸空間 {{mvar|X}} 滿足下面這條件則 {{mvar|X}} 為緊緻空間：如果 <math>\mathcal{C}</math> 為 {{mvar|X}} 中任意一個閉子集的[[集合族|集族]]  且满足[[有限交集性质]]，則集族 <math>\mathcal{C}</math> 中所有元素的交集為非空集合。<ref>{{planetmathref|id=4181|title=A space is compact if and only if the space has the finite intersection property}}</ref>。这个定义对偶于使用开集的定义。

某些作者要求紧致空间还是[[豪斯多夫空间|豪斯多夫]]的，并把非豪斯多夫的紧致性叫做'''预紧致'''。


===度量空间中的紧致性===
在[[度量空间]]内，'''紧集'''还可以定义为满足以下任一条件的[[集合]]：
* 任意[[序列]]有[[收敛]][[子序列]]且该子序列的[[极限点]]属于该集合（自列紧集）。
* 具备[[波尔查诺-魏尔施特拉斯定理|波尔查诺-魏尔施特拉斯]]性质。
* [[完备空间|完备]]且[[完全有界空间|完全有界]]。

==性质==
'''紧集'''具有以下性质：
* 紧集必然是[[有界集合|有界]]的[[闭集]]，但反之不一定成立。
* 紧集在[[连续]][[函数]]下的[[像]]仍是紧集。
* [[豪斯多夫空間]]的紧子集是[[闭集]]。
* 实数空间的非空紧子集有最大元素和最小元素。
* 在'''R'''<sup>''n''</sup>内，一个集合是紧集当且仅当它是[[闭集]]并且[[有界集合|有界]]。（[[海涅-博雷尔定理]]）
* 定义在紧集上的连续实值函数有界且有最大值和最小值。
* 定义在紧集上的连续实值函数[[一致连续]]。

==其他形式的紧致性==
* 列紧集：每個有界序列都有收歛的子序列。
* 可数紧集：每個可數的開覆蓋都有一個有限的子覆蓋。
* 伪紧：所有的實值連續函數都是有界的。
* 弱可數緊緻：每個無窮子集都有極限點。在[[度量空间]]中，以上概念均等价于紧集。

以下概念通常弱于紧集：
* 相對緊緻：如果一個子空間''Y''在母空間''X''中的閉包是緊緻的，則稱''Y''是相對緊緻於''X''。
* 预紧集：若空間''X''的子空間''Y''中的所有序列都有一個收歛的子序列，則稱''Y''是''X''中的预紧集。
* 局部緊緻空間：如果空間中的每個點都有個由緊緻[[鄰域]]組成的[[局部基]]，則稱這個空間是局部緊緻空間。

==注解==
{{reflist}}
==引用==
* 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 Steen|Lynn Arthur Steen]] and J. Arthur Seebach, Jr., ''[[Counterexamples in Topology]]''（1978）Springer-Verlag, New York
* {{planetmathref|id=1233|title=Countably compact}}

==相关条目==
* [[拓扑空间]]
* [[度量空间]]
* [[数学]]
* [[集合论]]

{{点集拓扑}}
[[Category:拓扑空间性质]]
[[Category:点集拓扑学|J]]