刘杰《离散数学1》精品教学1.2-关系-new－简化.pptVIP

* * 可忽略 * * * 换句话说，等价类M中任意两个元素等价，而M中任意元素与M外任意元素不等价 * A一定是非空的。因为等价关系定义时，就要求A非空。 * * A一定是非空的。因为等价关系定义时，就要求A非空。 * … , 所以a?b, 则有b ?Mi， a?Mj，所以Mj ? Mi， Mi ? Mj，故Mi?Mj * * * * * * * 非空集合A上的等价关系与其上的划分是一一对应的。 * * * * * * Cn1(n-1)/2 * * 例如，设A是吉林大学计算机学院的所有学生组成的集合，按照年级划分是A的一个划分，按照班级划分是A的一个划分，显然，按照班级划分是按照年级划分的加细。 * * * * 例如，集合中的包含关系就是一个部分序关系，由一些集合做元素而做成的集合，在集合的包含关系下是一个部分序集。 * 例如，集合中的包含关系就是一个部分序关系，由一些集合做元素而做成的集合，在集合的包含关系下是一个部分序集。 * * * * 例: ?a? ?b? ?a,b? ?a,b,c? ?a,b,c,d? ?a,b,c,e? ? ?a,b,c,d,e? 设A={1,2,3,…,12},?是A上的整除关系,(A,?)和哈斯图如下,B={2,4,6},C={4,6,9},D={1,2,5,10}. 8 10 4 2 12 6 9 5 7 3 11 1 极小元 极大元 最小元 最大元 上界 下界 上确界 下确界 B 2 4,6 2 ? 12 1,2 12 2 C 4,6,9 4,6,9 ? ? ? 1 ? 1 D 1 10 1 10 10 1 10 1 讨论 最大元，最小元未必存在，如果存在必唯一。 ?a? ?b? ?a,b? ?a,b,c? ?a,b,c,d? ?a,b,c,e? 讨论 极大元，极小元对有限部分序集必存在，但未必唯一。 e ?a? ?b? ?a,b? ?a,b,c? ?a,b,c,d? ?a,b,c,e? 讨论 上下界未必存在，存在时又未必唯一。 ?a? ?b? ?a,b? ?a,b,c? ?a,b,c,d? ?a,b,c,e? 讨论 即使有上下界时，最小上界和最大下界也未必存在。 {a, b, c, d} {a, b, c, e} {a} {b} 定理1.2.9 　 设(A,≤)是一个部分序集，B?A。 （1）若b∈B，而且b是B的最大元(最小元)，则b必为B的最小上界(最大下界)； （2）若b为B的上(下)界，且b?B，则b必为B的最大(最小)元； （3）若B有最大下界(最小上界)，则最大下界(最小上界)唯一。 定理1.2.9 (1)若b∈B，而且b是B的最大元(最小元)，则b必为B的最小上界(最大下界)； 证明：任意B的上界(下界)x ∈A，显然有b ≤x (b ≥x) ，则b是B的最小上界（最大下界）。 定理1.2.9 (2)若b为B的上(下)界，且b?B，则b必为B的最大(最小)元； 证明：因为b是B的上(下)界，则任意B中的元素x，都有x≤b(x≥b)，又由b?B，从而b是B的最大(最小)元。 定理1.2.9 (3)若B有最大下界(最小上界)，则最大下界(最小上界)唯一。 证明：设b1, b2分别是B的最大下界(最小上界)，则按照最大下界(最小上界)的定义有：b1≤b2, b2 ≤b1，从而有：b1=b2。 补充作业： 1. 设A = {a, b, c}，画出部分序集(2A, ?)以及 (2A, ?)的Hasse图，并分别指出最大、最小元和极大、极小元。 2.设(A,R)是部分序集，A={1,2,3,4,5,6,8, 10, 12, 24,36}，R是A上的整除关系，请画出(A,R)的Hasse图表示，并写出A的所有极大元、极小元、最大元和最小元。 3.设A = {a, b, c}，对于2A的子集B = {{a}, {b}, {c}}，部分序关系?、 ?，指出B的所有上界、下界和上确界、下确界。 P7-3对任意集合A，B，证明：(2) (2)?(A)??(B)??(A?B) 一任取X??(A)∪?(B)，则X??(A)或X??(B)∴ X?A或X?B∴ X?(A∪B)∴ X??(A∪B)所以?(A)∪?(B) ? ?( A∪B) 二A?A∪B ,则?(A) ? ?( A∪B) B?A∪B ,则?(B) ? ?( A∪B) ∴?(A)∪?(B) ? ?( A∪B) P18-2.设A是m元集合，B是n元集合。问A到B共有多少个不同的二元关系？设A={a，b}，B={1， 2}，试写出A到B上的全部二元关系。 A到B上共有2mn个二元关系。本题中A?B的全部子集?，{(a,1)}，{(a,2)}，{(b,1)}，{(b,2)}， {(a,1