第十五章-格与布尔代数(简).pptVIP

第十五章 格与布尔代数 15.1 格 15.2 布尔代数 在介绍格之前，对于我们在前面学过的偏序，我们要补充两个内容： 1. 哈斯图 2. 最小上界与最大下界 1.哈斯图 为了更清楚地描述偏序集合中元素间的层次关系, 也为了更快、更有效地画出偏序关系的简化图, 下面介绍“盖住”的概念。 定义 在偏序集A, ≤中, 对x, y?A, x≤y且x ? y, 且 A中无任何其它元素z, 满足x≤z且z≤y, 称y盖住x, 或称x是y的直接前趋, y是x的直接后继。盖住关系记作cov(A) = {(x, y) | x, y?A且y盖住x}。 显然盖住关系是唯一确定的, 盖住关系是“≤”的子集。盖住关系的关系图称哈斯(Hasse)图, 它实际上偏序关系是经过如下简化的关系图: 1. 省略关系图中的每个结点处的自环, 这是因为偏序关系“≤”是自反的。 2. 若xy且y盖住x, 将代表y的结点放在代表x的结点之上, 并在x与y之间连线, 省去有向边的箭头, 使其成为无向边。 若xy 但y不盖住x, 则省去x与y之间的连线。 例 A = {1, 2, 3, 4, 5, 6, 8, 10, 12, 16, 24}, 偏序关系是A上的整除关系“≤”, 画出偏序集A, ≤的哈斯图。 例 以下是偏序集P(X)，? 的哈斯图。 利用哈斯图，可以很方便的解决我们在学习偏序集中的一些问题：