离散数学及其应用-树的关系课件.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学及其应用-树的关系课件

离散数学及其应用 1 第4章 关系和函数 4.1 关系的概念 4.2 关系的表示法 4.3 关系的运算 4.4 关系的性质 4.5 关系的闭包 4.6 等价关系和等价类 4.7 偏序关系 4.8 函数 2 背景 本章研究集合内元素间的关系和集合间元素的关系,即关系和函数。从本质上认识集合。 离散数学中的关系理论广泛应用于计算机科学的很多方面,如数据结构、数据库、算法分析等,是一个非常重要的数学概念。 3 4.1 关系的概念 4.1.4 序偶和有序n元组 定义4.1.4 由两个元素a和b按一定的顺序排列成的二元组叫做一个有序对(也称序偶),记作(a,b),其中a是它的第一元素,b是它的第二元素。 一般说来有序偶具有以下特点: 1. 当ab时,则(a,b) (b,a)。 2. 两个有序偶相等,即(a,b) =(c,d)的充分必要条件是a=c且b=d。 注意:区别(a,b)和{a,b}。例如,当ab时,有{a,b}={b,a}。 4 有序n元组 定义4.1.2 由n个元素a1,a2,…an按一定的顺序排列成的一个序列(a1,a2,…an),称为有序n元组,其中a1为第一元素,a2为第二元素,…an为第n元素。 例如n维空间中点的坐标或n维向量都是有序n元组,(1,2,5),(−1,−2,3)等是三维空间直角坐标系中点的坐标。 (a1,a2,…,an)=(b1,b2,…,bn),当且仅当 ai = bi ,i=1,2,…,n。 5 4.1.2 集合的直积(笛卡儿积 ) 定义4.1.3 设A,B为集合,取A中的元素作为第一元素,取B中的元素做为第二元素构成有序对,所有这样的有序对组成的集合,称为A和B的笛卡儿积(直积),表示为AB。于是 AB={(x,y)|xA  yB} 6 例题 例4.1.1 A={a,b,c},B={1,3}。求AB, BA,A,B A  B={(a,1),(a,3),(b,1),(b,3),(c,1),(c,3)} B A={(1,a),(1,b),(1,c),(3,a),(3,b),(3,c)} A=  , B=    例4.1.2 已知A={a,b,c},B={1,3},C={x}。求(AB)C,A(BC)。 解 (AB)C= {((a,1), x), ((a,3), x), ((b,1), x), ((b,3), x), ((c,1), x), ((c,3), x)} A(BC)= {(a, (1, x)), (a, (3, x)), (b, (1, x)), (b, (3, x)), (c, (1, x)), (c, (3, x))} 7 笛卡儿积 当A,B为非空集合且A  B时,笛卡尔积运算不满足交换律,即 AB  BA AB=,当且仅当A=或B=。 当A,B,C均为非空集合时,笛卡尔积运算不满足结合律,即 (AB)C  A(BC) 当集合A和B都是有限集时,根据乘法原理,有| AB|=|A||B|。 8 定理 定理4.1.1 设A,B,C为任意集合,则 A(BC)=(A B)(A C) A(BC)=(A B)(A C) (AB)C =(A C)(B C) (AB)C =(A C)(B C) 9 例题 例4.1.3 设A,B,C为任意集合,证明A(BC)=(AB)(A C) 证明 对于任意有序对(x,y) (x,y) A(BC)  x A  y (BC)  x A (y  B y  C) (x A  y  B)(x A  y  C) (x,y)(A  B)(x,y)(A  C) (x,y)(A  B)(A  C)   所以有A(BC)=(AB)(A C)。 10 n个集合的直积 定义4.1.4 设A1,A2,…An为任意n个集合,它们的笛卡尔积(又称n阶直积)为   当A1=A2=…=An=A时,A1A2…An=An。 若| A1|=n1,| A2|=n2,…| An|=nn,,则n个集合的笛卡尔积中的元素个数为 11 例题 证明:对于任意有序对(x,y), 12 例题 例4.1.5 设A,B,C,D是任意集合,判断下列命题是否为真? (1) (2) (3) 解 (1) 不一定为真。 (2) 为真。 (3) 不一定为真。 13 4.1.3 关系的概念 定义4.1.5 如果一个集合非空且它的元素都是有序对,或集

文档评论(0)

allap + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档