正文
关系的定义
关系是一个有序对集合或空集合,关系之间做运算以后依然是关系。
关系的定义域(dom R ),值域(ran R )和域( RfldR)
其中< x , y > ∈ R 表示x 经过R 运算变换得到y ,也可以记作x R y
关系的运算
关系的逆、复合(合成)、限制和像
设为任意关系,A = { 1 , 2 } 为集合
R的逆,记作R − 1
例
RR与S 的复合,复合分为左复合和右复合,一般情况下"复合"一词指的就是右复合,记作R ∘ S
左复合:
右复合:
例:左复合:右复合:
R 在A 上的限制,记作R ↾ A
例:
A在F 下的像,记作F [ A ]
例:
以上定义的运算是关系的基本运算
基本运算的主要性质
设R、S、T 是任意的关系,则有
关系的幂运算
设R 为A 上的关系,R ∘ R 可以简记为 R^2,称为R的二次幂。一般地可以定义R的n 次幂为R^n且有:
由定义可知R^0R就是A 上的恒等关系I A 不难证明:
由此等式可以得到:
例如:设A = { 1 , 2 , 4 , 5 } 有二元关系R=\{<1,2>,<2,1>,<4,2>,<5,1>},则有:
关系幂运算定理*
设R 为A 上的关系,m 、n是自然数,则下列等式成立
关系的性质
设R 是A上的关系,R 的性质主要有以下5种:自反性、反自反性、对称性、反对称性和传递性。