2、离散数学-集合论.pdf

6.1 集合的基本概念 零星定义： 一些事物汇集到一起组成的一个整体称为集合，而 这些事物就是这个集合的元素或成员。 集合通常用大写字母来标记，如N、Z、Q、R、 C。 集合表示方法： 列元素法 A={1,2,3,4,5} 谓词表示法 B={x | x∈N ∧1≤x≤5 } 2007-10-20 1 集合的特征 互异性 {1,2,3,2,4}= {1,2,3,4} 无序性 {4,2,1,3 }= {1,2,3,4} 元素和集合之间的关系 属于（∈）或 不属于（ ∉） 如：对于A={ 1,{2,3},{{4}}} ， 1 ∈A, {2,3} ∈A, 3 ∉A. 可以用树形图表示这种关系。 2007-10-20 2 如： A 本书规定： 1、集合元素都是集 合。 1 {2,3} {{4}} 2、对于任何集合A ， 都有A ∉A 。 2 3 {4} 4 2007-10-20 3 定义6.1 设A ，B为集合，如果B中的每个元素都是A 中的元 素，则称B是A 的子集合，简称子集。也称B被A包 含，或B包含于A ，或A包含B，记作B ⊆A 。 如果B不被A包含，则记作B ⊄A 。 包含的符号化表示为： B ⊆A ∀x(x ∈B →x ∈A) 例如：N ⊆Z ⊆Q ⊆R ⊆C, 而C ⊄ R. 显然：对于任何集合A ，都有A ⊆ A 。 2007-10-20 4 定义6.2 设A ，B为集合，如果A ⊆B且B ⊆A ，则称A与B相 等，记作A=B 。 如果A与B不相等，则记作 A ≠B。 相等的符号化表示为： A=B A ⊆B ∧ B ⊆A 2007-10-20 5 定义6.3 设A ，B为集合，如果B ⊆A且B≠A ，则称B是A 的真 子集,也称B被A真包含，或B真包含于A ，或A真包 含B，记作B⊂A 。 如果B不被A真包含，则记作B ⊄A 。 真子集的符号化表示为：B⊂A A ≠ B ∧ B ⊆A 例如：N ⊂Z ⊂Q ⊂ R ⊂C, 而C ⊄C. 显然：对于任何集合A ，都有A ⊄A 。 2007-10-20 6 定义6.4 不含任何元素的集合叫做空集，记作φ 。 空集的符号化表示为： φ {x|x≠x } 如：A={x|x ∈Z+ ∧x0}. 定理6.1 空集是一切集合的子集。 推论：空集是唯一的。 2007-10-20 7 含有n个元素的集合简称为n元集，它的含有m(m≤n) 个元素的子集叫做它的m元子集 。 任给一个n元集， 它的0元子集的个数为：Cn0