2.1集合论的基本概念.pdfVIP

离散数学 Discrete Mathematics 集合 2.1 集合论的基本概念 张晓 西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011110 引言 集合是数学中最为基本的概念，又是数学各分支、 自然科学及社会科学各领域的最普遍采用的描述工 具。 G.康托尔是作为数学分支的集合论的奠基人。 1870年前后，他关于无穷序列的研究导致集合论 的系统发展。 1901年罗素发现了有名的罗素悖论。1899年康托 尔也发表了关于最大基数的悖论。 策墨罗(Zermelo)在1904～1908年列出了第一个 集合论的公理系统，并逐步形成公理化集合论。 2011110 离散数学 2 引言 计算机科学及其应用的研究和集合论有着极 其密切的关系。 集合不仅可以表示数、而且还可以象数一样 进行运算，更可以用于非数值信息的表示和 处理，如数据的增加、删除、排序以及数据 间关系的描述；有些很难用传统的数值计算 来处理，但可以用集合运算来处理。 2011110 离散数学 3 2.1.1 集合的概念集合的概念 集合的概念集合的概念 一个集合集合(SET)是能作为整体论述的事物的集体。如 ; 集合集合 (1) “高二(1)班的学生”是一集合。 ; (2) 硬币有两面——正面和反面, “正面、反面”构成一集合。 ; (3) 计算机内存之全体单元构成一集合。 ; (4) 1, 2, 3, …, n, …构成正整数集合。 ; (5) 所有三角形构成三角形集合。 ; 2011110 离散数学 4 2 2 2 (6) 坐标满足方程x +y ≤R 的全部点构成图2.1- 1所示的点集。 图 2.1-1 2011110 离散数学 5 集合的元素(element) ： 组成集合的每个事物叫做这个集合的元素或成员。 集合的表示： - 通常用大写字母A, B, C , …代表集合; - 用小写字母a, b, c, …代表元素。 - 如果a是集合A 的一个元素, 则记 a ∈∈A （读做“a属于A ”, 或说 “a在A 中”） ∈∈ - 如果a不是集合A 的一个元素, 则记为 a ∉∉A （读做“a不属于A ”, 或说 “a不在A 中”） ∉∉ 任一元素, 对某一集合而言, 或属于该集合, 或不属于该集合, 二 者必居其一, 不可兼得。 2011110 离散数学 6 固定的符号 N Z Q R C 2011110 离散数学 7 集合内容的表示 列举法 （枚举法）roster －－列出集合中全部元素或部分元素的方法叫枚举法 适用场景适用场景：： 适用场景适用场景：： 一个集合仅含有限个元素一个集合仅含有限个元素 一个集合仅含