解: st( R )ts( R ), sr( R )=rs( R ),… tsr( R )=trs( R )=rts( R ) str( R )=srt( R )=rst( R )
.精品课件.
5
例10(续)
tsr(R)=trs(R) str(R)=srt(R)
=rts( R )
=rst( R )
(23
1)
C42
1
1
7
6
1
15.
#
.精品课件.
26
划分的加细(refinement)
划分的加细: 设A和B都是集合A的划分, 若A的每个划分块都包含于B的某个划分 块中, 则称A为B的加细.
A为B的加细 RARB
.精品课件.
27
例14
例14: 考虑A={a,b,c}上的划分之间的加细.
解:
AZ+={ x | xZ x>0 } | = { <x,y> | x,yA x|y }
.精品课件.
31
偏序集<A,>
AP(A), = { <x,y> | x,yA xy } 设A={a,b}, A1={,{a},{b}}, A2={{a},{a,b}}, A3=P(A)={,{a},{b},{a,b}},则
的等价类, 画出R3的关系图. 解: [1]=[4]={1,4}, [2]=[5]=[8]={2,5,8},
[3]={3}. #
4
8
1
2
5
3
.精品课件.
13
商集(quotient set)
商集: 设R是A上等价关系, A/R = { [x]R | xA }
称为A关于R的商集, 简称A的商集. 显然 U A/R = A. 例11(续): A/R3 ={ {1,4}, {2,5,8}, {3} }.