版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
第七章:二元關(guān)系
第一節(jié):有序?qū)εc笛卡兒積第二節(jié):二元關(guān)系
第三節(jié):關(guān)系的運算第四節(jié):關(guān)系的性質(zhì)第五節(jié):關(guān)系的閉包第六節(jié):等價關(guān)系與劃分第七節(jié):偏序關(guān)系第七章:二元關(guān)系
第一節(jié):有序?qū)εc笛卡兒積第二節(jié):二元關(guān)系
第三節(jié):關(guān)系的運算
第四節(jié):關(guān)系的性質(zhì)第五節(jié):關(guān)系的閉包第六節(jié):等價關(guān)系與劃分第七節(jié):偏序關(guān)系7.3關(guān)系的運算二元關(guān)系的定義域和值域定義域:值域:例X={1,2,3,4,5,6},Y={a,b,c,d,e,f}R={<1,a>,<2,b>,<3,c>,<4,d>}domR={1,2,3,4}ranR={a,b,c,d}7.3關(guān)系的運算二元關(guān)系的逆
例:R={<a,a>,<a,d>,<b,d>,<c,a>,<c,b>,<d,c>}R-1={<a,a>,<d,a>,<d,b>,<a,c>,<b,c>,<c,d>}
1001101000010010MR=1100MR-1=MRT=000100101100
7.3關(guān)系的運算關(guān)系的右復(fù)合例A={1,2,3,4,5},B={3,4,5},C={1,2,3}R={<x,y>|x+y=6}={<1,5>,<2,4>,<3,3>}S={<y,z>
y-z=2}={<3,1>,<4,2>,<5,3>}R○S={<1,3>,<2,2>,<3,1>}7.3關(guān)系的運算例R={<a,b>,<c,d>,<b,b>}S={<d,b>,<b,e>,<c,a>}R○S={<a,e>,<c,b>,<b,e>}S○R={<d,b>,<c,b>}R○R={<a,b>,<b,b>}S○S={<d,e>}注意:R○S
S○R。
7.3關(guān)系的運算定理:設(shè)F是任意的關(guān)系,則(F-1)-1=FdomF-1=ranF,ranF-1=domF定理:設(shè)F,G,H是任意的關(guān)系(F○G)○H=F○(G○H)(F○G)-1=G-1○F-17.3關(guān)系的運算例R={<a,a>,<a,c>,<b,b>,<c,b>,<c,c>}S={<a,1>,<a,4>,<b,2>,<c,4>,<c,5>}R-1={<a,a>,<b,b>,<b,c>,<c,a>,<c,c>}S-1={<1,a>,<2,b>,<4,a>,<4,c>,<c,c>}S-1○R-1={<1,a>,<2,b>,<2,c>,<4,a>,<4,c>,<5,a>,<5,c>}S-1○R-1=(R○S)-17.3關(guān)系的運算定理:設(shè)R為A上關(guān)系,則
R○IA=IA○R=R定理:R○(S∪T)=R○S∪R○TR○(S∩T)
R○S∩R○T(S∪T)○X=S○X∪T○X(S∩T)○X
S○X∩T○X7.3關(guān)系的運算證明
R○(S∪T)=R○S∪R○T
<x,z>∈R○(S∪T)
y(<x,y>∈R∧<y,z>∈S∪T)
y(<x,y>∈R∧(<y,z>∈S∨<y,z>∈T))
y((<x,y>∈R∧<y,z>∈S)∨(<x,y>∈R∧<y,z>∈T))
y((<x,y>∈R∧<y,z>∈S))∨
y((<x,y>∈R∧<y,z>∈T))
<x,z>∈R○S∨<x,z>∈R○T
<x,z>∈R○S∪R○T7.3關(guān)系的運算R的n次冪記為RnR0
=
ARn+1=Rn○R定理:設(shè)R是集合A上的關(guān)系,m,n∈NRm·
Rn=Rm+n(Rm)n=Rmn7.3關(guān)系的運算例R={<1,2>,<2,1>,<2,3>,<3,4>,<4,5>}R0=
{<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}R1=RR2={<1,1>,<2,2>,<1,3>,<2,4>,<3,5>}R3=R2·R={<1,2>,<2,1>,<1,4>,<2,3>,<2,5>}R4=R3·R1={<1,1>,<2,2>,<1,5>,<2,4>,<1,3>}R5=R4·R1={<1,2>,<1,4>,<2,1>,<2,3>,<2,5>}7.3關(guān)系的運算從關(guān)系圖來看關(guān)系的n次冪R:
12345R2就是所有在R中通過二條弧連接的點則在R2這兩點間直接有條弧。
12345R3,R4…7.3關(guān)系的運算定理:R是A上的二元關(guān)系,若存在自然數(shù)i和j,且i<j,使Ri=Rj對所有的k≥0,則Ri+k=Rj+k對所有的k,m≥0
,則有Ri+md+k=Ri+k設(shè)S={R0,R1,R2,…,Rj-1},則R的每一次冪是S的元素,即對n∈N,Rn∈S
第七章:二元關(guān)系
第一節(jié):有序?qū)εc笛卡兒積第二節(jié):二元關(guān)系
第三節(jié):關(guān)系的運算第四節(jié):關(guān)系的性質(zhì)第五節(jié):關(guān)系的閉包第六節(jié):等價關(guān)系與劃分第七節(jié):偏序關(guān)系7.4關(guān)系的性質(zhì)自反性
a∈A,有<a,a>∈R,則R為A上的自反關(guān)系反自反性
a∈A,有<a,a>
R,R為A上的反自反關(guān)系例A={a,b,c}R1={<a,a>,<b,b>,<c,c>,<a,b>,<c,a>}R2={<a,b>,<b,c>,<c,a>}R3={<a,a>,<b,c>}7.4關(guān)系的性質(zhì)例:R是I+上的整除關(guān)系,則R具有自反性。證明:
x∈I+,x能整除x,∴<x,x>∈R,∴R具有自反性。例:R是I上的同余關(guān)系,則R具有自反性,證明:
x∈I,(x-x)/k=0∈I,∴x與x同余∴<x,x>∈R∴R具有自反性其它≤,≥關(guān)系,均是自反關(guān)系。7.4關(guān)系的性質(zhì)例:N上的互質(zhì)關(guān)系是反自反關(guān)系。證明:
x∈N,x與x是不互質(zhì)的,∴<x,x>
R,∴R具有反自反關(guān)系。實數(shù)上的<,>關(guān)系,均是反自反關(guān)系。7.4關(guān)系的性質(zhì)關(guān)系矩陣的特點自反關(guān)系的關(guān)系矩陣的對角元素均為1,反自反關(guān)系的關(guān)系矩陣的對角元素均為0。關(guān)系圖的特點?定理:R是A上的關(guān)系,則:R是自反關(guān)系的充要條件是IA
RR是反自反關(guān)系的充要條件是R∩IA=Ф。7.4關(guān)系的性質(zhì)對稱性
a,b∈A,如果<a,b>∈R,則必有<b,a>∈R,R為A上的對稱關(guān)系。
例R1={<1,1>,<2,3>,<3,2>}R1是對稱的R2={<1,1>,<3,3>}R2是對稱的R3={<2,2>,<2,3>,<3,2>,<3,1>}R3不是對稱的
7.4關(guān)系的性質(zhì)例:R是N上的互質(zhì)關(guān)系,R具有對稱性。關(guān)系矩陣特點對稱關(guān)系的關(guān)系矩陣是對稱矩陣關(guān)系圖特點?定理:R在A上對稱當(dāng)且僅當(dāng)R=R-17.4關(guān)系的性質(zhì)反對稱性
a,b∈R,如果<a,b>∈R且<b,a>∈R,則必有a=b,
R是A上的反對稱關(guān)系
a,b∈A,如a≠b,<a,b>∈R,則必有<b,a>
R。例:
A={a,b,c}R={<a,a>,<b,b>}S={<a,b>,<a,c>}T={<a,c>,<b,a>,<a,b>}R,S是反對稱的,T不是反對稱的7.4關(guān)系的性質(zhì)例:實數(shù)集合上≤關(guān)系是反對稱關(guān)系
x,y∈實數(shù)集,如x≠y,且x≤y,則y≤x不成立例≥,<,>關(guān)系,均是反對稱關(guān)系。反對稱關(guān)系矩陣和關(guān)系圖特點?定理:R在A上反對稱當(dāng)且僅當(dāng)R∩R-1
IA7.4關(guān)系的性質(zhì)傳遞性
a,b,c∈A,如果<a,b>∈R,<b,c>∈R,必有<a,c>∈R,稱R為A上的傳遞關(guān)系例R1={<x,y>,<z,x>,<z,y>}是傳遞關(guān)系R2={<a,b>,<c,d>}是傳遞關(guān)系R3={<a,b>,<b,a>}不是傳遞關(guān)系7.4關(guān)系的性質(zhì)例:整除關(guān)系DI+是I+上的傳遞關(guān)系。
x,y,z∈I+,如<x,y>∈DI+,<y,z>∈DI+,即x能整除y,且y能整除z,則必有x能整除z,<x,z>∈DI+例:P(A)上的包含關(guān)系
具有傳遞性。若u
v,v
w,則必有u
w例:實數(shù)集上的≤關(guān)系具有傳遞性。若x≤y,y≤z必有x≤z7.4關(guān)系的性質(zhì)傳遞關(guān)系關(guān)系圖特點如果結(jié)點a能通過有向弧組成的有向路徑通向結(jié)點x,則a必須有有向弧直接指向x,否則R就不是傳遞的例R={<a,b>,<b,c>,<c,d>,<a,c>}定理:R在A上傳遞當(dāng)且僅當(dāng)R·R
Rdcba7.4關(guān)系的性質(zhì)自
反:反自反:
對
稱:反對稱:傳
遞:
7.4關(guān)系的性質(zhì)例X={1,2,3}R1={<1,2>,<2,3>,<1,3>}R2={<1,1>,<1,2>,<2,3>}反對稱反自反反對稱可傳遞7.4關(guān)系的性質(zhì)R3={<1,1>,<2,2>,<3,3>}R4=Ex
自反,對稱,可傳遞的
自反,對稱,反對稱,可傳遞的7.4關(guān)系的性質(zhì)X={1,2,3},R5=
反自反的,對稱的,反對稱的,可傳遞的若X=
,X上的空關(guān)系自反的,反自反的,對稱的,反對稱的,可傳遞的第七章:二元關(guān)系
第一節(jié):有序?qū)εc笛卡兒積第二節(jié):二元關(guān)系
第三節(jié):關(guān)系的運算第四節(jié):關(guān)系的性質(zhì)
第五節(jié):關(guān)系的閉包第六節(jié):等價關(guān)系與劃分第七節(jié):偏序關(guān)系7.5關(guān)系的閉包定義R是非空集合A上的關(guān)系,若A上另外有一個關(guān)系R’滿足如下三條,R’是自反的(對稱的,傳遞的)R
R’A上任何一個滿足以上兩條的關(guān)系R”,均有R’
R”,稱關(guān)系R’為R的自反(對稱,傳遞)閉包,記作r(R),(s(R),t(R))7.5關(guān)系的閉包解釋R’是在R的基礎(chǔ)上添加有序?qū)μ砑釉氐哪康氖鞘筊’具有自反性(對稱性,傳遞性)添加后使之具有自反性(對稱性,傳遞性)的所有關(guān)系中R’是最小的一個7.5關(guān)系的閉包例A={a,b,c}R={<a,a>,<a,b>,<b,c>}自反閉包r(R){<a,a>,<a,b>,<b,c>,<b,b>,<c,c>}對稱閉包s(R){<a,a>,<a,b>,<b,a>,<b,c>,<c,b>}傳遞閉包t(R){<a,a>,<a,b>,<b,c>,<a,c>}r(R)abccbaacbcbabac7.5關(guān)系的閉包例R={<a,b>,<b,a>,<b,c>,<c,d>,<d,e>},求R的傳遞閉包
abcde7.5關(guān)系的閉包定理R是非空集合A上的關(guān)系,則r(R)=R
A證明:R
R
AR
A是自反的.設(shè)R”滿足R
R”,R”是自反的,
<a,b>
R
A則<a,b>
R或<a,b>
A如<a,b>
R,由R
R”知<a,b>
R”如<a,b>
A,由R”的自反性知<a,b>
R”。均有<a,b>
R”
R
A
R”
7.5關(guān)系的閉包定理:設(shè)R是非空集A的關(guān)系,則s(R)=R
R-1
證明:R
R
R-1滿足定義第2條
<a,b>
R
R-1
<a,b>
R
<a,b>
R-1
<b,a>
R-1
<b,a>
R
<b,a>
R
R-1
R
R-1是對稱的7.5關(guān)系的閉包如R
R”,且R”是對稱的
<a,b>
R
R-1<a,b>
R或<a,b>
R-1如<a,b>
R,由R
R”,則<a,b>
R”如<a,b>
R-1,則<b,a>
R,則<b,a>
R”因R”對稱
<a,b>
R”,
R
R-1
R”滿足定義第3條7.5關(guān)系的閉包例:設(shè)A={1,2,3},A上的關(guān)系R如圖,求r(R),s(R)解:R={<1,2>,<2,3>,<3,2>,<3,3>}r(R)=R
A
={<1,2>,<2,3>,<3,2>,<3,3>,<2,2>,<1,1>}s(R)=R
R-1
={<1,2>,<2,3>,<3,2>,<3,3>,<2,1>}
1237.5關(guān)系的閉包定理:設(shè)R是非空集合A上的關(guān)系,則t(R)=Ri=R
R2
…
推論:設(shè)A是非空有限集,|A|=n,R是集合A上的二元關(guān)系,
則t(R)=Ri=R
R2
…Rn7.5關(guān)系的閉包例A={a,b,c,d}R={<a,b>,<a,c>,<b,c>,<b,d>}S={<a,b>,<b,c>,<c,d>},求t(R),
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 《營業(yè)推廣策略》課件
- 中醫(yī)基礎(chǔ)理論習(xí)題及答案
- 【教育】浙江省高校教師高等教育法規(guī)基礎(chǔ)試題及答案
- 第一周幼兒園營養(yǎng)食譜
- 施工單位技術(shù)負(fù)責(zé)人述職報告
- 高考新課標(biāo)語文模擬試卷系列之65
- 《特拉華州公司法》課件
- 交通運輸行業(yè)安全意識培訓(xùn)總結(jié)
- 互聯(lián)網(wǎng)行業(yè)客服工作總結(jié)
- 物流行業(yè)安全工作總結(jié)
- 《社群運營》全套教學(xué)課件
- 兒童版畫(版畫基礎(chǔ))
- 中央2024年國家國防科工局重大專項工程中心面向應(yīng)屆生招聘筆試歷年典型考題及考點附答案解析
- 車輛提檔委托書樣本
- 充值消費返利合同范本
- 宜賓市敘州區(qū)2022-2023學(xué)年七年級上學(xué)期期末數(shù)學(xué)試題
- 國開政治學(xué)原理2024春期末綜合練習(xí)題(附答案)
- GB/T 18488-2024電動汽車用驅(qū)動電機系統(tǒng)
- 裝配式混凝土建筑預(yù)制疊合板、疊合梁識圖
- 醫(yī)療科研數(shù)據(jù)管理制度
- 安徽省蕪湖市弋江區(qū)2023-2024學(xué)年八年級上學(xué)期期末英語試題(含聽力)
評論
0/150
提交評論