离散数学期末复习-求关系闭包

自反性与非自反性

定义

设R为A上的关系

  1. ∀ \forall x(x∈A-><x,x>∈R),则称R在A上是自反的
  2. ∀ \forall x(x∈A-><x,x> ∉ \notin /R),则称R在A上是反自反的

实例

QQ截图20210701155841.png

QQ截图20210701160126.png

对称性与反对称性

定义

设R为A上的关系

  1. ∀ \forall x ∀ \forall y(x,y ∈ \in A ∧ \wedge <x,y> ∈ \in R-><y,x> ∈ \in R),则称R为A上对称的关系
  2. ∀ \forall x ∀ \forall y(x,y ∈ \in A ∧ \wedge <x,y> ∈ \in R ∧ \wedge <y,x> ∈ \in R->x=y),则称R为A上的反对称关系

实例

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

传递性

定义

设R为A上的关系,若 ∀ \forall x ∀ \forall y ∀ \forall z(x,y,z ∈ \in A ∧ \wedge <x,y> ∈ \in R ∧ \wedge <y,z> ∈ \in R-><x,z> ∈ \in R),则称R是A上的传递关系

实例

QQ截图20210701161601.png

QQ截图20210701161609.png

关系性质的充要条件

QQ截图20210701161940.png

关系性质判别

QQ截图20210701162033.png

实例

在这里插入图片描述

关系闭包

设R是非空集合A上的关系, R的自反(对称或传递)闭包是A上的关系R‘, 使得R’满足以下条件:

  1. R’是自反的(对称的或传递的)
  2. R ⊆ \subseteq R‘
  3. 对A上任何包含R的自反(对称或传递)关系 R’‘ 有 R’ ⊆ \subseteq R‘’.

一般将 R 的自反闭包记作 r®, 对称闭包记作 s®, 传递闭包记作 t®.

闭包的构造方法

集合表示

QQ截图20210701162700.png

矩阵表示

QQ截图20210701162825.png

图表示

QQ截图20210701162839.png

实例

在这里插入图片描述

QQ截图20210701163214.png

QQ截图20210701163639.png

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值