离散数学课件:4-2 二元关系与函数.pptxVIP

  • 2
  • 0
  • 约5.88千字
  • 约 31页
  • 2021-11-13 发布于安徽
  • 举报
复习思考题8设A={1,2,3},B={x, y},C={a,b,c,d}, 则|A?C | =__________。 A?(B?C)有________个三元组。用公式表示下列文氏图:ABC第4章 二元关系与函数4.1 集合的笛卡儿积与二元关系4.2 关系的运算4.3 关系的性质4.4 关系的闭包4.5 等价关系和偏序关系4.6 函数的定义和性质4.7 函数的复合和反函数 A?B ={ x, y | x?A ? y?B }笛卡儿积( ? )的性质 A?B ={ x, y | x?A ? y?B }约定:若A=? 或 B=?,则 A ? B = ?一般地,不满足交换律: A ? B ≠ B ? A一般地,不满足结合律: (A ? B) ? C ≠ A ? (B ? C) 若|A|= n,|B|= m,则: |A ? B|=n ? m=|A| ? |B|对于并或交运算满足分配律 A?(B?C)=(A?B)?(A?C) (B?C)?A=(B?A)?(C?A) A?(B?C)=(A?B)?(A?C) (B?C)?A=(B?A)?(C?A)a, b, c ? a, b, c 直积运算性质的证明?证明: A?(B?C)=(A?B)?(A?C)证: 任取x, y x, y ? A ? (B?C) ? x?A ? y?(B ? C) ? x?A ? (y?B ? y?C) ? (x?A ? y?B) ? (x?A ? y?C) ? x, y ? A ? B ? x, y ? A ? C ? x, y ?(A ? B)?(A ? C) x, y?A?B ? x?A ? y?B A?B={x|x?A?x?B} [P77例4.2]判断等式是否成立 (1) (A?B)?(C?D) = (A?C)?(B?D) 证:?x, y? (A?B)?(C?D) ? x?(A?B) ? y?(C?D) ? (x?A ? x?B) ? (y?C ? y?D) ? x, y?(A?C) ? x, y?(B?D) ? x, y?(A?C)?(B?D) ? x, y?(A?D) ? x, y?(B?C) ? x, y?(A?D)?(B?C)设A、B、C和D为任意集合(A?B)?(C?D) =(A?C)?(B?D)DCB?D (A?B)?(C?D) A?C A B(A?B)?(C?D) =(A?D)?(B?C)DCA?D (A?B)?(C?D) B?C A B[P77例4.2]判断等式是否成立 (2) (A ? B) ? (C ? D) = (A ? C ) ? (B ? D) ?x,y? (A ? B) ? (C ? D) ? x? (A ? B) ? y? (C ? D) ? (x?A ? x?B) ? ( y?C ? y? D) ? (x?A ? y?C) ? ( x?A ? y? D) ?(x?B ? y?C) ? ( x?B ? y? D) ? x,y?(A?C)?(A?D) ?(B?C)?(B?D) (A?B)?(C?D)=(A?C) ?(B?D)?(A?D)?(B?C)(A?B)?(C?D) DCB?DA?C A BA?DB?C[P77例4.2]判断等式是否成立 (2) (A ? B) ? (C ? D) = (A ? C ) ? (B ? D) 例如: A = {1}, B = {2}, C = {3}, D = {4} 则 (A ? B) ? (C ? D) = {1, 2} ? {3, 4} = {1,3,1,4,2,3,2,4} 而 (A ? C ) ? (B ? D) = {1} ? {3} ? {2} ? {4} ={1,3, 2,4}例:当 A =D = ? ,B =C ={1} 时 (A?B)?(C?D) ={1,1}(A?B)?(C?D) DCB?DA?C A B[P78例4.3]判断命题的真假 设A、B、C和D为任意集合(1) 若 A?B且C?D,则有 A?C ? B?D 证:任取 x, yx, y?A ? C ? x?A ? y?C ? x?B ? y?D ? x, y?B ? D (2) 若A?B ? C?D,则有 A?C且B?D 解:不一定,反例如下: 当 A = {1}, B = C = D = ? 时 A ? B = ? ? C ? D = ?,但 A ? C x, y?A?B ? x?A ? y?B A?B ? C ? D 二元关系的定义定义: 如果一个集合满足以下条件之一:(1)集合非空, 且它的元素都是有序对,(2)集合是空集。 则称该集合为一个二元关系, 简称为关系,记作R.如果x,y?R, 可记作 xRy;如果x,y?R, 则记作x R y实例:R={1,2,

文档评论(0)

1亿VIP精品文档

相关文档