紧空间
在数学中，如果欧几里得空间 R"n" 的子集是闭集合且是有界的，那么称它是-{A|紧致;紧致的。例如，在R中，单位区间[0, 1]是紧致的，但整数集合Z不是（它不是有界的），半开区间[0, 1)也不是（它不是闭合的）。
另一个定义方式是如果对于一个度量空间的所有开覆盖，都可以找到有限的子覆盖，则称此度量空间是紧致的。根据海涅-博雷尔定理，这个定义在欧几里得空间中等价于“闭集且有界”。
注意：某些作者如布尔巴基使用术语“预紧致”，并把“紧致”保留给是豪斯多夫空间并且“预紧致”的拓扑空间。一个单一的紧致集合有时称为紧统（compactum）。在法语的数学著作中，quasi-compact是指紧致，compact是指紧致且豪斯多夫，不同于英语。
历史和动机.
术语“紧致”是莫里斯·弗雷歇在1906年介入的。
很久以来就认识到了像紧致性这样的性质对于证明很多有用的定理是必需的。最初“紧致”意味着“序列紧致”（所有序列都有收敛子序列）。这是在研究主要的度量空间的时候。“覆盖紧致”定义已经变得更加突出，因为它允许我们考虑更一般的拓扑空间，并且关于度量空间的很多已有结果可以推广到这种设置。这种推广在研究函数空间的时候特别有用，它们很多都不是度量空间。
研究紧致空间的主要原因之一是因为它们以某种方式类似于有限集合：有很多结果易于对有限集合证明，其证明可以通过极小的变动就转移到紧致空间上。常说“紧致性是在有限性之后最好的事情”。例如：
注意如果"A"是无限的，则证明失败，因为任意多个"x"的邻域的交集可能不是"x"的邻域。但这个证明是可以挽救的，如果"A"是紧致的：我们可以简单的选取"A"的覆盖{"V"("a")}的有限子覆盖。在这种方式下，我们看到在豪斯多夫空间中，任何点都可以通过不包含它的任何紧致集合的邻域来分离。事实上，重复这个论证证明了在豪斯多夫空间中任何两个不相交紧致集合可以通过领域来分离 -- 注意这正好就是我们在豪斯多夫分离公理中把“点”（就是单元素集合）替代为“紧致集合”所得到的。涉及紧致空间的很多论证和结果都服从这个模式。
在度量空间中，所有的有限集都有最大与最小元素。一般而言，无限集可能不存在最大或最小元素（比如"R"中的(0, 1)），但"R"中的非空紧子集都有最大和最小元素。在很多情况下，对有限集成立的证明可以扩展到紧致集。一个简单的例子是对以下性质的证明：定义在紧致集上的连续实值函数是一致连续的。
定义.
欧几里得空间中的紧致性.
对于欧几里得空间R"n"的子集，下列四个条件是等价的：
在其他空间中，这些条件等价与否依赖于这个空间的性质。
注意尽管紧致性是集合自身（和它的拓扑）的性质，闭合性是相对于它所在的空间的；上面的“闭合”是在闭合于R"n"中的意义上使用的。比如闭合在Q"n"中的集合典型的不闭合在R"n"中，因此不是紧致的。
拓扑空间中的紧致性.
上段中的“有限子覆盖”性质要比“闭集与有界”更加抽象，但是它在用于 R"n" 的子集的子空间拓扑时有明显的好处，省去了使用度量或周围（ambient）空间的需要。因此紧致性是个拓扑性质。闭区间[0,1]在某种意义上是本质上紧致性的，不论它是如何嵌入R或R"n"中的。
拓扑空间 X 被定义为紧致的，如果它的所有开覆盖都有至少一个有限的子覆盖。也就是说：
X 是紧致的，如果对于任意一个由 X 的开子集构成的集合族 C，使得
formula_1
总存在一个 C 的有限子集 F，使得
formula_2
其他紧致的等价定义利用了有限交集性质，如果拓朴空间 X 满足下面这条件则 X 为紧致空间：如果 formula_3 为 X 中任意一个闭子集的集族 且满足有限交集性质，则集族 formula_3 中所有元素的交集为非空集合。。这个定义对偶于使用开集的定义。
某些作者要求紧致空间还是豪斯多夫的，并把非豪斯多夫的紧致性叫做预紧致。
度量空间中的紧致性.
在度量空间内，紧致集可以定义为满足以下任一条件的集合：
性质.
紧致集具有以下性质：
其他形式的紧致性.
在度量空间中，以上概念均等价于紧致集。
以下概念通常弱于紧致集：
生成维基百科快照图片，大概需要3-30秒！
如果网站内容有侵犯您的版权
请联系：pinbor@iissy.com
请联系：pinbor@iissy.com
Copyright ©2014 iissy.com, All Rights Reserved.