离散数学3.1-12.ppt

3－11相容关系 3－11相容关系 3－11相容关系 3－11相容关系 定义 设r是集合A上的相容关系，不能真包含在任何其他 相容类中的相容类，称做最大相容类。记作Cr 。 在相容关系图中，最大完全多边形的顶点集合，就是最 大相容类。 所谓完全多边形，就是其每个顶点都与其他顶点连接的 多边形。例如三个顶点的完全多边形，四个顶点的完全 多边形。 此外，在相容关系图中，一个孤立结点，以及不是完全 多边形的两个结点的连线，也是最大相容类。 3－11相容关系 3－11相容关系 3－11相容关系 3－11相容关系 例：集合A={1,2,3,4}，集合{{1,2,3},{3,4}}和{{1,2},{2,3},{1,3},{3,4}}都是A的覆盖，求它们分别对应的相容关系。 给定集合A上的任意一个覆盖，根据定理必可在A上构造 一个对应于此覆盖的一个相容关系。但是不同的覆盖却 能构造相同的相容关系。 定理 集合A上相容关系r与完全覆盖Cr(A) 存在一一对应。 3-12 序关系 序关系 序关系 哈斯图 序关系 根据上述定义，可以简化偏序关系的关系图得到哈斯 图，具体画法如下： 用小圆圈表示A中的元素，省掉关系图中所有的环。 (自反性简化) 对任意x,y∈A(x≠y)，若x≤y，则将x画在y的下方， 对任意x,y ? COV A，则x与y之间用一条线相连之，否则无线相连(传递性简化) 。 可省掉关系图中所有边的箭头(反对称性简化) 。 上例的哈斯图 序关系 序关系 全序关系 全序关系 定义 设A, ? 为偏序集，若A是一个 链，则称?为A上的全序关系或线序关系， 此时称A, ? 为全序集。也就是集合A中 任意的两个元素都有关系。 例题 给定P={?,{a},{a,b},{a,b,c}}上的 包含关系? ，证明P, ? 是个全序集合。 偏序集与特殊元素 四、偏序集与特殊元素 设A,≤是偏序集，且B是A的子集。对于B中的一个 元素b,如果B中没有任何其他不同于b的元素x,满足b≤x,则 称b为B的极大元素。 对于B中的一个元素b,如果B中没有任何其他不同于b的元素 x,满足x≤b,则称b为B的极小元素。 当B=A时，偏序集A,≤的极大元是哈斯图中最顶层的元 素，极小元是哈斯图中最低层的元素。 序关系 偏序集与特殊元素 定义设A,≤是偏序集，B是A的子集。 若存在元素b∈B,使得对任意x∈B,都有x≤b,则 称b为B的最大元素。 若存在元素b∈B,使得对任意x∈B,都有b≤x,则 称b为B的最小元素。 偏序集与特殊元素 定理：设A,≤是偏序集，B是A的子集。 若B有最大(最小)元，则必是唯一的。 序关系 序关系 续： 若存在元素a∈A,使得对任意x∈B,都有x≤a,则称a为B的上界。 若存在元素a∈A,使得对任意x∈B,都有a≤x,则称a为B的下界。 上界和下界不是唯一的。 若元素a是B的任一上界,若对B的所有上界y均有a≤y,则称a为B的 上确界（最小上界)，记作LUB B。 若元素b是B的任一下界,若对B的所有下界z均有z≤b,则称b为B的 下确界（最大下界) ，记作GLB B。 序关系 序关系 序关系 序关系 一些结论：设A,≤是一偏序集，B是A的子集。则： 若b∈B是B的最大元?b是B的极大元、上界、上确界； 若b∈B是B的最小元?b是B的极小元、下界、下确界； 若a是B的上确界，且a∈B?a是B的最大元； 若a是B的下确界，且a∈B?a是B的最小元； 若“≤”是一个全序关系，则b∈B是B的最大元?b∈B是B的极大元； 若“≤”是一个全序关系，则b∈B是B的最小元?b∈B是B的极小元。 若b∈B是B的极大元，且b是唯一的?b是B的最大元。 若b∈B是B的极小元，且b是唯一的?b是B的最小元。 良序关系 五、良序关系 定义设A,≤是一偏序集，若A的任何一个非空子集都有最小元素，则“≤”称为良序关系，A,≤是良序集。 序关系 离散数学 一、相容关系 定义设R是定义在集合A上的关系，如果R是 自反的、对称的，则称此关系R为A上的相容关系。 例如，设A是由下列英文单词组成的集合。 A={cat, teacher, cold, desk, knife, by} 定义关系： R={x,y|x,y∈A且x和y有相同的字母}。 R是不是相容关系？ 令x1=cat, x2=teacher, x3=cold, x4=desk, x5=knife, x6=by. R的关系图可由图表示。 ? R的关系矩阵为 ? ? ?由于相容关系是自反和对称的，因此其关系矩阵的对角线元素都是1，且矩阵是对称的。 简化：用梯形表示关系矩阵，关系图中不画自回路，用单线代替