格值Scott连续映射与Scott诱导L—拓扑（Ⅱ）

本文得到了连续格.超连续格和完全分配格的一组代数刻划和一组拓扑式刻划,对连续格和完全分配格的次直积表示定理的经典证明给出了一个简洁的直接处理,并在更广的框架下建立了一种相当完善的诱导空间理论——Scoot诱导空间理论,表明格值Scott连续映射可在连续格理论、经典格论、一般拓扑学和L-不分明拓扑学之间提供一个重要的连结物.     

Scott连续映射的分析式与分层次式刻划及应用

首先建立了拓扑空间到连续格的Ｓｃｏｔｔ连续映射的分析式与层次式刻划。共次利用这些刻划得到了连续格的分析式与层次式刻划，改进了有关作者的完全分配格的分析式刻划。     

格值Scott连续映射的网式刻划

近二、三十年来,由于计算机科学所引起的关注,有关序结构的研究日益受到人们的关注.在此背景下,70年代初由Scott等人开创了连续格理论的研究.近年来,受L-不分明紧化理论方面工作的刺激,有关诱导空间和格值半连续映射的研究引起了人们的浓厚兴趣.在文[5]中,徐晓泉较为深入地研究了格值Scott连续映射的刻划及其结构,并就值域为连续格情形建立起了一种相当完善的诱导空间理论——Scott诱导空间理论,丰富了文[2,3]所建立的诱导空间理论.     

Scott连续映射的分析式与层次式刻划及应用

首先建立了拓扑空间到连续格的Ｓｃｏｔｔ连续映射的分析式与层次式刻划；其次利用这些刻划得到了连续格的分析式与层次式刻划，改进了有关作者的完全分配格的分析式刻划．     

关于两个Cartesian闭范畴交的一点注记

讨论了关于双Scott拓扑的一些性质．证明了范畴BICONT（即以双连续格为对象，以双Scott连续映射为态射的范畴）作为两个Cartesian闭范畴BICONTS（即以双连续格为对象，以Scott连续映射为态射的范畴）和BICONTSop（即以双连续格为对象，以对偶Scott连续映射为态射的范畴）的交范畴不是Cartesian闭范畴．     

格值半连续映射的乘积式刻划

首先构造了一个反例,说明用积空间的开子集刻划通常下半连续函数的情形对一般的格值半连续映射不必成立.然后讨论了用X×L的子集刻划格值半连续映射的各种情形,并且通过在X×M(L)上引入新的拓扑,给出了格值半连续映射的几个刻划定理.     

完全分配格上的点式拓扑(Ⅱ)

在[1]中我们建立起了完全分配格上的点式拓扑理论的框架、本文将给出连续广义序同态、可分性、可数性、分离性、连通性、收敛类以及一种拟一致结构理论。最后,我们以Scott拓扑为例给出了本文所建立的拓扑理论在刻划格上内蕴拓扑方面的应用。     

格值连续函数和L—Fuzzy紧性

第一部分研究值域为连续格的一类广泛的格值映射，得到Ｓｃｏｔｔ连续函数分析式、层次式刻划，改进了有关结果。第二部分主要研究不分明紧性，用笛卡积和闭投射给出了Ｆｕｚｚｙ紧性外部刻划定理，将一般拓扑学著名的Ｋｕｒａｔｏｗｓｋｉ定理推广到ＬＦ拓扑学中，同时给出一种不分明完备映射的一个等价刻划，完善了有关结果。     

格值诱导空间中的权、特征及稠密度

利用格值诱导空间中内部算子的层次刻划,得出了格值诱导空间与其底空间之间权、特征及稠密度的三组不等式,从而对一类较广泛的Fuzzy格(即ω-生成的Fuzzy格),证明了诱导空间是第二可数(第一可数、可分)空间,当且仅当底空间是第二可数(第一可数、可分)空间.并举例说明,对ω_1-生成的Fuzzy格,上述性质不必成立.同时,给出了Fuzzy Smirnovhagata度量化定理必要条件不必成立的一个简单例子.     

弱拓扑分子格

目的建立弱拓扑分子格的初步理论。方法运用一一对应的思想和范畴论方法研究弱余拓扑的确定和弱拓扑分子格的范畴性质。结果证明了可以用弱闭包算子确定弱余拓扑,WTML(即弱拓扑分子格与保并连续映射的范畴)和TML(即拓扑分子格与保并连续映射的范畴)都是CL(即完备格与保并映射的范畴)上的拓扑范畴。结论扩展了拓扑分子格理论。     

半连续dcpo

作为半连续格的推广,引入半素集和半连续dcpo的概念,并讨论半连续dcpo的性质,在半连续dcpo中得到类似于半连续格的一些主要结果.同时研究了dcpo的内蕴拓扑——半Scott拓扑、半Lawson拓扑,证明了上集U半Lawson开当且仅当U为半Scott开,下集U半Lawson闭当且仅当U为半Scott闭.最后研究了半连续映射,证明了若保序映射f半连续,则f关于半Scott拓扑是连续映射.     

一些Scott连续自映射的不动点集的性质

研究了一些连续domain在幂等的连续自映射下的不动点集的性质，并证明了PF-domain在Scott连续自映射下的不动点集为连续的dcpo（定向完备集）．     

分子格上余拓扑的几种等价刻划

本文在分子格(即完全分配格)上定义了三种算子,即远域算子、闭包算子与强导元算子,并借助于它们,给出了分子格上余拓扑的几种等价刻划。最后给出的两个实例,表明分子格上强导元算子与一般拓扑学及不分明拓扑学中相应概念的关系和区别。     

相容半Scott拓扑

文章给出相容半Scott拓扑的概念,讨论相容半连续格上相容半Scott拓扑的一些基本性质。     

关于积Domain上的Scott拓扑和连续函数Way-below关系的一点讨论

对任意一族具有小元的dcpo{Li}i∈I，证明了若每个σ(Li)是连续格，则ⅡLi上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑，得到了关于连续函数way-below关系的一些结果。     

完全分配格上的拓扑结构

本文在完全分配格上建立了T-结构理论(它是拟邻近结构理论在完全分配格上的推广),讨论了拟一致结构、T-结构和余拓扑的相互诱导问题。用范畴的观点讨论了这三种结构的关系,证明了T-分子格范畴同构于全有界拟一致分子格范畴;拓扑分子格范畴同构于交完备T-分子格范畴;一个完全分配格上全体T-结构在集合包含序之下构成完备格。本文的结果完善了完全分配格上的拓扑结构框架,推广了分明拓扑学和不分明拓扑学的相应理论。     

完全分配格上p.q.度量的刻划

给出了完全分配格上ｐ．ｑ．度量的纯距离函数式刻划与远域映射族式刻划，从而使其更直观且便于应用。     

关于Scott拓扑与上拓扑的一个注记

连续格是一般拓扑和格论中的一个重要课题,Scott 拓扑和上拓扑是在连续格上定义的两类较重要的拓扑.本文讨论了在作各种格运算时这两种拓扑的变化情况,作为应用,我们得到了 Scott 拓扑和上拓扑一致的条件.     

一类基于R-偏序集的Scott不动点定理的简单变异

对R-完备的R-偏序集,证明了(1)R-连续映射关于偏序族中偏序的最小不动点恰好作成其关于偏序族所逼近的偏序上的最小不动点的逼近序列,这区别于对最小不动点的"对角线"方式逼近;(2)R-连续映射一定是ω-连续映射;(3)关于偏序族中任何偏序都连续的R-连续映射一定是连续映射;(4)最后本文给出了以上结果的简单应用.     

正统补映射与完全分配格的构造

文献[1—3]为建立完全分配格上的点式拓扑奠定了基础。[1]中提出的正统补映射是十分重要的概念,完全分配格上特殊的正统补映射的存在性将对格的结构产生重大影响。本文讨论正统补映射与完全分配格的构造之间的关系。