9.1 关系及其性质

本文介绍了关系的定义,特别是在集合A上的关系,以及关系的五种基本性质:自反、对称、非对称、反对称和传递,并通过实例解析这些性质。此外,还探讨了关系的组合和幂的性质,特别是传递关系与它的幂的关系。
摘要由CSDN通过智能技术生成

9.1 关系及其性质

关系的定义

设A和B是集合,一个从A到B的二元关系是AXB的子集。

啥意思呢?就是数据库中的外键的意思,比如下面:

image-20210131140545175

解释一下,就是课程a,有学生1和2选择了,课程b有学生1和3选择了。可以采用下面的形式表示:

R a b
1 X X
2 X
3 X

然后上面的关系可以采用
( a , 1 ) ∈ R 表 示 来 自 集 合 1 的 a 和 来 自 集 合 2 的 1 有 关 系 , 也 可 以 表 示 成 a R 1 , 称 为 a 与 b 有 关 系 R 。 如 果 没 有 关 系 可 以 采 用 在 R 上 加 一 个 斜 线 来 表 示 。 比 如 : (a,1) \in R表示来自集合1的a和来自集合2的1有关系,也可以表示成 a R 1,称为 a与b有关系R。\\ 如果没有关系可以采用在R上加一个斜线来表示。比如: (a,1)R1a21aR1abRR线
image-20210131141058621

但是这种符号markdown的latex打不出来,所以接下来我不怎么会常用,会用a与1没有关系R来表示。

上面都是考虑两个集合,也可以只考虑一个集合的,即该集合与自身的关系:

集合A上的关系是从A到A的关系。

关系的性质

下面的性质都是考虑集合A上的关系。统一定义集合A为:{1,2,3,4}

自反

∀ a ∈ A ( ( a , a ) ∈ R ) , 则 定 义 在 集 合 A 上 的 关 系 R 称 为 自 反 的 。 \forall a \in A((a,a) \in R),则定义在集合A上的关系R称为自反的。 aA((a,a)R)AR

量词的定义见这里

  • 关系R1={(1,2),(2,1),(1,1)}不是自反的,因为没有(2,2),(3,3),(4,4)
  • 关系R2={(1,2),(2,1),(1,1),(2,2),(3,3),(4,4)}是自反的,因为关系中包含了(1,1),(2,2),(3,3),(4,4)
对称

∀ a ∀ b ∈ A ( a R b → b R a ) \forall a \forall b \in A (aRb\rightarrow bRa) abA(aRbbR

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值