2010秋季学期-离散数学-集合论-关系闭包运算-v2.pptVIP

Instructor: 李 劲 Email: ljatynu@ 云南大学软件学院 2010.9 ~ 2011.1 集合论— 关系的闭包运算 * * 云南大学软件学院 TOPIC * * 云南大学软件学院 （一）引例 （二）定义及定理 （三）应用 — 公交换乘方案查询 （一）引例 * * 云南大学软件学院 是否具有“自反性”？ 自反！ 是否具有“对称性”？ 对称！ 是否具有“传递性”？ 添加哪些序偶使其具有“传递性”？ 关系的闭包运算：向关系R中, 添加最少序偶, 使新关系具有特定性质（自反,对称,传递）。 设 是 上的二元关系，如果有另外一个关系 满足： （二）定义及定理 * * 云南大学软件学院 （a） 是“自反的”（对称的，传递的） （b） （c） 对于任何自反的（对称的，传递的）关系 。如果有 就有 的自反闭包： 的对称闭包： 的传递闭包： （a） 设 是 上的二元关系， （二）定义及定理 * * 云南大学软件学院 是“传递的”，则 （b） 是“不传递的”，则一定有： 直观地， 传递！ 猜想： 新序偶产生的来源 （1）原有与新加入： （2）新加入与新加入： (a) ，显然成立！