离散数学知识点总结(11)“关系” 知识的总结 <2>:关系的复合运算、求逆运算

关系复合的基本概念

在这里插入图片描述

关系符合的计算方法

有向图法

在这里插入图片描述

枚举法

在这里插入图片描述

谓词公式法

  • 谓词公式法的计算过程就是函数的带入过程
    在这里插入图片描述

矩阵法(扩展部分)

关系复合运算的性质

满足结合律,不满足交换律: R ○ ( S ○ T ) = ( R ○ S ) ○ T R○(S○T)=(R○S)○T R(ST)=(RS)T

R ○ ( S ∪ T ) = ( R ○ S ) ∪ ( R ○ T ) R○(S \cup T)=(R○S) \cup (R○T) R(ST)=(RS)(RT)

R ○ ( S ∩ T ) ⊆ ( R ○ S ) ∩ ( R ○ T ) R○(S \cap T)\subseteq (R○S) \cap (R○T) R(ST)(RS)(RT)

在这里插入图片描述

R ○ I B = I A ○ R = R R○I_B = I_A○R=R RIB=IAR=R

在这里插入图片描述

关系的乘幂

在这里插入图片描述

  • I A I_A IA 代表的是 A A A 和自身的关系

在这里插入图片描述

关系的求逆运算

在这里插入图片描述
在这里插入图片描述

关系求逆运算的计算方法

在这里插入图片描述

求逆运算性质

( R C ) C = R (R^C)^C=R (RC)C=R

( R ∪ S ) C = R C ∪ S C (R \cup S)^C=R^C \cup S^C (RS)C=RCSC

( R ∩ S ) C = R C ∩ S C (R \cap S)^C=R^C \cap S^C (RS)C=RCSC

( R − S ) C = R C − S C (R - S)^C=R^C - S^C (RS)C=RCSC

( R ⊆ S ) ≡ R C ⊆ S C (R \subseteq S)\equiv R^C \subseteq S^C (RS)RCSC

( ∼ R ) C =   ∼ R C (\sim R)^C=~\sim R^C (R)C= RC

在这里插入图片描述

( R ○ S ) C = S C ○ R C (R○S)^C=S^C○R^C (RS)C=SCRC

在这里插入图片描述

i f f   R C = R iff ~R^C=R iff RC=R R R R 是对称的

在这里插入图片描述

  • 13
    点赞
  • 73
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

暖仔会飞

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值