离散数学第四章2_第1页
离散数学第四章2_第2页
离散数学第四章2_第3页
离散数学第四章2_第4页
离散数学第四章2_第5页
已阅读5页,还剩57页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

第四章

二元关系和函数(2/3)4.2关系的运算

定义4.2.1设R是二元关系.

(1)R中所有的有序对的第一元素构成的集合称为R的定义域,记为domR.形式化表示为domR={x|

y(<x,y>∈R)}

(2)R中所有有序对的第二元素构成的集合称为R的值域,记作ranR.形式化表示为ranR={y|

x(<x,y>∈R)}

(3)R的定义域和值域的并集称为R的域,记作fldR.形式化表示为fldR=domR∪ranR

关系的基本运算例4.2.1设R={<1,2>,<1,3>,<2,4>,<4,3>},则

domR={1,2,4}

ranR={2,3,4}

fldR={1,2,3,4}

定义4.2.3设F,G为二元关系,G对F的(左)复合记作F

G,其中

F

G={<x,y>|

t(<x,t>∈F∧<t,y>∈G)}

定义4.2.2设R为二元关系,R的逆关系,简称R的逆,记作R-1,其中R-1={<x,y>|<y,x>∈R}

定义4.2.4设R为二元关系,A是集合

(1)R在A上的限制记作R

A,其中

R

A={<x,y>|xRy∧x∈A}

(2)A在R下的象记作R[A],其中

R[A]=ran(R

A)

例4.2.2设F={<3,3>,<6,2>},G={<2,3>},则

F-1={<3,3>,<2,6>}

F

G={<6,3>}

G

F={<2,3>}

例4.2.3设R={<1,2>,<1,3>,<2,2>,<2,4>,<3,2>},则

R

{1}={<1,2>,<1,3>}

R

=

R

{2,3}={<2,2>,<2,4>,<3,2>}

R[{1}]={2,3}R[

]=

R[{3}]={2}

例4.2.4设F={<a,{a}>,<{a},{a,{a}}>},求FF,F{a},F[{a}].

解:FF={<{a},{a,{a}}>}F{a}={<a,{a}>}F[{a}]={{a}}

定理4.2.1设F是任意的关系,则

(1)(F-1)-1=F

(2)domF-1=ranF,ranF-1=domF

关系运算的性质

定理4.2.2设F,G,H是任意的关系,则

(1)(F

G)

H=F

(G

H)

(2)(F

G)-1=G-1F-1

证:(1)任取<x,y>,<x,y>∈(F

G)

H

所以(F

G)

H=F

(G

H)

<x,y>∈F

(G

H)

t(<x,t>∈F

G∧(t,y)∈H)

t(

s(<x,s>∈F∧<s,t>∈G)∧<t,y>∈H)t

s(<x,s>∈F∧<s,t>∈G∧<t,y>∈H)s(<x,s>∈F∧

t(<s,t>∈G∧<t,y>∈H))

s(<x,s>∈F∧<s,y>∈G

H)定理4.2.3设R为A上的关系,则

R

IA=IA

R=R

定理4.2.4设F,G,H是任意关系,则

(1)F

(G∪H)=F

G∪F

H

(2)(G∪H)

F=G

F∪H

F

(3)F

(G∩H)

F

G∩F

H

(4)(G∩H)

F

G

F∩H

F

定理4.2.5.5设F为关系,A,B为集合,则

(1)F

(A∪B)=F

A∪F

B

(2)F[A∪B]=F[A]∪F[B]

(3)F

(A∩B)

F

A∩F

B

(4)F[A∩B]

F[A]∩F[B]

关系幂定义4.2.5设R为A上的关系,n为自然数,则R的n次幂定义为:

(1)R0={<x,x>|x∈A}=IA

(2)Rn+1=Rn

R

怎样计算Rn

呢?如果R是用集合表达式给出的,可以通过n-1次右复合计算得到Rn.如果R是用关系矩阵M给出的,则Rn

的关系矩阵是Mn,即n个矩阵M之积.与普通矩阵乘法不同的是,其中的相加是逻辑加,即

1+1=1,1+0=0+1=1,0+0=0

如果R是用关系图G给出的,可以直接由图G得到Rn

的关系图G'.G'的顶点集与G相同.考察G的每个顶点xi,如果在G中从xi

出发经过n步长的路径到达顶点xj,则在G'中加一条从xi

到xj

的边.当把所有这样的便都找到以后,就得到图G'.

例4.2.5设A={a,b,c,d}

R={<a,b>,<b,a>,<b,c>,<c,d>},求R的各次幂,分别用矩阵和关系图表示.解:用关系图的方法得到关系图如下:R0,即IA的关系矩阵是

M=

则R的关系矩阵分

M0=

则R2,R3,R4的关系矩阵分别是

M2=

=

M3=M2M=

=

M4=M3M=

=

因此M4=M2,即R4=R2.因此可以得到

R2=R4=R6=…R3=R5=R7=…

定理4.2.6设A为n元集,R是A上的关系,则存在自然数s和t,使得Rs=Rt.

证:R为A上的关系,对任何自然数k,Rk都是A×A的子集.又知|A×A|=n2,|P(A×A)|=

,即A×A的不同子集仅

个.当列出R的各次幂R0,R1,R2,…,

,…,必存在自然数s和t使得Rs=Rt.

该定理说明有穷集上只有有穷多个不同的二元关系.当t足够大时Rt必与某个Rs(s<t)相等.如例4.2.5中的R4=R2.

定理4.2.7设R是A上的关系,m,n∈N,则

(1)Rm

Rn=Rm+n

(2)(Rm)n=Rmn

4.3关系的性质一.关系的五种基本性质

定义4.3.1设R为A上的关系,

(1)若

x(x∈A→<x,x>∈R),则称R在A上是自反的.

(2)若

x(x∈A→<x,x>

R),则称R在A上是反自反的.

例4.3.1设A={1,2,3},R1,R2,R3是A上的关系,其中

R1={<1,1>,<2,2>}

R2={<1,1>,<2,2>,<3,3>,<1,2>}

R3={<1,3>}

说明R1,R2和R3是否为A上的自反关系和反自反关系.

R2是自反的R3是反自反的R1两者都不是定义4.3.2设R为A上的关系,

x

y(x,y∈A∧<x,y>∈R→<y,x>∈R),则称R为A上对称的关系.

x

y(x,y∈A∧<x,y>∈R∧<y,x>∈R→x=y),则称R为A上的反对称关系.

例4.3.2设A={1,2,3},R1,R2,R3和R4都是A上的关系,其中

R1={<1,1>,<2,2>}R2={<1,1>,<1,2>,<2,1>}R3={<1,2>,<1,3>}R4={<1,2>,<2,1>,<1,3>}

说明R1,R2,R3和R4是否为A上对称和反对称的关系.

R1既是对称也是反对称的.R2是对称的但不是反对称的.R3是反对称的但不是对称的.R4既不是对称的也不是反对称的注:A上的全域关系EA,恒等关系IA和空关系

都是A上的对称关系.恒等关系IA和空关系也是A上的反对称关系.但全域关系EA一般不是A上的反对称关系,除非A为单元集或空集.定义4.3.3设R为A上的关系,若

x

y

z(x,y,z∈A∧<x,y>∈R∧<y,z>∈R→<x,z>∈R),

则称R是A上的传递关系.

例4.3.3设A={1,2,3},R1,R2,R3是A上的关系,其中R1={<1,1>,<2,2>}

R2={<1,2>,<2,3>}

R3={<1,3>}说明R1,R2和R3是否为A上的传递关系.

R1和R3是A上的传递关系,R2不是A上的传递关系注:A上的全域关系EA,恒等关系IA和空关系

都是A上的传递关系.小于等于关系,整除关系和包含关系也是相应集合上的传递关系.小于关系和真包含关系仍旧是相应集合上的传递关系

如果顶点xi到xj有边,xj到xk有边,则从xi到xk也有边如果两点之间有边,一定是一条有向边(无双向边)如果两个顶点之间有边,一定是一对方向相反的边(无单边)每个顶点都没有环每个顶点都有环关系图对M2中1所在位置,M中相应的位置都是1若rij=1,且i≠j,则rji=0矩阵是对称矩阵主对角线元素全是0主对角线元素全是1关系矩阵RR

RR∩R-1

IA

R=R-1

R∩IA=

IA

R集合表达式传递性反对称性对称性反自反性自反性关系性质的等价描述

1)该关系是对称的,因为无单向边.它不是自反的也不是反自反的.因为有的顶点有环,有的顶点无环.它不是反对称的,因为图中有双向边.它也不是传递的,因为图中有边<3,1>和<1,3>,但没有从3到3的边,即通过3的环.例4.3.4判断图中关系的性质,并说明理由.

(2)该关系是反自反的但不是自反的,因为每个顶点都没有环.它是反对称的但不是对称的,因为图中只有单向边.它也是传递的,因为不存在顶点x,y,z,使得x到y有边,y到z有边,但x到z没有边,其中x,y,z∈{1,2,3}.3)该关系是自反的但不是反自反的,因为每个顶点都有环.它是反对称的但不是对称的,因为图中只有单向边.但他不是传递的,因为2到1有边,1到3有边,但2到3没有边.关系的性质和运算之间的联系

例4.3.5设A是集合,R1和R2是A上的关系,证明:(1)若R1,R2是自反的和对称的,则R1∪R2也是自反的和对称的.

(2)若R1和R2是传递的,则R1∩R2也是传递的.

证:(1)由于R1和R2是A上的自反关系,故有

IA

R1和IA

R2

从而得到IA

R1∪R2..于是R1∪R2在A上是自反的.

再由R1和R2的对称性有

R1=R1-1和R2=R2-1

于是(R1∪R2)-1=R1-1∪R2-1=R1∪R2

从而证明了R1∪R2也是A上对称的关系.(2)由R1和R2的传递性有

R1

R1

R1和R2

R2

R2

(R1∩R2)

(R1∩R2)

R1

R1∩R1

R2∩R2

R1∩R2

R2

(R1∩R2)∩R1

R2∩R2

R1

R1∩R2

从而证明了R1∩R2也是A上的传递关系.

一般起:自反性反自反性对称性反对称性传递性R1-1

√√√√√R1∩R2

√√√√√R1∪R2

√√√××R1-R2

×√√√×R1

R2

√××××4.4关系的闭包关系闭包定义定义7.14设R是非空集合A上的关系,R的自反(对称或传递)闭包是A上的关系R',使得R'

满足以下条件:

(1)R'是自反的(对称的或传递的)(2)R

R'

(3)对A上任何包含R的自反(对称或传递)关系R''有R'

R''.

一般将R的自反闭包记作r(R),对称闭包s(R),传递闭包记作t(R).

定理4.4.1设R为A上的关系,则有

(1)r(R)=R∪R0

(2)s(R)=R∪R-1

(3)t(R)=R∪R2∪R3∪…

关系闭包的求法关系矩阵和关系图求闭包的方法:

设关系R,r(R),s(R),t(R)的关系矩阵分别为M,Mr,Ms和Mt,则Mr=M+E

Ms=M+M'

Mt=M+M2+M3+…

其中E是和M同阶的单位矩阵,M'是M的转置矩阵.注意在上述等式中矩阵的元素相加时使用逻辑加.

设关系R,r(R),s(R),t(R)的关系图分别记为G,Gr,Gs,Gt,则Gr,Gs,Gt的顶点集与G的顶点集相等.除了G的边以外,以下述方法添加新的边.

考察G的每个顶点,如果没有环就加上一个环.最终得到的是Gr

.

考察G的每一条边,如果有一条xi到xj的单向边,i≠j,则在G中加一条边xj到xi的反方向边.最终得到Gs.

考察G的每个顶点xi,找除从xi出发的所有2步,3步,…,n步长的路径(n为G中的顶点数),检查完所有的顶点后就得到图Gt

.

例4.4.1设A={a,b,c,d},R={<a,b>,<b,a>,<b,c>,<c,d>,<d,b>},求r(R),s(R),t(R)以及它们的关系图和矩阵.解:r(R)={<a,b>,<b,a>,<b,c>,<c,d>,<d,b>,<a,a>,<b,b>,<c,c>,<d,d>}s(R)={<a,b>,<b,a>,<b,c>,<c,b>,<c,d>,<d,c>,<d,b>,<b,d>}t(R)=R∪R2∪R3={<a,a>,<a,b>,<a,c>,<a,d>,<b,a>,<b,b>,<b,c>,<b,d>,<c,d>}4.5等价关系和偏序关系

一.等价关系定义4.5.1设R为非空集合上的关系.如果R是自反的、对称的和传递的,则称R为A上的等价关系.设R是一个等价关系,若<x,y>∈R,称x等价于y,记做x~y.例4.5.1设A={1,2,…,8},如下定义A上的关系R:R={<x,y>|x,y∈A∧x≡y(mod3)}

其中x≡y(mod3)叫做x与y模3相等,即x除以3的余数与y除以3的余数相等.R为A上的等价关系,因为x∈A,有x≡x(mod3)

x,y∈A,若x≡y(mod3),则有y≡x(mod3)

x,y,z∈A,若x≡y(mod

3),y≡z(mod3),则有x≡z(mod3)

[1]=[4]=[7]={1,4,7}

[2]=[5]=[8]={2,5,8}

[3]=[6]={3,6}

等价类等价类的定义定义4.5.2设R为非空集合A上的等价关系,令

x∈A

[x]R={y|y∈A∧xRy}

称[x]R为x关于R的等价类,简称为x的等价类,简记为[x]或

.

例4.5.2对于任意的整数x和y,定义模n相等关系~

x~y

iff

x≡y(modn)

~是整数集合Z上的等价关系.~将整数分成n个等价类,使用等价类的符号可记为

[i]={nz+i|z∈Z},i=0,1,…,n-1

{[0],[1],…,[n-1]}=Z/~=Zn=Z/nZ称为Z在模n的等价关系~下的商集定义4.5.3设R为非空集合A上的等价关系,以R的所有等价类作为元素的集合称为A关于R的商集,记做A/R,即

A/R={[x]R|x∈A}

商集的定义

例4.5.3(1)非空集合A上的全域关系EA是A上的等价关系,对任意x∈A有[x]=A,商集A/EA={A}.(2)非空集合A上的恒等关系IA是A上的等价关系,对任意x∈A有[x]={x},商集A/IA={{x}|x∈A}.(3)整数集Z上模10的等价关系,其等价类为[i]={10k+i|k∈Z},i=0,1,…,9.商集Z10={[0],[1],…,[9]}等价类的性质定理4.5.1设R是非空集合A上的等价关系,则

(1)

x∈A,[x]是A的非空子集.

(2)

x,y∈A,如果xRy,则[x]=[y].

(3)

x,y∈A,如果xRy,则[x]与[y]不交.

(4)∪{[x]|x∈A}=A

集合的划分定义4.5.4设A为非空集合,若A的子集族π(π

P(A),是A的子集构成的集合)满足下面的条件:

(1)

π

(2)

x

y(x,y∈π∧x≠y→x∩y=

)

(3)∪π=A

则称π是A的一个划分,称π中的元素为A的划分块.

例4.5.4设A={a,b,c,d},给定π1,π2,π3,π4,π5,π6,如下:π1={{a,b,c},{d}}

π2={{a,b},{c},{d}}

π3={{a},{a,b,c,d}}

π4={{a,b},{c}}π5={

,{a,b},{c,d}}

π6={{a,{a}},{b,c,d}}

其中哪些是A的划分?π1和π2是A的划分,其它都不是A的划分商集A/R和划分的定义相比较,易见商集就是A的一个划分,并且不同的商集将对应于不同的划分.反之,任给A的一个划分π,如下定义A上的关系R:R={<x,y>|x,y∈A∧x与y在π的同一划分块中}

则不难证明R为A上的等价关系,且该等价关系所确定的商集就是π.由此可见,A上的等价关系与A的划分是一一对应的.A上的等价关系与A的划分的关系例4.5.5给出A={1,2,3}上所有的等价关系

解:先做出A的所有划分.

这些划分与A上的等价关系之间的一一对应是:π1对应于全域关系EA,π5的对应于恒等关系IA,π2,π3和π4分别对应于等价关系R2,R3和R4.

其中R2={<2,3>,<3,2>}∪IA

R3={<1,3>,<3,1>}∪IA

R4={<1,2>,<2,1>}∪IA

二.偏序关系定义4.5.5设R为非空集合A上的关系.如果R是自反的、反对称的和传递的,则称R为A上的偏序关系,记作

.设

为偏序关系,如果<x,y>∈

,则记作x

y,读作“小于或等于”.集合A上的恒等关系IA和空关系

都是A上的偏序关系.小于或等于关系,整除关系和包含关系也是相应集合上的偏序关系.一般来说,全域关系EA不是A上的偏序关系.

偏序集例4.5.6(1)整数集合Z和数的小于或等于关系≤构成偏序集<Z,≤>,(2)集合A的幂集P(A)和包含关系R

构成偏序集<P(A),R

>.

定义4.5.6集合A和A上的偏序关系

一起叫做偏序集,记作<A,

>.

定义4.5.6设R为非空集合A上的偏序关系,定义

(1)

x,y∈A,x

y

x

y∧x≠y.

(2)

x,y∈A,x与y可比

x

y∨y

x.

其中x

y读作x“小于”y.这里所说的“小于”是指在偏序中x排在y的前边.

在具有偏序关系

的集合A中任取两个元素x和y,可能有下述几种情况发生:

x

y(或y

x),x=y,x与y不是可比的.

例如A={1,2,3},

是A上的整除关系,则有

1

2,1

3,

1=1,2=2,3=3,

2和3不可比.

例如数集上的小于或等于关系是全序关系,因为任何两个数总是可比大小的.但整除关系一般来说不是全序关系,如集合{1,2,3}上的整除关系就不是全序关系,因为2和3不可比.定义4.5.7设R为非空集合A上的偏序关系,如果

x,y∈A,x与y都是可比的,则称R为A上的全序关系(或线序关系).哈斯图偏序关系关系图的简化图定义4.5.8设<A,

>为偏序集.

x,y∈A,如果x

y且不存在z∈A使得xz

y,则称y覆盖x.

例如{1,2,4,6}集合上的整除关系,有

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论