关于完备格等价定义的学习研究.doc

 关于完备格等价定义的学习研究 刘维娜 中央民族大学 ，北京 100081 摘 要 本文学习研究了两个比较有意义的完备格的等价定义 ，并给出逻辑推导证明。 关 键 词 偏序集 ；格 ；完备格 中图分类号 O15 文献标识码 A 文章编号 1674-6708（2011）48-0093-02 0 引言 格是随着经典逻辑的代数化与泛代数的发展而引进的一个新 的代数系统。近年来 ，偏序集与格的理论在组合数学、Fuzzy 数学、 理论计算机科学 ，甚至社会科学中都得到了广泛的应用 ，极大地 推动了该学科自身的发展 ，也使之成为数学和理论计算机科学中 的重要研究对象 [4]。 作为格的特殊实例 ，完备格出现于数学和计算机科学的很多 应用中 ，在次序论和泛代数中也都有所研究。 1 预备知识 定义 2.1 设 P 是一集合 ，≤ 是 P 上的二元关系 ，如果对 ? x，y， z ∈ P，有 ： 2 完备格 定义 3.1 设（P，≤ ）是偏序集 ，若 P 关于任意并封闭 ，即 P 的任意子集均有上确界 ，则称偏序集（P，≤ ）为完备 ∨ 半格 ；若 P 关于任意交封闭 ，即 P 的任意子集均有下确界 ，则称偏序集（P， ≤ ）为完备 ∨ 半格。 定义 3.2 设（P，≤ ）是偏序集 ，若 P 关于任意并与任意交均 封闭 ，则称（P，≤ ）是完备格。 例 3.3 1）有限格是完备格。 2）由集合 X 的幂集及集合的包含关系构成的偏序集是一个 完备格。 引理 3.4 设（P，≤ ）是偏序集 ，则（P，≤ ）是完备 ∨ 半格当 且仅当（P，≤ ）是完备 ∨ 半格 . 证明 ：设偏序集（P，≤ ）是完备 ∧ 半格 ，对于 S ? P，记 T 为 S 的全体上界之集 ，并记 a= ∧ T。因为 ? s ∈ S，s 是 T 的下界 ， 于是 s ≤ a，从而 a 是 S 的上界。但是 a = ∧ T，即 a 是 S 的最小上 界 ，所以 a = ∨ S．这就证明了偏序集（P，≤ ）是完备 ∨ 半格。 由对偶原理易知 ，若偏序集（P，≤ ）是完备 ∨ 半格 ，则它必 是完备 ∧ 半格。 推论 3.5 完备 ∨ 半格或完备 ∧ 半格必是完备格。 证明 ：可由引理 2．2 的直接推出。 思考 3.6 对一个偏序集（P，≤ ），如果其任意非空子集均有下 确界 ，那么只需添加一个单位元 （1 1 ? P, 且对 ? x ∈ P，有 x ≤ 1）， 得到 P=P ∪ {1}，那么（P，≤ ）即是一个完备格。 定理 3.7 设（P，≤ ）是有界完备偏序集 ，且有最大元 1，则 P 是一个完备格。 证明一 ：偏序集 P 是有界完备的 ，则 P 有最小元 ，又 P 有最 大元 ，故 P 的任意子集均有上下界。 ? ≠ A ? P，那么对 A 的下 界 B，最小元 0 ∈ B，A 中任一元素均是 B 的上界 ，故 B 有最小上 界 ，亦是 A 的最大下界 - 下确界 ，即 P 的任意非空子集有下确界 ， 由思考 2.6 可知 ，最大元 1 存在 ，可推出 P 是完备格。 证明二 ：对 ? A ? P，最大元 1 是 A 一个上界 ，又 P 是有界 完备的 ，故 A 有上确界 ，即 P 是完备 ∨ 半格 ，由推论 2.5 知 P 是 完备格。 显然，如果偏序集（P，≤ ）是一个完备格，则必是有界完备的， 且有最大元和最小元 ，所以事实上这是一个等价定理。 定理 3.8 设（P，≤ ）是偏序集 ，则（P，≤ ）是完备格当且仅 当（P，≤ ）是有最大元 1 的下半格 ，且 P 的任意余定向子集均有 下确界。 证明 ：对 P 的任意子集 X，若 X 是空集 ，则 inf X=inf ? =1。 若 X 是非空集合 ，由 P 是下半格可知 ，X 的任意有限子集 A 有下 确界。令 D 是所有这些下确界的集合 ，则 X 的下界是 A 的下界（P 是下半格 ，则 P 是一个余定向子集 ，从而存在下确界 ，于是 P 的 任意子集均有下界），故也是 D 的下界。又因为单点集 {*} 的下确 界是 *，所以 X ? D，故 D 的下界亦是 X 的下界．于是 X 与 D 有 相同的下界集。下面证明 D 的下确界存在． ? a, b ∈ D, a = inf A, b = inf B , A,B 是 X 的有限子集。令 c = inf（A ∪ B），则 c ∈ D, 且 （下转第85页） 1）x ≤ x （自反性） 2）x ≤ y，y ≤ x ? x ≤ y 3）x ≤ y，y ≤ z ? x ≤ z （反对称性） （传递性） 则称 ≤ 为 P 上的一个偏序（关系），一个集合 P 及其上的偏序 ≤形成的有序二元组（P，≤ ）称为偏序集。 在不至混淆的情况下 ，对（P ；≤ ）可简记为 P。 定义