第三章关系.pptVIP

第三章 关系 定义3.20 设X为非空集合，π={S1 ,S2……Sn }是X的一个划分，若n =|X|，则称π为最大划分；若n=1,则称π为最小划分。 定理3.6 集合X上的等价关系R就决定了X的一个划分，该划分就是X/R。 定理3.7 集合X上的一个划分确定了X上的一个等价关系R。 定义3.21 设R为定义在集合X上的二元关系，若R是自反的、反对称的和传递的，则称R为一个偏序关系。通常用≤表示偏序关系，并把序偶X, ≤称作偏序集。 定义3.22 在偏序集X, ≤中，对任意x, y∈X，若x≤y且x≠y，而且不存在其它元素z∈X，使得x≤z且z≤y，则称y盖住x。并且记COV X={x,y|x,y∈X且y盖住x}。 定义3.23 设A,≤是一个偏序集，B?A。若存在元素y∈B，使得 (1)对任意x∈B，都有y≤x，则称y是集合B中的最小元。 (2)对任意x∈B，都有x≤y，则称y是集合B中的最大元。 (3) B中不存在任何其它元素x能满足x≤y，则称y是集合B中的极小元。 (4) B中不存在任何其它元素x能满足y≤x，则称y是集合B中的极大元。 * * 定义3.1 设A，B是两个集合，集合A×B的子集R称为A，B上的二元关系；当A=B时，R称为A上的二元关系，简称关系。对于a∈A，b∈B，若(a，b)∈R，则称a，b有关系R，记为aRb。若(a，b)∈R，则称a，b没有关系R。 定义3.2 设R是从集合A到集合B的一个二元关系，则由R中所有序偶的第一分量组成的集合称为R的定义域，记作Dom( R )；由R中所有序偶的第二个分量组成的集合称为R的值域，记作Ran( R )。 即： Dom(R)={x|(?y)(x,y∈R)} Ran(R)= {y|(?x)(x,y∈R)} 定义3.3 设A, B是两个集合，R为A, B上的二元关系。若R = ? ，则称R为空关系；若R = A×B，则R称为全域关系。 定义3.4 设A为任意集合，IA是A上的二元关系，并且满足IA = {a, a|a∈A}，则称IA为A上的恒等关系。 定义3.5 设A = {x1, x2, ..., xm}，B = {y1, y2, ..., yn}，R?A×B是A到B上的二元关系，称矩阵M(R) = (ri j)m?n为关系R的关系矩阵，其中若xi R yj，则ri j = 1；否则ri j = 0。 定义3.6 设A = {x1, x2, ..., xm}，B = {y1, y2, ..., yn}，R?A×B是A到B上的二元关系，以A和B的元素为顶点，且若xi R yj，则从顶点xi向yj引一条有向边，这样得到的有向图称为R的关系图G(R)。 定义3.7 设R为X到Y的二元关系， 则 R-1={b,a|a,b∈R}称为R的逆关系。 定义3.8 设R是从集合X到集合Y的二元关系，S是从集合Y到集合Z的二元关系，则R与S的复合关系R⊙S是一个从X到Z的二元关系， R⊙S={x,z|x∈X∧z∈Z∧?y(y∈Y∧x,y∈R∧y,z∈S)} 定理3.1 设R是X到Y的二元关系，S是Y到Z的二元关系，则 (R⊙S)-1=S-1⊙R-1 定义3.9 设R是集合X上的二元关系，n为自然数，则R的n次幂记作Rn，规定：  (1) R0=Ix (2) Rn+1 =Rn ⊙R 关系的幂运算具有如下性质： 设R是集合X上的二元关系，m,n∈N,则： (1) Rm⊙Rn=Rm+n (2) (Rm)n=Rm×n 定义3.10 设R为定义在集合X上的二元关系，如果对于每个x∈X，有xRx，则称二元关系R是自反的。 R在X上自反?(?x)(x∈X→xRx) 定义3.11 设R为定义在集合X上的二元关系，如果对于每个x∈X,有x,x∈R，则称二元关系R是反自反的。R在x上反自反?(?x)(x∈X→x,x?R) 注意：一个不是自反的关系，不一定就是反自反的。 定义3.12 设R为定义在集合X上的二元关系，如果对于每个x,y∈R，每当x,y∈R，就有y,x∈R,，则称二元关系R是对称的。 定义3.13 设R为定义在集合X上的二元关系，如果对于每个x,y∈R，每当x,y∈R且y,x∈R时，必有x=y，则称二元关系R是反对称的。 注意：可能有某种关系既是对称的，又是反对称的。还有些关系既不是对称的，又不是反对称的。 定义3.14 设R为定义在集合X上的二元关系，如果对于每个x,y,z∈R，每当x,y∈R且y,z∈R时，必有x,z∈R，则称二元关系R是传递的。 定义3.15 设R是X上的二元