稳定连续半格的闭包空间表示

为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映射的概念,刻画了以Scott连续映射为态射的稳定连续半格范畴和以逼近映射为态射的可乘闭包空间范畴间的等价性.

相对交连续半格及其等价刻画

作为Domain理论中交连续半格概念的推广,文章借助于相对way below关系引入相对辅助关系,给出相对逼近关系的概念,并研究其性质.引入相对交连续半格的概念,给出其若干内部刻画.探讨相对连续Domain及其拓扑性质,并研究相对连续半格与相对交连续半格之间的关系.上述结论推广相关文献的有关结论.

相容半连续格上的一个扩张定理

在相容半连续格上引入?_c-稠的概念,并得到相容半连续格的一个扩张定理.

完备半格范畴的反射与余反射子范畴

构造性地证明了以有左（右）伴随的Ｓｃｏｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｄｏｍａｉｎ范畴，是完备半格范畴的余反射（反射）子范畴．

格值连续函数的下方图形超空间及其Hilbert方体紧化

设L是连续半格,用USC(X,L)表示乘积空间X×AL的包含集合X×{0}的所有闭的下集之族,用↓C(X,L)表示由X到AL的连续函数的下方图形全体.赋予Vietoris拓扑后,USC(X,L)是拓扑空间,↓C(X,L)是它的子空间.证明了如果X是无限的局部连通的紧度量空间且AL是绝对收缩核,则USC(X,L)同胚于Hilbert方体[-1,1]ω.此外,如果L是可数个闭区间的乘积,则↓C(X,L)在USC(X,L)中是同伦稠的,即存在同伦h:USC(X,L)×[0,1]→USC(X,L),使得h0=idUSC(X,L),且对任意的t>0,有ht(USC(X,L))↓C(X,L).但↓C(X,L)不是可完备度量化的.

偏序集上的way-up关系

首先,借助于way-up关系的概念,讨论了way-up关系在偏序集、并连续半格及余dcpo不同背景下的性质;然后,给出了逼近辅关系的定义及其相关性质;最后,从局部化的思路出发,给出了局部余定向完备范畴的概念及在此结构下的way-up关系,并讨论了way-up关系的相关性质。

弱完全并既约元及其应用

首先,引入弱完全并既约元的概念,讨论它的一些基本性质,并给出完全并既约元另一等价定义。其次,借助于下邻给出了并既约元为弱完全并既约元的一个内部刻画。最后,研究了各种既约元,素元,弱完全并既约元以及紧元之间的关系。

A Note on the Way-Below Relation on LSC(X, R~*)~*

A mistake in Proposition I-1.21.1 of 'A Compendium of Continuous Lattices'by G.Giers et al. is pointed out and a revised proposition with a proof is given.

Solutions and Continuum Limits of Two Semi-Discrete Lattice Potential Korteweg-de Vries Equations

We derive bilinear forms and Casoratian solutions for two semi-discrete potential Korteweg-de Vries equations. Their continuum limits go to the counterparts of the continuous potential Korteweg-de Vries equation.