ch4_二元关系一2nd一hy.ppt

关系性质成立的充要条件 定理7.9 设R为A上的关系, 则 (1) R 在A上自反当且仅当 IA ? R (2) R 在A上反自反当且仅当 R∩IA = ? (3) R 在A上对称当且仅当 R=R?1 (4) R 在A上反对称当且仅当 R∩R?1 ? IA (5) R 在A上传递当且仅当 R?R ? R 证明 证明 只证(1)、(3)、(4)、(5) (1) 必要性 任取x,y, 由于R 在A上自反必有 x,y∈IA ? x,y∈A∧x=y ? x,y∈R 从而证明了IA?R 充分性. 任取x, 有 x∈A ? x,x∈IA ? x,x∈R 因此 R 在A上是自反的. 证明 (3) 必要性. 任取x,y, x,y∈R ? y,x∈R ? x,y∈R?1 所以 R = R?1 充分性. 任取x,y, 由R = R?1得x,y∈R ? y,x∈R?1 ? y,x∈R 所以R在A上是对称的 证明 (4) 必要性. 任取x,y, 有 x,y∈R∩R?1 ? x,y∈R∧x,y∈R?1 ? x,y∈R∧y,x∈R ? x=y ? x,y?A  ? x,y∈IA 这就证明了R∩R?1?IA 充分性. 任取x,y, x,y∈R∧y,x∈R ? x,y∈R∧x,y∈R?1 ? x,y∈R∩R?1 ? x,y∈IA ? x=y 从而证明了R在A上是反对称的. 证明 (5) 必要性. 任取x,y有 x,y∈R?R ? ?t (x,t∈R∧t,y∈R) ? x,y∈R 所以 R?R ? R 充分性. 任取x,y,y,z∈R, 则 x,y∈R∧y,z∈R ? x,z∈R?R ? x,z∈R 所以 R 在 A上是传递的 */45 */45 四、关系的闭包运算 在整数集合中，小于关系“”的自反闭包是“≤”；恒等关系IX的自反闭包是IX。不等关系“≠”的自反闭包是全域关系；空关系的自反闭包是恒等关系。 在整数集合中，小于关系“”的对称闭包是不等关系“≠”；小于或等于关系“≤”的对称闭包是全域关系；恒等关系IX的对称闭包是IX；不等关系“≠”的对称闭包是不等关系“≠”。 */45 */45 四、关系的闭包运算 例：给定集合X={a,b,c}，R和S是X中的关系，给定 试求出t(R),t(S)，并画出关系图 解： R,t(R) S t(S) */45 */45 四、关系的闭包运算 定理：设X是集合，R是X中的二元关系，于是有 （1）如果R是自反的，那么s(R),t(R)也是自反的； （2）如果R是对称的，那么r(R),t(R)也是对称的； （3）如果R是可传递的，那么r(R)也是可传递的。 证明（1）：若R是自反的，则对于所有的 都有 即s(R),t(R)是自反的 */45 四、关系的闭包运算 */45 四、关系的闭包运算 证明（3）： 　　　 */45 */45 四、关系的闭包运算 定理：设X是集合，R是集合中的二元关系，于是有 证明： */45 */45 四、关系的闭包运算 证明（b）：因为 ， ，而对于所有的 有 ，以及 。根据这些关系式，可有 于是 */45 */45 四、关系的闭包运算 证明（c）：如果 ，则 ， 根据对称闭包的定义，有 。首先构成上式两侧的可传递闭包，再依次构成两侧的对称闭包,可以求得 以及 。而ts(R)是对称的，所以 ，从而有 。 */45 */45 四、关系的闭包运算 注意： （1）通常用R+表示R的可传递闭包t(R)，并读作“R加”。 （2）通常用R*表示R的自反可传递闭包tr(R)，并读作“R星”。 作业 88页2,5（1，3，5，6，7） 89页9,11,12,13（2，3） 90页18,21,22（1，3，5，7，9，11） 91页25,26,27 * 在研究形式语言和编译程序设计时，经常使用星的和加的闭包运算。 * 第四章 二元关系 */45 */45 回顾 关系的定义和性质 关系的表示方法 关系图 关系矩阵 关系的运算 关系的合成 关系合成的规则 关系的幂 4.3关