空集是指不含任何元素的集合?占侨魏渭系淖蛹侨魏畏强占系恼孀蛹?占皇菬o(wú);它是內(nèi)部沒有元素的集合?梢詫⒓舷胂蟪梢粋(gè)裝有元素的袋子,而空集的袋子是空的,但袋子本身確實(shí)是存在的。
空集的定義中有這么一句話,空集是任何集合的子集,說(shuō)明空集也是空集的子集?占荒芡ㄟ^(guò)一種方式轉(zhuǎn)變?yōu)橥負(fù)淇臻g,即通過(guò)定義空集為開集;這個(gè)空拓?fù)淇臻g是有連續(xù)映射的拓?fù)淇臻g的范疇的唯一初始對(duì)象?占侨魏畏强占系恼孀蛹。 Ø只有一個(gè)子集,沒有真子集。{Ø}有兩個(gè)子集,一個(gè)是Ø一個(gè)是它本身
空集的性質(zhì):
(1)對(duì)任意集合 A,空集是 A 的子集:∀A:Ø ⊆ A;
(2)對(duì)任意集合 A,空集和 A 的并集為 A:∀A:A ∪ Ø = A;
(3)對(duì)任意非空集合 A,空集是 A的真子集:∀A,,,若A≠Ø,則Ø 真包含于 A。
(4)對(duì)任意集合 A,空集和 A 的交集為空集:∀A,A ∩ Ø = Ø;
(5)對(duì)任意集合 A,空集和 A 的笛卡爾積為空集:∀A,A × Ø = Ø。