《集合论基础》PPT课件.ppt

《《集合论基础》PPT课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、离散数学郑州大学任课教师：刘学文第一篇绪言离散数学的特征和性质此课程的主要学习内容此课程的主要学习方法第一篇绪言正如马克思所说的：“一门科学，只有当它能够运用数学时，才算真正发展了。”计算机正是在离散数学中图灵机理论的指导下诞生的。离散数学是数学的一个分支，它以离散量作为其主要研究对象，是研究离散对象的结构以及它们之间相互关系的科学。由于计算机不论硬件还是软件都属于离散结构，所以计算机所应用的数学必是离散数学。第一篇绪言离散数学课程是计算机系核心课程信息类专业必修课其它类专业的重要选修课程离散数学也是后继课的基础第一篇绪言离散数学课

2、程的学习可以培养学生抽象的思维、逻辑推理能力和创新能力。让学生见识一些重要的数学思想、数学方法以及用数学解决实际问题的著名事例。培养逻辑思维的能力和分析问题解决问题的能力。第一篇绪言离散数学的主要学习内容：1.集合论2.代数系统3.图论4.数理逻辑*5.组合数学*6.形式语言与自动机第一篇绪言特点：内容较杂，概念多，定理多，比较抽象，学习有一定的难度。学习方法：1.准确掌握每个概念(包括内涵及外延)。2.要有刻苦钻研的精神,不断总结经验。3.在理解内容的基础上，要多做练习题，从而再进一步加深理解所学内容。4.注意培养分析问题和解决问

3、题的能力第二篇集合论主要包括如下内容：集合论基础二元关系函数第一章集合论基础本章主要介绍如下内容：基本概念及集合的表示方法集合间的关系特殊集合集合的运算基本概念1.集合与元素集合：是由确定的对象(客体)构成的集体。一般用大写的英文字母表示。这里所谓“确定”是指：论域内任何客体，要么属于这个集合，要么不属于这个集合，是唯一确定的。元素：集合中的对象，称之为元素。∈：表示元素与集合的属于关系。例如，N表示自然数集合，2∈N，而1.5不属于N，写成1.5N。2.有限集合与无限集合这里对有限集合与无限集合先给出朴素的定义，以后再给出严格的

4、形式定义。有限集合：元素是有限个的集合。如果A是有限集合，用

5、A

6、表示A中元素个数。例如，A={1,2,3},则

7、A

8、=3。无限集合：元素是无限个的集合。对无限集合的所谓‘大小’的讨论，以后再进行。3.集合的表示方法列举法：将集合中的元素一一列出，写在大括号内。例如，N={1,2,3,4,……}A={a,b,c,d}描述法：用句子描述元素的属性。例如，B={x

9、x是偶数}C={x

10、x是实数且2≤x≤5}一般地，A={x

11、P(x)},其中P(x)是谓词公式，如果客体a使得P(a)为真，则a∈A，否则aA。4.说明⑴集合中的元素间次序

12、是无关紧要的，但是必须是可以区分的，即是不同的。例如A={a,b,c}，B={c,b,a}，C={a,b,c,a}，则A、B和C是一样的。⑵对集合中的元素无任何限制，例如令A={人，石头，1，Ｂ},B={Φ,{Φ}}⑶本书中常用的几个集合符号的约定：自然数集合N={1,2,3,……}整数集合I，实数集合R，有理数集合Q⑷集合中的元素也可以是集合，下面的集合的含义不同：如a：张书记{a}:党支部(只有一个书记){{a}}：分党委(只有一个支部){{{a}}}：党委(只有一个分党委){{{{a}}}}：市党委(只有一个党委)特殊集合1.

13、全集E定义：包含所讨论的所有集合的集合，称之为全集，记作E。由于讨论的问题不同，全集也不同。所以全集不唯一。例如:若讨论数，可以把实数集看成全集。若讨论人，可以把人类看成全集。性质：对于任何集合A，都有A在E中。特殊集合2.空集Φ定义：没有元素的集合，称之为空集，记作Φ。性质：(1).对于任何集合A，都有Φ在A中。(2).空集是唯一的。集合间的关系1.包含关系(子集)(1).定义：A、B是集合，如果A中元素都是B中元素，则称B包含A，A包含于B，也称A是B的子集。记作AB。文氏图表示如右下图。例如，N是自然数集合，R是实数集合，

14、则NRAB集合间的关系(2).性质：(a).有自反性，对任何集合A有AA。(b).有传递性，对任何集合A、B、C，有AB且BC，则AC。(c).有反对称性，对任何集合A、B，有AB且BA，则A=B。集合间的关系2.相等关系定义：A、B是集合，如果它们的元素完全相同，则称A与B相等。记作A=B。性质：⑴有自反性，对任何集合A，有A=A。⑵有传递性，对任何集合A、B、C，如果有A=B且B=C，则A=C。⑶有对称性，对任何集合A、B，如果有A=B，则B=A。集合间的关系3.真包含关系(真子集)定义：A、B是集合，如果AB

15、且A≠B，则称B真包含A，A真包含于B，也称A是B的真子集。记作AB。性质：有传递性，对任何集合A、B、C，如果有AB且BC，则AC。集合的运算1.交运算∩定义：A、B是集合，由既属于A，也属于B的元素构成的集合,称之为A与B