實直線閉集:序列判據與開補集
在通常的經典集合論背景下討論實直線,並允許可數次見證選擇。集合 為開集,是指每個 屬於 都有某個 ,使 包含於 。使用阿基米德性質的推論: 趨於零。對任意實直線子集 ,下列條件等價:
- 中任意在實直線上收斂的序列,其極限仍屬於 。
- 的補集為開集。
由 2 推出 1。 設 屬於 且 趨於 。若 不屬於 ,補集的開放性給出 ,使 與 不相交。收斂性保證充分靠後時 ,與 屬於 矛盾,故 屬於 。
由 1 推出 2。 固定不屬於 的 。若以 為中心的每個正半徑區間都遇到 ,則對每個正整數 ,都有 屬於 且 。將這些見證選成一個序列。給定 ,取 使 ;當 ,有 ,故 趨於 。條件 1 會迫使 屬於 ,矛盾。因此 周圍存在避開 的區間。對補集每點均如此,故補集開放。選擇見證序列這一步使用已聲明的經典背景;這裏不聲稱在不帶選擇的基礎體系中證明同一結論。若 為空,其中沒有序列,其補集為整個開實直線;若 為整個實直線,其空補集的開放性真空成立。兩種邊界情形也滿足等價關係。
學習目標與定義
集合 稱為緊致的,如果任意一族開集只要其並包含 ,就存在有限個成員仍覆蓋 。集合若包含其點構成的每個收斂序列的極限,則稱為閉集;等價地,其補集是開集。序列緊致性指 中每個序列都有收斂到 中某點的子列。
空集是緊致、閉且有界的,也滿足序列緊致性;這些性質均以空真方式成立。在需要選取點或無窮序列的證明中,要單獨處理空集。我們使用先前數列內容中的實數完備性及其閉區間套和 Bolzano–Weierstrass 推論。
定理:實數直線上的 Heine–Borel 定理
對 ,下列條件等價:開覆蓋意義下的緊致性;閉且有界;序列緊致性。
緊致推出閉且有界。 區間 ()覆蓋 ,因而覆蓋 。有限子覆蓋給出一個界。為證明閉性,取 。對每個 ,區間 不含 。取其中覆蓋 的有限子族,令 為這些區間中心到 的正距離的一半所組成的有限集合的最小值。所選以 為中心的區間內每點到 的距離嚴格大於 。因此 與 不相交,因此對每個集合外的點,都找到不與集合相交的開鄰域,補集是開集。若 為空,結論立即成立。
閉且有界推出緊致。 將非空的 放入閉有界區間 。假設 的某個開覆蓋不存在有限子覆蓋。將 二等分;至少一個閉半區間與 的交集不能被有限覆蓋,否則兩組有限覆蓋合起來便覆蓋 。選取這樣的半區間並重複,得到長度趨於零的閉區間套 ,且 不能被有限覆蓋。每個交集非空,選取 。閉區間套性質給出唯一公共點 ;因兩者均在 中,故 。由閉性得 。覆蓋中某個成員 含 ;由其開放性, 包含以 為中心的某個開球。當 足夠大時,整個區間 均在該球內,於是單個開集 就覆蓋 ,矛盾。
閉且有界推出序列緊致。 中每個序列有界,故 Bolzano–Weierstrass 定理給出收斂子列。由閉性,其極限仍在 中。
序列緊致推出閉且有界。 若無界,可選取 ,使 ;它沒有收斂到有限實數的子列,矛盾。若 是 中點的極限,則可選取 使 。由序列緊致性,某子列收斂到 中一點;它也收斂到 ,由實數極限唯一性得 。因此 是閉集,所有蘊涵均已證明。
推論與例子
給定尺度下的有限近似。 對任意 ,以緊集 中各點為中心的開球 構成開覆蓋。有限子覆蓋提供有限個樣本中心,使每個點到其中一個中心的距離小於 。這樣的有限集稱為 -網。每個尺度都存在有限網,稱為全有界;僅憑全有界並不能斷定集合是閉的。
連續像是緊集。 若 連續且開集族 覆蓋 ,則相對原像 覆蓋 且為相對開集。把每個相對原像寫成 ,其中 在 中開。由緊致性,有限多個 覆蓋 ,對應的 覆蓋像集。因此 緊致。若 非空,其緊致像閉且有界,故上下確界屬於該像,得到極值定理。
為甚麼僅有界不夠。 開覆蓋 覆蓋 ,但任何有限子族的左端點都有正的最小值,因而漏掉更小的正點。此集合有界,甚至全有界,卻不是緊集,因為它缺少極限點零。
分級練習
- 基礎。 、、 和 中哪些是 中的緊集?
- 核心。 給出 的一個沒有有限子覆蓋的開覆蓋。
- 核心。 證明緊集的閉子集仍是緊集。
- 證明。 設 緊致、,且 非空,證明 。說明為甚麼不要求緊致、僅要求閉性已足以得到正下界,而用極小化序列證明時仍可能需要額外說明有界性。
完整解答
- 第一個和第四個集合閉且有界,因而緊致。第二個不是閉集,因為 且極限不在該集合中。整數集閉但無界,因而不緊。
- 嵌套開區間 覆蓋整條實線;任意有限族都包含在其中最大的一個區間內,因而漏掉充分大的實數。
- 若 在 中閉,則因 有界而有界;由閉性及 Heine–Borel 定理,前者緊致。若子集相對閉,則寫成 ,其中 閉,再用同一論證。
- 映射 的連續性保證它在非空緊集 上取得最小值。若最小值為零,必有 ,矛盾,故該最小值為正。更一般地,若 閉且 ,其補集開放,直接給出與 不相交的正半徑開球,得到同樣的正下界。極小化序列的論證須說明序列有界,不能把無界閉集當作緊集。這裡,充分靠後時 ,其中 ,故 。其收斂子列的極限屬於 ,並在該點取得距離 。
總結與術語
開覆蓋是一族開集,其並包含給定集合;有限子覆蓋由其中有限個成員組成,仍覆蓋該集合。序列緊致性要求子列極限留在集合內。-網是在一個距離尺度下的有限近似。緊致與閉且有界的等價性是有限維歐氏空間的特殊性質,並非所有空間中緊致性的普遍定義。