离散数学集合论部分

《离散数学集合论部分》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第二部分集合与关系对于从事计算机科学工作的人们来说，集合论是必不可少的基础知识。例如程序设计语言、数据结构、形式语言等都离不开子集、幂集、集合的分类等概念。集合成员表和范式在逻辑设计、定理证明中也都有重要应用。本部分从集合的直观概念出发，介绍了集合论中的一些基本概念和基本理论。集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。集合论总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。集合论的特点是研究对象的广泛性，集合是各种不同对象的抽象，这些对象可以是数或图形，也可以使任意其它事务。1.二十六个英文字母可以看成是一个集合

2、；2.所有的自然数看成是一个集合；3.重庆邮电大学计算机学院2010级的本科学生可以看成是一个集合；4.这间教室中的所有座位可以看成是一个集合。例:集合的基本概念组成一个集合的那些对象或单元称为这个集合的元素。通常，用小写的英文字母a,b,c,…表示集合中的元素。元素可以是单个的数字也可以是字母，还可以是集合。如：A={a,c,b};B={{a},{b},{c}}集合的元素元素与集合的属于关系：设A是一个集合，a是集合A中的元素，元素与集合的关系：属于∈；不属于若a是集合A中的元素记为aA，读作a属于A；若a不是集合A中的元素，则记为aA，读作a不属于A。

3、例如：A是正偶数集合，则2A，4A，6A；而1A，3A，19A。特别注意：①集合并不决定于它的元素展示方法。集合的元素被重复或重新排列，集合并不改变，即{a,a,b,c,d,c}={a,b,c,d}。②集合的元素可以是具体事物，可以是抽象概念，也可以是集体，如一本书，一支笔；集合{1,2,3}可以是集合B={一本书，一支笔，{1,2,3}}的元素。特别地，以集合为元素的集合称为集合族或集合类如A={{1,2,3},{8,9,6}}。③集合中元素之间可以有某种关联，也可以彼此毫无关系。有限集A中所含元素的个数称为集合的元数。记作：

4、A

5、如：A={1,3

6、,2,4,5,9}则

7、A

8、=6；设A是所有英文字母组成的集合，则A=26。特别，

9、

10、=0集合的元素数列举法(列元素法)：将集合中的元素一一列举，或列出足够多的元素以反映集合中元素的特征，例如：V={a,b,c,d,e}或B={1,2,3,4,5,6,……}。描述法(谓词表示法):将集合元素的条件或性质用文字或符号在花括号内竖线后面表示出来。A={x

11、关于x的一个命题P};如：B={x

12、0

13、x=a2,a是自然数}。集合的表示法EAae文氏图用一个大的矩形表示全集，在矩形内画一些圆或其它的几何图形，来表示集合，有时也用一些点来表示集合中的

14、特定元素。例如：集合A={a,b,c,d,e}，用文氏图表示如下:dcb几类特殊集合:N={0,1,2,3,···}，即自然数集合。Z={···,-2,-1,0,1,2,3,···}，即整数集合。Z+={1,2,3,···}，即正整数集合。Q=有理数集合。R=实数集合。C=复数集合。确定性；互异性；无序性；多样性；集合的特征任何一个对象，或者是这个集合的元素，或者不是，二者必居其一；例如：A={x

15、x是自然数，且x<100}；B={x

16、x+1=3}；C={x

17、x是大学生}。确定性集合中任何两个元素都是不同的，即集合中不允许出现重复的元素。例如：集合A={a,b,

18、c,c,b,d}，实际上，应该是A={a,b,c,d}。再如{1,2,3,2,4}={1,2,3,4}。互异性集合与其中的元素的顺序无关；例如：集合{a,b,c,d,e}、{d,c,e,a,b}、{e,c,d,b,a}，都是表示同一个集合。集合{4,2,1,3}={1,2,3,4}。无序性集合中的元素可以是任意的对象，相互独立，不要求一定要具备明显的共同特征。例如：A={a,{a},{{a},b},{{a}},1}；A={1,a,*,-3,{a,b},{x

19、x是汽车},地球}注意:对于任何集合A,都有AA。多样性设A，B是两个集合，若B的元素都是A的元素，则称

20、B是A的子集，也称A包含B，或B被A包含，记以BA，或AB。若BA，且AB，则称B是A的真子集，也称A真包含B，或B真包含于A，记以AB，或BA。子集：例3.1设A={a,b,{c},{a},{a,b}}试判断下列表达式正确与否。（1）aA（2）{a}A（3）{a}A（4）ØA（5）ØA（6）bA（7）{b}A（8）{b}A（9）{a,b}A(10){a,b}A(11)cA(12){c}A(13){c}A(14){a,b,c}A。解：(4)，(7)，(11)，(13),(14)错误。例3.2对于任意集合A,B和C,下述论断

21、是否正确（1）若AB,