离散数学:二元关系

关系的定义

A与B的笛卡尔积的任意子集都是从A到B的一个关系

表示方法

  1. 集合表示法
  2. 关系图表示法
  3. 关系矩阵表示法

关系的逆运算

设R是A到B的关系,则B到A的关系R的逆表示把R的前域和后域互换。R的逆关系的布尔矩阵是R的布尔矩阵的转置。

关系的性质

  1. 自反
  2. 反自反
  3. 对称
  4. 反对称
  5. 传递

等价关系

具有:自反、对称、传递

等价类

R是非空集合上的等价关系,那么
[ x ] R = { y ∣ y ∈ A ∧ < x , y > ∈ R } [ x ]_R=\{y|y\isin A\land<x,y>\isin R\} [x]R={yyA<x,y>R}

商集

由R确定的一切等价类的集合,叫做集合A上关于R的商集。

拟序关系

反自反、反对称、传递

偏序关系

自反、反对称、传递

最大元、最小元、极大元、极小元

它们都在集合B中
b是B的最大元 ⇔ \Leftrightarrow B中所有的元素都比b小
b是B的最小元 ⇔ \Leftrightarrow B中所有的元素都比b大
B是B的极大元 ⇔ \Leftrightarrow B中没有比b大的元素
B是B的极小元 ⇔ \Leftrightarrow B中没有比b小的元素

上下界、上下确界

上下界的选择区域是整个大的集合,这点和最大元、最小元、极大元、极小元不一样,确界就是最大或者最小的那一个元素

全序关系

偏序关系中,所有元都可以比较

良序关系

偏序集中任何一个非空子集都有最小元

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值