完全分配格上的点式拟一致结构与p．q．度量

在完全分配格上建立了点式拟一致结构理论．讨论了诱导拓扑分子格中闭包，局部基，连续等性质．证明了每个拓扑分子格皆可点式拟一致化．另外借助纯距离函数与真正的远域映射族给出了［８］中ｐ．ｑ．度量的等价定义与刻画，得到了点式拟一致分子格的ｐ．ｑ．度量化定理．     

拟一致结构与拓扑

本文的目的是(1)指出分子格L上的拟一致结构既可在L上导出一个拓扑,又可在L上导出一个余拓扑,并研究二者的关系;(2)利用保交减值映射族来建立另一类拟一致结构理论;(3)研究两类拟一致结构之间的联系.     

点式拟一致分子格中的拓扑

分子格Ｌ上的一个点式拟一致结构可以诱导出Ｌ上的一个拓扑和一个余拓扑（）。本文证明了下面结论：（１）在拓扑分子格（Ｌ，＊（））中，每个分子皆有一个由（）一开元组成的远域基；（２）在拓扑空间（Ｌ，（））（这里Ｌ是Ｆｕｚｚｙ格）中，每个分子皆有一个由（）一开元组成的＊远域基；（３）若（Ｌ，）是点式一致Ｆｕｚｚｙ格，则（）＝（）。     

模糊拟邻近结构与模糊双拓扑

本文给出了模糊拟邻近结构的概念，并着重讨论了模糊拟邻近结构与模糊双拓扑，模糊拟邻近结构与模糊拟一致空间之间的相互联系。     

L-fuzzy层拟一致结构理论

在L-拓扑空间中提出α-远域族和α-拟一致结构的概念,讨论它的一些基本性质。在此基础上证明了每一个α-拟一致结构都可以诱导出一个α-层拓扑,每个α-层拓扑空间都可以α-拟一致化。由此,进一步分析α-拟一致连续与层连续之间的关系。     

完全分配格上的格值Smooth点式拟一致结构

在完全分配格上定义L—smooth点式拟一致结构概念，并研究它与点式拟一致结构之间的关系以及与smooth拓扑之间的关系，给出分解定理、表现定理及构造条件。     

模糊化拟一致结构导出的拓扑

从模糊化拟一致结构μ出发,分别导出了模糊化内部算子和模糊化闭包算子,进而导出了两个模糊化拓扑τμ和ημ.结果表明,若μ是模糊化拟一致结构,则τμ=ημ不一定成立;若μ是模糊化一致结构,则τμ=ημ成立。     

点式模糊化拟一致结构诱导的双拓扑

引入点式模糊化拟一致结构u,并由其分别导出了模糊化内部算子和模糊化闭包算子,进而诱导两个模糊化拓扑(?)和η_u.结果表明,若u是点式模糊化拟一致结构,则T_u=η_u不一定成立;若u是点式模糊化一致结构,则(?)=η_u成立.     

Hutton一致结构的点式处理

从点一集映射出发给出通常一致结构的等价刻画,以此为基础在Ｆｕｘｘｙ格上引入一种（拟）一致结构,它是Ｈｕｔｔｏｎ（拟）一致结构的相应简化。     

否定非对合剩余格上基于正规模糊理想的一致拓扑空间

拓扑结构是逻辑代数研究领域的重要研究内容之一,为了揭示否定非对合剩余格上的拓扑结构,基于正规模糊理想诱导的同余关系在否定非对合剩余格上构造一致拓扑空间并讨论其拓扑性质.证明了:(1)一致拓扑空间是第一可数,零维,非连通,局部紧的完全正则空间;(2)一致拓扑空间是T_1空间当且仅当是T_2空间;(3)否定非对合剩余格中格运算和伴随运算关于一致拓扑都是连续的,从而构成拓扑否定非对合剩余格.同时,获得了一致拓扑空间是紧空间和离散空间的充分必要条件.最后,讨论了拓扑否定非对合剩余格中代数同构与拓扑同胚间的关系.对从拓扑层面进一步揭示否定非对合剩余格的内部特征具有一定的促进作用.     

分子格的构造

王国俊同志在[1][2]中定义了分子格和拓扑分子格,对拓扑分子格的分离性进行了一系列的研究。本文拟对分子格的构造作一研究,并将[2]中某些定理进行推广,文中涉及的概念和符号除另有定义者外都按照[1][2]。     

Boolean algebras of lattice uniformities and decompositions of modular functions

We study decomposition theorems for modular functions on lattices and the relationship between such decompositions and lattice properties of a suitable system of uniformities. We give a purely topological characterization for the validity of a decomposition theorem of a certain type and examine when this topological condition is satisfied, namely when a system of lattice uniformities is a Boolean algebra consisting of permutable uniformities.      

赋层拓扑分子格及其紧性

拓扑分子格本身没有层次结构，为其构造某种层次成为很重要的问题。本文的构思是赋于分子格上的拓扑一种层次，从而使拓扑分子格具有丰富的层次性，其次讨论了保层次序同态与赋层积拓扑分子格，在此基础上建立了较理想的拓扑分子格的紧性。     

内射拓扑分子格

本文证明了任给T_O拓扑分子格(L,η),以下三条等价:(1)(L,η)为正则内射拓扑分子格;(2)L为完备集环且其完备余素元集ht(L)形成一连续格,余拓扑η为该连续格ht(L)上的Scott闭集格;(3)存在T_O内射拓扑空间(X,Τ),(L,η)同胚于(P(X),Τ~c)在拓扑分子格范畴中的Sober化。此外,还给出了正则内射拓扑分子格、(一般)内射拓扑分子格以及正则内射分子格的一般结构。作为应用,重新证明了有指数元的拓扑分子格的结构。     

Functorial Duality for Ortholattices and De Morgan Lattices

Relational semantics for nonclassical logics lead straightforwardly to topological representation theorems of their algebras. Ortholattices and De Morgan lattices are reducts of the algebras of various nonclassical logics. We define three new classes of topological spaces so that the lattice categories and the corresponding categories of topological spaces turn out to be dually isomorphic. A key feature of all these topological spaces is that they are ordered relational or ordered product topologies.     

A Note of Regularity on Completely Distributive Lattices

ＡＮｏｔｅｏｆＲｅｇｕｌａｒｉｔｙｏｎＣｏｍｐｌｅｔｅｌｙＤｉｓｔｒｉｂｕｔｉｖｅＬａｔｔｉｃｅｓ￥ＣｈｅｎＹｉｘｉａｎｇ（ＸｕｚｈｏｕＴｅａｃｈｅｒｓＣｏｏｅｇｅ，２２１００９）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｎｏｔｅ，ｔｈｅａｕｔｈｏｒｇｉｖｅｓｓ...     

Sober拓扑分子格

A topological molecular lattice (TML) is a pair (L, T), where L is a completely distributive lattice and r is a subframe of L. There is an obvious forgetful functor from the category TML of TML‘s to the category Loc of locales. In this note,it is showed that this forgetful functor has a right adjoint. Then, by this adjunction,a special kind of topological molecular lattices called sober topological molecular lattices is introduced and investigated.     

开广义序同态的刻划及拓扑分子格的特征与权

王国俊先生于〔１〕中借助闭元成功地引入了开广义序同态的概念。本文给出了开广义序同态的一个刻划并对其是否增加拓扑分子格的权与特征等问题进行了研究，得到了积拓扑分子格的特征与权与因子拓扑分子格的特征与权间的关系，从而部分回答了ＬＦ拓扑中关于特征的两个公开问题。     

STML(L)范畴的若干结果

本文讨论了由(?)-smooth拓扑分子格和(?)-smooth连续的广义序同态所构成的STML((?)) 范畴的若干结果,证明了范畴STML((?))是拓扑范畴,范畴TML是范畴STML((?))的双反射满子范畴,以及两个伴随定理.     

拓扑分子格中的有限余复盖性质

本文以素理想为基本工具，讨论了拓扑分子格中的有限余复益性质，给出了有限余复益性质的若干等价刻划。证明了关于有限余复盖性质的ＴＨＸＯＨＯＢ乘积定理成立；具有有限余复盖性质的Ｔ２拓扑分子格是Ｔ４的；在一定条件下Ｔ２拓扑分子格中的具有有限余复盖性质的元素是闭元。