第四章 二元关系.pptVIP

4.4 关系的闭包 利用关系图，关系矩阵求闭包的方法： (1).求一个关系的自反闭包，即将图中所有的无环节点加上环，矩阵中的对角线上的值全定义为1； (2).求一个关系的对称闭包，则在图中，任何一对节点之间，若仅存在一条边，则加一条反方向的边；矩阵中则为：若 ，则令 ，即 ； (3).求一个关系的传递闭包，则在图中，对任意节点a，b，c，若a到b有一条边，同时b到c也有一条边，则从a到c必增加一条边(当a到c无边时)，在矩阵中，若 。 4.4 关系的闭包 定理4.11：设R是A上的二元关系，则 定理4.12：设R是集合A上的关系，则 定理4.14：设R是集合A上的关系，则 4.4 关系的闭包 定义4.17：(1)集合A上的关系R的自反对称闭包定义为rs(R)=r(s(R)); (2)集合A上的关系R的自反传递闭包定义为rt(R)=r(t(R)); (3)集合A上的关系R的对称传递闭包定义为st(R)=s(t(R));类似的，可有sr(R)，tr(R)，ts(R)。 定理4.15：设R是集合A上的关系，则 4.5 等价关系与划分 4.5.1：集合和划分 定义4.18：设A是一个非空集合， 是A的任意n个非空子集，如果 满足： 则称集合 为集合A的一个划分(Partition)，而 叫做这个划分的块或类。 例如：(1) 构成集合U的一个划分； (2) 构成了U上的一个划分。 4.5 等价关系与划分 4.5.2：等价关系 定义4.19：设R为非空集合A上的关系，如果R是自反的，对称的，传递的，则称R为A上的等价关系(Equivalent Relation)。若 ，称x等价于y,记作x~y。 例：(1)一群人，同姓，同年龄，同性别都是等价关系，朋友，同学关系不是等价关系：不传递； (2) 都是A上的等价关系； (3)三角形“相似”，“全等”都是等价关系； (4)幂集上定义的 关系，整数集上定义的≤不是等价关系，不对称。 4.5 等价关系与划分 例4-12：设m为正整数，整数集合上的关系 证明关系R是等价关系。 证：(1)对任意 ，有 R自反； (2)对任意 ，若 ,则 ，即R对称； (3)对任意 ，若 ，即 ，而 ，R传递∴R是Z上的等价关系。 4.5 等价关系与划分 考察关系R和集合Z；R将Z分成了如下m个子集： 这m个子集特点是：同一个子集中的元素之间都有关系R，不同子集的元素之间无关系R，每两个子集无公共元素，而所有子集的并正好为Z，构成了Z的一个划分。 4.5 等价关系与划分 4.5.3：等价类与商集 定义4.20：设R是非空集合A上的等价关系，对任意 ，称集合 为x关于R的等价类(Equivalence Class)，其中x称为 的生成元，由于 中的任何两个元素a，b均相互等价，一般记作a~b。 例4-13：设A={1,2,3,4,5,8}，考虑R是A上的以3为模的同余关系，求其等价类。 解：从例4-12知，R是一个等价关系，则 4.5 等价关系与划分 定理4.11：设R为非空集合A上的等价关系，则 证：(1) ，R是等价关系，则R自反，因此 即 (2) 4.5 等价关系与划分 同理： (3)若 ，则存在 ，即： 定义4.21：设R是集合A上的等价关系，由R确定的一切等价类的集合，称为集合A上关于R的商集(Quotient Set)，记为A/R，即 4.5 等价关系与划分 定理4.12：设R是非空集合A上的等价关系，则A上的关于R的商集A/R是A的一个划分，称之为由R导出的等价划分。 证：由定理4.11知，命题成立。 定理4.13：设∏(A)是非空集合A的一个划分，则A上的关系 是A上的等价关系，称之为由∏(A)所导出的等价关系。 证明：(1) 为A的一个划分， 使得 ，即x和x同属于∏(A)的一个划