离散数学 关系2.pptVIP

* 《集合论与图论》第6讲 * 对称性(举例) * 《集合论与图论》第6讲 * 反对称性(antisymmetry) 设R?A?A, 说R是反对称的(antisymmetric),若 ?x?y(x?A?y?A?xRy?yRx?x=y). R非反对称??x?y(x?A?y?A?xRy?yRx?x?y) 定理13: R是反对称的 ? R-1? R?IA ? R-1是反对称的 ? 在M( R )中, ?i?j(i?j?rij=1?rji=0) ? 在G( R )中, ?xi?xj(i?j), 若有有向边xi,xj, 则必没有xj,xi. # * 《集合论与图论》第6讲 * 反对称性(举例) * 《集合论与图论》第6讲 * 对称,反对称(分类) 对称 反对称 非对称, 非反对称 对称且反对称 ? * 《集合论与图论》第6讲 * 传递性(transitivity) 设R?A?A, 说R是传递的(transitive), 如果 ?x?y?z(x?A?y?A?z?A?xRy?yRz?xRz). R非传递? ?x?y?z(x?A?y?A?z?A?xRy?yRz??xRz) 定理14: R是传递的 ? R○R?R ? R-1是传递的 ? 在M(R○R)中, ?i?j, 若rij’=1,则M( R )中相应的元素rij=1. ? 在G( R )中, ?xi?xj?xk, 若有有向边xi,xj,xj,xk, 则必有有向边xi,xk. # * 《集合论与图论》第6讲 * 传递性(举例) * 《集合论与图论》第6讲 * 传递(分类) 非传递 传递 * 《集合论与图论》第6讲 * 举例 在 N = {0,1,2,…} 上: ?={x,y|x?N?y?N?x?y}自反,反对称,传递 ?={x,y|x?N?y?N?x?y}自反,反对称,传递 ={x,y|x?N?y?N?xy}反自反,反对称,传递 ={x,y|x?N?y?N?xy}反自反,反对称,传递 |={x,y|x?N?y?N?x|y}反对称,传递(?0|0) IN={x,y|x?N?y?N?x=y}自反,对称,反对称,传递 EN={x,y|x?N?y?N}=N?N自反,对称,传递. # * 《集合论与图论》第6讲 * 例5 例5: A={a,b,c} R1={a,a,a,b,b,c,a,c}, R2={a,a,a,b,b,c,c,a}, R3={a,a,b,b,a,b,b,a,c,c}, R4={a,a,a,b,b,a,c,c}, R5={a,a,a,b,b,b,c,c}, R6={a,b,b,a,b,c,a,a}, * 《集合论与图论》第6讲 * 例5(续) R1={a,a,a,b,b,c,a,c}反对称,传递 R2={a,a,a,b,b,c,c,a}反对称 G(R1) a c b G(R2) a c b * 《集合论与图论》第6讲 * 例5(续) R3={a,a,b,b,a,b,b,a,c,c}自反,对称,传递 R4={a,a,a,b,b,a,c,c}对称 G(R3) a c b G(R4) a c b * 《集合论与图论》第6讲 * 例5(续) R5={a,a,a,b,b,b,c,c}自反,反对称,传递 R6={a,b,b,a,b,c,a,a}. # G(R5) a c b G(R6) a c b * 《集合论与图论》第6讲 * 关系运算是否保持关系性质 定理15: 设R1,R2?A?A都具有某种性质. 自反 反自反 对称 反对称 传递 R1-1, R2-1 R1?R2 R1?R2 R1○R2 , R2○R1 R1-R2 , R2-R1 ~R1,~R2 * 《集合论与图论》第6讲 * 关系运算是否保持关系性质 定理15: 设R1,R2?A?A都具有某种性质. 自反 反自反 对称 反对称 传递 R1-1, R2-1 ? ? ? ?(4) ? R1?R2 ? ? ? R1?R2 ? ?(2) ? ? ?(5) R1○R2 , R2○R1 ?(1) R1-R2 , R2-R1 ? ?(3) ? ~R1,~R2 ?(3‘) * 《集合论与图论》第6讲 * 定理15(证明(1)) (1) R1,R2自反 ? R1○R2自反. 证明:?x, x?A ? xR2x ? xR1x ? xR1○R2x ? R1,R2自反 ? R1○R2自反. # * 《集合论与图论》第6讲 * 定理15(证明(2)) (2) R1,R2反自反 ? R1?R2反自反. 证明: (反证) 若R1○R2非反自反, 则