完备格的关系表示理论及其应用

主要讨论完备格的关系表示问题,分别建立了完全分配格的正则表示定理、超连续格的有限正则表示定理、λ-超连续格的λ-正则关系表示定理、区间拓扑T2完备格的广义有阴正则表示定理,给出了正则关系、完全分配格、超连续格、λ-超连续格、区间拓扑T2完备格的内蕴式刻划;给出了本文所建立的完备格的关系表示理论在Domain理论、格论和拓扑学中的若干应用.     

连续格上的分析性质

在完备格中给出两个收敛性定义并且证明了这两个收敛性定义是等价的。把连续格和诱导拓扑与积拓扑的等价性建立了联系,并讨论了连续格上的拓扑性质。     

ψ—连续格的刻划与完全分配格的拓扑表示定理

本文在完备格中引入ψ－Ｓ集的概念，并在讨论ψ－Ｓ集族性质的基础上给出－ψ－连续格的一族拓扑及格论刻划，用局部超紧的Ｓｏｂｅｒ空间范畴给出完全分配格的拓扑表示定理。     

《FRAME与连续格》评注

郑崇友、樊磊、崔宏斌著的（（Fra与连续格》一书（以下简称《格》）已由首都师范大学出版社出版．《格》是我国第一部系统论述Frame理论和连续格理论的学术专著,是适合于格与拓扑方向研究生和高年级本科生使用的好教材．1《格》提供了广义空间理论的一个要览按Bourbaki...     

拟连续Domain与广义完全分配格

本文证明了(1)在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;(2)对有界完备的拟连续domain P,(P,σ(P))为极大极限空间.     

φ-连续格的刻划与完全分配格的拓扑表示定理

本文在完备格中引入φ Ｓ集的概念，并在讨论φ Ｓ集族性质的基础上给出φ 连续格的一族拓扑及格论刻划，用局部超紧的Ｓｏｂｅｒ空间范畴给出完全分配格的拓扑表示定理     

λ-超凸空间中的一个选择定理及其应用

本文研究度量空间中取非空λ外超凸值的集值映象的选择问题.利用Zorn引理,得到了一个选择定理.作为应用,得到了一个不动点定理,并且证明了有界λ超凸空间中1λLipschitzian集值映象的不动点集为λ超凸集.     

一类解析函数的广义λ-Hadamard卷积

首先引进一类具有负系数的广义星象函数子类及其广义λ-Hadamard卷积;其次,利用从属关系证明了属于该类函数的充要条件;最后,研究了在函数类上广义λ-Hadamard卷积及其相关特殊卷积的封闭性质.所得结果改进和推广了Choi等人的主要结果,并得到了一些新结果.     

广义拓扑分子格中分子网的θ—收敛性

本文在广义拓扑分子格中建立了分子网的Ｍｏｏｒｅ－Ｓｍｉｔｈθ收敛理论。借助于此理论，我们得到了刻划弱连续序同态的三个特征定理。     

Smyth幂半格及其连续domain表示

本文证明了每个Ｓｍｙｔｈ幂半格同构于一连续ｄｃｐｏ的Ｓｍｙｔｈ幂ｄｏｍａｉｎ，而每个连续ｄｃｐｏ同构于其 Ｓｍｙｔｈ幂 ｄｏｍａｉｎ的 ｗａｙ ｂｅｌｏｗ素谱．通过上幂函子建立了连续ｄｏｍａｉｎ与Ｓｍｙｔｈ幂半格之间的范畴等价性，从而揭示了上、下幂ｄｏｍａｉｎ结构之间的联系．     

Topological Representations of Distributive Hypercontinuous Lattices

The concept of locally strong compactness on domains is generalized to general topological spaces. It is proved that for each distributive hypercontinuous lattice L, the space SpecL of nonunit prime elements endowed with the hull-kernel topology is locally strongly compact, and for each locally strongly compact space X, the complete lattice of all open sets O（X） is distributive hypercontinuous. For the case of distributive hyperalgebraic lattices, the similar result is given. For a sober space X, it is shown that there is an order reversing isomorphism between the set of upper-open filters of the lattice O（X） of open subsets of X and the set of strongly compact saturated subsets of X, which is analogous to the well-known Hofmann-Mislove Theorem.     

广义半Smooth格

引入了广义半Smooth格和广义半Smooth代数格的概念,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是拟连续的广义半Smooth格。     

广义Smooth格

作为由Weng所引入的smooth格和scott紧生成格的推广,引入了广义smooth 格和广义smooth代数格,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是广义smooth格和广义连续格.     

Representation of Homomorphisms Between Submodule Lattices

Results in Mathematics - Under certain weak conditions on the module RM every mapping f: L(RM) → L(SN) between the submodule lattices, which preserves arbitrary sums (= joins) and...     

Hypercontinuous Posets

The concepts of hypercontinuous posets and generalized completely continuous posets are introduced. It is proved that for a poset P the following three conditions are equivalent:(1) P is hypercontinuous;(2) the dual of P is generalized completely continuous;(3) the normal completion of P is a hypercontinuous lattice. In addition, the relational representation and the intrinsic characterization of hypercontinuous posets are obtained.     

Algebraic Representation of Mappings Between Submodule Lattices

We discuss algebraic representations of mappings preserving arbitrary joins between submodule lattices. For a given join-preserving mapping $ \bar{g}:\mathfrak{L}\left( {_RM} \right)\to \mathfrak{L}\left( {_SN} \right) $ between submodule lattices, a representation is an R-balanced mapping h : B × M → N, where _S B _R is a bimodule such that $ \left\langle {h\left( {B\times U} \right)} \right\rangle =\bar{g}(U) $ for all $ U\in \mathfrak{L}\left( {_RM} \right) $ . We begin by posing the question in a general abstract context and by defining the canonical subrepresentation, which is a representation if and only if there exists a representation. The problem is to give easy and natural conditions for the existence of a representation. We consider a very general situation for the mappings and give sufficient criteria for the existence of a representation. We also consider lattice isomorphisms.     

Representation of Cubic Lattices by Symmetric Implication Algebras

In this paper a cubic lattice L(S) is endowed with a symmetric implication structure and it is proved that L(S) \ {0} is a power of the three-element simple symmetric implication algebra. The Metropolis–Rota’s symmetries are obtained as partial terms in the language of symmetric implication algebras.     

非交换BR_0代数的剩余格表示

为了使非可换逻辑代数N BR0具有剩余格结构,提出两种剩余格结构N RL和CN RL,建立N BR0代数的N RL和CN RL表示。最后讨论了CN RL上的λ结构和γ结构,得到N BR0代数的表现定理。