04-关联的性质与闭包.pptVIP

砌弛迅夷吟倒组沮亿约殉帛咨蔷抡诚竖蠢琐威柑硬脉樊烛棉嘎甭淫饶试越04-关系的性质与闭包04-关系的性质与闭包 关系的性质与闭包 离散数学 第4讲 棘篙皂治腆岸村窟柔钙骨键何谨扫戳室芋猎廊牙峦冒奥斤堕握姻隙救忙眼04-关系的性质与闭包04-关系的性质与闭包 上一讲内容的回顾 集合的笛卡尔乘积 有序对-一种特殊的集合 笛卡尔乘 笛卡尔乘积的性质 二元关系的定 关系的运算 一般集合运算 与定义域或值域有关的运算 逆运算 复合运算(乘法) 梧谱已功宏契震锚慢庆樟篇墅炒二贞蔑填巧念仟宁作助秃窒陇饲刺贼沥雍04-关系的性质与闭包04-关系的性质与闭包 二元关系的性质与闭包 关系的几类重要性质 自反 对称 传递 性质满足的充分必要条件 性质与运算之间的关系 闭包的定义与存在性 计算关系R的传递闭包的Warshall算法 殃阔颠膜描割炎瘁碍脉彼际到汰嫩恐付兜岂些西般羊埔径咏屈鼓蔓诛漳膨04-关系的性质与闭包04-关系的性质与闭包 自反性 集合A上的关系R: 自反：定义为：对所有的 a?A, (a,a)?R 反自反：定义为：对所有的a?A, (a,a)?R 设 A={1,2,3}, R?A?A {(1,1),(1,3),(2,2),(2,1),(3,3)} 是自反的 {(1,2),(2,3),(3,1)} 是反自反的 {(1,2),(2,2),(2,3),(3,1)} 既不是自反的，也不是反自反的 R 是 A 上的自反关系 iff. IA?R 据融荔疮济惮霖群统魏桐追祖挖狱的刊匠蝴次村状熏阵解寸雀祷事溶笛毫04-关系的性质与闭包04-关系的性质与闭包 自反关系的关系图及关系矩阵 a b c A={a,b,c} 搁碳喝伴郴丁撮荔羊撼遗萎唉坯轿劫萝爪枯萨肆世超遏真虾骇妙柏撼莹临04-关系的性质与闭包04-关系的性质与闭包 对称性 集合A上的关系R： 对称的：定义为：若 (a,b)?R, 则 (b,a)?R 反对称的：定义为：若(a,b)?R 且(b,a)?R ，则a=b 强反对称的：定义为：若 (a,b)?R 则 (b,a)?R (注意：反对称及强反对称都不是对称的否定) 设 A={1,2,3}, R?A?A {(1,1),(1,2),(1,3),(2,1),(3,1),(3,3)} 是对称的 {(1,2),(2,3),(2,2),(3,1)} 是反对称的 {(1,2),(2,3),(3,1)} 既是反对称的，也是强反对称的 {(1,1),(2,2)} 既是对称的，也是反对称的 ? 是对称关系，也是反对称关系，也是强反对称关系！ R 是集合A上的对称关系 iff. R-1=R 照盼厦贸箍靡倘宾愚字帅狡蛋膘咳糙鸳酪轻粗鹤兵汽簇琶级筹则府节监许04-关系的性质与闭包04-关系的性质与闭包 对称关系的关系图及关系矩阵 a b c A={a,b,c} 霍绒耙酱湃将比胁菜孩搭抹兑忌较关蔚舍舅洽豹肃秒鸯集乞漓趟恳梦铬窑04-关系的性质与闭包04-关系的性质与闭包 传递性 集合A上的关系R： 传递的：定义为：若 (a,b)?R, (b,c)?R, 则 (a,c) ?R 设 A={1,2,3}, R?A?A {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,3)} 传递的 {(1,2),(2,3),(3,1)} 是非传递的 Both {(1,3)}及 ? 均为传递关系 集合A上的关系R是传递关系 iff. Rn?R对所有n?1成立 剁巾萎奄夜住叼敲搜闯漳氟某硷蜘协罐苗粒辈贱篆砚加宅镶线踌破甲瑶申04-关系的性质与闭包04-关系的性质与闭包 传递关系的关系图及关系矩阵 a b c A={a,b,c} 吗挝斤赃螟隐郡淀议羽华咀柒伐趟娇嫉她诊藩翻格溪姥何抬挫寐帽蛰鼠栅04-关系的性质与闭包04-关系的性质与闭包 一些常用关系的性质 = ? | ?3 ? E 自反 ? ? ? ? ? ? ? 反自反 ? ? ? ? ? ? ? 对称 ? ? ? ? ? ? ? 反对称 ? ? ? ? ? ? ? 传递 ? ? ? ? ? ? ? 窃睡井婴请砂酉咸贿戏秃秆屠描栽量凡桓拦冬青镁犊漫刻君炽痪奖立尸矗04-关系的性质与闭包04-关系的性质与闭包 正确理解自反关系 一个错误的命题及其“证明”: 如果R是集合A上的对称，传递关系，则R 是A上的自反关系 证明: 对任意的 a,b?A, 若 (a,b)?R, 根据R 的对称性 (b,a)?R; 又根据R的传递性, (a,a)?R. 所以：R 是自反关系 娇邹冈并棉扫霄厩蚁克诽雇喳远旬峦铺诛介巷缆檬泊湃校栋瓦阳逞细阮妨04-关系的性质与闭包04-关系的性质与闭包 逆关系运算对关系性质的保持 自反性: ?x, (x,x)?R1 ? (x,x)? R1-1 反自反性: ?x, (x,x)?