F_sigma集:可數個閉集的並集。
G_sigma集:可數個開集的交集。
注意,可數個閉集的並集可能既不是閉集也不是開集,因此有F_sigma集與G_sigma集來描述這樣的集合。
例:R^n中全體有理點集爲F_sigma集。
例:f(x)是定義在開集上的實值函數,則f的連續點集是G_sigma集(函數連續點的結構)。
sigma代數,集合X中一些子集構成的集合族:滿足
(1)空集屬於sigma代數;
(2)對補封閉;
(3)對可數並封閉。
sigma代數也滿足:
(1)對有限並封閉;
(2)對可數交封閉;
(3)點列上極限,下極限封閉。
(4)對集合運算差封閉;
(5)集合X也屬於sigma代數。
生成sigma代數:包含某集合族的最小sigma代數。
由R^n中一切開集族生成的sigma代數成爲Borel sigma代數,其中的元成爲Borel集。
R^n中的閉集,開集,F_sigma集與G_sigma集都是Borel集。
例:若f(x)是R上的連續函數,則f的可微點集是F_asigma集(可數個F_sigma集的交集)(連續函數可微點集的結構)。
Baire定理:
個人理解:可數個無內點的閉集的並無法構造出一個有內點的集合。
使用Baire定理,第一綱集也是無處稠密集。
個人理解:想象用筆在白紙上畫出可數個點或者可數條線,它們的並集無法構成內點。
更多文章與筆記請關注:微信公衆號:二進制樹