《外文文献翻译(1)紧空间》毕业学术论文.docVIP

紧空间 紧性远不及连通性那样自然。从拓扑学的最初阶段人们就发现，实直线上闭区间具有一种特性，这种特性对证明诸如最大值定理和一致性连续性定理是十分重要的。但长时期里不知道怎样在任意拓扑空间中来描述这个特性，总是习惯于将它叙述成中任意无穷子集都有极限点这样一个十分重要的性质，并称之为紧性。后来数学家们才认识到这种提法没有涉及事物的本质。不如借助空间的开覆盖，将它叙述成一个较强的形式更为恰当。后面这种提法就是我们现在统称的紧性。它不像前者那样自然或直观，在尚未正式使用它之前，我们需要熟悉某些术语。 定义 设为空间的一个子集族，如果的成员的并等于,则称覆盖，或称为的一个覆盖；如果的成员是的开子集，则称它是的开覆盖。 定义 若对的任一开覆盖，总包含着一个有限的子族，它也覆盖,则称空间是紧的。 实直线不是紧的，因为的开覆盖 并不包含覆盖的任何有限子族。 例2 的子空间 是紧的。给出的开覆盖，中总有一个成员包含0，那么集合除了有限多个点外，包含了所有其余点，对于的每个不在中的点可以选取的一个成员包含它，于是中这些成员连同集合一起组成的一个开覆盖的有限子族。 例3 任何一个仅含有限多个点的空间必然是紧的，因为此时任何开覆盖总是有限的。 区间不是紧的，因为开覆盖 就不包含覆盖的有限子族。同样的理由，区间也不是紧的。而区间是紧的，读者可能在分析中已经熟悉这个事实，但对一般的情形，我们还是要简单的证明一下。 一般总是要利用某些结果来判断已知空间是不是紧的。首先我们要证明几个一般性的定理，这将告诉我们如何从一个已知的紧空间去构造新的紧空间。后面我们再来证明一些具体空间的的紧性，这些空间包括实直线上所有的闭区间和 中所有闭子集。 我们先给出子空间紧性的一些结论。设是的一个子空间，是一个子集族，如果它的成员之并包含了，则称覆盖了. 引理1 设是的一个子空间，则是紧的当且仅当由的开集组成的的每一个覆盖，都包含一个覆盖的有子集族。 证明 假设是紧的，并且是由的开集所组成的的一个覆盖。那么族 是由中开集所构成的的一个覆盖，因此有一个有限子族 覆盖.于是就是的一个覆盖的子族。 反之，若题设条件成立，我们证明是紧的。设是中的开集构成的的一个覆盖，对于每一个，选取的开集使得 . 这样，族是由中开集构成的的一个覆盖。由题设，它有一个有限子族覆盖。于是{}是的一个覆盖的有限子族。 定理1 紧空间的每一个闭子集都是紧的。 证明 设是紧空间的一个闭子集。用的开集给出的覆盖，由加上一个开集而构成的一个开覆盖，即 . 这样就有的一个有限子族覆盖。如果这个子族含有集合,那么就去掉；如果没有，则不变动。由此得到的就是的一个覆盖的有限子族。 定理2 Hausdorff空间的每一个紧子集都是闭的。 证明 设是Hausdorff空间的一个紧子集。我们来证明是开的，从而是闭的。令为中的点，对于中每个点，由于是Hausdorff空间，可以分别作出和的不相交的领域和。这样，中的开集族就是的一个覆盖，于是就有族中有限多个成员覆盖.开集 包含，并且它与开集 不相交，是由的一些相应的领域取交构成的，因为，如果是中的一个点，则对某个，有，因此，从而. 这样，是的领域，并且与不相交,所以是开的。证毕。 在上面的证明过程中，我们得到一个很有用的结论，为了后面查找方便，我们把它列出来： 引理2 设是hausdorff空间的一个紧子集，不属于,则存在中不相交的开集和，分别包含和。 例5 一旦我们证明了中的区间是紧的，由定理1就可推出中任何闭子集都是紧的。另一方面，从定理2推出中区间和不可能是紧的（这是我们已经知道的），因为它们不是hausdorff空间中的闭集. 例6 在定理2中假设中hausdorff条件是必要的，比如，考虑实直线上有和全部有限集的余集所组成的拓扑，就这个拓扑而言，真子集中只有有限个才是闭的，读者可以验证中每一个子集都是紧的。 定理3 在连续映像之下紧空间的象是紧的。 证明 设:是连续的，是紧的，是中开集所构成的的开覆盖。则集族 是的一个覆盖，因为是连续的，这些集合都是中的开集。因此他们中有有限多个，比如说 覆盖.于是覆盖. 上述定理主要是用来构造同胚。 定理4 设:是连续的双射，若是紧的且是hausdorff空间，则是一个同胚。 证明 我们证明在映射下，中闭集的象是中的闭集。这就证明了映射的连续性。设为中闭集，则由定理1，是紧的。由定理3，是紧的，因为是hausdorff空间，由定理2知为中闭集。 定理5 有限多个紧空间的积是紧的。 证明 先证两个紧空间的积是紧的，再由归纳法对任意有限多个积加以证明。 第一步 设给定空间和，并且是紧的。又设是中的一点，是中包含“薄片”的开集。我们证明如下结论： 中存在的一个邻域,使得包含集