

版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、2.3關(guān)系的運(yùn)算關(guān)系的運(yùn)算有七種分別列出如下:定義定義7.6:設(shè)R是二元關(guān)系.(1)R中所有有序?qū)Φ牡谝粋€(gè)元素構(gòu)成的集合稱為R的定義域記作domR.domR=x|y(∈R)?(2)R中所有有序?qū)Φ牡诙€(gè)元素構(gòu)成的集合稱為R的值域記作ranR.ranR=y|x(∈R).?(3)R的定義域和值域的并集稱為R的域記作fldR.fldR=domR∪ranR.例1:R=則domR=124ranR=234fldR=1234定義定義7.77.7:設(shè)R
2、為二元關(guān)系R的逆關(guān)系簡(jiǎn)稱R的逆記作R1定義為R1=|∈R.定義定義7.87.8:設(shè)FG為二元關(guān)系G對(duì)F的右復(fù)合記做FG定?義為FG=|t(∈F∧∈G).??例2:設(shè)F=G=則F1=FG=?5.同級(jí)運(yùn)算從左到右例子:ranF1FG∪FHran(F|A).??關(guān)系運(yùn)算的性質(zhì):定理定理7.17.1:設(shè)F是任意的關(guān)系則(1)(F1)1=F(2)domF1=ranFranF1=domF.證明:(1)任取由逆的定義有∈(F1)1∈F1∈F所以(F1
溫馨提示
- 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ù)僅提供信息存儲(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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 《集合論與圖論》課堂練習(xí)2
- 論文1康托爾與集合論
- 集合論等式型定理機(jī)器證明系統(tǒng)的研究與開(kāi)發(fā).pdf
- 電大離散數(shù)學(xué)作業(yè)3答案(集合論部分)
- 離散數(shù)學(xué)及其應(yīng)用集合論部分課后習(xí)題答案
- 運(yùn)用模糊集合論對(duì)企業(yè)盈利能力分析研究.pdf
- 利用模糊集合論建立新型審計(jì)風(fēng)險(xiǎn)檢查模型.pdf
- 基于模糊集合論的犯罪網(wǎng)絡(luò)分析研究.pdf
- Z規(guī)格說(shuō)明中集合論算子的自動(dòng)求精研究及實(shí)現(xiàn).pdf
- 基于模糊集合論的大壩結(jié)構(gòu)可靠度及下游風(fēng)險(xiǎn)分析.pdf
- 模糊悖論及基于模糊集合論的解悖思想研究(caj轉(zhuǎn)換無(wú)格式)
- 2離散數(shù)學(xué)修訂版-耿素云-屈婉玲-高教-集合論部分
- 6826.麥蒂的第二哲學(xué)思想探析——以集合論中的哲學(xué)問(wèn)題為例
- 和圖論與分?jǐn)?shù)圖論的若干結(jié)果.pdf
- 圖論與拓?fù)洹D論與代數(shù)交叉問(wèn)題的案例研究.pdf
- 柏拉圖論靈魂與認(rèn)識(shí).pdf
- 數(shù)字測(cè)圖論文數(shù)字地圖論文
- 宇宙論下的正義——柏拉圖論服從法律.pdf
- 檢值圖論與度序列.pdf
- 圖論模型講義
評(píng)論
0/150
提交評(píng)論