跳转到内容

一般拓扑/紧致空间

来自Wikibooks,开放世界的开放书籍

定义(紧致空间):

为一个拓扑空间。称为紧致当且仅当对于的每一个开覆盖,都存在一个有限子覆盖,也就是说,存在指标使得

定义(紧致子集):

为一个拓扑空间,且为一个子集。称为紧致当且仅当它关于由的拓扑在上诱导出的子空间拓扑意义下是紧致的。

命题(紧致集在连续映射下的像也是紧致的):

为拓扑空间,为一个紧致子集,且为一个连续函数。则的一个紧致子集。

证明: 为简化记号,定义 。设 的一个开覆盖,即根据子空间拓扑的定义,,其中 为合适的开集。

由于 ,

注意到 ,我们得到集合

构成关于其子空间拓扑的开覆盖;事实上,的连续性确保每个集合都是开集。由于是紧致的,可以选取一个由索引的有限子覆盖。令为任意元素。根据的定义,选取使得,然后使得。然后,因此

定义(真映射):

拓扑空间之间的函数称为真映射当且仅当对于每个紧致子集,其原像的一个紧致子集。

注意,真映射的复合仍然是真映射。

命题(紧致空间的闭子集是紧致的)

:

为一个紧致空间,并设 为闭集。则 为紧致集。

证明: 的一个开覆盖。根据 的子空间拓扑的定义,我们取,其中 中是开集;为了避免使用选择公理,我们可以用所有满足 的并集来替换。那么 的一个开覆盖由以下给出:

,

由于 是紧致的,我们可以从中提取出一个有限子覆盖。假设 是构成子覆盖的 中的集合。则

,

由于包含在整个子覆盖中,但这个子覆盖中唯一可能增加的集合可能是,这并不会改变是否被覆盖。因此,的一个开子覆盖。

定理(康托尔交集定理):

为一个拓扑空间,设为一个有向集,并设为一族非空集,这些集合同时是紧致的和闭合的,使得。则

.

证明:假设

.

注意 是紧致的,并且由于每个 都是闭集,其补集 是开集。此外,根据子空间拓扑的定义,集合 中是开集,并且根据德摩根定律 () 和交集对并集的分配律,我们得到 构成了 的一个开覆盖。根据 的紧致性,我们可以提取一个有限子覆盖 ,并且通过选择 ,我们得到 ,因为 ,因此,由于 ,也有 ,这产生了矛盾。

命题(紧致非空柯尔莫哥洛夫空间包含一个闭点)

:

为一个非空、紧致的 T0 空间。则 包含一个点 ,使得 中是闭集。

(在选择公理的条件下。)

证明: 的所有非空闭子集,按逆包含关系排序,满足佐恩引理的假设,因为闭集的任意交集是闭集且非空。因此,存在一个极小闭集 。假设 包含两个不同的点 。然后根据假设,选择一个包含一个点但不包含另一个点的开集 ,例如 。则

命题(豪斯多夫空间的紧致子集是闭集):

为一个豪斯多夫空间,且设 为紧致集。则 是闭集。

证明: 为任意给定的元素。对于每个,存在开集 使得 以及 。由于 是紧致的,在这些 中选择一个有限子覆盖;请注意,此步骤未使用选择公理,因为 在其整体上覆盖了;也就是说,我们在覆盖中包含的不仅是每个 的一个特定,而是所有这种形式的集合。然后设 并得到 不相交;事实上,它不能包含任何,其中。因此,

,即 开集。

反之,我们有

命题(紧集是闭集蕴含T1:

为一个拓扑空间,其中所有紧集都是闭集。则 是T1

证明: 的任何有限子集都是紧集,因此我们可以应用 T1 空间的刻画

命题(R1 空间是豪斯多夫空间当且仅当所有紧集都是闭集):

为一个R1 空间。则 是豪斯多夫空间当且仅当所有紧集都是闭集。

证明:一个方向是显然的,因为 豪斯多夫空间的紧子集是闭集。对于另一个方向,我们可以应用 豪斯多夫空间的R公理刻画,利用 是T1 的事实。

命题(豪斯多夫空间中紧集的交集是紧集):

为豪斯多夫空间 的紧子集。则

是紧集。

证明:由于 是豪斯多夫空间,所有 都是闭集。因此,给定集合是紧集 的闭子集,其中 是任意的。

命题(紧豪斯多夫空间是正规空间)

:

为一个紧致豪斯多夫空间。则 为正规空间。

证明: 的两个互不相交的闭子集。首先,我们注意到 是紧致的,因为紧致空间的闭子集是紧致的。然后令 为任意点。由于 是豪斯多夫空间,我们可以选择互不相交的开集,使得。由于 是紧致的,选择 的一个有限子覆盖。然后设置,并观察(如上一个命题的证明中) 的一个开子集,且与 不相交。然后注意到,由于 是紧致的,我们可以选择 的一个有限子覆盖。然后定义

并观察到,并且是开集且不相交。

定义(有限交集性质):

为一个拓扑空间。 具有**有限交集性质**当且仅当对于的所有闭子集族

,

都存在有限个指标集,使得

.

命题(紧致性等价于有限交集性质):

为一个拓扑空间。是紧致的当且仅当它满足有限交集性质。

证明: 是紧致的等价于断言:对于所有覆盖 的所有族 ,都存在一个有限子覆盖。这样的覆盖与族 通过如下方式一一对应,该族具有空交。

,其逆映射为

进一步注意,在这种对应关系下,开集族覆盖 当且仅当相应的闭集族具有空交;这是德摩根定律的结果。因此,每当我们具有有限交性质时,我们就可以将一个开覆盖转化为一个具有空交的闭集族,提取一个具有空交的有限子族,并反过来观察结果开覆盖(它是原始族的子覆盖)是有限的并且覆盖 ,如果我们有紧致性,则类似的论证也适用。

命题(从紧致空间到豪斯多夫空间的连续双射是同胚):

是一个紧致空间, 是一个豪斯多夫空间。假设 是一个连续的双射函数。则 是一个同胚。

(在选择公理的条件下。)

Proof: Let be given; we prove that is continuous at . Set and suppose that where is open. Note that for each , we may choose open neighbourhoods and such that , and . Consider the family of sets ; it forms an open cover of , so that we may extract a finite subcover (note that is needed, since it's the only set of the cover that contains ). Then set so that is an open neighbourhood of , and observe that , because if , then for a suitable , a contradiction since then .

命题(紧致集的有限并是紧致的):

是一个拓扑空间,并设 的紧致子集。则 的紧致子集。

证明: 的一个开覆盖。根据子空间拓扑的定义,这意味着 ,其中 中是开集,对所有 成立。注意,当定义 (其中 )时,我们得到 构成了 的一个开覆盖,因此我们可以从中提取一个有限子覆盖 。然后观察到

的一个开覆盖,因为每个 都被覆盖。

定义(局部紧致)

:

是一个拓扑空间。则被称为局部紧致当且仅当对于每个的每个开邻域,都存在的一个紧致邻域,使得

命题(到局部紧致豪斯多夫空间的真连续映射是闭映射):

是拓扑空间,其中是局部紧致的。设是一个连续且真函数。则实际上是闭映射。

Proof: Suppose that is closed, and set . Let , we are then to show that . Since is locally compact, pick a compact neighbourhood of . Since is proper and continuous, will be a compact set. Suppose that does not contain a point which is mapped via to . Since is Hausdorff, whenever , we find open neighbourhoods of and of such that . Therefore, the sets and are disjoint. Now the cover , where runs through all points of . Therefore, by compactness of , we may pick a finite subcover , and then , which contradicts the fact that .

定义(紧化):

是一个拓扑空间。的一个紧化是一个对,其中是一个紧致拓扑空间,并且是连续的,使得是一个嵌入,并且中是稠密的

通常,,并且是包含映射。

定义(亚历山德罗夫紧化):

是一个拓扑空间。亚历山德罗夫紧化定义为将一个形式符号添加到,即,并通过定义上的拓扑为以下集合的并集。

  1. 的拓扑
  2. 所有的闭且紧致子集的补集

命题(亚历山德罗夫紧化是良定的):

是一个拓扑空间,并设是其亚历山德罗夫紧化。则是一个紧致拓扑空间,如果本身不是紧致的,则连同包含映射一起,它给出了的一个紧化。

证明:首先,我们证明给定的拓扑确实是一个拓扑。显然, 是紧致且闭集。因此, 属于该拓扑, 也属于该拓扑,因为 是一个拓扑空间。然后,令 为开集。如果 的开子集,那么 也是开集。如果两者都是 中闭紧集 的补集,则

,

并且再次 是开集,因为两个闭集的并集是闭集,并且两个紧子集的并集是紧集

现在假设我们给定一个开集族 ,它们是 的开集,以及一个紧致闭集补集族 。则

,

并且如果,我们根据紧集的闭子集是紧集得出结论;如果,我们根据是一个拓扑空间得出结论。

现在注意到包含映射根据上拓扑的定义是其像上的同胚;它是连续的、开映射且双射的。然后假设不是紧集;我们断言中稠密。实际上,设中的任意开集。由于不是紧集,必须与相交。因此,中稠密

命题(局部紧豪斯多夫空间的亚历山德罗夫紧化是豪斯多夫空间)

:

是一个局部紧豪斯多夫空间。则亚历山德罗夫紧化 是豪斯多夫空间。

Proof: Let , ; as usual, we denote by the point that was added to in forming . Suppose first that neither nor are . Then and are separated by disjoint neighbourhoods because is Hausdorff. Suppose now wlog. that , then , so . Since is locally compact, pick a compact neighbourhood of . Since is a neighbourhood of , pick an open neighbourhood of . Set . Since is Hausdorff, is closed, so that are open neighbourhoods of that satisfy the requirements of the definition of a Hausdorff space.

  1. 为一个集合, 为一个拓扑空间,且 为一个函数。则 的一个紧致子集当且仅当存在 上的一个拓扑,使得 成为一个紧致拓扑空间。
  2. 为一个具有两个拓扑 的集合,关于这两个拓扑, 都是紧致的。证明 关于拓扑 也都是紧致的,其中后者表示 的最小上界拓扑,借用了格论中的记号。
    1. 为拓扑空间,且 为紧致集。证明 的一个紧致子集,其中后者赋予积拓扑。

    2. 为豪斯多夫空间,并假设是真映射且连续。在选择公理的条件下,证明是真映射。提示:首先证明,只需要证明的紧集的乘积的原像是紧的即可。
  3. 利用亚历山大子基定理证明提霍诺夫定理。
  4. 证明如果是一个紧致空间,且关于子空间拓扑是离散的,则是一个有限集。
  5. 是紧致空间,是一个集合,对于,设为一个函数。假设)承载最终拓扑。证明是紧致的当且仅当中是余有限的。
  6. 为拓扑空间,其中 是紧致的, 是豪斯多夫的,并设 为一个连续的双射。在选择公理的条件下,证明 是豪斯多夫的,并且 是紧致的。
  7. 为一个非紧致连通拓扑空间。证明其亚历山德罗夫紧化 是连通的。
华夏公益教科书