![復合關(guān)系逆關(guān)系及閉包_第1頁](http://file4.renrendoc.com/view5/M00/3A/0E/wKhkGGYCZSKAdKC2AAHLo9M7iz4468.jpg)
![復合關(guān)系逆關(guān)系及閉包_第2頁](http://file4.renrendoc.com/view5/M00/3A/0E/wKhkGGYCZSKAdKC2AAHLo9M7iz44682.jpg)
![復合關(guān)系逆關(guān)系及閉包_第3頁](http://file4.renrendoc.com/view5/M00/3A/0E/wKhkGGYCZSKAdKC2AAHLo9M7iz44683.jpg)
![復合關(guān)系逆關(guān)系及閉包_第4頁](http://file4.renrendoc.com/view5/M00/3A/0E/wKhkGGYCZSKAdKC2AAHLo9M7iz44684.jpg)
![復合關(guān)系逆關(guān)系及閉包_第5頁](http://file4.renrendoc.com/view5/M00/3A/0E/wKhkGGYCZSKAdKC2AAHLo9M7iz44685.jpg)
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
2024/3/2613-7復合關(guān)系和逆關(guān)系3-7.1復合關(guān)系定義1[復合(合成)(composite)關(guān)系]:設R為X到Y(jié)的關(guān)系,S為從Y到Z上的關(guān)系,則R°S稱為R和S的復合關(guān)系,表示為:R°S={<x,z>|x
X
z
Z
(
y)(y
Y
<x,y>
R
<y,z>
S)}.2024/3/2623-7.2逆關(guān)系定義2[逆(inverse)關(guān)系]:
設R是X到Y(jié)的二元關(guān)系,則從Y到X的二元關(guān)系Rc定義為:Rc={<y,x>|<x,y>
R}.整數(shù)集合上的“>”關(guān)系的逆關(guān)系是“<”關(guān)系。人群中的父子關(guān)系的逆關(guān)系是子父關(guān)系。容易看出(Rc)c=R2024/3/263例1:設R={<a,b>,<c,d>},S={<b,e>,<d,c>}.求:(1)Rc,Sc.(2)R°S,S°R解:(1)Rc={<b,a>,<d,c>}Sc={<e,b>,<c,d>}.(2)R°S={<a,e>,<c,c>}S°R={<d,d>}.例2:(書上的例題2,第115頁)2024/3/264定理1:
設R1,R2,R3為關(guān)系,R1是X到Y(jié)的關(guān)系,R2是Y到Z的關(guān)系,R3是Z到W的關(guān)系則(R1°R2)°R3=R1°
(R2°
R3).證明:
<x,w>,<x,w>
(R1
°R2)
°R3
z(zZ
x(R1°R2)z
zR3w)
z(zZ
y(yY
xR1yyR2z)
zR3w)
zy(zZ
yY
xR1yyR2z
zR3w)
yt
z(zZ
yY
xR1y
(yR2z
zR3w))
y(yY
xR1y
z(zZ
yR2z
zR3w))
y(yY
xR1y
y(R2°R3)w)
xR1°(R2°R3)w
<x,w>
R1°(R2°R3)
(R1°R2)°R3
=R1°(R2
°
R3).#說明:本定理說明復合運算滿足結(jié)合律.2024/3/265
由復合關(guān)系滿足結(jié)合律,可以把關(guān)系R本身所組成的復合關(guān)系寫成:R°R,R°R°R,
,R°R°
°R(m個),分別記作R(2),R(3),
,R(m)??梢宰C明復合關(guān)系不滿足交換律。R1°R2
R2°R12024/3/2667-3.3關(guān)系矩陣的性質(zhì):(1)MRc=(MR)T(T表示矩陣轉(zhuǎn)置)(2)MR1°R2=MR1
MR2
(
表示布爾乘法,其中加法使用邏輯
,乘法使用邏輯
)2024/3/2673-7.4逆關(guān)系關(guān)系圖的性質(zhì):關(guān)系Rc的圖形是將關(guān)系R圖形中弧的箭頭方向反置。2024/3/268定理2:
設R、R1
、R2都是從A到B的二元關(guān)系,則有(1)(R1
R2)c=R1c
R2c(2)(R1
R2)c=R1c
R2c(3)(A×B)c=B×A(4)(~R)c=
~Rc,這里~R=A×B-R(5)(R1-R2)c=R1c-R2c注:證明(1)(4)(5)見書117頁。2024/3/269定理3:
設R,S為二元關(guān)系,則(R°S)c=Sc°Rc.證明:
<x,y>,<x,y>
(R°S)c
<y,x>
(R°S)
z(yRz
zSx)
z(zRcy
xScz)
z(xScz
zRcy)
<x,y>
Sc°Rc.2024/3/2610定理4:設R為X上的二元關(guān)系,則(1)R是對稱的
R=Rc(證明見書118頁)(2)是反對稱的
R
Rc
IX定理5:[P119(2)]設R為X上的二元關(guān)系,則(1)R是傳遞的
(R°R)R(2)R是自反的IXR2024/3/2611例題:設A={a,b,c},R1={<a,a>,<a,b>,<b,a>,<b,c>},R2={<a,b>,<a,c>,<b,c>},用MR1,MR2確定MR1c,MR2c,MR1°R1,MR1°R2,MR2°R1,從而求出它們的集合表達式.2024/3/2612110110MR1=101MR1c=100000010011000MR2=001MR2c=100000110011MR1
R2=MR1
MR2=011000R1°R2
={<a,b>,<a,c>,<b,b>,<b,c>}.2024/3/2613110110111MR1
R1=MR1
MR1=101
101=110000000000R1°R1
={<a,a>,<a,b>,<a,c>,<b,a>,<b,b>}.011110101MR2
R1=MR2
MR1=001
101=000000000000R2°R1
={<a,b>,<a,c>}.2024/3/2614解:R1c={<a,a>,<a,b>,<b,a>,<c,b>}R2c={<b,a>,<c,a>,<c,b>}R1°R1
={<a,a>,<a,b>,<a,c>,<b,a>,<b,b>}.R1°R2
={<a,b>,<a,c>,<b,b>,<b,c>}.R2°R1
={<a,b>,<a,c>}.2024/3/2615作業(yè)(3-7):P118(1)(5)2024/3/26163-8關(guān)系的閉包運算自反閉包r(R)(reflexivityclosure)對稱閉包s(R)(symmetryclosure)傳遞閉包t(R)(transitivityclosure)閉包的性質(zhì),求法,相互關(guān)系2024/3/26173-8.1自反閉包(reflexiveclosure)定義1[自反閉包]:
包含給定關(guān)系R的最小自反關(guān)系,稱為R的自反閉包,記作r(R).(1)r(R)是自反的;(2)R
r(R);(3)(
S)((R
S
S自反)
r(R)
S).2024/3/26183-8.2對稱閉包(symmetricclosure)定義2[對稱閉包]:
包含給定關(guān)系R的最小對稱關(guān)系,稱為R的對稱閉包,記作s(R).(1)s(R)是對稱的;(2)R
s(R);(3)(
S)((R
S
S對稱)
s(R)
S).2024/3/26193-8.3傳遞閉包(transitiveclosure)定義3[傳遞閉包]:
包含給定關(guān)系R的最小傳遞關(guān)系,稱為R的傳遞閉包,記作t(R).(1)t(R)是傳遞的;(2)R
t(R);(3)(
S)((R
S
S傳遞)
t(R)
S).2024/3/2620定理1:設R
A
A且A
,則
(1)R自反
r(R)=R;(2)R對稱
s(R)=R;(3)R傳遞
t(R)=R;證明:(1)R
R
R自反
r(R)
R
又R
r(R),
r(R)=R.(2)(3)完全類似.2024/3/2621*(補充)定理1:設R1
R2
A
A且A
,則
(1)r(R1)
r(R2);(2)s(R1)
s(R2);(3)t(R1)
t(R2);證明:(1)R1
R2
r(R2)自反,
r(R1)
r(R2)(2)(3)類似可證.2024/3/2622*(補充)定理2:設R1,R2
A
A且A
,則
(1)r(R1
R2)=r(R1)
r(R2);(2)s(R1
R2)=s(R1)
s(R2);(3)t(R1
R2)
t(R1)
t(R2).證明:(1)利用定理20,r(R1
R2)
r(R1)
r(R2).r(R1)
r(R2)自反且包含R1
R2,所以
r(R1
R2)
r(R1)
r(R2).
r(R1
R2)=r(R1)
r(R2)2024/3/2623證明(2):利用定理20,s(R1
R2)
s(R1)
s(R2).s(R1)
s(R2)對稱且包含R1
R2,所以
s(R1
R2)
s(R1)
s(R2).
s(R1
R2)=s(R1)
s(R2)證明(3):利用定理20,t(R1
R2)
t(R1)
t(R2).
反例:t(R1
R2)
t(R1)
t(R2).2024/3/2624定理2:設R
A
A且A
,則
(1)r(R)=R
IA;(2)s(R)=R
Rc;(3)t(R)=R
R2
R3
….對比:R自反
IA
RR對稱
R=RcR傳遞
R2
R2024/3/2625證明:(1)r(R)=R
IA;i)R
R
IA;ii)IA
R
IA
R
IA自反
r(R)
R
IA;iii)R
r(R)
r(R)自反
R
r(R)
IA
r(R)
R
IA
r(R)
r(R)=R
IA.2024/3/2626證明:(2)s(R)=R
Rc;i)R
R
Rc;ii)(R
Rc)c=R
Rc
R
Rc對稱
s(R)
R
Rc;iii)R
s(R)
s(R)對稱
R
s(R)
Rc
s(R)
R
Rc
s(R)
s(R)=R
Rc.2024/3/2627證明(3)之前,說明以下事實:復合運算對并運算滿足分配律R1
°(R2
R3)=(R1
°R2)(R1
°R3)(R1
R2)°R3=(R1
°R3)(R2
°R3)復合運算對交運算滿足弱分配律R1
°(R2
R3)
(R1°R2)(R1
°R3)(R1
R2)°R3
(R1°R2)(R1
°R3)2024/3/2628證明:(3)t(R)=R
R2
R3
….證明:i)先證t(R)
R
R2
R3
…;∵R
R
R2
R3
…;∵(R
R2
R3
…)2=R2
R3
…
R
R2
R3
…
R
R2
R3
…傳遞
∴
t(R)
R
R2
R3
…;ii)再證R
R2
R3
…
t(R)∵R
t(R)
t(R)傳遞
R
t(R)
R2
t(R)
R3
t(R)
…
R
R2
R3
…
t(R)
t(R)=R
R2
R3
….#2024/3/2629定理3:設X是含有n個元素的集合,R是X上的二元關(guān)系,則存在一個正整數(shù)k
n,使得t(R)=R
R2
R3
…
Rk證明:見P122。2024/3/2630例題1:設A={a,b,c,d},R={<a,b>,<b,a>,<b,c>,<c,d>}.
求r(R),s(R),t(R).解:r(R)=RIA={<a,a>,<b,b>,<c,c>,<d,d><a,b>,<b,a>,<b,c>,<c,d>}s(R)=R
Rc={<a,b>,<b,a>,<b,c>,<c,b>,<c,d><d,c>}t(R)=R
R2
R3
R4
={<a,a>,<a,b>,<a,c>,<a,d>,<b,a>,<b,b>,<b,c>,<b,d>,<c,d>}見P1232024/3/2631求傳遞閉包的另一種方法:當有限集X的元素較多時,矩陣運算很繁瑣,Warshall在1962年提出了R+的一個有效算法如下:(1)置新矩陣A=M(2)置i=1(3)對所有j如果A[j,i]=1,則對k=1,2,…,nA[j,k]=A[j,k]+A[i,k](4)i=i+1(5)如果i
n,則轉(zhuǎn)到步驟(3),否則停止。2024/3/2632引出下面定理:閉包運算是否可以交換順序?即:(1)rs(R)=sr(R)?(2)rt(R)=tr(R)?(3)st(R)=ts(R)?2024/3/2633定理4:設R
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 個人抵押貸款合同季度范本
- 臨街店鋪購買合同范本
- 二次供水設備采購合同
- 專業(yè)服裝管理軟件經(jīng)銷合同書
- 上海市股權(quán)轉(zhuǎn)讓合同標準范本
- 二手房銷售代理合同協(xié)議
- 中外合作種植戰(zhàn)略合作合同
- 云計算服務提供商數(shù)據(jù)保密合同
- 返聘人員協(xié)議書
- IT行業(yè)員工培訓勞動合同范本
- 【大學課件】機電設備管理技術(shù)概論
- (2024)甘肅省公務員考試《行測》真題及答案解析
- 醫(yī)院醫(yī)務人員醫(yī)德考評標準
- 小紅書種草營銷師(初級)認證考試真題試題庫(含答案)
- 癲癇病人的護理(課件)
- 企業(yè)資產(chǎn)管理培訓
- 2024年WPS計算機二級考試題庫350題(含答案)
- 2024年4月27日浙江省事業(yè)單位招聘《職業(yè)能力傾向測驗》試題
- 2024年6月浙江省高考地理試卷真題(含答案逐題解析)
- 醫(yī)院培訓課件:《如何撰寫護理科研標書》
- 河南省鄭州市2023-2024學年高二上學期期末考試 數(shù)學 含答案
評論
0/150
提交評論