证明: 为简化记号,定义 。设 是 的一个开覆盖,即根据子空间拓扑的定义,,其中 为合适的开集。
- 由于 ,
注意到 ,我们得到集合
构成关于其子空间拓扑的开覆盖;事实上,的连续性确保每个集合都是开集。由于是紧致的,可以选取一个由索引的有限子覆盖。令为任意元素。根据的定义,选取使得,然后使得。然后,因此。
注意,真映射的复合仍然是真映射。
命题(紧致空间的闭子集是紧致的)
:
设 为一个紧致空间,并设 为闭集。则 为紧致集。
证明:设 为 的一个开覆盖。根据 的子空间拓扑的定义,我们取,其中 在 中是开集;为了避免使用选择公理,我们可以用所有满足 的 的并集来替换。那么 的一个开覆盖由以下给出:
- ,
由于 是紧致的,我们可以从中提取出一个有限子覆盖。假设 是构成子覆盖的 中的集合。则
-
,
由于包含在整个子覆盖中,但这个子覆盖中唯一可能增加的集合可能是,这并不会改变是否被覆盖。因此,是的一个开子覆盖。
证明:假设
-
.
注意 是紧致的,并且由于每个 都是闭集,其补集 是开集。此外,根据子空间拓扑的定义,集合 在 中是开集,并且根据德摩根定律 () 和交集对并集的分配律,我们得到 构成了 的一个开覆盖。根据 的紧致性,我们可以提取一个有限子覆盖 ,并且通过选择 ,我们得到 ,因为 ,因此,由于 ,也有 ,这产生了矛盾。
命题(紧致非空柯尔莫哥洛夫空间包含一个闭点)
:
设 为一个非空、紧致的 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 .
通常,,并且是包含映射。
证明:首先,我们证明给定的拓扑确实是一个拓扑。显然, 是紧致且闭集。因此, 属于该拓扑, 也属于该拓扑,因为 是一个拓扑空间。然后,令 为开集。如果 或 是 的开子集,那么 也是开集。如果两者都是 中闭紧集 的补集,则
- ,
并且再次 是开集,因为两个闭集的并集是闭集,并且两个紧子集的并集是紧集。
现在假设我们给定一个开集族 ,它们是 的开集,以及一个紧致闭集补集族 。则
- ,
并且如果,我们根据紧集的闭子集是紧集得出结论;如果,我们根据是一个拓扑空间得出结论。
现在注意到包含映射根据上拓扑的定义是其像上的同胚;它是连续的、开映射且双射的。然后假设不是紧集;我们断言在中稠密。实际上,设是中的任意开集。由于不是紧集,必须与相交。因此,在中稠密。
命题(局部紧豪斯多夫空间的亚历山德罗夫紧化是豪斯多夫空间)
:
设 是一个局部紧豪斯多夫空间。则亚历山德罗夫紧化 是豪斯多夫空间。
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.
- 设 为一个集合, 为一个拓扑空间,且 为一个函数。则 是 的一个紧致子集当且仅当存在 上的一个拓扑,使得 成为一个紧致拓扑空间。
- 设 为一个具有两个拓扑 和 的集合,关于这两个拓扑, 都是紧致的。证明 关于拓扑 和 也都是紧致的,其中后者表示 和 的最小上界拓扑,借用了格论中的记号。
-
- 设 为拓扑空间,且 和 为紧致集。证明 是 的一个紧致子集,其中后者赋予积拓扑。
- 设为豪斯多夫空间,并假设和是真映射且连续。在选择公理的条件下,证明是真映射。提示:首先证明,只需要证明的紧集的乘积的原像是紧的即可。
- 利用亚历山大子基定理证明提霍诺夫定理。
- 证明如果是一个紧致空间,且关于子空间拓扑是离散的,则是一个有限集。
- 设是紧致空间,是一个集合,对于,设为一个函数。假设由()承载最终拓扑。证明是紧致的当且仅当在中是余有限的。
- 设 为拓扑空间,其中 是紧致的, 是豪斯多夫的,并设 为一个连续的双射。在选择公理的条件下,证明 是豪斯多夫的,并且 是紧致的。
- 设 为一个非紧致连通拓扑空间。证明其亚历山德罗夫紧化 是连通的。