第四章总结.pptVIP

* * * * * * * * * * * Ａn?Ａ 于是有Ａ1∩B?Ａ∩B 　Ａ2 ∩B ?Ａ∩B ┄ Ａn ∩B ?Ａ∩B 并且Ａ1∩B?Ａ2∩B ? ┄ ?Ａn ∩B =(Ａ1 ?Ａ2 ? ┄ ?Ａn) ∩B = A∩B. 对任何(Ａi∩B) ∩(Ａj∩B)=(Ａi∩Ａj) ∩B=Φ∩B= Φ (i≠j) 　　　 3.(85页第２题） 把n个元素的集合划分为两个类，共有多少种不同的分法？ 解：２个元素的有１种分法： 即Ｃ1＝{{a1}, {a2}},即2(2-1)-1 3个元素的有３种分法： 即Ｃ1＝{{a1}, {a2 ,a3}} Ｃ2＝{{a2}, {a1 ,a3}} Ｃ3＝{{a3}, {a1 ,a2}}即2(３-1)-1 4个元素的有７种： 即Ｃ1＝{{a1}, {a2 ,a3 ,a4}} Ｃ2＝{{a2}, {a1 ,a3 ,a4}} Ｃ3＝{{a3}, {a1 ,a2, a4}} Ｃ4＝{{a4}, {a1 ,a2 ,a3 }} Ｃ5＝{{a1,a2}, {a3 ,a4}} Ｃ6＝{{a1,a3}, {a2, a4}} 　Ｃ7＝{{a1,a4}, {a2 ,a3 }}　即2(4-1)-1 一般具有n个元素的集合分成两堆的分法有2(n-1)-1种 4.(85页第６题) 在等价关系图中，应如何识别等价类？ 解：关系图中如果有孤立的结点，则它是一个等价类； 都不与其它结点相关联的相互联结的两个结点构成一个等价类； 都不与其它结点相关联的相互联结的三个结点构成一个等价类； 都不与其它结点相关联对角线相关联的四个结点构成一个等价类 都不与其它结点相关联的正五角星构成一个等价类； 　　　　　　　　　　　　 　　　　　　　　　　 都不与其它结点相关联的正六角星构成一个等价类； 　　　　　　　 5.(89页第２题) 给定集合Ｓ={A1 ,A2,…, An}的覆盖，如何确定此覆盖的相容关系。 解：其对应的相容关系为： R= A1x A1? A2x A2 ?… ? Anx An * * * * * * * * * * * * * * * * * * * * * * * * * * * 总结 第四章 关系 重点是有序二元组a,b和两个集合的笛卡尔积A×B。这两个概念是二元关系这一概念建立的基础。 1. 有序n元组和n个集合的笛卡尔积 2. 二元关系（简称“关系”）的概念 总结 第四章 关系 3. 二元关系的表示方法 (1) 集合的表示方法：枚举法和构造法均可用来表示关系。 (2) 关系矩阵表示法，用来表示由有限集A到有限集B的关系。 (3) 关系图表示法 4. 集合A上关系的性质 (1) 自反与反自反：分别定义为对所有的 ，必须均有 和不允许任何 。 (2) 对称：对任意 ，若有 ，则必须有 同时出现在 中。 (3) 反对称：对任意 ，当a≠b时，a,b和b,a不能 在 中，则必有a,c也出现在 中。 (4) 可传递：对任意三个元素a,b,c?A，若a,b,b,c出现 R是不自反的 ＝?x(x?X∧x,x?R)∧ ?y(y?X∧ y,y?R) R是不对称的 =?x?y(x?X∧y?X∧x,y?R∧y,x?R) ∧ ?z?w(z?X∧w?X∧z,w?R∧ w,z?R) （补充）如何利用关系矩阵和关系图来判断关系的性质 （1） 关系矩阵 1 2 3 4 若 是对称的，则关系矩阵关于主对角线对称。 若 是反对称的，则关系矩阵中，关于主对角线对称的元素不同时为1。 若 是自反的，则关系矩阵的主对角线上的所有元素均为1。 若 是反自反的，则关系矩阵的主对角线上所有元素均为0。 （2） 关系图 若 是自反的，则关系图中每一结点引出一个指向自身的自环。 若 是反自反的，则关系图中每一结点均没有自环。 若 是对称的，则在关系图中，若两结点之间存在有边，则必存在两条方向相反的边。 若 是反对称的，则在关系图中，任意两个不同的结点间至多只有一条边。 若 是可传递的，则在关系图中，若每当有边由 指向 ，且又有边由 指向 ，则必有一条边由 指向 。 总结 第四章 关系 5