关于函数空间的超连续性

超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.     

Z-连续格的函数空间

若 Z为并完备的子集系统 ,且 IZ( L)关于集合的包含关系构成完备格 ,则 :( 1 ) Z-连续格的函数空间仍为 Z-连续的 ;( 2 )对于 Z-连续格范畴 ZL ,定义了一函子 F:ZL× ZL→ ZL.     

模糊DCPO范畴的一个笛卡尔闭的满子范畴

引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义,并研究了它们与有界完备模糊dcpo之间的关系。     

完备模格的有限条件

本文研究完备模格的有限条件,给出了完备模格是Artin(Noether)格的若干等价条件,得到了完备模格中元1分解为有限个独立原子并的等价刻画,证明了上连续完备半单模格中元1的任意两个独立原子分解具有相同的基数.     

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

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

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

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

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

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

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

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

内射拓扑分子格

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

广义半Smooth格

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