拟连续Domain的拟基及其权

在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与该拟连续Domain上赋予内蕴拓扑时的拓扑空间的权之间的关系。     

可数S_2-拟连续偏序集北大核心CSCD

作为广义可数逼近偏序集与S2-拟连续偏序集的共同推广,引入了可数S2-拟连续偏序集的概念并讨论了它的一些性质.本文的主要结果:(1)可数S2-拟连续偏序集上的可数way below关系满足插入性质;(2)可数S2-拟连续偏序集关于其上的弱σ-Scott拓扑为局部紧致的可数sober空间;(3)偏序集P为可数S2-连续偏序集当且仅当P为可数S2-交连续的可数S2-拟连续偏序集.     

相容连续Domain上的序同态

首先给出相客定向极小集的概念,讨论它的性质及与相客连续Domain的关系;其次蛤出相客连续Domain基的概念,得到它的等价刻画.最后,引入了相客连续Domain上的序同态,同时研究了它的性质,并得出相应的扩张定理.     

交连续dcpo的遗传性和不变性

讨论了交连续dcpo的遗传性和不变性,证明了如下结论:(1)交连续dcpo对于开子空间和闭子空间都是可遗传的;(2)交连续dcpo在加最大元和去最小元运算下保持交连续性;(3)交连续dcpo的收缩核为交连续dcpo.另外,给出了交连续的主理想刻画的一个直接证明;构造了反例说明交连续dcpo对于主滤子是不可遗传的;也构造了反例说明所有主滤子都交连续的一个dcpo,自身不必是交连续的.     

拟连续格的逆极限

给出以保任意交和定向并为态射的拟连续格范畴的逆极限,讨论函子保广义拟连续格逆极限的条件。     

拟半连续格和交半连续格

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

性质M_F与拟连续Domain中的Scott上紧集

对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性质MF.     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构-FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

可数S_2-拟连续偏序集

作为广义可数逼近偏序集与S2-拟连续偏序集的共同推广,引入了可数S2-拟连续偏序集的概念并讨论了它的一些性质.本文的主要结果:(1)可数S2-拟连续偏序集上的可数way below关系满足插入性质;(2)可数S2-拟连续偏序集关于其上的弱σ-Scott拓扑为局部紧致的可数sober空间;(3)偏序集P为可数S2-连续偏序集当且仅当P为可数S2-交连续的可数S2-拟连续偏序集.     

一类Banach空间中的分析性质及反例

本文对具有Schauder基的无穷维Banach空间上的映射定义偏导数,并讨论f的可徽性与偏导数存在并连续的关系;同时,本文还时论象所在空间为具有Schauder基的空间时,映射f与坐标映射f_i在可微性、连续性方面的关系.     

关于拟连续Domain的一个注记

证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpo L,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间.     

拟Z-连续domain和Z-交连续domain

对一般子集系统Z,引入了Rudin性质、拟Z-连续domain及Z-交连续 domain的概念,讨论了它们的基本性质.特别是Z-连续性、拟Z-连续性、 Z-交连 续性和Z-Lawson拓扑之T2性之间的相互关系. 证明了当子集系统Z满足一定条件 时,拟Z-连续domain P上的Z-way below关系Z具有插入性质, P上的Z-Lawson 拓扑λZ(P)是T2的,且P可用Z-Lawson同态嵌入到某方体之中.文中给出了一个 domain P,其上的Lawson拓扑λ(P)是T2的,但P不是拟连续性domain.     

在Pbkc（c[0,1]）与Pbkc（Lp[0,1]）取值的集值随机变量（1）

对拟连续测度空间(G,β,u)的一致有界等度连续函数族,通过包含关系,取凸包和闭包,构造了在Pbkc(c[0,1])与Pbkc(Lp[0,1])取值的集值随机变量及连续的集值映射,深化了集值随机过程理论研究.     

一般化凸空间上的一个连续选择定理(英文)

本文研究一般化凸空间上的连续选择定理.利用在D■X的条件下,一般化凸空间(X,D;Γ)上Γ-凸子集的概念,得到了两类一般化凸空间之间,以及φ映射和Γ-凸映射之间的关系,并且得到了一个连续选择定理.本文推广了一般化凸空间上凸子集的概念.     

相通连续Domain的若干特征定理

首先引入了相通连续Domain的概念,利用主理想及连通闭集刻画了相通连续Domain; 其次考察了相通完备偏序集的定向完备化,得到了一些好的结果.     

在险值与Lp-空间上的连续一致风险度量

本文研究了在险值和L^p-空间上的连续一致风险度量之间的关系.利用凸集分离定理和截尾逼近方法,获得了在险值可以用L^p-空间上的连续一致风险度量表示的结果,并且得到了L^p-空间上的表示定理的一种新的证明方法.它们分别是文献[2]的相关结论从L^∞-空间到L^p-空间上的推广和对Inoue^[4]做的一些补充证明.     

拟连续Domain与广义完全分配格

本文证明了(1)在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;(2)对有界完备的拟连续domain P,(P,σ(P))为极大极限空间.     

粒度空间约简及其粗糙集模型研究

针对交可约粒度空间中覆盖、基和粒结构的关系,结合偏序关系的哈斯图,给出一种约简粒度空间的方法.另外,通过限定上、下近似算子的取值范围,重新定义了交可约粒度空间上的粗糙集模型,并讨论了其相关性质.