前面提到,在拓樸空間中,有:
而在 1st-countable Hausdorff space 中,有:
而現在要說明的,是在 metric space 中:
因為 metric space 既是可以拓樸空間,又可以是 1st-countable Hausdorff space,因此上面三種 compact 的定義在 metric space 中就都等價。
這個證明如果有 Lebesgue Covering Lemma 可以加速不少,不過上課教了一個不用 Lebesgue Covering Lemma 也證明的出來的方法。既然 Lebesgue Covering Lemma 的證明比較普遍,所以這邊就寫上課的證明吧:
Lemma
假定 是一個 metric space。假定 sequentially compact,則 存在 countable dense subset
首先可以證明:
若 sequentially compact,那麼對於任意 ,都存在:
使得:
這是因為:如果這樣的序列不存在,那麼就會跟 sequentially compact 矛盾。因為如果這樣的 不存在,就表示任意可數多個點 ,對於 而言,都有:
因此,用就可以用下面這個步驟構造一個 :
如果像前面敘述的 不存在,那麼就可以用上面的方式構造出 ,但這個 會跟 是 sequentially compact 矛盾。因為 在 sequentially compact 的前提下,必定存在一個收斂子序列 。但這個 中,任兩個元素的距離至少是 。可是另外一方面在 metric space 中收斂序列都要是柯西列,所以應該要存在一個 ,使得:
然後就矛盾了。
有了這個之後,就令:
然後令 為「 時,能到到的那組 」。則可知任何一個: 是可數的。更進一步,令:
那麼這樣一來, 也是可數的,而且更進一步 在 裡面 dense。要證明這個也就是要說明:任取一點 ,以及隨便一個 ,都可以找到一個 ,使得 。
首先,既然 已經給定了,那麼可以找到一個 ,使得:
然後就去找對應的 。因為:
所以說, 一定會在 中的某個球裡面。但既然在某個球裡面,這表示 跟某一個 中的元素距離不超過 ,因此也就不超過 。所以 就包到了一個 中的元素。既然對任何一個 及 都對,由此得證 在 中 dense。
有了 countable dense subset 之後,就可以用這個 countable dense subset,把任意一個 open cover 化簡成可數多個 subsover:
Lemma
假定 有 countable dense subset,則對於任意 的 open cover :
都存在 countable subcover,即:
假定那個 countable dense subset 是 ,即:
是那個 countable dense subset,並且令正有理數 為:
因為所有的正的有理數可數,所以一定可以這樣被編號。接著考慮「所有 中的元素為圓心,所有有理數為半徑所形成的所有開球」。即:
為了方便,這邊令:
假定現在有一個 open cover ,那麼就可以借助這個 去造出 的 countable subcover。方法是用 中的集合去篩選 中的開集。因為這時 中的任何一顆開球 ,依照跟 中集合的關係,可能有下面兩種狀況:
中,沒有任何一個開集包住這個
中,存在可以包住 的開集:這樣的開集可能會有很多個,這時隨便挑一個開集就好。這時,一個 最多只會對應到一個 中的開集,所以所有這樣對應到的 中的開集,總數仍然是可數個。
假定狀況 2. 找出來的所有開集是 ,那麼可知他仍然是可數個,因為他的數目不多於 的數目。更進一步,這個 會是個 的 open cover。因為
對於任意一個 ,都存在某個 ,使得:
又因為 是 open cover 的其中一個集合,所以當然要 open,因此存在一個 ,使得:
因為 在 中 dense,所以任何一個開集都會包到一個 中的元素,而 也不例外。假定這個包到的 中的元素叫 。令他跟 的距離是:
又因為 ,所以這時可以知道:
這時也必定可以找到一個有理數 ,使得 。這時就會有:
因為:
更進一步,既然現在這個 是一個「被某個 中的集合包住的,圓心在 , 半徑 」 的開球。所以依照 的找法,必定存在一個 ,使得:
但 也在 裡面,所以:
既然任何一個 ,都可以用上面的方法證明他會包在某個 中,因此就得證 是一個 的 open cover; 又因為剛剛構造 的方法已經知道他是 countable 的,因此就證明了原命題。
綜合上面兩個步驟,現在可以證明原來的命題:
Thm
假定 是一個 metric space,則:
現在有 sequentially compact,目標是給任何一個 open cover ,要證明他都可以找到一個 finite subcover。
由前面的引理已經知道:sequentially compact 的 metric space,他的任何一個 open cover ,都存在一個 countable subcover。假定這個 countable subcover 為:
可以證明「只需要這個 countable subcover 中的有限個開集,就足夠作為 的 open cover 了」。因為如果有限個 不足以蓋住 ,就可以用下面這個步驟構造一個跟 sequentially compact 的前提矛盾的 :
依照 sequentially comapct 的前提,這個 必須順在收斂子序列 。假定 ,這表示:對於任意一個 的鄰域 ,都存在一個 ,使得當 時,。令這個鄰域 為「 中,包住 的某個開集」,假定他叫 。這時可知:
但當初取 時,每個 都分屬於 中的相異開集。那麼,怎麼可能 的子序列 最後還可以都擠在同一個 中的同一個鄰域 中呢?因此就矛盾。
由此得證:「只需要 這個 的 countable subcover 中的有限個開集,就足夠作為 的 open cover 了」。或是說: 存在 finite subcover。但 的 finite subcover 也是 的 finite subcover。既然對於任何 open cover 都成立,由此得證 是 open cover compact。