【离散数学】集合与关系

④ 关系的性质：

自反性⇔(∀x)(x∈X→xRx)

对称性⇔(∀x)(∀y)(x∈X∧y∈X∧xRy→yRx)

传递性⇔(∀x)(∀y)(∀z)(x∈X∧y∈X∧z∈X∧xRy∧yRz→∧xRz)

反自反性⇔(∀x)(x∈X→∉R)

反对称性⇔(∀x)(∀y)(x∈X∧y∈X∧xRy∧yRx→x=y)

注：可能存在某种关系既是对称的，又是反对称的

5. 复合关系

① 设R为X到Y的关系，S为Y到Z的关系，则R◦S称为R和S的复合关系

② R◦S={|x∈X∧z∈Z∧(∃y)(y∈Y∧∈R∧∈S)}

6. 逆关系

① 将R中每一序偶的元素顺序互换，所得到的集合称为R的逆关系

② A×B的逆关系为B×A

③ R◦S的的逆关系为S逆◦R逆

④ R是对称的⇔R=R逆

⑤ R是反对称的⇔R∩R逆⊆Ix

7. 关系的闭包运算

① 设R是X上的二元关系，则有：

R是自反的⇔r(R)=R

R是对称的⇔s(R)=R

R是传递的⇔t(R)=R

② 求关系的闭包

r(R)=R∪Ix

s(R)=R∪R逆

t(R)=R+

8. 集合的划分与覆盖

① 通过一个例子来区分划分与覆盖

例如：A={a,b,c}

S={{a,b},{b,c}} Q={{a},{a,b},{a,c}} D={{a},{b,c}} G={{a,b,c}} F={{a},{a,c}}

S，Q是A的覆盖，D，G是A的划分，F既不是覆盖也不是划分

② 如果是个划分，那么一定是覆盖

9. 等价关系

① 自反+对称+传递

② 集合A上的等价关系R决定了A的一个划分，该划分就是商集A/R

③ 集合A的一个划分确定A的元素间的一个等价关系

10. 相容关系

① 自反+对称

② 等价一定相容

③ 集合A的任意一个覆盖可以确定A的一个相容关系

④ 最大相容类：找最大的完全多边形

⑤ 完全覆盖：最大相容类的覆盖

11. 序关系

① 自反+反对称+传递

③ 哈斯图：去自环→取消所有由于传递性出现的边→箭头全向上

附：系列文章

概念

序号	文章目录	直达链接
1	命题逻辑	https://want595.blog.csdn.net/article/details/127668028
2	谓词逻辑	https://want595.blog.csdn.net/article/details/127778238
3	集合与关系	https://want595.blog.csdn.net/article/details/127795442
4	代数结构	https://want595.blog.csdn.net/article/details/128137042

测试

序号	文章目录	直达链接
测试一	命题逻辑	https://want595.blog.csdn.net/article/details/127867551
测试二	谓词逻辑	https://want595.blog.csdn.net/article/details/127882989
测试三	集合与关系	https://want595.blog.csdn.net/article/details/127895052
期中测试	综合	https://want595.blog.csdn.net/article/details/130224115
测试四	代数系统	https://want595.blog.csdn.net/article/details/128299491
测试五	图论	https://want595.blog.csdn.net/article/details/130225432

相关阅读:
【Python实战】--输出与输出(updating)
PTE 做题方法 Summarise Written Text and Write Essay
详解strstr函数：查找子字符串函数及其模拟实现
Transformer 综述 & Transformers in Vision: A Survey
系统架构设计：17 论信息系统的安全性与保密性设计
【LeetCode】36.有效的数独
探索 Flutter 中的动画：使用 flutter_animate
【23真题】招600+，太火爆！题目略难！快来挑战！
数据结构——时间复杂度和空间复杂度
理解期望和方差(均值/估计值)

原文地址：https://blog.csdn.net/m0_68111267/article/details/127795442