半连续格上的一个注记

就文献[3]中的命题4．7提供了一种简单证法。此外，我们给出了在半连续格条件下伪素元的内部刻画。最后，我们定义了一种新的元素——弱素元，给出了伪素元，〈=-素元与弱素元等价的条件。     

半连续格的刻画和映射

本文讨论了半连续格的一些性质,在半连续格中引入半Scott开集族,用半Scott开集族来刻画半连续格,同时定义了半连续格之间的半连续映射,得到闭包算子的像仍是半连续格的条件.最后,研究了半连续格上的半连续映射的全体不动点之集的性质。     

并素元有限生成格的弱直积分解

本文建立了并素元有限生成格的弱直积分解,并给出一个解决并素元生成的完全Heyting代数的直积分解问题的新方法;作为弱直积分解的应用,证明了并素元有限生成的完全Heyting代数必然同构于有限个既约的完全Heyting代数的直积,证明了并素元有限生成格是Boole代数的充要条件是它同构于某有限集的幂集格.     

Fuzzy格的分支构造

本文的主要结论是:一切Fuzzy格皆由极小分支构成,极小分支则由素元组成。具体地说,本文以正交集为工具,引入了分支,极大、极小分支的概念。证明了极小分支的每个非零元为素元。属于同一极小分支的各素元彼此都不正交,而属于不同极小分支里的素元彼此一定正交,每个Fuzzy格必存在极小分支的完全族。Fuzzy格的每个元素都可向极小分支投影,并且等于各投影的并。即Fuzzy格的各个元可以一意地表成彼此正交的若干素元的并。特别,对于正统Fuzzy格,每个分支的最大元必为分明元,反之每个分明元的下集必是一个分支。分明元与分支一一对应。极小分明元对应于极小分支。在极小分支里,由原来的补结构,可以诱导建立极小分支里的补结构。这时的极小分支也成为一个Fuzzy格(它只有一个分支)。当且仅当这些极小分支Fuzzy格彼此同构时,原Fuzzy格才与L-Fuzzy集同构(即Fuzzy格退化为L-Fuzzy集);当且仅当每个极小分支由一个元素组成时,正统Fuzzy格退化为Boolean代数(格)。非退化的正统Fuzzy格的主要特征在于它有非分明元。正统Fuzzy格不同于L-fuzzy集主要是它的极小分支可以不同构。     

拟半连续格和交半连续格

作为半连续格的推广, 引入了拟半连续格的概念. 讨论了拟半连续格的基本性质. 在拟半连续格上得到了类似于拟连续偏序集的一些主要结果. 同时探讨了半连续格、拟半连续格、交半连续格、交连续格、强连续格几种不同结构之间的关系. 最后,讨论了半连续函数空间仍是半连续格的条件.     

半连续格上的半基和局部半基

在完备格上引入了半基和局部半基的概念,给出了半基和局部半基的性质及若干等价刻画,证明了一个完备格是半连续格当且仅当它具有半基也当且仅当它每点有局部半基。在此基础上定义了半连续格的权和特征,探讨了半连续格的权和特征与其上赋予半Scott拓扑和半Lawson拓扑时的拓扑空间的权和特征的关系。解决了文献[8](赵彬,刘妮.连续Domain的特征和浓度,陕西师范大学学报,2002,30(2):1~6)中提出的一个问题。     

Z-半连续格

作为连续格和半连续格的公共推广,引入了广义理想子系统Z、Z-半连续格及强Z-连续格的概念,讨论了它们的基本性质和Z-半连续格的函数空间的结构,给出了强Z-连续格到方体的嵌入,证明了当子系统Z满足一定条件时,Z-半连续格范畴SCLZ是笛卡儿闭的。     

拟Z-半连续格

在广义理想子集系统的基础上,对Z-半连续格和拟半连续格作公共推广,引入了拟Z-半连续格的概念,讨论了拟Z-半连续格上的相关性质。     

半极小集及其应用

在完备格中,引入半极小集概念,得到完备格L是半连续格当且仅当每一个元都有半极小集这一结论,同时给出半极小集的一些刻画性质.在半Scott连续映射的帮助下,给出了保半极小集的一些映射性质,并用这些性质证明了半连续格的子半格、商半格还是半连续格.     

否定非对合剩余格的LI-理想理论

综合运用泛代数和格序理论的方法和原理研究否定非对合剩余格的理想问题.首先,在否定非对合剩余格L中引入LI-理想以及由L的非空子集生成的LI-理想的概念并考察它们的相关性质.其次,在L的全体LI-理想之集Id(L)上定义了格运算和,证明了(Id(L),?,,)构成一个分配的连续格,从而构成一个Frame.然后,在L中引入素LI-理想概念并讨论其性质,建立了预线性否定非对合剩余格的素LI-理想定理.最后,借助于素LI-理想之特性获得了预线性否定非对合剩余格的LI-理想格(Id(L),?,,)中素元的若干等价刻画.