西安电子科技大学离散数学软件学院第二篇集合论第3章集合与关系第13课时23.1集合及其运算第14课时一3.2二元关系第15课时3.3集合上的二元关系及其特性第16课时大3.4关系的闭包运算第17-课18时3.5等价关系第20课时3.6序关系(2)
西安电子科技大学 离散数学 软件学院 第二篇 集合论 第13课时 3.1 集合及其运算 第3章 集合与关系 3.4 关系的闭包运算 3.2 二元关系 3.5 等价关系 第14课时 第16课时 第17－课18时 第15课时 3.3 集合上的二元关系及其特性 第20课时 3.6 序关系(2)
西安电子科技大学$3.6.3偏序集合中的特殊元素软件学院设<A，≤>是偏序集合，B二A。aEA，若对于B中的任意元素b，均有b<a，称a上界为B的上界。比B中元素均“大”的元素称为B的上界。aEA，若对于B中的任意元素b，均有ab，称a下界为B的下界。比B中元素均“小”的元素称为B的下界
西安电子科技大学 软件学院 上界 下界 §3.6.3 偏序集合中的特殊元素 设<A, ≼ >是偏序集合，B⊆A。 比B中元素均“大”的元素称为B的上界。 比B中元素均“小”的元素称为B的下界
西安电子科技大学$3.6.3偏序集合中的特殊元素软件学院家家设<A，<>是偏序集合，B二A。a为B的上界，若对B的任意上界a，均有a<a,最小上界称a为B的最小上界（上确界），记为lub。B的所有上界中的最小元为其最小上界，a为B的下界，若对B的任意下界a，均有a'<a，最大下界称a为B的最大下界（下确界），记为glb。B的所有下界中的最大元为其最大下界
西安电子科技大学 软件学院 最小上界 最大下界 B的所有下界中的最大元为其最大下界。 §3.6.3 偏序集合中的特殊元素 设<A, ≼ >是偏序集合，B⊆A。 B的所有上界中的最小元为其最小上界
西安电子科技大学$3.6.3偏序集合中的特殊元素软件学院家【例题】A={(1，2，，12}，≤为A上的整除关系，<A，≤>的哈斯图如图所示，求B=2，4,6)，C=(4，6,9)，D=(1，2,5，10)的特殊元素。解答：B、C、D中的特殊元素如表所示。上下最小极小极大最大最小元最大元界界上界元元下界22121,2122(2, 4, 6)4,6X1XXX1X(4, 6, 9)4, 6,94,6,9101101010111(1, 2, 5, 10)
西安电子科技大学 §3.6.3 偏序集合中的特殊元素 软件学院 【例题】A={1, 2,., 12}，≤为A上的整除关系，<A, ≤>的哈 斯图如图所示，求B={2, 4, 6}，C={4, 6, 9}， D={1, 2, 5, 10} 的特殊元素。 解答：B、C、D中的特殊元素如表所示。 极小 元 极大 元 最小元 最大元 上 界 下 界 最小 上界 最大 下界 {2, 4, 6} 2 4, 6 2 × 12 1, 2 12 2 {4, 6, 9} 4, 6, 9 4, 6, 9 × × × 1 × 1 {1, 2, 5, 10} 1 10 1 10 10 1 10 1
西安电子科技大学S3.6.3偏序集合中的特殊元素软件学院『定理』设<A，<>是偏序集合，BA。（a）若b是B的最大元，则b是B的极大元；（b）若b是B的最大元，则b是B的最小上界：(c）bEB，若b是B的上界，当且仅当b是B是的最小上界：（d）若b是B的最小元，则b是B的极小元；（e）若b是B的最小元，则b是B的最大下界；(f）bEB，若b是B的下界，当且仅当b是B的最大下界
西安电子科技大学 §3.6.3 偏序集合中的特殊元素 软件学院 『定理』设<A, ≼ >是偏序集合，B ⊆A。 （a）若b是B的最大元，则b是B的极大元； （b）若b是B的最大元，则b是B的最小上界； （c）b∈B，若b是B的上界，当且仅当b是B是的最小上界； （d）若b是B的最小元，则b是B的极小元； （e）若b是B的最小元，则b是B的最大下界； （f）b∈B，若b是B的下界，当且仅当b是B的最大下界