离散数学-3-5-关系及其表示3-6-关系的性质.pptVIP

离散数学

DiscreteMathematics;上次课回忆;3-5关系及其表示;一、关系〔Relation〕

1、关系

定义3-5.1：任一序偶的集合确定了一个二元关系R，a，b?R记作aRb，称a与b有关系，a，b?R记作aRb，称a与b没有关系。

例如，={x，y|x，y是实数且xy}

说明：

(1)把关系R这种无形的联系用集合这种“有形”的实体来描述，为今后的描述和论证带来方便。

(2)序偶是讲究次序的，如果有a，b?R未必有b，a?R，即a与b有关系R，未必b与a有关系R。

例：甲与乙有父子关系，但乙与甲没有父子关系。;2、前域、值域

定义3-5.2：二元关系R中，所有序偶的第一元素的集合domR称为R的前域，第二元素的集合ranR称为R的值域。R的前域和值域一起称作的域，记作FLDR。即

domR={x|(?y)x，y?R}，ranR={y|(?x)x，y?R}，FLDR=domR?ranR

例题1设H={1，2，1，4，2，4，3，4}，求domH，ranH，FLDH。;3、X到Y的关系

定义3-5.3：令X和Y是任意两个集合，X?Y的子集R称作X到Y的关系。

如果R是X到Y的关系，那么domR?X，ranR?Y。

例题2设X={1，2，3，4}，

求X上的关系及dom，ran。;4、特殊的关系

(1)全域关系：对于集合X和Y，称X?Y为X到Y的全域关系。记作U。?称为空关系。

(2)二元关系：R是X?X的子集，称R是X上的二元关系

(3)恒等关系：Ix称为X上的恒等关系iffIx={x,x|x?X};例题3假设H={f，m，s，d}表示一个家庭中的父、母、子、女四个人的集合，确定H上的全域关系和空关系，另外再确定H上的一个关系，指出该关系的值域和前域。;解：H={1，1，1，3，2，2，2，4，

3，3，3，1，4，4，4，2}

S={4，1}

H?S={1，1，1，3，2，2，2，4，3，3，

3，1，4，4，4，2，4，1}

H?S=?

X?X={1，1，1，2，1，3，1，4，2，1，

2，2，2，3，2，4，3，1，3，2，

3，3，3，4，4，1，4，2，4，3，4，4}

?H={1，2，1，4，2，1，2，3，3，2，

3，4，4，1，4，3}

S-H={4，1};5、定理3-5.1：假设Z和S是集合X到Y的两个关系，那么Z和S的并、交、补、差仍是到的关系。;关系的表示方法;二、关系的表示

1、集合

;例设A＝｛1,2,3,4,5｝,B＝｛a,b,c｝,

那么ρ1＝｛(1,a),(1,b),(2,b),(3,a)｝是A到B的关系,

而ρ2＝｛(a,2),(c,4),(c,5)｝是B到A的关系。

其集合表示法如下：

;2、关系矩阵：

设给定两个有限集合X={x1，x2，…，xm}，Y={y1，y2，…，yn}，R是X到Y的关系，那么R的关系矩阵MR，其中[rij]m?n，

rij=1，当xi，yj?R，

rij=0，当xi，yj?R。

;其关系矩阵表示为：;关系矩阵的写法也可以简化,当约定了元素的次序后,可以不写最左列和最上行的元素。如

;关于关系矩阵的几点说明：

(1)空关系的关系矩阵的所有元素为0。

(2)全关系的关系矩阵的所有元素为1。

(3)恒等关系的关系矩阵的所有对角元为1，非对角元为0，此矩阵为单位矩阵。

(4)如果R是X上的二元关系时，那么其关系矩阵是一个方阵。;例题5设X={x1,x2,x3,x4},Y={y1,y2,y3},

R={x1,y1,x1,y3,x2,y2,x2,y3,

x3,y1,x4,y1,x4,y2}，写出关系矩阵MR。

例题6设A={1,2,3,4}，写出集合A上大于关系的关系矩阵。;3、关系图：

设有限集合X={x1，x2，…，xm}，Y={y1，y2，…，yn}，X到Y的一个关系为R，那么R的关系图：做出m个结点分别记作x1，x2，…，xm，n个结点分别记作y1，y2，…，yn，

如果xi，yj?R，那么可自结点xi至yj作一有向弧，如果xi，yj?R，那么xi至yj没有线段联结。;例设A＝｛-2,-1,0,1｝,

写出A上的＜关系、≤关系、＞关系、UA和IA,

并分别写出这些关系的定义域和值域〔这里＜、≤、

＞分别表示通常的小于、小于等于和大于〕。

并画出关系图。;＞＝｛(-1,-2),(0,-1),(0,-2),(1,-2),(1,-1),(1,0)｝