- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第一篇 集合论
离散数学主要内容 第一篇 集合论 集合论的基本内容包括三个方面,它们是: ?集合论基础。 ?关系:关系是建立在集合论基础上的一种特殊集合,它研究客观世界中事物间关联的规则。 ?函数:函数是一种特殊的规范化的关系。 第1章 集合论基础 1.1集合的基本概念 集合:一些具有共同目标的对象所汇集在一起的集体称集合。它可用大写字母S,A,B等表示.集合中具有共同目标的对象称元素。集合是由元素所组成。元素一般可用小写字母:e,a,b,c等表示。 空集:不含任何元素的集合称为空集,记为:?。 全集:在所讨论或关注的范围内所有元素所组成的集合称为全集,它可记为:E。 第1章 集合论基础 全集是相对的,空集是绝对的。 常用的集合:N:自然数集 Z:整数集 Q:有理数集 R:实数集 C:复数集 如果集合A中的元素个数为有限个则称A为有限集,否则A为 无限集,并记|A|为集合A中元素的个数。 第1章 集合论基础 1.2 集合的表示方法 1.枚举法 将集合中的元素一一列举出来并用花括号括住,而 元素间则用逗号隔开。 例:基本阿拉伯数字:S={0,1,2,3,4,5,6,7,8,9} 例:开门七件事:E={柴,米,油,盐,酱,醋,茶} 例:自然数集:N={1,2,3,4,5,……} 枚举法是一种显式表示法。 第1章 集合论基础 2.特性刻划法 在集合的表示中,采用一种隐式表示的方法: S={x | p (x)} 例:满足x2+ x—10=0的整数集: B={ x | x2+ x—10=0且x是整数} 集合的辅助表示方法— Venn图又称文氏图。 第1章 集合论基础 1.3集合概念间的关系 1.集合与元素间的关系 在元素与集合间存在着:“隶属”的关系,可以用符 号:“?”表示之,称为:“属于”。e属于S则可记为e?S,如e不属于S则可记为e?S。 在元素与集合之间只存在两种关系,即:“属于”与“不属于”关系。 第1章 集合论基础 2.集合与集合间的关系 (1)相离关系 定义1.1集合的相离关系:如果集合A与B间不存在元素e,使得e?A且e?B则称A与B与相离的。 例:下面的集合A与B是相离的: A={1、4、7、8、15} B={3、18、9} 第1章 集合论基础 (2)相交关系 定义1.2集合的相交关系:如果集合A与B间至少存在一个元素e,使得e?A且e?B则称A与B与相交的。 例:下面的集合A与B是相交的。 A={1,3,7,8} B={2,4,6,8} 例:自然数集N与整数集Z是相交的。 第1章 集合论基础 3.集合相交中的两个特殊关系: (1)包含关系 定义1.3集合的包含关系:设有集合A与B,如果对每个e?B则必有e?A则称A包含B,或称B是A的子集,并可记为A?B或B?A.在A?B中如果存在 则称A真包含B,或称B是A的真子集,并可记为A?B或B?A。 定理:若A?B, B?C,则有A?C. A?A.但A?A. 第1章 集合论基础 第1章 集合论基础 (2)相等关系 定义1.4 相等关系:设有集合A与B, 如果有A?B且B?A则说A与B相等, 记A=B。否则称A与B不相等,记A?B。 A?B当仅当A?B但A?B. 相等关系:设有集合A与B,如果A与B有相同的元素,则称A与B相等并记A=B,否则称A与B不相等,并记以A?B。 第1章 集合论基础 1.4集合概念的基本性质 1.集合元素的确定性:e?S,或 e?S 2.集合元素的相异性:集合中每个元素均不相同 3.集合元素的不重复性:不出现有相重复的元素 4.集合元素的无序性:集合中元素与其排列无关 5.集合与元素的相异性:集合与元素是两个不同 概念,集合不等同于元素。 第1章 集合论基础 6.集合与元素的相同性:集合在也可以是元素,它 反映了集合嵌套性。集合A可以是另一个集合的元素, 但不能是它自己的元素,即A?A。 例:如{1,2}是集合,而在集合S={a,b,{1,2}}中,{1,2} 是元素。 7.集合的层次性:S是集合则{S}也是集合,S?{S},{S} 是比S更高一层次的集合,同样,有{S}?{{S}},{{S}} 是比{S}更高一层次的集合,…,由此类推。 8.对任一
文档评论(0)