![計算機計算機數(shù)學(xué)-7關(guān)系的閉包運算_第1頁](http://file4.renrendoc.com/view11/M00/02/0A/wKhkGWWnQFmALkhTAAEy1re6PMg673.jpg)
![計算機計算機數(shù)學(xué)-7關(guān)系的閉包運算_第2頁](http://file4.renrendoc.com/view11/M00/02/0A/wKhkGWWnQFmALkhTAAEy1re6PMg6732.jpg)
![計算機計算機數(shù)學(xué)-7關(guān)系的閉包運算_第3頁](http://file4.renrendoc.com/view11/M00/02/0A/wKhkGWWnQFmALkhTAAEy1re6PMg6733.jpg)
![計算機計算機數(shù)學(xué)-7關(guān)系的閉包運算_第4頁](http://file4.renrendoc.com/view11/M00/02/0A/wKhkGWWnQFmALkhTAAEy1re6PMg6734.jpg)
![計算機計算機數(shù)學(xué)-7關(guān)系的閉包運算_第5頁](http://file4.renrendoc.com/view11/M00/02/0A/wKhkGWWnQFmALkhTAAEy1re6PMg6735.jpg)
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
3-8關(guān)系的閉包運算
1=5A中第5列,A[3,5]=1,將第5列加入到第3列,不變
1=6,j=7,第6列,第7列全為0,???A不變
ri/i,o,i,o,o,o
0,1,0,0,0,0,0
/+=A=
0,0,0,0,1,0,0
0,1,0,1,0,0,0
這一算法只是用來求不是重點,P127(5)頁介紹了求"人的方
KR
法。
定理3-8.6r,s,t性質(zhì)P66頁反面,P95(6),(7),(8)
3-9集合的劃分和覆蓋
我們介紹了關(guān)系的幾種重要運算,求復(fù)合運算、逆運算和閉包運算,今天我們介紹
3-9集合的劃分和覆蓋
內(nèi)部的關(guān)系.將A分為若干非空的子集一分塊,定義A的劃分與覆蓋.
tn
定義:A是非空集合,S={S],S2,..............>S,A,USj=A,S稱為
A的覆蓋.又若/則稱s為AZ=1
如A={a,b,c}下列一些集合:
S={{a,b},{a,c}}S是A的覆蓋,S不是A的劃分.
Q={{a},{a,b},{b,c}Q是A的覆蓋,S不是A的劃分.
G={{a,b,c}}劃分一最小劃分
E={{a},,{c}}劃分一最大劃分
3-9集合的劃分和覆蓋
F={{a},{b,c}}劃分
H={{a},{a,b})不是覆蓋,不是劃分.
注意:對于覆蓋而言,一個元素可以屬于兩個分塊,而對于劃分,一個元
素僅屬于且必屬于一個分塊,劃分一定是覆蓋,但覆蓋未必是劃分.
2.集合4S={S],S2—.,SJ,7={7],7;,...,7;}是4的兩個戈1」分,把
所有S,CIT/工0構(gòu)成的集合稱為5和7的對N的交叉劃分。
如4=忸力,儲,G={{a},{b,c}},H={{a,b},{c}},則G和H的交叉劃分是
{{a},,{c}},同樣也是A的劃分
3-9集合的劃分和覆蓋
對交叉劃分有如下定理
定理:設(shè){44,…,4J與{4,鳥,…,用}是/的兩種劃分,則它們的交叉劃
分也是力的一種劃分。
證:要證明是劃分必須證兩點,(a)覆蓋;(b)任兩分塊不交
交叉戈分{404,4062,…,4ng,/2rl4,/2n笈2,…,42口
斗…,4ng,4n鳥,…,4一旦}將其中空集去掉。
⑴力的覆蓋(4A^1)uu1n52)u...u(4n^)u(^2n51)u(^2n52)
u…uc42fM)u...u(4n4)u(4,n鳥)u…u(4.n紇)
=(4A(^U52u...U5j)u(^2n(^U52u...UB))u...u(4.n(^iU
鳥U...Uq))
=(4U4J..U4)n(4lMJ..U3s)=/nz=/
3-9集合的劃分和覆蓋
(2)4n4,4n紜任兩個分塊,則有如下三種情況:
wj,h=k,4n4=0,4n線n4Pl紇=0
S)2Wj,h^k,AQAj=0,BhCBk=0:.AinBhnA^Bk=0
(c)i=j,h手左,同(a)
(4n紇)n(4n線)=0故交叉劃分也是4的劃分
3定義:設(shè){4,4,--,4}和{4,2,…,2}電的兩種劃分,若對
每一個4,存在綺使得4=%,則稱{44,…,4”是
{g,鳥,…,紋}的加細。
{4,4,…,4}是{4,的加細(如圖)。
3-9集合的劃分和覆蓋.
對于交叉劃分和加細有如下定理:
定理:任意兩種劃分的交叉劃分必是原來劃分的加細.
證明是簡單的口與=口夕=故交叉劃分是
4LJ4,L4IJB.Js
的加細,也是T的加細。
下面介紹集合中一個重要的關(guān)系:等價關(guān)系。
3-10等價類與等價關(guān)系
1定義:若R為集合A上一個關(guān)系,滿足R是自反的、對稱的、
傳遞的,則R稱為等價關(guān)系。
如三角形的相似關(guān)系1A1-A2^A2~AI
(Al~A2,A2~A3=>A1~AS
“=”為等價關(guān)系<R,=>
例1T={1,2,3,4}R={<1,1>,<1,4>,<4,1>,<4,4>,<2,2>
<2,3>,<3,2X3,3>},則R是等價關(guān)系。
3-10等價類與等價關(guān)系
R的關(guān)系矩陣:
43
3-10等價類與等價關(guān)系
陳的對角線元數(shù)全為1,GR中每個節(jié)點有自回路???R是自反的
MR是對稱矩陣,GR中每兩個節(jié)點要么沒有連線,要么有成對
出現(xiàn),JR是對稱的
傳遞性只能由序偶判斷,逐一檢查得R是傳遞的。
???由上所述可知R是等價關(guān)系
例2.1:整數(shù)集R={〈X,Y>|X三Y(modk)}這里X三Y(modk)
表示X、Y被k除有相同的余數(shù),叫做同余模k關(guān)系
X=kti+aX=Y(modk)tl、t2、I
Y=kt2+a0<a<k
即X—Y=k(ti-t2)則R是一個等價關(guān)系。
3-10等價類與等價關(guān)系^
證明:
1.XZ"=X——內(nèi)=k-O.,xJ^x
???衣^^目及白勺。
2.jCjRy^x—y=kt?y一x=—kt=kQ-t)
「.yAc,小是對稱的。
3.xRy.yRz.
x—y—kt}.y—z—kt2x—z—x—y+y—z—ktx+kt2—kt
是傳遞的,因此尺是等價關(guān)系。
3-10等價類與等價關(guān)系
由等價關(guān)系可以引出一個等價類定義:
R是A上等價關(guān)系,x、yeAo若xRy稱x和y是屬于同一個
等價類的
2.定義:G[a]R={x\<a.x>£火}稱為由a關(guān)于火
的等價類或由。形成的△的等價類
如例1中:口口={1,4}=甩,⑵x={2,3}=[3]火
例2中:取k=3.R={<x.y>\x=y(mod3)}
3-10等價類與等價關(guān)系
{...,-5,-2,1,4,7,...}被3除余數(shù)為1的集合
{3n+1|nei)
{..L2盧乃???}被3除余數(shù)為2的集合
{3n+2|n£1)
[O]A=[3k=[―34
全體整數(shù)集I被分成了三
個不同的等價類
3-10等價類與等價關(guān)系
3.定理:
對稱性傳遞
證明:=<a,Z?>e凡設(shè)c£[0火=>=>cRa=>cRb
對稱
今bRc=cw[b]R
???[叫口現(xiàn)
I司30二??[。]衣=
<^曰矢口二?=[萬]衣
自反,件:cz三[0]尺.*.CL巨[旬尺「?bRci=>ciRb
注:證明很簡單,但是利用R的定義很重要。因而對等價類來說,
要么相等,要么交為空。
3-10等價類與等價關(guān)系
4.定義:
等價類:元素的集合,A的子集;商集:集合的集合
如例1中:T/R={[1]…[2]尺},集合元素互異,只有兩個
口卜=[3k,[2k=[4k
例2中://尺={[OLJ1]欠」2]欠)取典型元素為代表。
由等價關(guān)系可以商集,商集與A有何關(guān)系?
3-10等價類與等價關(guān)系
5.定理:R是A上等價關(guān)系,A/R是A的一個劃分。
證:①覆蓋。A/R={[a]RIaEA}oaU[a]R=A。
②任意兩個[@]RW[b]R,要證[@八門[b]—。o
反證法:假設(shè)[a]Rn[b]RW0,3:eA
ce[a]R且ce[b]Ro
又寸彳安
.,.aRc且bRcq>Rbb
由定理可得[a]-[b]R與假設(shè)矛盾。
[a]Rn[b]R=0,從而A/R是A的一個劃分。
反之,有劃分便可確定一等價關(guān)系。
3-10等價類與等價關(guān)系
6.定理:集合A的一個劃分可以確定A的一個等價關(guān)系。
證明比較簡單。
<=>
s={svS2,........,Sm}作一關(guān)系R,aRba,b在
同一分塊中。
可以證明R是自反的、對稱的、傳遞的(請自證),故R是
等價關(guān)系
例A={a、b、c、d},
S={{a,b},{c},cempamt}是劃分。
則確定的等價關(guān)系R為
{<a,b>,<a,a>,<c,c>,<d,d>,<b,a>,<b,b>}
3-10等價類與等價關(guān)系
也就是也1xS1)U(S2x^2U(S3x^3)
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)容負責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 智能化資產(chǎn)管理合同(2篇)
- 村衛(wèi)生所輸液瓶處置合同(2篇)
- 公司職員工作總結(jié)范文10篇
- 2025年大連汽車職業(yè)技術(shù)學(xué)院高職單招數(shù)學(xué)歷年(2016-2024)頻考點試題含答案解析
- 2025至2031年中國竹樣卡行業(yè)投資前景及策略咨詢研究報告
- 智能合約安全分析-第2篇-深度研究
- 2025年度新材料研發(fā)高級人才引進及產(chǎn)業(yè)化合同
- 二零二五年度籃球賽事場地承包與宣傳合同
- 2025年度員工個人資金周轉(zhuǎn)困難公司借款合同
- 二零二五年度社區(qū)老年食宿關(guān)愛服務(wù)合同
- 第1課 隋朝統(tǒng)一與滅亡 課件(26張)2024-2025學(xué)年部編版七年級歷史下冊
- 【歷史】唐朝建立與“貞觀之治”課件-2024-2025學(xué)年統(tǒng)編版七年級歷史下冊
- 產(chǎn)業(yè)園區(qū)招商合作協(xié)議書
- 2024年廣東省公務(wù)員錄用考試《行測》真題及答案解析
- 盾構(gòu)標準化施工手冊
- 天然氣脫硫完整版本
- 人教版八級物理下冊知識點結(jié)
- 2021年高考真題-生物(湖南卷) 含解析
- 幼兒園2024-2025學(xué)年第二學(xué)期園務(wù)工作計劃
- 2024公路工程施工安全風(fēng)險辨識與管控實施指南
- 新疆2024年新疆和田師范??茖W(xué)校招聘70人筆試歷年典型考題及考點附答案解析
評論
0/150
提交評論