证明: 为简化记号,定义
。设
是
的一个开覆盖,即根据子空间拓扑的定义,
,其中
为合适的开集。
- 由于
,
注意到
,我们得到集合

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