离散数学 第五单元 relations

目录

1. 用矩阵表示关系

matrices 矩阵

digraph 有向图

2. 关系的性质(研究同一个集合)

reflexive 自反性

symmetric 对称性

antisymmetric 反对称性

transitive 传递性

3. 关系的运算

关系的并交运算

​关系的复合运算

​关系的幂运算

4. closure of relations 关系的闭包

reflexive closures 自反闭包

symmetric closures 对称闭包

transitive closures 传递闭包

法1:不断求复合,直到n

法2:Warshall’s closures

求解闭包方法总结

关系图​

关系运算​

5. equivalence relations 等价关系

以m为模的同余关系

​equivalence classes 等价类

partitions 集合的划分

6. partial orderings 偏序关系

Hasse Diagrams 哈斯图

最大元和最小元

​极大元和极小元

​上界和上确界

下界和下确界

1. 用矩阵表示关系

matrices 矩阵

 digraph 有向图

2. 关系的性质(研究同一个集合)

reflexive 自反性

symmetric 对称性

antisymmetric 反对称性

具有对称性的矩阵,对称位置必须都为0或者都为1

具有反对称性的矩阵,对称位置绝对不可能都为1

transitive 传递性

3. 关系的运算

关系的并交运算

关系的复合运算

R对到M:R的第一行分别去对应S的每一列

关系的幂运算

4. closure of relations 关系的闭包

(不考虑删除来得到反对称性等性质)

reflexive closures 自反闭包

symmetric closures 对称闭包

transitive closures 传递闭包

法1:不断求复合,直到n

法2:Warshall’s closures

W0就是原矩阵。

W1:考虑第一个节点(a)作为中间节点,寻找一条边(以i为起点,j为终点),从i到j,中间只有一个a节点,设置矩阵的ij位置为1

看图发现,只有b a d这条边满足条件,b对应2,d对应4,那么W1就是在W0的基础上把24位置设置为1

W2:a、b作为中间节点

看图发现,不存在满足条件的边,所以W2=W1

W3:a、b、c作为中间节点

看图发现,b c d、b c a、d c ad c d这四条边都满足条件,24、21、41、44位置置1 

W4:a、b、c、d作为中间节点

看图发现,a d c、c d c、a d c a满足条件,13、33、11设置 

求解闭包方法总结

关系图

关系运算

5. equivalence relations 等价关系

以m为模的同余关系

equivalence classes 等价类

注意这里的非空集合A实际上是整数集Z哦~(请看同余关系的定义)

partitions 集合的划分

6. partial orderings 偏序关系

Hasse Diagrams 哈斯图

最大元和最小元

极大元和极小元

上界和上确界

下界和下确界

  • 8
    点赞
  • 11
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值