离散数学:关系的性质

一、前言

本文将简单介绍二元关系的性质:(1)自反性(2)对称性(3)传递性,以及由此派生出的其他性质。

二、二元关系的性质

2.1 自反性定义

(1)若\forall x (x\in A\rightarrow <x, x> \in R ), 则称R在A上是自反的

(2)若\forall x (x\in A\rightarrow <x, x> \notin R ),则称R在A上是反自反的

2.2 对称性定义

    设R为A上的二元关系,

  (1)若\small \forall x \forall y (x,y\in A \Lambda <x,y>\in R \rightarrow <y,x>\in R),则称R为A上的对称关系

    (2)   若\small \forall x \forall y (x,y\in A \Lambda <x,y>\in R \Lambda<y,x>\in R \rightarrow x=y),则称R为A上的反对称关系

2.3 传递性定义

    设R为A上的二元关系,若 \small \forall x \forall y \forall z(x,y,z\in A \Lambda <x,y> \in R\Lambda <y,z>\in R \rightarrow <x,z>\in R),则称R为A上的传递关系

          

 

 

    

  • 8
    点赞
  • 14
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
离散数学中,二元关系是指集合中的两个元素之间的某种关系。以下是二元关系的一些性质及其关系图: 1. 自反性:对于集合中的任意元素 a,a 与自身的关系必须存在。关系图中,自反性表示为从节点指向自身的箭头。 2. 对称性:如果 a 与 b 有某种关系,那么 b 与 a 也必须有同样的关系关系图中,对称性表示为双向箭头。 3. 反对称性:如果 a 与 b 有某种关系,且 b 与 a 也有同样的关系,则 a 和 b 必须是相同的元素。关系图中,反对称性表示为单向箭头。 4. 传递性:如果 a 与 b 有某种关系,b 与 c 也有同样的关系,那么 a 与 c 也必须有同样的关系关系图中,传递性表示为箭头构成的三角形。 5. 反传递性:如果 a 与 b 有某种关系,且 a 与 c 也有同样的关系,那么 b 与 c 不能有同样的关系关系图中,反传递性表示为箭头构成的三角形,但箭头指向的方向相反。 6. 等价关系:具有自反性对称性传递性关系称为等价关系关系图中,等价关系表示为由双向箭头构成的环。 7. 偏序关系:具有自反性、反对称性传递性关系称为偏序关系关系图中,偏序关系表示为箭头构成的有向无环图。 8. 全序关系:具有偏序关系的基础上,任意两个元素之间都有某种关系,称为全序关系关系图中,全序关系表示为箭头构成的有向无环图,并且每两个节点之间都有箭头相连。

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值