實分析Ⅱ|筆記整理(2)——開集,閉集等集合性質深化
來自專欄一個大學生的日常筆記
大家好!這幾天趕拓撲的複習,回頭髮現實變已經好久沒有動了。所以趕緊來補上這個坑。
這一節我們會對在之前一系列筆記中一筆帶過的開集,閉集等集合的相關定義和性質做進一步的深化。並且補充大量的相關習題和例子。
提供之前的筆記:
- 實分析Ⅱ|筆記整理(1)——集合論補充,相關應用習題舉例(1)
我們開始本節的內容。本節的內容範圍為P26-46
目錄
- 極限點(聚點)
- 閉集
- 開集
- 覆蓋
- Borel集
- Baire定理
極限點(聚點)
極限點的定義就是和數分三中說的聚點是相同的。但是與數分三相比,實分析中的定義更加「集合化」。如下:
Definition 1:
設,如果存在
中的互異點列
滿足
,則稱
為
的極限點。並且將
的極限點的全體記為
,稱為
的導集。
與這個定義直接聯繫的定理是下面這個
Theorem 1:
若,則
當且僅當對任意的
,有
![]()
簡單說明一下,一方面,既然 ,那麼它是一個極限點,那麼根據極限的定義可以得到,存在
中的一系列點列
。對於任意的
,存在
,當
的時候,有
,自然就是
的意思。那麼顯然
,所以自然就得到結論了。
而另一方面,如果對於任意的 ,有
。那麼先考慮取一個
中的點
使得
。然後考慮令
,這樣的話就可以取到一個與
不同的點
,使得
。繼續這樣遞推下去就可以得到一系列點列,並且
。就證明了它是極限點。
在另一方面的這個證明中,這種思想我們也是經常在數分一中使用的。我們在拓撲學中也會碰到這樣的類似的表述。同樣的,這個定理也完美的說明了數分三中對於聚點定義的合理性。
關於聚點的兩個性質也是習題中經常會使用的,所以我們只是列舉在下面,不再抄書上的證明。
Proposition 1:
Proposition 2:Bolzano-Weierstrass
中任意一有界無限點集
至少有一個極限點。
關於孤立點的相關內容,因為沒有涉及太多,我們不再寫在這裡。
閉集
閉集和開集的相關集合概念是很多非數學系學生感覺非常好理解,卻讓很多數學系學生感到頭大的概念。加上之前沒有在筆記上動過太多的筆墨,所以這一部分我們會寫很多內容。
我們先討論閉集的定義和性質。
Definition 2:
若集合包含了其一切極限點,則稱它是閉集。設,那麼如果
,則
為閉集,
被稱為是
的閉包。
比如說,有理數集 的閉包是
。另外還要注意的一個簡單性質是,閉包就是最小的那個閉集。
一個有趣的例子是下面這個:
Example 1:
的充分必要條件是對任意的
,
都是閉集。
我們證明一下這個結論。如果 ,那麼要證明集合是閉集,只需要說明,對於任意給定的存在極限的點列,它的極限也是在集合內的即可(因為這就證明了所有的可能極限點都是在集合內的)。
那麼,以 為例。如果有
,由
即可知
(因為由連續性可知
),就證明了
。而
同理可證。
反過來,知道了兩個集合是閉集,如何證明連續?假設存在一個點 不是
的連續點。那麼根據不連續的定義可知,存在
以及一個點列
,使得對於每一個
都有
。
取出這個點列的收斂子列 滿足
或者
中的一個(一個收斂極限列分為不相交的兩部分,一定還有一部分是收斂極限列)。不妨設這個收斂極限列是滿足第一個不等式的。那麼如果設
,就有
對於任意的
成立。但是
是顯然不成立的。這就相當於說,存在一系列收斂子列,每一個點都在
內,但是極限點卻不在
內,這就與
是閉集產生了矛盾。
有關閉集的運算性質如下:
Proposition 3:
閉集的有限並依然是閉集,閉集的可列交依然是閉集。
第一部分只需要證明兩個集合的並的情況,而這隻需要證明出 即可。至於第二部分,不妨設
是
的一個閉集族,並且設交集
。那麼
。那麼就有
,那麼自然
。結合
即可得到結論。
上升到一般集合的情況下考慮閉包,就有下面兩個簡單性質。
Proposition 4:
![]()
我們不再證明。
還有個與閉集相關的定理也是我們在之後討論稠密等性質經常使用的。
Theorem 2:Cantor
若是
中非空有界閉集列,且
,那麼
。
我們證明一下這個結論。
如果有無窮多個相同的集合,那麼根據包含關係可知,存在一個 ,使得
。那自然交不為空。那麼如果對任意的
都有
是
的真子集,那麼取
,就可以得到一個有界互異點列
。根據B-W定理,存在有個收斂子列
滿足
。結合每一個
都是閉集可知
對任意的
成立(想想為什麼),就有
。
開集
有了閉集的定義,自然就好定義我們的開集了。
Definition 3:
對於一個集合,如果
是閉集,那麼
為開集。
下面這個簡單性質通過閉集和De-Morgan容易推出。
Proposition 5:
開集的可列並和有限交依然是開集。
下面強調的這個性質其實就是數分三中對於開集的基本定義。
Proposition 6:
若為
的非空子集,則
為開集的充分必要條件是對於
中任意一點
,存在
,使得
。
簡單說明一下。一方面,如果 是開集,
,那麼根據
是閉集以及
可知,
不會是
的極限點。這就說明了存在一個開球
使得
,那麼自然就是
,這就是
的意思。
另一方面,如果存在 ,使得
,那麼反過來推就可以推出
不是
的極限點,自然就說明了任意的不在
內的點都不是它的極限點,那就足夠說明結論成立了。
下面是內點和邊界點的定義。當然了,與之前提過的相關定義還是有差距的。
Definition 4:
設,對於
,若存在
,使得
,則稱
為
的內點。內點全體記為
,稱為其內核。若
,則稱
為
的邊界點,記其全體為
。
給出這個例子的原因是,邊界點的定義在集合定義下做了一步抽象,不再是我們之前腦子想的那麼簡單了。
兩個與邊界點和開集有關的習題如下,礙於篇幅這裡略去了證明,之後再說。
Problem 1:
,若
,證
邊界點集非空。Problem 2:設
,若對任意的
有
,證
是開集。
覆蓋
不知道大家記不記得數分三中有關「緊集」的定義了。緊集的定義就與覆蓋這個概念緊密相關。
首先來看看集合論中的覆蓋究竟是啥。
Definition 5:
設,
是
中的一個開集族。如果對於任意的
,存在
,使得
,則稱
為
一個開覆蓋。如果對於一個開覆蓋
,
依然是
的一個開覆蓋,那麼稱它為關於
的子覆蓋。
要提一下覆蓋的最重要的原因還是下面這個定理。
Theorem 3:Heine-Borel
有界閉集的任一開覆蓋均含有一個有限子覆蓋。
我們證明一下這個結論。首先根據Lindelof引理可知,如果 是
的有界閉集,
為開覆蓋。那麼必然存在一個可數的子覆蓋。所以可以假定
。
有了可數子覆蓋之後,現在要證明存在有限子覆蓋,那麼只要證明 ,就相當於說,存在一個
使得
。從這個想法出發,我們構造
。那麼這樣的話,
且它是一個閉集列。
有了這一系列條件,就可以分情況討論運用之前的定理了。假設存在 使得
是空集,那就已經證明了結論了。但是如果都非空集,那麼根據Cantor閉集套定理知,存在
,使得
對任意的
成立。也就是說存在一個點
不屬於任意一個
。這就已經違背了覆蓋的定義了。所以自然不可能有這種情況。這就證明了結論。
關於Lindelof引理可以看看下面這個回答。書上略去了證明,這裡我特地找了一下百度。
求證Lindelof引理即E是R^n中的點集,則E的任何開覆蓋都有可數字覆蓋求教詳細證明(從拓撲結構角度).基本上看懂了,就是第三段在中的P和P(r)是相同的還是不同的,r代表什麼?_作業幫※實分析|筆記整理(9)——函數可微性(2)
※2.3 Egoroff定理和Lusin定理
※L測度以及L-S測度概念辨析
※實分析Ⅱ|筆記整理(1)——集合論補充,相關應用習題舉例(1)