离散数学 课件 chapter 7 特殊关系.pptx

7 特殊关系 主要内容7.1 等价关系7.2 偏序关系7.3 相容关系7.4 函数 7.1 等价关系 设R是集合A上的关系，如果R满足自反性、对称性和传递性，则R是集合A上的等价关系。 设A={1,2,3,4,5,6,7,8,9,10}，集合A上的关系R定义为 ?证明R是A上的等价关系。? 7.1 等价关系——等价类 设R是集合A上的等价关系，元素a?A，令 ?称[a]R为由元素a生成的等价类（equivalent class），其中元素a称为该等价类的生成元（generator）。 设A={1,2,3,4,5,6,7,8,9,10}，集合A上的关系R定义为 ?计算所有元素的等价类。 7.1 等价关系——等价类设A={1,2,3,4,5,6,7,8,9,10}，集合A上的关系R定义为 ?计算所有元素的等价类。?????? 7.1 等价关系——等价类 设R是集合A上的等价关系，元素a,b?A，则 ?如果a?[b]R，则[a]R=[b]R ???????????? 7.1 等价关系——等价类 设R是集合A上的等价关系，元素a,b?A，则 如果a?[b]R，则[a]R?[b]R= ?? 设c?[a]R?[b]R ，则有a,c?R,c,b?R。根据关系的传递性，有a,b?R。因此有a?[b]R。矛盾，所以[a]R?[b]R=?。???因此有 7.1 等价关系——商集 设R是集合A上的等价关系，所有等价类的集合，称为集合A关于R的商集（quotient set），记为A/R，即 ?设集合A={1,2,3,4,5,6,7,8,9,10}，是R集合A上的模3同余关系，求A/R。 ?? 7.1 等价关系——划分 给定集合A，集合A1,A2,…,An是集合A的子集，如果满足 （1） （2）对任意的i,j，如果i≠j，有Ai?Aj=?；称A1,A2,…,An为集合A的一个划分（partition）。如果只满足第一个条件，称其为覆盖（cover）。?集合A={1,2,3,4,5}，则有以下划分：{1}{2}{3}{4}{5}{1,2},{3},{4,5}…… 7.1 等价关系——划分 给定集合A的一个划分A1,A2,…,An ，集合上的关系R定义为： 证明R是集合A上的等价关系。 自反性 对称性 传递性等价关系和划分是等价的！ 7.1 等价关系——划分在集合A={1,2,3}上可以构造多少个不同的等价关系？ 等价关系等价类划分?? 7.1 等价关系——划分 已知集合A={1,2,3,…,n}，试考虑一下，在这个集合上可以构造多少个不同的划分？ 7.1 等价关系 设R,S是集合A上的等价关系，试证明：R?S是集合上的等价关系，当且仅当R ? S=S ? R。 关系的性质集合相等关系的运算涉及的主要知识点：等价关系 ? R?S=S?RR?S=S?R ? 等价关系 7.2 偏序关系 设R是集合A上的关系，如果R满足自反性、反对称性和传递性，则称R是集合上的偏序关系（partial order relation），称A,R为偏序集（partial order set）。 整除关系 小于等于关系 集合上的包含关系关系的性质 7.2 偏序关系——哈斯图? 7.2 偏序关系——哈斯图画出集合A={a,b,c}上包含关系的关系图的哈斯图。 7.2 偏序关系——特殊元素?? 7.2 偏序集——特殊元素 设集合A={2,3,6,8,12,24,36}，R是集合A上的整除关系，B={2,6,8,12,24}，C={2,3,6,8}，试求集合B和C上的所有特殊元素。2368123624BC最大元素24无最小元素2无极大元素246，8极小元素22，3上界2424下界2无上确界2424下确界2无 7.2 偏序集——特殊元素 给定偏序关系的哈斯图如下所示。试求集合{a,b}的上界、上确界以及集合{c,d}的下界、下确界。有上界不一定有上确界有下界不一定有下确界 7.2 偏序关系——全序关系 给定偏序集A,≤，如果对任意的x,y，都有x和y是可比的（或者x≤y，或者y≤x），称关系“≤”为全序关系（total order relation），又称为链（chain）。 整数上的小于等于关系 字典序关系 7.3 相容关系?等价关系是一种特殊的相容关系。 7.3 相容关系?自反性对称性helloludonggit传递性不满足 7.3 相容关系 基于相容关系满足的自反性、对称性，参照偏序关系中关系图的简化方式，可以把相容关系的关系图进行简化。? 7.3 相容关