證明: 為簡化記號,定義
。設
是
的一個開覆蓋,即根據子空間拓撲的定義,
,其中
為合適的開集。
- 由於
,
注意到
,我們得到集合

構成
關於其子空間拓撲的開覆蓋;事實上,
的連續性確保每個集合
都是開集。由於
是緊緻的,可以選取一個由
索引的有限子覆蓋。令
為任意元素。根據
的定義,選取
使得
,然後
使得
。然後
,因此
。
注意,真對映的複合仍然是真對映。
命題(緊緻空間的閉子集是緊緻的)
:
設
為一個緊緻空間,並設
為閉集。則
為緊緻集。
證明:設
為
的一個開覆蓋。根據
的子空間拓撲的定義,我們取
,其中
在
中是開集;為了避免使用選擇公理,我們可以用所有滿足
的
的並集來替換
。那麼
的一個開覆蓋由以下給出:
,
由於
是緊緻的,我們可以從中提取出一個有限子覆蓋。假設
是構成子覆蓋的
中的集合。則
,
由於
包含在整個子覆蓋中,但這個子覆蓋中唯一可能增加的集合可能是
,這並不會改變
是否被覆蓋。因此,
是
的一個開子覆蓋。
證明:假設
.
注意
是緊緻的,並且由於每個
都是閉集,其補集
是開集。此外,根據子空間拓撲的定義,集合
在
中是開集,並且根據德摩根定律 (
) 和交集對並集的分配律,我們得到
構成了
的一個開覆蓋。根據
的緊緻性,我們可以提取一個有限子覆蓋
,並且透過選擇
,我們得到
,因為
,因此,由於
,也有
,這產生了矛盾。 
命題(緊緻非空柯爾莫哥洛夫空間包含一個閉點)
:
設
為一個非空、緊緻的 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. 
- 設
為一個集合,
為一個拓撲空間,且
為一個函式。則
是
的一個緊緻子集當且僅當存在
上的一個拓撲,使得
成為一個緊緻拓撲空間。
- 設
為一個具有兩個拓撲
和
的集合,關於這兩個拓撲,
都是緊緻的。證明
關於拓撲
和
也都是緊緻的,其中後者表示
和
的最小上界拓撲,借用了格論中的記號。
-
- 設
為拓撲空間,且
和
為緊緻集。證明
是
的一個緊緻子集,其中後者賦予積拓撲。
- 設
為豪斯多夫空間,並假設
和
是真對映且連續。在選擇公理的條件下,證明
是真對映。提示:首先證明,只需要證明
的緊集的乘積的原像是緊的即可。
- 利用亞歷山大子基定理證明提霍諾夫定理。
- 證明如果
是一個緊緻空間,且
關於子空間拓撲是離散的,則
是一個有限集。
- 設
是緊緻空間,
是一個集合,對於
,設
為一個函式。假設
由
(
)承載最終拓撲。證明
是緊緻的當且僅當
在
中是餘有限的。
- 設
為拓撲空間,其中
是緊緻的,
是豪斯多夫的,並設
為一個連續的雙射。在選擇公理的條件下,證明
是豪斯多夫的,並且
是緊緻的。
- 設
為一個非緊緻連通拓撲空間。證明其亞歷山德羅夫緊化
是連通的。