离散数学3-5关系及其表示3-6关系的性质.pptVIP

第三章 集合与关系第4讲 上次课回顾 集合的运算 序偶 笛卡尔积 3-5 关系及其表示 兄弟关系 师生关系 朋友关系 恋人关系 大于关系 一、关系（Relation） 1、关系 定义3-5.1：任一序偶的集合确定了一个二元关系R，a，b?R记作aRb，称a与b有关系，a，b?R记作aRb，称a与b没有关系。 例如，={x，y|x，y是实数且xy} 说明： (1)把关系R这种无形的联系用集合这种“有形”的实体来描述，为今后的描述和论证带来方便。 (2)序偶是讲究次序的，如果有a，b?R未必有b，a?R ，即a与b有关系R，未必b与a有关系R。 例：甲与乙有父子关系，但乙与甲没有父子关系。 2、前域、值域 定义3-5.2：二元关系R中，所有序偶的第一元素的集合dom R称为R的前域，第二元素的集合ran R称为R的值域。R的前域和值域一起称作的域，记作FLD R。即 dom R={x|(?y)x，y?R} ， ran R={y|(?x)x，y?R}，FLD R=dom R?ran R 例题1 设H={1，2，1，4，2，4，3，4}，求dom H，ran H， FLD H。 3、X到Y的关系 定义3-5.3：令X和Y是任意两个集合，X?Y的子集R称作X到Y的关系。 如果R是X到Y的关系，则dom R?X，ran R?Y。 例题2 设X={1，2，3，4}， 求X上的关系及dom ，ran 。 4、特殊的关系 (1)全域关系：对于集合X和Y，称X?Y为X到Y的全域关系。记作U。 ?称为空关系。 (2)二元关系：R是X?X的子集，称R是X上的二元关系 (3)恒等关系：Ix称为X上的恒等关系iff Ix={x,x|x?X} 解：H={1，1，1，3，2，2，2，4， 3，3，3，1，4，4，4，2} S={4，1} H?S={1，1，1，3，2，2，2，4，3，3， 3，1，4，4，4，2，4，1} H?S=? X?X={1，1，1，2，1，3，1，4，2，1， 2，2，2，3，2，4，3，1，3，2， 3，3，3，4，4，1，4，2，4，3，4，4} ?H={1，2，1，4，2，1，2，3，3，2， 3，4，4，1，4，3} S-H={4，1} 5、定理3-5.1：若Z和S是集合X到Y的两个关系，则Z和S的并、交、补、差仍是到的关系。 关系的表示方法 集合法 关系矩阵 关系图 二、关系的表示 1、集合 2、关系矩阵： 设给定两个有限集合X={x1，x2，…，xm}， Y={y1，y2，…，yn}，R是X到Y的关系，则R的关系矩阵MR，其中[rij]m?n， rij =1，当xi， yj?R， rij =0，当xi， yj?R 。 关系矩阵的写法也可以简化, 当约定了元素的次序后, 可以不写最左列和最上行的元素。 如 关于关系矩阵的几点说明： (1)空关系的关系矩阵的所有元素为0。 (2)全关系的关系矩阵的所有元素为1。 (3)恒等关系的关系矩阵的所有对角元为1，非对角元为0，此矩阵为单位矩阵。 (4)如果R是X上的二元关系时，则其关系矩阵是一个方阵。 P108 例题 例题5 设X={x1,x2,x3,x4},Y={y1,y2,y3}, R={x1,y1, x1,y3, x2,y2, x2,y3, x3,y1, x4,y1, x4,y2}，写出关系矩阵MR。 例题6 设A={1,2,3,4}，写出集合A上大于关系的关系矩阵。 3、关系图： 设有限集合X={x1，x2，…，xm}， Y={y1，y2，…，yn}，X到Y的一个关系为R，则R的关系图：做出m个结点分别记作x1，x2，…，xm， n个结点分别记作y1，y2，…，yn， 如果xi， yj?R ，则可自结点xi至yj作一有向弧，如果xi， yj?R ，则xi至yj没有线段联结。 例 设A＝｛-2, -1, 0, 1｝, 写出A上的＜关系、 ≤关系、 ＞关系、 UA和IA, 并分别写出这些关系的定义域和值域（这里＜、 ≤、 ＞分别表示通常的小于、 小于等于和大于）。 并画出关系图。 ＞＝｛(-1, -2), (0, -1), (0, -2), (1, -2), (1, -1), (1, 0)｝ Dom＞＝｛-1, 0, 1｝ Ran＞＝｛-2, -1, 0｝ UA＝｛(-2, -2), (-2, -1), (-2,0), (-2,1), (-1,-2), (-1,-1), (-1, 0), (-1, 1), (0, -2), (0, -1), (0, 0), (0, 1),