04笔记 离散数学——关系——基于离散数学(第3版)_章炯民,陶增乐

关系的概念

X,Y是集合，R是X×Y的子集，则称R是X到Y的二元关系，若X=Y，称R为X上的关系，(x,y)∈R，称x，y满足关系R，记为xRy，x是y的前件，y是x的后键

定义
设R是X到Y的二元关系，R的定义域记为dom（R），R的值域记为ran( R )
d o m ( R ) = { x ∣ x ∈ X ， 且 存 在 y ∈ Y 使 ( x , y ) ∈ R } dom(R) = \{x|x∈X，且存在y∈Y使(x,y)∈R\} dom(R)={ x∣x∈X，且存在y∈Y使(x,y)∈R}
r a n ( R ) = { y ∣ y ∈ Y ， 且 存 在 x ∈ X 使 ( x , y ) ∈ R } ran(R) = \{y|y∈Y，且存在x∈X使(x,y)∈R\} ran(R)={ y∣y∈Y，且存在x∈X使(x,y)∈R}

空关系：空集
全关系：X×Y
恒等关系：{(x,x)|x∈X}

函数
X到Y的函数f使X到Y的二元关系
1）dom(f) = X
2)$$\forall x\in X，y_1，y_2\in Y,(x,y_1)\in f\wedge (x,y_2)\in f\to y_1=y_2$$

二元关系表示

1)表示集合的方法
2）关系图
用X，Y与那表示图中的顶点，一般X左Y右，当(x,y)∈R，则用有向边从x画到y，x=y的时候要画个圈

3） 关系矩阵
m×n矩阵，属于取1，不属于取0

n元关系

X1……Xn是n个集合
X1×……×Xn的子集R 是n元关系

关系的运算

逆关系
R − 1 = { ( y , x ) ∣ ( x , y ) ∈ R }   ⊆ Y × X R^{-1}=\{(y,x)|(x,y)∈R\}\ \subseteq Y×X R−1={ (y,x)∣(x,y)∈R} ⊆Y×X
补关系
x<y
逆关系是x>y
补关系是x≥y
复合关系
R = { ( x , z ) ∣ x ∈ X ， z ∈ Z 且 存 在 y 属 于 Y ， ( x , y ) ∈ R , ( y , z ) ∈ S } R=\{(x,z)|x∈X，z∈Z且存在y属于Y，(x,y)∈R,(y,z)∈S\} R={ (x,z)∣x∈X，z∈Z且存在y属于Y，(x,y)∈R,(y,z)