【离散数学】集合与关系

④ 关系的性质：

自反性⇔(∀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

相关阅读:
MCE | 表观遗传：YTHDF蛋白调节 m6A-RNA
PDF文件的页眉页脚无法删除的原因和三种替代方法
《Android Studio开发实战从零基础到App上线(第3版)》出版后记
Pandas处理dataframe的文本数据列：使用str属性获取数据列的字符串方法类、contains函数判断数据列是否包含指定字符串生成布尔值序列
力扣练习——33 原子的数量
webStorm内存溢出问题
大数据技术之Hadoop：HDFS存储原理篇（五）
直播预约：人人都是数字化设计师
年薪30w项目经理都在用的6个项目管理软件
day 52 | 84.柱状图中最大的矩形

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