基于柯西理想的完备$Omega$-格的连续性.docVIP

基于柯西理想的完备 ?-格的连续性 赖洪亮 四川大学数学学院，成都 610064 摘要：令 ? 是一个完备剩余格. 完备的 ?-偏序集是经典完备格在 ?-值逻辑下的推广形式, 称 之为为完备的 ?-格. 本文证明了完备 ?-格上的柯西理想都是由经典的定向集生成的. 在此基 础之上, 进一步给出了连续的完备 ?-格的一个内蕴刻画, 即它上面的 tensor 运算应该满足 Scott 连续性. 最后, 还证明了每个完全分配的完备 ω-格都是连续的. 关键词：范畴论, 完备的 ?-格, 连续性, 柯西理想, 伴随, 完全分配性 中图分类号： O189.13 Continuity in complete ?-lattices based on Cauchy ideals LAI Hong-Liang Department of Mathematics, Sichuan University, Chengdu 610064 Abstract: Let ? be a complete residuated lattice. Complete ?-ordered sets are generalizations of classical complete lattices in the ?-valued logic and are called complete ?-lattices. It is shown that each Cauchy idea in a complete ?-lattice can be generated by a directed subset and a complete ?-lattice is continuous if and only if the tensor is Scott continuous. Furthermore, it is shown that each completely distributive complete ?-lattice is continuous. Key words: Category theory, complete ?-lattice, continuity, Cauchy ideal, adjunction, completely distributive. 0 Introduction A complete residuated is a triple (?, ?, 1), where ? is a complete lattice, (?, ?) is a com- ∨ = p, qi in ?. such that (1) ? is monotone on each variable; (2) for each p ∈ ?, the map p ? (?) has a right adjoint p → (?). 基金项目： Natural Science Foundation of China , Fundamental Research Foundation of Sichuan University (2010SCU21009) and Doctoral Fund of Ministry of Education of China(20100181120046) 作者简介： Correspondence author：Lai Hongliang（1978-），male，associate professor，major research direction：fuzzy topology and fuzzy order. -1- The resulting binary operation → is called the residuation operator corresponding to . Because the function α ? (?) : ? ?→ ? has a right adjoint α → (?) : ? ?→ ?, that means, for all α, β, γ ∈ ?, α ? β ≤ γ ?? β ≤ α → γ. Therefore, if we interpret α, β and γ as truth values, then the operation ? plays a similar role as the logic connective conjunction and → as the connective implication. The least element 0 ∈ ? can be regarded as the logical value false