第7讲 关系幂运算与 及关系闭包 北京大学计算机系离散数学讲义(ppt版).ppt

第7讲 关系幂运算与关系闭包;关系的幂运算;关系的n次幂;关系幂运算(举例);关系幂运算(举例,续);关系幂运算是否有指数律?;定理17;定理17(证明(1)); R0,R1,R2,R3,…是否互不相等?;定理16;鸽巢原理(pigeonhole principle);定理18;定理18(说明);定理18 (证明(1)(3));定理18(证明(2));幂指数的化简;关系的闭包;什么是闭包;自反闭包(reflexive closure);对称闭包(symmetric closure);传递闭包(transitive closure);定理19;定理20;定理21;定理21(证明(2));定理21(证明(3));如何求闭包?;定理22~24;定理22;定理23;定理24;定理24的推论;例8;例8(续);例8(续2);例8(续3);例8(续4);闭包运算是否保持关系性质?;定理25;定理25(证明(2));定理25(证明(3));定理25(反例);闭包运算是否可以交换顺序?;定理26;定理26(证明(1));定理26(证明(2));定理26(证明(3));定理26((3)反例);总结;作业(#5)