离散数学3总结.ppt

第二篇 集合论 集合是数学中最基本的概念，又是数学各分支、自然科学及社会科学各领域的最普遍采用的描述工具。集合论是离散数学的重要组成部分，是现代数学中占有独特地位的一个分支。 G.Cantor(康脱)是作为数学分支的集合论的奠基人。1870年前后，他关于无穷序列的研究导致集合论的系统发展。1874年他发表了关于实数集合不能与自然数集合建立一一对应的有名的证明。集合论的现代公理化开始于1908年策梅罗所发表的一组公理，经过弗兰克尔的加工，这个系统称为策梅罗-弗兰克尔集合论ZF。另外一种系统是冯·诺伊曼-伯奈斯-哥德尔集合论。 第 二 篇 集 合 论 第三章 集合代数 第四章 二元关系和函数 第三章 集合代数 3.1 集合的基本概念与表示 3.2 集合的运算与性质 3.3 集合中元素的计数 3.1 集合的基本概念与表示 3.1.1 集合的定义 (1) 集合：具有共同性质的、可确定的、可分辨一组事物汇集成一个整体。 (2) 元素：构成一个集合的那些对象。 a?A a是A的元素，a属于A a?A a不是A的元素，a不属于A 例如：方程x2－1＝0的实数解集合；26个英文字母的集合；坐标平面上所有点的集合；…… 3.1 集合的基本概念与表示 3.1.1 集合的定义 集合通常用大写的英文字母A,B,C,…,来表示，