离散数学教程-10-1-相容关系.pptVIP

. -吴扬扬制- P99 2(3)设R1为非空集合A上的等价关系， R12 是A上的等价关系吗？ 答：是。 证 1) ∵ 对?x?A,有x,x?R1 主要内容： 偏序、全序、拟序、良序关系的联系 相容关系 相容关系图 相容关系矩阵 相容类、求相容类的方法 定理4.5.4: 设A,≤是偏序集，则A,≤是良序集 iff (1) ≤为全序关系； (2) A的每个非空子集都有极小元。 证明:(必要性)设A,≤是良序集, §4.6 相容关系 1.基本概念及表示方法 定义：若R是A上自反和对称的关系，则称R是A上的相容关系。 若aRb，则说a与b相容。 例1:设A={can,cat,eat,not,oil,why}, 定义R:?x,y?A,xRy iff x与y含有相同的字母, 则R是A上的相容关系。 §4.6 相容关系 2. 相容类(1) 定义：设R为A上的相容关系， 若C??且C?A，且对?a,b?C 有aRb，则称C为R的一个相容类； 若C为R的相容类,且对?b?C,必有a?C使 作业：P106 5, P108 3(R1) * * ∴ x,x?R12 ∴ R12是自反的。 2） 若x,y?R12 则?a?A,使得x,a?R1且a,y?R1 ∵ R1对称 ∴