離散數(shù)學(xué)(3.5關(guān)系及其表示)_第1頁
離散數(shù)學(xué)(3.5關(guān)系及其表示)_第2頁
離散數(shù)學(xué)(3.5關(guān)系及其表示)_第3頁
離散數(shù)學(xué)(3.5關(guān)系及其表示)_第4頁
離散數(shù)學(xué)(3.5關(guān)系及其表示)_第5頁
已閱讀5頁,還剩10頁未讀 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)

文檔簡介

2023/2/51離散數(shù)學(xué)(DiscreteMathematics)第三章集合與關(guān)系(SetsandRelations)

3.6關(guān)系的閉包運算(ClosureOperations)3.7集合的劃分與覆蓋(Partition&CoverofSets)3.8等價關(guān)系(EquivalentRelations)3.9相容關(guān)系(Compatibility

Relations)3.10序關(guān)系(OrderedRelations)3.1集合及其運算(Sets&Operationswithsets)

3.2序偶與笛卡爾積(OrderedPairs&CartesianProduct)3.3關(guān)系

(Relations)3.4關(guān)系的性質(zhì)(ThePropetiesofRelations)3.5復(fù)合關(guān)系與逆關(guān)系(CompoundRelations&InverseRelations)3.3關(guān)系(Relations)3.3.1

關(guān)系的定義(ThedefinitionofRelation)3.3.2幾種特殊的關(guān)系(SeveralspecialRelations)

3.3.3關(guān)系的表示(TheexpressionofRelations)第三章集合與關(guān)系(Sets&Relations)第三章集合與關(guān)系(Sets&Relations)3.3.1

關(guān)系的定義(ThedefinitionofRelation)定義3.3.1

笛卡爾積的任意一個子集R稱為是由A到B的一個二元關(guān)系,R中任意序偶

,可記作或.不在R中任意序偶,可記作或.當(dāng)A=B時,稱R是集合A上的二元關(guān)系。例1

設(shè)A={a,b},B={2,5,8}則令因為,,。所以,,和均是由A到B的關(guān)系。例2>=例3Q=例4第三章集合與關(guān)系(Sets&Relations)例5

設(shè)。

由到的關(guān)系定義為:當(dāng)且僅當(dāng)a整除b時,

有。AB

定義3.3.2

設(shè)是由A到B的一個關(guān)系,的定義域或前域記作dom,的值域記作ran,分別定義為:顯然有

于是

的定義域,值域.3.3.2幾種特殊的關(guān)系(SeveralspecialRelations)

空關(guān)系對任意集合.

所以是由A到B的關(guān)系,也是A上的關(guān)系,稱為空關(guān)系。

全域關(guān)系因為,,所以是一個由到

的關(guān)系,稱為由到

的全域關(guān)系。是

上的一個關(guān)系,稱為上的全域關(guān)系。常將記作

是上的恒等關(guān)系。

恒等關(guān)系定義集合上的恒等關(guān)系例6

設(shè)則是上的全域關(guān)系。3.3.3關(guān)系的表示(TheexpressionofRelations)第三章集合與關(guān)系(Sets&Relations)1.集合表示法用表示集合的列舉法或描述法來表示關(guān)系。

例7

設(shè)A={2,3,4,8},B={1,5,7},用描述法定義由A到B的關(guān)系,試用列舉法將表示出來。解

例8

有王、張、李、何是某校的老師,該校有三門課程:語文、數(shù)學(xué)和英語,已知王可以教語文和數(shù)學(xué),張可以教語文和英語,李可以教數(shù)學(xué),何可以教英語,若記A={王,張,李,何},B={語文,數(shù)學(xué),英語}。那么這些老師與課程之間的對應(yīng)關(guān)系就可以用由A到B的一個關(guān)系中的序偶來表示。

={〈王,語文〉,〈王,數(shù)學(xué)〉,〈張,語文〉,〈張,英語〉,〈李,數(shù)學(xué)〉,〈何,英語〉}2.矩陣表示法

例7中由A到B的關(guān)系可以用一個的矩陣來表示。

157

定義3.3.3

設(shè)A、B都是有限集,,

,由A到B的關(guān)系可以用一個的矩陣來表示,的第i行第j列的元素取值如下:矩陣稱為的關(guān)系矩陣。1234例9

設(shè),A上的關(guān)系

則可以用一個的矩陣來表示。3.關(guān)系圖表示法關(guān)系圖由結(jié)點和邊組成例如

例7中的,,則ρ的關(guān)系圖如下AB例如

例9

溫馨提示

  • 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)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論