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

Discrete Mathematics 集合论— 关系的闭包运算 * * TOPIC （一）引例 （二）定义及定理 （三）应用 — 公交换乘方案查询 * * （一）引例 是否具有“自反性”？ 自反！ 是否具有“对称性”？ 对称！ 是否具有“传递性”？ 添加哪些序偶使其具有“传递性”？ * * 设 是 上的二元关系，如果有另外一个关系 满足： （二）定义及定理 （a） 是“自反的”（对称的，传递的） （b） （c） 对于任何自反的（对称的，传递的）关系 。如果有 就有 的自反闭包： 的对称闭包： 的传递闭包： * * （a） 设 是 上的二元关系， （二）定义及定理 是“传递的”，则 （b） 是“不传递的”，则一定有： 直观地， 传递！ 猜想： * * (a) ，显然成立！ （二）定义及定理 证明 (b) 具有“传递性”。 (c) 具有“最小性”。 设 且 具有传递性，则 * * 具有传递性，则 ? 证明： （二