离散数学3章(9-11)(新教材).ppt

离散数学3章(9-11)(新教材)

定理9.1. 设R是集合A上的一个二元关系,那么 (1)R是有自反性的关系的充要条件是R=r(R); (2)r(R)=R?IA. 我们只来证明(2),而把(1)的证明留给读者去完成. (2)的证明:显然关系R?IA有自反性且包含R,故由定义立即得到r(R)?R?IA.反过来,因为r(R)包含R,且r(R)有自反性,故也有IA?r(R),由此即得 R?IA ? r(R). 这就证明了(2). (注)利用0-1矩阵的Boole加法可以将定理1中的结论(2)表成下述形式: 推论. 设R是集合A上的一个二元关系,关系R的关系矩阵为MR,又设R的自反闭包r(R)的关系矩阵为Mr(R),那么就有 , 这里?表示Boole矩阵的Boole加法, 是集合A上的恒等关系IA所对应的关系矩阵. 定义9.2(对称闭包) 设R是A上的关系, 如果有另一个关系R?满足: a)R?R?; b)R?是对称的; c)对任意对称的关系R??, 如果有R?R??, 就有R??R??, 则称关系R?为R的对称闭包, 记作r(R) (symmetric). 定理9.2. 设R是集合

文档评论(0)

1亿VIP精品文档

相关文档