查看“︁紧空间”︁的源代码

在[[数学]]中，特別是[[點集拓撲學]]中，'''緊空間'''（{{lang-en|compact space}}）是對[[欧几里得空间]]<math>\mathbb{R}^n</math>中的[[有界集合|有界]][[闭集|閉集合]]的推廣。

欧几里得空间<math>\mathbb{R}^n</math>的所有有界閉集合是'''紧致'''的。例如，在<math>\mathbb{R}</math>中，单位[[区间]]<math>[0, 1]</math>是紧致的，但[[整数]]集合<math>\mathbb{Z}</math>不是（它不是有界的），半开区间<math>[0, 1)</math>也不是（它不是闭合的）。

廣義的定義是如果對於一个[[拓撲空間]]的所有[[开覆盖]]，都可以找到[[有限]]的子覆盖，則稱此拓撲空間是紧致的。<ref> {{Cite book | author = James R. Munkres | title = Topology (second edition) | location = United States of America | publisher = Pearson | date = 2017-03-10 | pages = 164| ISBN = 9780134689517 | language = en}} </ref> 根據[[海涅-博雷尔定理]]，欧几里得空间的子集緊緻當且僅當它「閉集且有界」。

注意：某些作者如[[布尔巴基]]使用术语“'''预紧致'''”，并把“紧致”保留给是[[豪斯多夫空间]]并且“预紧致”的拓扑空间。一个单一的紧致集合有时称为'''紧统'''（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|access-date= 2014-01-02|archive-date= 2016-03-04|archive-url= https://web.archive.org/web/20160304031154/http://www.math.u-psud.fr/~guenard/Livres/Complements.pdf|dead-url= no}}</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''中的非空紧子集都有最大和最小元素。在很多情况下，对有限集成立的证明可以扩展到緊緻集。一个简单的例子是对以下性质的证明：定义在緊緻集上的连续实值函数是[[一致连续]]的。

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

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

注意尽管紧致性是集合自身（和它的拓扑）的性质，闭合性是相对于它所在的空间的；上述「闭合」的定義為在<math>\mathbb{R}^n</math>中閉合。而在<math>\mathbb{Q}^n</math>中閉合的集合不在<math>\mathbb{R}^n</math>中閉合，因此一般不是紧致的。

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

拓扑空间<math>X</math>紧致的條件是它的所有开覆盖都有至少一个有限的子覆盖。也就是說：
:如果对于任意一个由<math>X</math>的開子集构成的[[集合族]]<math>\mathcal{C}</math>，使得
:<math>X = \bigcup_{x \in \mathcal{C} } x</math>
:总存在一个<math>\mathcal{C}</math>的'''有限'''子集<math>F</math>，使得
:<math>X = \bigcup_{x \in F}x</math>
:則<math>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 iff any family of closed sets having fip has non-empty intersection|urlname=aspaceiscompactiffanyfamilyofclosedsetshavingfiphasnonemptyintersection}}</ref>。这个定义对偶于使用开集的定义。

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


===度量空间中的紧致性===
在[[度量空间]]内，'''緊緻集'''可以定义为满足以下任一条件的[[集合 (数学)|集合]]：
* 任意[[序列]]有[[收敛]][[子序列]]且该子序列的[[极限点]]属于该集合（自列緊緻集）。
* 如果它的所有开覆盖都有至少一个有限的子覆盖。
* [[完备空间|完备]]且[[完全有界空间|完全有界]]。

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

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

以下概念通常弱于緊緻集：
* 相對緊緻：如果一個子空間''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|urlname=countablycompact}}

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

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