则关系R的各次幂为: R0 =A ={<1,1> , <2,2> , <3,3> , <4,4> , <5,5>} R1=R
R2= R • R={<1,1>,<2,2>,<1,3>,<2,4>, <3,5>}
R3=R2 • R={<1,2>,<2,1>,<1,4>,<2,3>, <2,5>}
R4= R3 • R={<1,1>,<2,2>,<1,5>,<2,4>,
从关系图来看关系的n次幂
R:
1
2
3
4
5
R2:
1
2
3
4
5
R2就是从R的关系图中的任何一个结点x出发,长 为2的路径,如果路径的终点是y,则在R2 的关系 图中有一条从x到y的有向边。其他以次类推:
R3:
1
2
3
4
5
R4:
1
2
3
4
5
定理 设|A|=n,R A×A,则必有i,j∈N, 0≤i<j≤2n2,使得Ri=Rj。
=R5,R7=R6•R=R5,…,Rn=R5 (n>5) 故Rn{R0,R1,R2,R3,R4,R5}。
S0=IA,S1=S,
S2=S•S={<a,c>,<b,d>,<c,e>,<d,f>}, S3=S•S•S=S2•S={<a,d>,<b,e>,<c,f>}, S4=S3•S={<a,e>,<b,f>}, S5=S4•S={<a,f>}, S6=S5•S=Φ, S7=Φ, …, 故,Sn{S0,S1,S2,S3,S4,S5,S6}