离散数学——二元关系(关系图、关系矩阵、关系的复合、关系的性质)

一.关系的表示法

1.集合表示法

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

2.关系图表示法

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

3.关系矩阵表示法

在这里插入图片描述

4.例题

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

二.关系的运算

1.关系的复合

(Ⅰ)复合运算的定义:

在这里插入图片描述

( Ⅱ)求关系复合的方法

关系图法:
在这里插入图片描述
矩阵法:
在这里插入图片描述
图中的⊙符号其实就是在做矩阵的乘法。矩阵乘法法则属于线性代数基本知识,这边不再赘述。

(Ⅲ)总结

在这里插入图片描述

2.关系的逆运算

逆运算的定义:
在这里插入图片描述
求逆的方法:
在这里插入图片描述
在这里插入图片描述
注意:不要认为求关系的逆就是求矩阵的逆!!
实际上,相比矩阵的逆,关系的逆明显要好求许多,它只是让<a,b>变成了<b,a>,对于关系矩阵而言,就只是相当于对关系矩阵做了一次转置(转置就是把矩阵的行和列互换,第一行变成第一列,第一列变成第一行)

3.关系的幂运算

(Ⅰ)关系的幂运算的定义

关系的幂运算其实就是多次复合运算,非常好理解:在这里插入图片描述

(Ⅱ)例题

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

三.关系的性质

下面的文章详细介绍了关系的性质:
离散数学——关系的性质
https://blog.csdn.net/Xi_Lu_yao/article/details/143634566?spm=1001.2014.3001.5501

以下是Python实现二元关系性质判定的代码和解释: ```python # 定义一个函数,判断是否为自反关系 def is_reflexive(relation, elements): for element in elements: if (element, element) not in relation: return False return True # 定义一个函数,判断是否为对称关系 def is_symmetric(relation): for x, y in relation: if (y, x) not in relation: return False return True # 定义一个函数,判断是否为传递关系 def is_transitive(relation): for x, y in relation: for z, w in relation: if y == z and (x, w) not in relation: return False return True # 定义一个函数,判断是否为等价关系 def is_equivalence(relation, elements): return is_reflexive(relation, elements) and is_symmetric(relation) and is_transitive(relation) # 定义一个函数,判断是否为偏序关系 def is_partial_order(relation, elements): return is_reflexive(relation, elements) and is_transitive(relation) # 测试代码 relation = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3)} elements = [1, 2, 3] print(is_reflexive(relation, elements)) # 输出:True print(is_symmetric(relation)) # 输出:True print(is_transitive(relation)) # 输出:True print(is_equivalence(relation, elements)) # 输出:True print(is_partial_order(relation, elements)) # 输出:True ``` 解释: 以上代码定义了五个函数,分别用于判断二元关系是否为自反关系、对称关系、传递关系、等价关系和偏序关系。其中,is_reflexive函数判断是否为自反关系,is_symmetric函数判断是否为对称关系,is_transitive函数判断是否为传递关系,is_equivalence函数判断是否为等价关系,is_partial_order函数判断是否为偏序关系。这些函数都接受两个参数,一个是表示二元关系的集合,另一个是元素的列表。测试代码中,我们定义了一个关系集合和元素列表,并分别调用了这些函数进行测试。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值