第二章集合-交通大学.PDFVIP

第二章 集合 2.1 集合之基夲定義 回顧一下在第一章第五節中我們對集合做的一些介紹： 將一些有明確性質的東西看成一體，就形成一個集合（set ），沒有元素的集合， 我們特別稱之為空集合 （empty set ），用符號表示。我們常常把要討論的集合 放在某個足夠大的集合中，稱為宇集 （universal set ），用符號U 來表示。若 x 是集合 A 中的元素，我們稱 x 屬於 A ，記做x A 。 定義 ：若A, B 為集合，我們稱 A 為 B 的子集 （subset ），記做A B ，若且唯若 x U, 若 x A 則 x B 。 我們稱 A 等於 B ，記做A = B ，若且唯若 A B 且 B A 。 我們稱 A 為 B 的真子集 （proper subset ），記做A B ，若且唯若 A B 且 A B 。 注意：A B x U 使得 x A 且 x B 。 若以范氏圖（Venn Diagram ）表示如下： A B A = B A B 1 國立交通大學理學院 應用數學系 白啟光老師 例：A = { n Z | n 2p 其中 p Z } B = { m Z | m 2q  2 其中 q Z } C = { k Z | k 3k 1其中 k Z } 此三集合之包含關係為 A = B, A C, A C, A C 。 例：令 A = { 2n 1| n Z}, B = { a2 | a A} 。 b n  2 0 B,  Z 使得 b (2n 1) 。 4 2 4 1 2(2 2) 1 b n  n  n   2n 2 Z ，故 b A 。 因此，B A 。 B 是否為 A 之真子集？ b B, b 0 而 1 A ，所以1 B 。由此可知A B 。 因此，B 為 A 之真子集。 定義 ：（集合之基夲運算 ） 若 A, B 為集合，U 為宇集（universal set ），A U 且 B U ， 1. 聯集（union ），A ∪B = { x U | x A 或 x B } 。 2. 交集（intersection ），A ∩B = { x U | x A 且 x B } 。 3. 差集（difference ），A \ B = { x U | x A 且 x B } 。 4. 補集（complement ），Ac = { x U | x A } 。 由 3, 4 可知 A \ B = A ∩B c 。 以范氏圖（Venn Diagram ）表示如下： A ∪B A ∩B 2 國立交通大學理學院 應用數學系 白啟光老師 A \ B Ac 之前我們談過沒有元素的集合，我們稱之為空集合 （empty set ），通常以表之。 定義 若 A, B 為集合，我們稱 A, B 不相交 （disjoint ），若且唯若 A ∩B = 。 定理 若 A 為一集合則  A 。 證明：我們須要證明 x