离散数学第二部分课件学习课件.pptVIP

* 离散数学 * 由定理2.3.1和2.3.2知，集合A上的等价关系和A上的划分是一一对应的。 * 离散数学 * 解:先求A的划分。 只有1个划分块的划分S1={{a,b,c}} 有2个划分块的划分有3个,分别为: S2={{a,b},{c}} S3={{a, c},{b}} S4={{a},{b,c}} 有3个划分块的划分S5={{a},{b},{c}} 例如:设A={a,b,c},求A上所有的等价关系 * 离散数学 * A上的五个划分:S1={{a,b,c}} S2={{a,b},{c}} S3={{a, c},{b}} S4={{a},{b,c}}, S5={{a},{b},{c}} 设Si导出的等价关系为Ri。则： R1={a,a,b,b,c,c,a,b,b,a, a,c,c,a,b,c,c,b} R2={a,a,b,b,c,c,a,b,b,a} R3={a,a,b,b,c,c,a,c,c,a} R4={a,a,b,b,c,c,b,c,c,b} R5={a,a,b,b,c,c} 设A={a,b,c},求A上所有的等价关系 * 离散数学 * 练习1： 解：这种说法不正确. 这是因为自反性要求对任意的x和x都有关系R， x和y有没有关系R,我们不考虑； 但是,我们题目中得出的结论x和x具有关系R，是以对称性为前提条件的,所以我们知道该论述不正确。 有人说，“如果集合A上的二元关系R是对称的和传递的，则R必是自反的。因此，等价关系中的自反性可以去掉”。并给出如下证明：如果x,y∈R，由R的对称性有y,x ∈R，再由R的传递性知， x,x ∈R，且y,y ∈R，即R是自反的。 你的看法如何？ * 离散数学 * 练习2： 设R1和R2都是集合A上的等价关系，试证明R1=R2当且仅当A/R1=A/R2。 证明：（必要性）如果R1=R2，显然A/R1=A/R2。 （充分性） 如果A/R1=A/R2。 （反证法）假设R1≠R2， 则：存在x,y∈R1,但x,y∈R2, 由x,y∈R1,有[x]R1=[y]R1 又由x,y∈R2,有[x]R2≠[y]R2 而由A/R1=A/R2 ,有对任意x∈A,因为[x]R1∈ A/R2且x∈[x]R1∩[x]R2，所以[x]R1=[x]R2。 同理有[y]R1=[y]R2 于是有 [x]R1=[x]R2 =[y]R2 =[y]R1 。 矛盾。 * 离散数学 * § 2.4 序关系 现实世界中存在着对象间的次序关系。如人与人之间的父子关系、数值之间的”≤”关系，这些关系显然是不具有对称性的。 我们称这种具有次序关系的二元关系为序关系。 * 离散数学 * 序关系的定义 定义2.4.1 设R是集合A上的二元关系，若R具有自反性，反对称性和传递性，则称R是一个偏序(或半序，部分序)关系，并将R记为? ，读作“小于等于”，集合A及其A的序关系“?”合称为偏序集,记为 A, ? 。 为使叙述简洁，我们常将a ? b，并且a≠b记为a b。 容易证明：偏序关系“?”的逆关系”?-1”也是一个偏序关系，记为”≥”（读作大于等于）。 * 离散数学 * 注意： 虽然“?”读作“小于等于”，但它不是指数的大小，而是指在偏序关系中元素位置和次序的前后，这种小于等于关系强调的是一个序。 如： a,b∈”?”，则b,a∈”?” 这种偏序关系中元素的先后次序是不可逆的。 * 离散数学 * 序关系举例 例1：设A为集合，则 ?(A) , ? 是一个偏序集。 例2：设N为自然数集，则N , ? 也是一个偏序 集。其中“?”是数值间的小于或等于关系。 定义2.4.2 设A, ? 是一个偏序集，如果对任意x,y∈A, 都有x ? y或y ? x，则称A, ? 是一个全序集或链。 * 离散数学 * 偏序集的Hasse图 由于偏序集本身的特征，在不混淆的前提下，可在偏序集的关系图中省略一些因素，而使其简化。 作图方法如下： （1）仅用小圆圈表示A中的元素，省掉了关系图中所有的自回路（偏序关系的自反性） （2）对任何x,y∈A,若x? y,且x≠y,则将x画在y的下面，省掉了关系图中所有边的箭头(偏序关系的反对称性) （3）若x? y, x≠y,且没有异于x和y的z∈A,使得x ? z ? y,则在 x与y之间用直线连结它们。(由偏序关系的传递性，若x ? y, y ? z, 即可省略图中x到z之间的线) * 离散数学 * 例：Hasse图(1) 例1：设A={1,2,3,4,5,6},“/”为A上的整除关系,试作偏序集A, / 的Hasse图。 1 2 4 6 3 5 例1 例2：设A={a,b,c},“?”为集合之间的包