第四章：关系和图.docVIP

4.1 Product Sets and Partitions 笛卡儿乘积与划分 An ordered pair (a , b) 一个有序对(a , b)是对象a和b以指定的次序，a先出现然后b出现的一个列举。 如果A和B是两个非空的集合，定义笛卡儿乘积(product set or Cartesion product) A×B为a∈A 和b∈B的所有有序对（a , b）所组成的集合，Thus A×B ＝{(a , b) | a ∈ A and b ∈B} 定理一：且有card（A×B）＝card（A）?card（B） 一个非空集合的划分（partition）或商集（ quotient set ）是A的非空子集的一个集合T，使得 1: A的每一个元素属于T中的某个集合： 2:如果A1和A2是T中的不同元素那么A1∩A2＝Ф T中的集合称为划分中的块（block）或单元（cell）。 4.2 Relation and Digraphs 二元关系和又向图 设A和B是非空集合，从A到B的关系（relation）R是A×B的一个子集，如果RA×B且（a, b）∈R,那么称a与b是R相关的（a is relation to b by R）记作：aRb， 如果a与b不是R相关的，记作a!Rb 通常A与B是相等的，这种情况下往往称R A×B是A上的关系，而不是A到A的关系。 2) 注：如果一个集合的全部元素（可以只是一个）都是有序对，则称这个集合为一个二元关系，记作R，对于某个二元关系R，如果（x，y）∈R，则记作rRy，如果（x，y）R，则记作x!Ry. 3) 设A，B为非空集合，则称A×B的任意子集所定义的二元关系为A到B的一个二元关系，特别是A＝B时，称A上的二元关系。 4）关系R的所有有序对的第一元素所组成的集合称为R的定义域（domain）即 Dom（R）={x| y ，(x, y) ∈R } 关系R的所有有序对的第二元素所组成的集合称为R的值域（range）即 Ran（R）={y| x ，(x, y) ∈R } 关系R的所有有序对的两个元素所组成的集合称为R的域（）即 Fld（R）= Dom（R） Ran（R） 显然，若R是从A到B的关系，Dom（R）＝A，Ran（R）＝B。 5）如果从A到B的关系且x∈A，定义R（x）是具有性质――x与y是R相关的――B中所有y所组成的集合，称为x的R－相关集（R－relation set of x），thus R（x）＝{ y∈B| x R y } Similarly，如果A1A，则R（A1）是具有性质――对A1中的某个元素x，x与y是R相关的，B中所有y所组成的集合，称为A1的R相关集（R－relation set of A1）,thus R(A1)={y∈B|对A1中的某个元素x，xRy} 注：R（x）是关于x的集合，但里面所包含的元素却是(x, y)中的y，即第二元素 定理一;设R是从A到B的关系，A1 和A2 是A的子集，then (a) 若A1 A2，则R（A1）R（A2） (b) R（A1∪A2）＝R（A1）∪R（A2） (c) R（A1∩A2）R(A1)∩R(A2) 定理二：设R和S 是从A到B的关系，如果A中有a，有R（a）＝S（a），then R＝S. 果A＝{ …}和B＝{ …}分别包含n个和m个元素的有限集合，R 是 从到B的关系，那么可用m×n的矩阵，表示R，then 矩阵没MR称作R的矩阵（matrix of R）。 关系的又向图,用内部标号小圆圈表示相应的定点（vertices），又向线段表示边（edge），所得的图称为又向图（direct graph）或 方向图（digrahp）。 4．3 4．4 Properties of Relations 二元关系的性质 自反关系设R是集合 中的二元关系。对于每一个 x来说，如果都有 xRx，亦即 x,x，则称 R 是个自反的关系。自反关系设 R 是集合 中的二元关系。对于每一个 x 来说，如果都有 x!Rx，亦即 x, xR，则称 R 是个自反的关系对称关系设 R 是集合 中的二元关系。对于每一个 x,y 来说，如果每当有 xRy，则必定有 yRx，那么称 R 是个对称的关系。ab ( a