离散数学-关系-1讲述.pdfVIP

3-5 二元关系 3-5 关系及其表示 3-6 关系的运算 3-7 关系的性质 3-8 关系的闭包运算 3-9 等价关系与等价类 3-10 相容关系 3-11 序关系 3-5 二元关系及其表示 定义3-5.1 设A和B是任意集合，如果R⊆A×B，则称R是A到 B的二元关系。如果R是A到A的二元关系，则称R是A上的 二元关系。若x,y∈R，则称x与y有R关系。记为xRy。 若x,y∉R，则称x与y没有R关系。记为x y。 R/ 例1 设A ⎨1,2,3⎬，B ⎨a,b⎬，R ⎨1,a,2,a,3,b⎬,R 是A到B的二元关系。S ⎨3,1,2,2,2,1,1,1⎬,S 是A上的二元关系。 二元关系及其表示 定义3-5.2 设A，B是集合，R⊆A×B。 dom R ⎨x|x,y∈R ⎬ 叫做R的定义域。 ran R ⎨y|x,y∈R ⎬ 叫做R的值域。 FLD R= dom R∪ran R 叫做R的域。 A叫做R的前域；B叫做R的陪域。 例2 A={1,2,3,5},B={1,2,4},H={1,21,42,43,4} 求 dom H,ran H, FLD H。 解:dom H = {1,2,3}, ran H = {2,4}, FLD H = {1,2,3,4} 二元关系及其表示 定义3-5.3设A和B是任意集合，空集φ叫做A到B的空关系，仍 然记为φ。A，B的笛卡尔积A×B叫做A到B的全域关系，记 为E。集合⎨a,a|a∈A ⎬叫做A上的恒等关系，记为IA。 例3设A ⎨a,b⎬，B ⎨1,2⎬，求A上的恒等关系IA和A到B的全域 关系A×B。 解：A上的恒等关系:IA ⎨a,a,b,b⎬， A到B的全域关系:E =A×B ⎨a,1,a,2,b,1,b,2⎬ 定理3-5.1 设A是具有n个元素的有限集，则A上的二元关系有 2 2n 种。 二元关系的表示 1.用列举法表示二元关系 例4 设A ⎨a,b⎬，B ⎨1,2⎬， A到B的全域关系：E=A×B ⎨a,1,a,2,b,1,b,2⎬ A上的恒等关系： I ⎨a,a,b,b⎬ A 都是用列举法表示的。 2.用描述法表示二元关系 例5 设R是实数集， L = ⎨x,y|x∈R∧y∈R∧x≤y ⎬， R LR是实数集R上的二元关系。 二元关系的表示 3.用矩阵表示二元关系 如果A，B是有限集，A ⎨a ,a ,…,a ⎬，B ⎨b ,b ,…,b ⎬， 1 2 m 1 2 n R是A到B的二元关系，R的关系矩阵定义为： ( ) M r = R ij m×n 1 a ,b ∈R ⎧ i j r ⎨ ij 0 a ,b ∉R ⎩ i j 其中，i=1,…,m；j=1,…,n 称为二元关系R的关系矩阵。 二元关系的表示 例6 设A ⎨a ,a ,a ,a ⎬，B ⎨b ,b ,b ⎬，R是A到B的二元关 1 2 3 4 1 2 3 系，定义为： R ⎨a ,b ,a ,b ,a ,b ,a ,b , 1 1 1 3 2 2 2 3 a ,b