离散数学第16讲.pptVIP

回顾上节课基本知识点 关系的定义域与值域的概念； 复合运算、逆运算的运算方法及相关性质； 像和限制的概念； 幂运算方法和相关的性质定理。 本讲基本知识点 关系的性质 关系性质的判定 关系的闭包 7.4 关系的性质 定义7.11 设R是A上的关系， (1) 若?x(x ∈A ?x,x ∈R),则称R在A上是自反的。 (2) 若?x(x ∈A ?x,x ∈R),则称R在A上是反自反的。 例如：设A={1,2,3},R1,R2,R3是A上的关系， R1={1,1,2,2} R2={1,1,2,2,3,3,2,1} R3={3,1,1,2} 则R1,R2,R3是否为A上的自反或反自反关系？ 常见自反关系：全域关系、恒等关系、小于等于关系、大于等于关系、整除关系、包含关系等。 反自反关系：小于关系、大于关系、真包含关系等。 OBVIOUS: R是A上的自反关系?IA ?R ?EA R是A上的反自反关系?IA∩R= φ 思考：最大、最小的自反/反自反关系分别是？ 定义7.12 设R是A上的关系， (1) 若?x ?y(x,y∈A ∧x,y ∈R ?y,x ∈R),则称R在A上是对称的。 (2) 若?x ?y(x,y∈A ∧x,y ∈R ∧y,x∈R ?x=y),则称R在A上是反对称的。 或 若?x ?y(x,y∈A ∧xRy∧x≠y ?yRx),则称R在A上是反对称的。 例如：设A={1,2,3},R1,R2,R3是A上的关系， R1={1,2,2,1} R2={1,1,2,2,3,3,2,1} R3={3,1,1,2 ,2,1} R4={3,3,1,1} 则R1,R2,R3 ,R4是否为A上的对称或反对称关系？ 常见对称关系：全域关系、恒等关系、空关系φ 。 反对称关系：恒等关系、空关系φ 。 OBVIOUS: R是A上的对称关系?R=R-1 R是A上的反对称关系?R ∩R-1 ? IA 定义7.13 设R是A上的关系， 若 ?x ?y ?z(x,y,z∈A ∧x,y ∈R ∧y,z ∈R ?x,z ∈R) 则称R在A上是传递的关系。 例如：设A={1,2,3},R1,R2,R3是A上的关系， R1={1,2,2,1} R2={2,1} R3={3,1,1,2 ,2,1} R4={3,3,1,1} 则R1,R2,R3 ,R4是否为A上的传递关系？ 常见传递关系：全域关系、恒等关系、空关系φ、小于等于关系、大于等于关系、整除关系、包含关系、小于关系、大于关系、真包含关系等。 OBVIOUS: R是A上的传递关系?R。R ? R 定理7.9设R为A上的关系 ，则 （1）R在A上自反当且仅当IA ?R （2）R在A上反自反当且仅当IA ∩?R= φ （3）R在A上对称当且仅当R=R-1 （4）R是A上的反对称关系当且仅当R ∩R-1 ? IA （5）R是A上的传递关系当且仅当R。R ? R 例7.13 设A是集合，R1，R2是A上的关系，证明： (1)若是R1，R2自反和对称的，则R1 ∪ R2也是自反和对称的。 (2) 若R1和R2是传递的，则R1 ∩ R2也是传递的。 证明: ∵ R1，R2是A上的自反关系 ∴ IA ? R1 ∧ IA ? R2= IA ? R1 ∪ R2 ∴ R1 ∪ R2 是A上的自反关系 又∵ R1，R2是A上的对称关系 ∴ R1 = R1 -1∧ R2 = R2 -1 易知（参见习题七） (R1 ∪ R2 ) -1 = R1 -1 ∪ R2 -1 = R1 ∪ R2 ∴ R1 ∪ R2 是A上的对称关系 (2) ∵ R1，R2是A上的传递关系 ∴ R1 。 R1 ? R1 ∧ R2 。 R2 ? R2 ∴ （R1 ∩ R2 ）。 （R1 ∩ R2 ） ? R1 。 R1 ∩ R1 。 R2 ∩ R2 。 R1 ∩ R2 。 R2 （定理7.4） ? (R1 ∩ R2 )∩ R1 。 R2 ∩ R2 。 R1 ? R1 ∩ R2 ∴ R1 ∩ R2 是A上的传递关系 考虑：若R1，R2在A上是传递的，则R1 ∪ R2也是传递的吗？ 答：不一定。如A={1,2,3}, R1 ={1,2,2,3,1,3}, R2 ={3,1,1,2,3,