离散第四节 二元关系小结.pptVIP

偏序集合与哈斯图 在哈斯图中，用小圈表示每个元素。如果有 ，且x≤y和x≠y ，则把表示x的小圈画在表示y的小圈之下。如果y盖覆x，则在x和y之间画上一条直线。如果x≤y和x≠y ，但是y不盖覆x，则不能把x和y直接用直线连结起来，而是要经过P的一个或多个元素把它们连结起来。这样，所有的边的方向都是自下朝上，故可略去边上的全部箭头表示。 */63 偏序集合与哈斯图 定义： 设 是一个偏序集合，并有 。 (a)如果对于每一个元素 有 ，则元素 称为Q的最小成员，通常记作0。 (b)如果对于每一个元素 有 ，则元素 称为Q的最大成员，通常记作1。 如果能画出哈斯图，就可以看出是否存在最大成员和最小成员。 */63 偏序集合与哈斯图 定理：设X是一个偏序集合，且有 。如果x和y都是Q的最小(最大)成员,则x=y。 证： 假定x和y都是Q的最小成员。于是可有x≤y和y≤x。根据偏序关系的反对称性，可以得出x=y。当x和y都是Q的最大成员时，定理的证明类似于上述的证明。 */63 偏序集合与哈斯图 定义： 设 是一个偏序集合，并有 。 极大成员和极小成员都不是唯一的。不同的极大成员(或不同的极小成员)是不可比的。 (a)如果 ，且不存在元素 能使q≠q和q≤q，则称q是Q的极小成员。 (b)如果 ，且不存在元素 能使q≠q和q≤q ，则称q是Q的极大成员。 */63 偏序集合与哈斯图 定义： 设 是一个偏序集合，并有 。 (a)如果对于每一个元素 有 ，则元素 称为Q的上界。 (b)如果对于每一个元素 有 ，则元素 称为Q的下界。 */63 偏序集合与哈斯图 定义： 设 是一个偏序集合，并有 。 如果 是Q的一个上界，且对于Q的每一个上界q‘都有q≤q’，则称q是Q的最小上界，通常记作LUB。 如果 是Q的一个下界，且对于Q的每一个下界q都有q≤q，则称q是Q的最大下界，通常记作GLB。 如果存在最小上界的话，它是唯一的；如果存在最大下界的话，它也是唯一的。 */63 良序关系 定义：给定集合X，R是X中的二元关系。如果R是个全序关系，且X的每一个非空子集都有一个最小成员，则称R是个良序关系。与此对应，序偶X,R称为良序集合。 每一个良序集合必定是全序集台,因为对于任何子集来说，其本身必定有一个元素是它的最小成员。但是每一个全序集合不一定都是良序的，有限全序集合必定是良序的。 */63 这一部分介绍了特殊关系的运算： 满足某些性质就是特种关系： 等价关系（划分） 相容关系（覆盖） 偏序关系（哈斯图） */63 * 极小项互不相交，并起来等于全集 * 是一个全序关系 四、关系的闭包运算 定理：给定集合X，R是X中的二元关系。于是可有 在整数集合中，小于关系“”的对称闭包是不等关系“≠”；小于或等于关系“≤”的对称闭包是全域关系；恒等关系IX的对称闭包是IX；不等关系“≠”的对称闭包是不等关系“≠”。 */63 四、关系的闭包运算 定理：给定集合X，R是X中的二元关系。于是可有 当A是有限集时，A上只有有限个不同的关系，因此，存在某个正整数m，使得 事实上，可以证明，若 ，则 */63 四、关系的闭包运算 定理：设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)是自反的 */63 四、关系的闭包运算 定理：设X是集合，R是集合中的二元关系，于是有 证明： */63 这一部分介绍了关系的一般概念，即关系是笛卡尔的子集，那关系就是集合，于是集合上理论可以推广到关系上来，注意集合的相等和关系的相等有一点区别，关系的相等还要求定义域要相等． 我们还介绍了关系的表示方法：集合表示法，关系图表示法，关系矩阵表示法． 集合上的运算可以平移到关系上来，除此之外关系还有它独特的运算：复合运算，求逆运算和闭包运算． */63 我们学习了关系性质的形式化定义法： 设Ｒ是定义在X上的二元关系 自反的＝?x(x?Ｘ?x,x?R