离散数学新二元关系研究.ppt

4. 最小上界(上确界)和最大下界(下确界) (Least Upper Bound and Greatest Lower Bound) 定义： y是B的上界，并且对B的所有上界x，都有y ? x，则称y是B的最小上界(上确界)，记作LUB B=y 。 （即y是上界中的最小元。如果B有上确界，则是唯一的) y是B的下界，并且对B的所有下界x，都有x ? y，则称y是B的最大下界(下确界)，记作GLB B=y 。 (即y是下界中的最大元。如果B有上确界，则是唯一的) 举例，给定A, ? 的Hasse图如图所示： ６。 １。 ３。 12。 ２。 24。 36。 子集B 上界 下界 {2,3} {1,2,3} {6,12,24} C 1 6,12,24,36 1 24 1,2,3,6 1 无 6,12,24,36 上确界 下确界 6 6 24 无 1 1 6 1 五.良序 定义：A, ? 是偏序集，如果对A的任何非空子集B，都 有最小元，则称 ? 是A上的良序，并称A, ? 为良序集。 例如N是自然数集合，I是整数集合，≤是小于等于关系，N, ≤就是良序集。而I,≤不是良序集。 定理：所有良序集，一定是全序集。 证明：设A, ? 为良序集，任取x,y∈A,构成子集{x,y}，它 有最小元，该最小元或是x,或是y，于是有x ? y或y ? x，所 以A, ? 是全序集。 定理：有限的全序集，一定是良序集。 证明：设A={a1,a2,…,an}，A, ? 是全序集，假设它不是良 序，必存在非空子集B?A，B中无最小元，因B是有限集， 必存在x,y∈B，使得x y，与?是全序矛盾，所以A, ? 是良序集。 ≤ 本节要求： 掌握偏序 、全序的概念， 会画Hasse图， 会求重要元素。 作业 第145页 (1), (6),(7) 本章小结 枚举法有向图矩阵 *等价关系 有向图 等价类 商集 划分 偏序关系 相容类 最大相容类 完全覆盖 简化图 全序 哈斯图 重要元素 计算方法 运算性质 二元关系 概念及表示方法 性质* 自反 对称 传递 反对称 反自反 相容关系 运算 复合 求逆 闭包 谓词 * * 第四章 习题课 第104页⑴b) A={0,1} B={1,2} 求A2×B。 A?B={x,y|x?A∧y?B} A2 =A×A={0,0,0,1,1,0,1,1 } A2×B={0,0,1,0,1,1,1,0,1,1,1,1, 0,0,2,0,1,2,1,0,2,1,1,2 } 第109页⑴ X={a,b,c} Y={s} X到Y的所有关系： X×Y={a,s,b,s,c,s} X×Y的任何一个子集都是一个 从X到Y的关系。如果 |X|=m |Y|=n则有2mn个从X到Y的关系, 故,有23=8个关系: R0=Φ R1={a,s} R2={b,s} R3={c,s} R4={a,s,b,s} R5={a,s,c,s} R6={b,s,c,s} R7={a,s,b,s,c,s} ⑵ 设|A|=n ，有多少个A上的关系？ 因为R?A×A,所以A×A有多少个子集就有多少个A上关 系,由集合的幂集就是该集合的子集构成的,所以A上关系 个数就是A×A 的幂集P(A×A)的元素个数|P(A×A)|, 而 2|A×A|=2nn= 。所以有 个不同的A上关系。 第113页⑴ A={1,2,3}，A上五个关系如下：(T略有改动) 2n 2 。 。 。 1 3 2 。 。 。 1 3 2 。 。 。 1 3 2 。 。 。 1 3 2 。 。 。 1 3 2 R S T Φ A×A R A×A Φ T S 自反 反自反 对称 反对称 传递 N N N Y Y Y N Y N Y Y N N Y Y N Y Y Y Y Y