第6章 节 二元关系 电子科大离散数学内部.ppt

第6章 节 二元关系 电子科大离散数学内部.ppt

  1. 1、本文档共147页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第6章 节 二元关系 电子科大离散数学内部.ppt

离散数学;第三篇 二元关系;6.0 内容提要;6.1本章学习要求;第三篇 二元关系;email中的小小世界;最新研究:6.6度分割;关系与计算机;6.2 二元关系;例6.2.1;注:序偶与集合的关系;N重有序组;笛卡尔乘积;例6.2.3;例6.2.3 解(续);注意;集合相等?两个集合互相包含;定理6.2.1 分析;定理6.2.1 证明;定理6.2.1 证明(续);定理6.2.2;定理6.2.2 证明(续);定义6.2.6;定理6.2.3;6.2.2关系的定义;定义6.2.7 设A,B为两个非空集合,称A×B的任何子集R为从A到B的二元关系,简称关系(Relation)。如A=B,则称R为A上的二元关系。 ;例6.2.4;例6.2.4 解(续);域;求定义在Z上关系的定义域、值域和域。 (1)R1={x,y|(x,y∈Z)∧{y=x2}}; (2)R2={x,y|(x,y∈Z)∧{|x|=|y|=7}}。 解(1)domR1=Z,ranR1=Z+∪{0},fldR1=Z; (2)domR2={7,–7},ranR2={7,–7}, fldR2={7,–7}。;例6.2.6;6.2.3关系的表示法;6.2.3 关系的表示法;2.关系图法(续);例6.2.8;例6.2.8 解;设A={a1,a2,...,an},B={b1,b2,...,bm},R是从A到B的一个二元关系,称矩阵MR=(rij)n×m为关系R的关系矩阵(Relation Matrix),其中 又称MR为R的邻接矩阵(Adjacency Matrix)。;例6.2.9?;例6.2.9?解 ;布尔矩阵的运算;布尔矩阵的运算(续);例6.2.10;例6.2.10 解;6.2.5 关系的应用;例6.2.12;例6.2.13;例6.2.1 请将下列关系改写为表。;6.3 关系的运算;例6.3.1?;例6.3.1 解;6.3.1 关系的复合运算;例6.3.2;例6.3.3;解(3);例6.3.4;例6.3.4 解;定理6.3.1;定理6.3.1 证明;定理6.3.1 证明(续);设A、B、C和D是任意四个集合,R是从A到B的关系,S1,S2是从B到C的关系,T是从C到D的关系,则:  1)、R?(S1∪S2)=(R?S1)∪(R?S2)  2)、R?(S1∩S2)?(R?S1)∩(R?S2)  3)、(S1∪S2)?T=(S1?T)∪(S2?T)  4)、(S1∩S2)?T?(S1?T)∩(S2?T);试说明下面的包含关系不一定成立。 (1)(RoS1)∩(RoS2)?Ro(S1∩S2) (2)(S1oT)∩(S2oT)?(S1∩S2)oT;设A={a},B={b1,b2},C={c}, 关系R, S1,S2定义如下: R={c, b1,c, b2} , S1={b1,a},S2={b2,a } 。 则由于S1∩S2=Φ,所以R?(S1∩S2) =R?Φ =Φ, 但(R?S1)={c,a},(R?S2)={c,a}, 所以 (R?S1) ∩(R?S2)= {c,a}, 即 (RoS1)∩(RoS2) Ro(S1∩S2), 这说明(RoS1)∩(RoS2)?Ro(S1∩S2)不一定成立。;设A={a},B={b1,b2},C={c}, 关系S1,S2,T定义如下: S1={a,b1},S2={a,b2},T={b1,c,b2,c}。 则由于S1∩S2=Φ,所以(S1∩S2)?T=Φ?T=Φ, 但(S1?T)={a,c},(S2?T)={a,c}, 所以(S1?T)∩(S2?T)={a,c}, 即(S1?T)∩(S2?T) (S1∩S2)?T, 这说明(S1oT)∩(S2oT)?(S1∩S2)oT不一定成立。;说  明;定义6.3.2 设A,B是两个集合,R是A到B的关系,则从B到A的关系 R-1={b,a|a,b∈R} 称为R的逆关系(InverseRelation) , 运算“-1”称为逆运算(InverseOperation) 。;例6.3.6;例6.3.6 解;例6.3.6 解(续);注意;设A、B和C是任意三个集合,R,S分别是从A到B,B到C的二元关系,则 (RoS)-1=S-1oR-1。;任取c,a∈(R?S)-1,则a,c∈R?S 由“?”的定义知:则至少存一个b∈B,使得: a,b∈R,b,c∈S, 由“R-1”的定义知,b,a∈R-1,c,b∈S-1, 从而有c,a∈S-1?R-1,即(R?S)-1?S-1?R-1。 反之,任取c,a∈S-1?R-1, 由“?”的定义知:则至少存一个b∈B,使得: c,b∈S-1和b,a∈R-1。 由“R-1”的定义知,有a,b∈R,b,c∈S。 从而a,c∈

您可能关注的文档

文档评论(0)

yuzongxu123 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档