武汉大学离散数学第3章-集合.pptVIP

第2篇 集合论 不精确的自然语言 精确的集合语言 集合论是表达数学的基础语言，又是自然科学及社会科学各领域的最普遍采用的描述工具。 集合论是离散数学的重要组成部分。 G. Cantor(康脱)是作为数学分支的集合论的奠基人。 计算机的许多概念也都是以集合为基础的，如：数据类型、数据库，集合是形式化的基础 本部分主要介绍朴素集合论的主要内容，其中包括集合（第三章）、二元关系（第四章）、函数（第五章）、无限集合（集合的基数）（第六章）等 第3章 集合 3.1 集合的基本概念 集合是数学最原始的概念，不能精确定义。 直观上说，把满足某个具体谓词P（x）的对象全体称为集合 集合可以描述为：一个集合把世间万物分成两类,一 些对象属于该集合，是组成这个集合的成员，另一些对象不属于该集合。 可以说，由于一个集合的存在，任一对象或属于该集合或不属于该集合，二者必居其一也只居其一。 　　举例: 某班全体同学可组成一个集合； 小于１０的自然数可以组成一个集合； 方程x2－1＝0的实数解集合； 26个英文字母的集合； 坐标平面上所有点的集合； 　…… 　　集合通常用大写的英文字母A,B,C,…,来标记，元素 通常用小写字母a,b,c,…,来表示。 　　 　　例如自然数集合N(在离散数学中认为0也是自然数) ，整数集合Z，有理数集合Q，实数集合R，复数集合C等。 3.1.1