交大数理逻辑课件关系.pptVIP

* * * 我们经常希望关系具有自反性、对称称和传递性，对于不具有这些性质的关系，可以扩充这个关系为更大的关系，使新关系有这些性质，这种作法就是闭包的思想。 作业讲评4 P85: 3(4) 指出下列推演中的错误，并改正之 (?x)P(x) = F (?x)P(x) ?(?x)P(x) 改为： (?x)P(x) = F (?x)P(x) ?(?x)P(x) 或 (?x)P(x) = F (?x)P(x) ?(?x)P(x) 必有(?x)P(x)=F 不一定有(?x)P(x)=F 必有(?x)P(x) = F P195: 1(4) 列出下列各集合所有的元素： A={z|z={x, y}∧x∈Z∧y∈Z∧0≤x≤2 ∧ -2≤y≤1} A={{0, -2 }, {0, -1 }, {0, 0 }, {0, 1 } {1, -2 }, {1, -1 }, {1, 1 } {2, -2 }, {2, -1 }, {2, 0 }, {2, 1 }} 第10章 关 系 10.1 二元关系 10.2 关系矩阵和关系图 10.3 关系的逆、合成、限制和象 10.4 关系的性质 10.5 关系的闭包 10.6 等价关系和划分 10.7 相容关系和覆盖 10.8 偏序关系 关系的合成运算 F°G = {x, y | ?z (x,z?G?z,y?F) } x1 x2 z3 z2 z1 y1 y2 F°G F G 关系基本运算的性质 定理10.3.1设X, Y, Z是集合, R?X×Y, S?Y×Z dom(R?1)=ran(R) ran(R?1)=dom(R) (R?1)?1=R (S°R)?1= R?1°S?1 证 (4) 对任取x,z ?x,z??(S°R)-1 ??z,x??(R°S) ?(?y)(?z,y??S∧?y,x??R) ?(?y)(?y,z??S-1∧?x,y??R-1) ??x,z??S-1°R-1 R?1 = {y,x | x,y?R} F°G = {x, y | ?z (x,z?G?z,y?F) } 关系基本运算的性质 定理10.3.2 设X，Y，Z，W是集合，Q?X×Y，S?Y×Z，R? Z×W，则 (R°S)°Q= R°(S°Q) 证明：对任取x,w?(R°S)°Q ?(?y)(?x,y??Q ∧?y,w??R°S) ?(?y)(?x,y??Q)∧(?z)(?y,z??S ∧?z,w??R)) ?(?y)(?z)(?x,y??Q)∧?z,w??R ∧?y,z??S) ?(?z)(?y)(?z,w??R∧?x,y??Q∧?y,z??S) ?(?z)(?z,w??R)∧(?y)(?x,y??Q∧?y,z??S) ?(?z)(?z,w??R∧?x,z??S°Q) ??x,w??R°(S°Q) 所以 (R°S)°Q=R°(S°Q) F°G = {x, y | ?z (x,z?G?z,y?F) } 关系基本运算的性质 定理10.3.3 设X, Y, Z是集合, S、T?X×Y, R? Y×Z, 则 R°(S∪T)=R°S∪R°T (R∪S)°T=R°T∪S°T R°(S∩T)?R°S∩R°T (R∩S)°T?R°T∩S°T 证明：仅证明⑶，类似地可证明⑴、⑵和⑷。 ?x,z??R°(S∩T) ? (?y)(?y,z??R∧?x,y??S∩T) ?(?y)(?y,z??R∧(?x,y??S∧?x,y??T)) ?(?y)((?y,z??R∧?x,y??S)∧(?y,z??R∧?x,y??T)) ?(?y)(?y,z??R∧?x,y??S)∧(?y)(?y,z??R∧?x,y??T) ??x,y??R°S∧?x,y??R°T ??x,y??R°S∩R°T 故 R°(S∩T)?R°S∩R°T 10.4 关系的性质 关系的自反性定义: 设R?A×A， (?x)(x?A→?x,x??R)，则称R在A上是自反的。 自反关系的特点 其关系矩阵M(R)的主对角线全为1； 其关系图中每一个结点上都有自回路。 实例：设A={1,2,3}，A上的二元关系R R={?1,1?,?2,2?,?3,3?,?1,2?} 自反关系—— 全域关系EA 恒等关系IA 小于等于关系LA 整除关系DA 关系的反自