




版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、4 關(guān)系的運(yùn)算關(guān)系的復(fù)合定義:設(shè) (R關(guān)系), (S關(guān)系), 于是可獲得:(RS)的關(guān)系,稱 RS為R和S的復(fù)合關(guān)系,并規(guī)定為: 例:設(shè)A=1,2,3,4,5,R,S均為AA的關(guān)系,且R= S=則 RS= SR= 討論:(1) RS SR,因此“”是不可交換的。(2)RS為新的二元關(guān)系,且RS為X Z上的二元關(guān)系。定理:設(shè) 則有: 即:關(guān)系的復(fù)合運(yùn)算滿足結(jié)合律. 定義給定集合X,R是X中的二元關(guān)系,設(shè) 于是R的n次冪 可以定義成:例:多個(gè)相同的二元關(guān)系R 復(fù)合復(fù)合運(yùn)算的矩陣表示: 設(shè)有三個(gè)集合: 而|X|=m,|Y|=n,|Z|=p,則關(guān)系矩陣:例:設(shè)X=1,2,3,R,S均是X中的二元關(guān)系,
2、R=, S= 0 1 00 1 01 0 0MR=0 1 10 0 11 0 0MS=(0 0)(1 0)(0 1)=00 0 10 0 10 1 1MRS=2逆關(guān)系 定義:設(shè)X,Y是二個(gè)集合,若R是XY的關(guān)系,從YX的關(guān)系,稱為R的逆關(guān)系,用 表示,或用 表示。例:X=0,1,2,R= =2逆關(guān)系 討論定義:(1)只要將R中每一個(gè)序偶中的元素全部調(diào)換位置,就可得到R的逆關(guān)系 。(2 ) 的關(guān)系矩陣為 的轉(zhuǎn)置矩陣; (3)在R的關(guān)系圖中,只要把所有箭頭改換方向就可得到的關(guān)系圖。(自回路箭頭改變與否無(wú)關(guān)) 定理設(shè) ,則可有: 同樣 證明:對(duì)于任一 來(lái)講,若有 同理可證R一定是對(duì)稱的 定理:設(shè)R是
3、集合X中的二元關(guān)系,當(dāng)且僅當(dāng)則R才是對(duì)稱的。證明:充分性:R是對(duì)稱的 對(duì)于任一 必要性: R是對(duì)稱的, 對(duì)任一 定理:給定集合X,Y, ,于是可有: 3.閉包運(yùn)算定義:給定集合X,R是X中的二元關(guān)系,若有另一關(guān)系R滿足下列條件: (1) R 是自反的(對(duì)稱,可傳遞的); (2) 則稱R是R的自反(對(duì)稱,傳遞的)閉包,并依次用r(R), s(R), t(R)來(lái)表示。4關(guān)系的運(yùn)算,則 (3)對(duì)于任一自反(對(duì)稱,傳遞的)關(guān)系 ,若 例:設(shè)A=1,2,3,R為AA的關(guān)系,且R= R= 具有自反性質(zhì)R= 具有自反性質(zhì)R是包含R的具有自反性質(zhì)的最小的二元關(guān)系討論定義: (1)已知一個(gè)集合中的二元關(guān)系R,則
4、r(R), s(R), t(R)是包含R的具有自反(對(duì)稱,傳遞)性質(zhì)的最小的二元關(guān)系,它們是唯一的; (2)若R不是自反(對(duì)稱,傳遞)的,則我們可以補(bǔ)上最少序偶,使之變?yōu)樽苑?、?duì)稱、傳遞關(guān)系,從而得到r(R), s(R), t(R);定理:給定集合X,R是X中的二元關(guān)系,于是可有: (1)當(dāng)且僅當(dāng)r(R)=R,則R是自反的; (2)當(dāng)且僅當(dāng)s(R)=R,則R是對(duì)稱的; (3)當(dāng)且僅當(dāng)t(R)=R,則R是可傳遞的。該定理說(shuō)明:若R是自反(對(duì)稱,傳遞)的,則r(R), s(R), t(R)就是R本身。定理:R是X中的二元關(guān)系,是X中的恒等關(guān)系, 則有 證明:按定義證:(1)設(shè) ,則R是自反的, (
5、3)設(shè)有任一包含R的二元關(guān)系R也是自反的,即則 例:設(shè)X=a,b,c,R=,求r(R)解:r(R)= 定理:給定集合X,R是X中的二元關(guān)系,則有 例:設(shè)X=a,b,c,R=,求s(R)s(R)= 定理:設(shè)X是一集合,R是X中的二元關(guān)系,則: 例:X=a,b,c,R=,|X|=3,計(jì)算t(R)例:X=a,b,c,d,R=,計(jì)算t(R) 定理:設(shè)|X|=n,R是X中的二元關(guān)系,則 例:設(shè)X=a,b,R= ,求r(R),s(R),t(R)r(R) = s(R) = t(R) = =R定理:設(shè)X是一集合,R是X中的二元關(guān)系,則有: r(S(R) = S(r(R)r(t(R) = t(r(R)S(t(R) t(S(R)證明: r(s(R)r(S(R) =
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 借用鐵路用地合同范本
- 2025年淮安b2考貨運(yùn)資格證要多久
- 別墅電梯銷(xiāo)售合同范本
- 上海退休人員返聘合同范本
- 買(mǎi)賣(mài)產(chǎn)品合作合同范本
- 轉(zhuǎn)化單位規(guī)則
- 加盟產(chǎn)品經(jīng)銷(xiāo)合同范本
- 化肥試驗(yàn)合同范本
- 北京合伙創(chuàng)業(yè)合同范本
- 個(gè)人合作股合同范本
- 2025年供應(yīng)鏈管理公司合作項(xiàng)目協(xié)議書(shū)
- 2025年度度假村景觀設(shè)計(jì)及施工一體化合同
- 2025年山東化工職業(yè)學(xué)院高職單招職業(yè)技能測(cè)試近5年??及鎱⒖碱}庫(kù)含答案解析
- 《如何規(guī)劃養(yǎng)禽場(chǎng)》課件
- 2024-2025學(xué)年云南省昆明市盤(pán)龍區(qū)三年級(jí)(上)期末數(shù)學(xué)試卷(含答案)
- 物業(yè)公司行政人事部職責(zé)
- 醫(yī)療健康行業(yè)保密免責(zé)協(xié)議書(shū)
- 《設(shè)計(jì)思維與方法》課件
- 第一課走進(jìn)人工智能 說(shuō)課稿 2023-2024學(xué)年浙教版(2023)初中信息技術(shù)八年級(jí)下冊(cè)
- 健身行業(yè)會(huì)員權(quán)益保障及免責(zé)條款協(xié)議
- 體檢中心前臺(tái)接待流程
評(píng)論
0/150
提交評(píng)論