二元关系课件.pptVIP

整數集I上一些關係的閉包①r()??;(∵r()?∪II?∪=??)s()??;(∵s()?∪??)t()?;(∵是傳遞的)②r(?)?I?I(全域關係);(∵r(?)??∪II??∪=?I?I)S(?)??;(∵?是對稱的)T(?)?I?I(∵?i?j?k(i?k∧k?j),即I?I?(?)(?)又(?)(?)?I?I)③r(?)??∪II?II;s(?)??∪?~??∪???;t(?)?∪1?i??i??.④令R為後繼關係:xRy?y=x+1,則t(R)?.證:?a,c??t(R)??k(k?1∧?a,c??Rk)?c=a+k?ac§3.3的作業佈置#4;#6除原題要求外,還要另求R+和R*;#7(b).習題3.3#7(c)已知A={1,2,3},R={?1,2?,?2,3?,?3,1?},求r(R),s(R),t(R)解:r(R)=R∪IA={?1,2?,?2,3?,?3,1?,?1,1?,?2,2?,?3,3?},s(R)=R∪R~={?1,2?,?2,3?,?3,1?,?1,3?,?2,1?,?3,2?},t(R)=R∪R2∪IA(∵R3=IA,R4=R,R5=R2,…)={?1,2?,?2,3?,?3,1?,?1,3?,?2,1?,?3,2?,?1,1?,?2,2?,?3,3?}=A?A全域關係閉包還可進一步作閉包運算?r(r(R))=r(R);(∵r(R)是自反的)?r(s(R))=R∪R~∪IA=s(r(R));?r(t(R))=t(R)∪IA=t(r(R))=∪0?i?nRi?通常用R+,R*分別表示傳遞閉包t(R),自反傳遞閉包r(t(R)),此二關係在電腦科學中十分有用.習題3.3#8

(注:MR+=Mt(R),MR*=E∪Mt(R))MR=Mr(R)=Ms(R)=MR2==MR3=MR4=…?Mt(R)=10100011101010101010011110101011101100111111111010101010101010101010101110101010偏序集與偏序關係的概念①A上關係R稱為偏序關係,如果R是自反的,反對稱的,和傳遞的;此時,?A,R?稱為偏序集合,並常把?A,R?記為?A,??;把aRb記為a?b.②?A,R?是偏序集??A,R~?是偏序集.稱?A,R~?為?A,R?的對偶偏序集,常把?A,??的對偶偏序集記為?A,??.偏序集與偏序關係的例子①對實數集R的任意子集A與實數上的小於等於關係:?,?A,??是偏序集;其對偶偏序集為?A,??;x?x;x?y∧y?x?x=y;x?y∧y?z?x?z②對任意集A,??(A),??是偏序集;其對偶偏序集為??(A),??;x?x;x?y∧y?x?x=y;x?y∧y?z?x?z③令A?I+,對任意m,n?A,m|n表示m整除n的關係(即m為n的整數倍:有正整數k滿足n=km),?A,|?是偏序集.證:取論述域為I+自反顯然?m(m?A?m|m);再由?m?n(m|n?m?n)推出反對稱?m?n(m|n∧n|m?m=n);傳遞?m?n?k(m|n∧n|k??u?v(k=un∧n=vm)??m?n?k(m|n∧n|k?m|k)表示有限偏序集的Hasse圖Hasse圖用下列最簡潔的方式表示偏序集:①因偏序集的每一元與自己有關系蘊涵每點都有自回路,故自回路可以不明顯地畫出.②因偏序集有傳遞性,即aRb∧bRc?aRc,故只要表示出aRb和bRc之後就可以不必再表示aRc.③約定用以a,b為端點的直線代替箭頭表示aRb,只要把點a放在點b的下方即可.Hasse圖舉例①??({a,b}),??②?{2,4,6,8,12},|??{a,b}