跳轉到內容

一般拓撲/緊緻空間

來自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. 為一個非緊緻連通拓撲空間。證明其亞歷山德羅夫緊化 是連通的。
華夏公益教科書