离散数学——关系

最新推荐文章于 2024-10-10 05:52:07 发布

何处秋风悲画扇

最新推荐文章于 2024-10-10 05:52:07 发布

阅读量9.9k

点赞数 16

分类专栏：离散数学文章标签：离散数学

本文链接：https://blog.csdn.net/qq_45902301/article/details/124205818

版权

离散数学专栏收录该内容

7 篇文章 18 订阅

订阅专栏

关系

关系的定义

在这里插入图片描述

几种特殊的关系

空关系：
对任意集合A,B,Ф⊆A×B ，Ф⊆A×A
所以Ф是由A到B的关系，Ф也是A上的关系，称为空关系。

全域关系：
因为A×B⊆A×B，A×A⊆A×A ，所以A×B是一个由A到B的关系，称为由A到B的全域关系。A×A是A上的一个关系，称为A上的全域关系。常将A×A记作：
UA={<ai,aj>|ai, aj∈A}

恒等关系：
定义集合A上的恒等关系 IA={<a,a>|a∈A}

例子：设A={a, b, c}
则 UA = { <a,a>, <a,b>, <a,c>, <b,a>, <b,b>, <b,c>, <c,a>, <c,b>, <c,c> }
是A上的全域关系。IA= { <a,a>, <b,b>, <c,c> }是A上的恒等关系。

关系的表示

集合表示法

用表示集合的列举法或描述法来表示关系。

矩阵表示法

在这里插入图片描述

关系图表示法

设 A 和 B 为任意的非空有限集，R 为任意一个从 A 到 B 的二元关系。以 A∪B 中的每个元素为结点。对每个 <x,y> ∈R ∧ x ∈ A ∧ y ∈ B 皆画一条从 x 到 y 的有向边，这样得到的一个图称为关系 R 的关系图。

关系的性质

由关系图、关系矩阵判别关系的性质

在这里插入图片描述

复合关系与逆关系

关系的并、交、补及对称差运算

若R与S都是集合A到集合B的关系，则 R∪S , R ∩ S , R - S , $\overline{R}$ ，R ⊕ S 均为A到B的关系。

复合关系

在这里插入图片描述

逆关系

在这里插入图片描述

关系的闭包运算

关系的闭包的概念

在这里插入图片描述

关系的闭包的求法

1.由定义求闭包：
在这里插入图片描述

在这里插入图片描述
2.利用关系矩阵求闭包

3.利用关系图求闭包

集合的划分与覆盖

集合的划分

在这里插入图片描述

集合的覆盖

在这里插入图片描述
说明：
(1) 若S是A的划分，则S也一定是A的覆盖。
(2) 任意给定集合A的划分或覆盖不是唯一的。
(3) 给定了集合A的划分或覆盖，则A便唯一确定。
(4) 覆盖中各子集可重叠，划分则不然。
(5) 以非空集A为元素的集合S={A}称为A的最小划分。
(6) S = { { a } | ∀ a ∈ A } 称为A的最大划分。