紧空间

数学中,如果欧几里得空间 Rn子集闭集合且是有界的,那么称它是紧致的。例如,在R中,单位区间[0, 1]是紧致的,但整数集合Z不是(它不是有界的),半开区间[0, 1)也不是(它不是闭合的)。

另一个定义方式是如果对于一个度量空间的所有开覆盖,都可以找到有限的子覆盖,则称此度量空间紧致的。根据海涅-博雷尔定理,这个定义在欧几里得空间中等价于“闭集且有界”。

注意:某些作者如布尔巴基使用术语“预紧致”,并把“紧致”保留给是豪斯多夫空间并且“预紧致”的拓扑空间。一个单一的紧致集合有时称为紧统(compactum)。在法语的数学著作中,quasi-compact是指紧致,compact是指紧致且豪斯多夫,不同于英语。[1]

历史和动机

术语“紧致”是莫里斯·弗雷歇在1906年介入的。

很久以来就认识到了像紧致性这样的性质对于证明很多有用的定理是必需的。最初“紧致”意味着“序列紧致”(所有序列都有收敛子序列)。这是在研究主要的度量空间的时候。“覆盖紧致”定义已经变得更加突出,因为它允许我们考虑更一般的拓扑空间,并且关于度量空间的很多已有结果可以推广到这种设置。这种推广在研究函数空间的时候特别有用,它们很多都不是度量空间。

研究紧致空间的主要原因之一是因为它们以某种方式类似于有限集合:有很多结果易于对有限集合证明,其证明可以通过极小的变动就转移到紧致空间上。常说“紧致性是在有限性之后最好的事情”。例如:

  • 假设X豪斯多夫空间,我们有一个X中的点x和不包含xX的有限子集A。则我们可以通过邻域分离xA:对于每个A中的a,设U(x)和 V(a)分别是包含xa的不相交的邻域系统。则所有U(x)的交集和所有V(a)的并集就是要求的xA的邻域。

注意如果A无限的,则证明失败,因为任意多个x的邻域的交集可能不是x的邻域。但这个证明是可以挽救的,如果A是紧致的:我们可以简单的选取A的覆盖{V(a)}的有限子覆盖。在这种方式下,我们看到在豪斯多夫空间中,任何点都可以通过不包含它的任何紧致集合的邻域来分离。事实上,重复这个论证证明了在豪斯多夫空间中任何两个不相交紧致集合可以通过领域来分离 -- 注意这正好就是我们在豪斯多夫分离公理中把“点”(就是单元素集合)替代为“紧致集合”所得到的。涉及紧致空间的很多论证和结果都服从这个模式。

在度量空间中,所有的有限集都有最大与最小元素。一般而言,无限集可能不存在最大或最小元素(比如R中的(0, 1)),但R中的非空紧子集都有最大和最小元素。在很多情况下,对有限集成立的证明可以扩展到紧致集。一个简单的例子是对以下性质的证明:定义在紧致集上的连续实值函数是一致连续的。

定义

欧几里得空间中的紧致性

对于欧几里得空间Rn子集,下列四个条件是等价的:

  • 所有开覆盖都有有限子覆盖。这是最常用的定义。
  • 所有在这个集合中的序列都有收敛子序列,且它的极限点属于这个集合。
  • 这个集合的所有无限子集有在这个集合中的聚集点
  • 这个集合是闭合有界的。这是最容易验证的定义,例如闭区间或闭n维球。

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

注意尽管紧致性是集合自身(和它的拓扑)的性质,闭合性是相对于它所在的空间的;上面的“闭合”是在闭合于Rn中的意义上使用的。比如闭合在Qn中的集合典型的不闭合在Rn中,因此不是紧致的。

拓扑空间中的紧致性

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

拓扑空间 X 被定义为紧致的,如果它的所有开覆盖都有至少一个有限的子覆盖。也就是说:

X 是紧致的,如果对于任意一个由 X 的开子集构成的集合族 C,使得
 
总存在一个 C有限子集 F,使得
 

其他紧致的等价定义利用了有限交集性质,如果拓朴空间 X 满足下面这条件则 X 为紧致空间:如果  X 中任意一个闭子集的集族 且满足有限交集性质,则集族   中所有元素的交集为非空集合。[2]。这个定义对偶于使用开集的定义。

某些作者要求紧致空间还是豪斯多夫的,并把非豪斯多夫的紧致性叫做预紧致


度量空间中的紧致性

度量空间内,紧致集可以定义为满足以下任一条件的集合

  • 任意序列收敛子序列且该子序列的极限点属于该集合(自列紧致集)。
  • 如果它的所有开覆盖都有至少一个有限的子覆盖。
  • 完备完全有界

性质

紧致集具有以下性质:

其他形式的紧致性

  • 列紧致集:每个序列都有收敛的子序列。
  • 可数紧致集:每个可数的开覆盖都有一个有限的子覆盖。
  • 伪紧:所有的实值连续函数都是有界的。
  • 弱可数紧致:每个无穷子集都有极限点。

度量空间中,以上概念均等价于紧致集。

以下概念通常弱于紧致集:

  • 相对紧致:如果一个子空间Y在母空间X中的闭包是紧致的,则称Y是相对紧致于X
  • 预紧致集:若空间X的子空间Y中的所有序列都有一个收敛的子序列,则称YX中的预紧致集。
  • 局部紧致空间:如果空间中的每个点都有个由紧致邻域组成的局部基,则称这个空间是局部紧致空间。

注解

  1. ^ François Guénard, Gilbert Lelièvre. Compléments d'analyse, Volume 1, Topologie, première partie (PDF). ENS Fontenay. 1985: 24 [2014-01-02]. (原始内容存档 (PDF)于2016-03-04). 
  2. ^ a space is compact iff any family of closed sets having fip has non-empty intersection. PlanetMath. 

引用

  • H.L. Royden Real Analysis(1988)Pearson Education, Inc. Delhi, India, Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology(1978)Springer-Verlag, New York
  • Countably compact. PlanetMath. 

相关条目