离散数学-二元关系

4.1关系的概念

1)序偶及n元有序组

由两个个体x和y，按照一定顺序排序成的、有序数组称为有序偶或有序对、二元有序组，

记作<x，y>，其中x是第一分量，y是第二分量。

相等有序偶：第一分量和第二分量分别相等。

三元有序组：也是一个有序偶，<<x,y>,z> 其中第一分量是一个有序偶。

（注意：<x,<y,y>>不是一个三元有序偶，只能第一分量作为有序偶。）

一般的，n元有序偶的第一分量为n-1元有序偶，第二分量为单独的分量。（举个例子，5元有序偶的第一分量有4个，第二分量只有一个）

2)笛卡尔积/直积

给定集合A和集合B，若有序偶的第一分量属于集合A，第二份量属于集合B。这样的有序偶的集合叫做集合A和集合B的笛卡尔积或直积、叉积，记作A✖B。

约定：若A是空集，或者B是空集，那么A✖B也是空集。

若A、B是有限集合，则|A×B| = |A| |B|

一般的，笛卡尔积不满足交换律，即A✖B ！= B✖A

笛卡尔积运算对集合并运算U和集合交运算n具有分配律。

A✖（B U C） = A ✖B U A✖C

A的n节笛卡尔积记作A^n，A^n = A ✖ A ✖A ...✖A

一般的，若A1，A2，A3...An都是有限集合，则|A1 ✖ A2 ✖ ...An| = |A1| |A2|... |An|

3)二元关系的基本概念

定义：任意一个有序偶的集合称为一个二元关系，记作R。如果<x,y>属于R，那么就称x和y有关系R，记作xRy。反之，就是x和y没有关系R。

设X和Y是集合，X✖Y的任意子集R称为X到Y的二元关系。记作R：X->Y。

特别的，当X = Y时，称R为X上的二元关系。

（X✖Y在前面的有序偶我们学习过，就是以X的元素为第一分量，以Y的元素作为第二份量组成的一个有序偶<x，y>的集合，也叫做笛卡尔积。X✖Y的结果是一个二元有序偶的集合）

设R是二元关系，称domR为R的定义域（也就是集合X），称ranR为R的值域（也就是集合Y）。

定义域domR和值域ranR一起称为R的域，记作FLDR。

若|X| =m，|Y| = n，则|X × Y| = mn，X×Y的不同子集共有2^mn个，于是从X到Y的二元关系共有2^mn个。（这里，要怎么理解？要记住，R本质上也是一个关系的集合，也就是X和Y中有关系R的元素的集合，而这个关系R可以是很多种）

注意：设X和Y是集合，则

1）空集是X×Y的子集，称为X到Y的空关系

2）X×Y称X到Y的痊愈关系

3）{<x,x> |x属于X}称为X上的恒等关系，记作Ix。

4）二元关系的表示

有限集合的二元关系是一种集合，可以用集合的方法表示。

有三种表示方法：图示法、关系矩阵法、关系图法。

1）图示法

用大圆圈表示集合X和集合Y，放在两边，用小圆圈表示X和Y种所有的元素，旁边写上相应的元素名，有关系就用有方向的弧线连接起来。从第一分量指向第二分量。

2）关系矩阵法

3）关系图法

4.2关系的性质

主要的关系有自反性、反自反性、对称性、反对称性和传递性。

自反：对所有的元素x,都有<x,x>

反自反：多有的有序对不能有任何一个<x,x>

对称：对所有的x和y,只要有<x,y>就有<y,x>

反对称：一个对称都不能有

传递：对所有的<x,y>,必有<y,z>

4.3关系的运算

逆关系：即所有的有序对交换位置：<x,y> 的逆关系就是<y,x>

复合关系：通俗理解来说，一个二元关系R<x,y>和另一个二元关系S<y,z>做复合运算，将二元关系视作为某种运算或者说操作，通过二元关系R是的x得到y，再通过二元关系S是的y得到z。所以，从这个角度来理解，一般计算二元关系都是使用关系矩阵来实现这种从x到y到z的变换，即使R和S的复合计算即两个关系矩阵的相乘的结果。

关系的幂运算：通俗来说，假设有一个二元关系R，对于其关系图来说，一次幂就是点与点之间只走一步，2次幂就是点与点之间走两步，3次幂就是点与点之间走三步，以此类推。

4.4关系的闭包运算

自反闭包的计算：有一个二元关系R，其自反闭包r（R）等于其恒等关系并上R，恒等关系就是R中所有元素的自反，即<x,x>、<y,y>等。

对称闭包的运算：有一个二元关系R，其对称闭包等于R并上其逆关系（<x,y>的逆关系为<y,x>即二元有序对交换位置）。这很好理解，两个关系矩阵做布尔加法即可，对角线的两边对称。

传递闭包的运算：这个比较复杂，一般的计算方法是，R的传递闭包t（R）等于其关系矩阵的1次幂、2次幂....直到n次幂的矩阵做矩阵相加，得到的最终矩阵即传递闭包。

4.5等价关系与等价类

等价关系：自反、对称、传递。

什么叫做等价？若R是等价关系，其有序对<x,y>称为x等价于y。

等价类：是元素的集合，这个集合内的所有元素都是等价的，只要满足这一条件的都叫做等价类。

商集：R是一个等价关系，其所有元素的集合就是商集，记作A/R

4.6相容关系与相容类

相容关系：自反、对称