数学对象可以用不同的结构来表示.docVIP

§5.1 格 数学对象可以用不同的结构来表示。 格就是一种可以用代数或关系来表示的数学对象。 我们先用代数结构来定义格。 5.1.1 定义 格 L是非空集合，?和?是L上两个二元运算。L, ?, ?称为一个格（按习惯将?(x, y)记为x?y，将?(x, y)记为x?y，?称为交，?称为并），如果L满足以下条件： (1) 幂等律 任给x?L，都有 x?x = x，x?x = x。 (2) 结合律 任给x, y, z?B，都有 (x?y)?z = x?(y?z)，(x?y)?z = x?(y?z)。 (3) 交换律 任给x, y?B，都有 x?y = y?x，x?y = y?x。 (4) 吸收律 任给x, y?B，都有 (x?y)?y = y，(x?y)?y = y。 当?, ?是已知或不必指出时，简称L是一个格。由结合律，多个元素作交或并时可以省略括号。 吸收律刻画了两种运算?和?的关系，由吸收律还能得到以下重要关系 5.1.2 定理 L是格，任给x, y?L，都有 x?y = x当且仅当x?y = y。 证 如果x?y = x，则y = (x?y)?y = (x?y)?(y?y) = x?y。 如果x?y = y，则x = (x?y)?x = (x?x)?(y?x) = x?y。■ 以下是格的一些例子。 5.1.3 例 幂集P(s)的对于?和?封闭的子集是格，称为集格。 5.1.4 例 在单元集{a}上定义?和?如下： a?a = a，a?a = a， 则{a}, ?, ?是格，称为单元格。单元格上的?和?是唯一的。 5.1.5 例 正逻辑系统Pm的公理是： (1) |? ??(???)。 (2) |? (??(???))?(???)?(???)。 (3) |? ?????。 (4) |? ?????。 (5) |? (???)?(???)?(?????)。 (6) |? ?????。 (7) |? ?????。 (8) |?(???)?(???)?(?????)。 推演规则是分离规则：从?和???得到?。 ?的定义是：????~? =df (???)?(???)。 令Form是Pm的所有公式的集合，因为在Pm中有： (1) |? ???； (2) 如果|? ???，则|? ???； (3) 如果|? ???且|? ???，则|? ???。 所以可以在Form上定义等价关系~如下： ?~? =df |????。 公式?在等价关系~下的等价类记为[?]，取L是Form在等价关系~下的商集Form / ~。因为在Pm中有： 如果 |?????且 |?????，则 |??????????，|??????????， 所以可以在L上定义?和?如下： [?]?[?] = [???]，[?]?[?] = [???] L, ?, ?是格，相应的Pm逻辑等值式如下： (1) |??????，|??????。 (2) |?(???)?????(???)，|?(???)?????(???)。 (3) |????????，|????????。 (4) |?(???)????，|?(???)????。 更一般地，对于Pm的任何扩充系统，都可以用同样的方法定义这样的格。 5.1.6 定理 L是格，定义L上二元关系?如下： x?y =df x?y = x， 则?是L上偏序关系。 证 (1) 自返性。任给x?L，都有x?x = x，因此x?x。 (2) 反对称性。任给x, y?L，如果x?y且y?x，则 x?y = x且y?x = y， 因此x = x?y = y?x = y。 (3) 传递性。任给x, y, z?L，如果x?y且y?z，则 x?y = x且y?z = y， 所以 x?z = (x?y)?z = x?(y?z) = x?y = x， 因此x?z。■ 由定理5.1.2，x?y 当且仅当 x?y = y。 5.1.7 定理 L是格，?是如上定义的偏序关系。 (1) 任给x, y?L，都有x?y?x且x?y?y。 (2) 任给x, y, z?L，如果z?x且z?y，则z?x?y。 (3) 任给x, y?L，都有x?x?y且y?x?y。 (4) 任给x, y, z?L，如果x?z且y?z，则x?y?z。 证 (1) 因为(x?y)?x = (y?x)?x = y?(x?x) = x?y， (x?y)?y = (x?y)?y = x?(y?y) = x?y，。 (2) 如果z?x且z?y，则 z?x = z且z?y = z， 所以 z?(x?y) = (z?x)?(z?y) = z?z = z， 因此z?x?y。 (3)(4) 类似于(1)(2)，使用x?y 当且仅当 x?y = y。■ 由定理5.1.7可知，在这个偏序关系下