Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σZ(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σZ(P)是Sober的当且仅当σZ(P)具有Rudin性质,P贼予Z-Lawson拓扑λZ(P)是pospace,且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λZ(P))为严格完全正则序空间.     

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawson拓扑λ_z(P)是pospace;且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λ_z(P))为严格完全正则序空间。     

拟Z-代数domain

基于一般子集系统Z,引入拟Z-代数domain的概念,研究了拟Z-代数domain的一些映射性质,并讨论了拟Z-代数domain与拟Z-连续domain之间的关系及拟Z-代数domain的乘积。     

强Z-连续domain和Z-代数domain的刻画定理

给出强Z-连续domain和Z-代数domain的一个刻画及一个范畴性质--余反射性质.     

Rudin性质与拟Z-连续Domain

对一般子集系统Z,引入了Rudin性质,给出了它的映射式刻划.作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了Rudin性质及其映射式刻划在拟Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟Z-连续Domain情形.     

Rudin性质与拟Z-连续Domain

对一般子集系统 Z,引入了 Rudin性质,给出了它的映射式刻划,作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了 Rudin性质及其映射式刻划在拟 Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟 Z-连续 Domain情形。     

局部Z-空间和Z-连续空间

对于一般广义子集系统Z,引入了局部Z-空间和Z-连续空间的概念,讨论了局部Z-空间的基本性质;基于收敛网,给出了局部Z-空间的等价刻画,证明了X为Z-连续空间当且仅当X为局部Z-空间。     

Z-连续格的函数空间

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

Z-连通连续偏序集的特征和浓度

引入了Z-连通连续偏序集的局部基和稠密子集的概念,给出了局部基的一些刻画,在此基础上定义了Z-连通连续偏序集的特征和浓度。证明了Z-连通连续偏序集的特征和浓度与Z-连通连续偏序集带上Scott拓扑时的拓扑空间的特征和浓度相等,它们分别小于Z-连通连续偏序集带上Lawson拓扑时拓扑空间的特征、浓度。     

拟Z-半连续格

在广义理想子集系统的基础上,对Z-半连续格和拟半连续格作公共推广,引入了拟Z-半连续格的概念,讨论了拟Z-半连续格上的相关性质。     

连续偏序集及其Smyth幂的几个等权定理

推广连续D om a in的权的概念到连续偏序集上,探讨连续偏序集的权、相应内蕴拓扑的权、定向完备化的权以及Sm yth幂D om a in的权间的关系。得到了几个等权定理:(1)连续偏序集的权与其上Scott拓扑、L aw son拓扑的权相等;(2)连续偏序集的权与其定向完备化的权相等;(3)无穷连续D om a in的权与其Sm yth幂D om a in的权相等;(4)有限D om a in的权小于或等于它的Sm yth幂D om a in的权。     

Choice-Free Dualities for Domains

A basic tool in domain theory and point-free topology are (Scott) open filters in a partially ordered set. A systematic investigation of that concept shows that central notions and facts like Lawson’s famous self-duality of the category of continuous domains may be established without invoking any choice principles, if only continuous domains are replaced by so-called δ-domains, which coincide with the former in the presence of dependent choices. Many of the conclusions remain valid for the more flexible notion of ζ-domains, comprising important variants such as algebraic or hypercontinuous domains.     

连续Domain的遗传性及其不变性

引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的。证明连续Domain或代数Domain在保Waybelow序的Scott连续映射下保持不变。     

Z-半连续格

作为连续格和半连续格的公共推广,引入了广义理想子系统Z、Z-半连续格及强Z-连续格的概念,讨论了它们的基本性质和Z-半连续格的函数空间的结构,给出了强Z-连续格到方体的嵌入,证明了当子系统Z满足一定条件时,Z-半连续格范畴SCLZ是笛卡儿闭的。     

The bounded-open topology on function spaces

For any regular space Z It is shown, 1) that the bounded-open topology T on C(Y,Z) is splitting and it is also the smallest jointly continuous topology whenever Y is locally bounded, 2) if Y is locally bounded or if X × Y is a boundedly generated space, then there is a natural bijection on C(X × Y,Z) onto C(X,(C(Y,Z),T_eo) which is actually a homeomorphism with respect to the bounded-open topology on both function spaces, 3) The path components of (C(Y,Z),T_eo) are exactly its homotopy classes whenever Y is boundedly generated, 4) The bounded-open topology Teo induces contravariant and covariant Homotopy preserving function-space functors. Further, 5) T_eo reduces to the compact-open topology t_co whenever the domain Y is regular; but in general, T_eo is finer than T_co (assuming the domain is Hausdorff or the range is either Hausdorff or regular).     

L-Fuzzy Domain上的广义Scott拓扑

本文研究了L-fuzzy domain上的广义Scott拓扑,利用[1]中引入的L-fuzzy domain.获得了其上的广义Scott拓扑,它是Domain上Scott拓扑的推广,证明了一个L-fuzzy单调映射是L-fuzzy Scott连续映射当且仅当它关于L-fuzzy domain上的广义Scott拓扑连续.     

ON THE SPACES OF THE MAXIMAL POINTS

For a continuous domain D, some characterization that the convex powerdomain CD is a domain hull of Max(CD) is given in terms of compact subsets of D. And in this case, it is proved that the set of the maximal points Max(CD) of CD with the relative Scott topology is homeomorphic to the set of all Scott compact subsets of Max(.D) with the topology induced by the Hausdorff metric derived from a metric on Max(D) when Max(D) is metrizable.