1) continuous lattice
连续格
1.
In this paper,we prove that a complete lattice L is continuous if and only if the Scott open filter topology σF(L) on L is a continuous lattice and finer than the upper topology on L.
该文证明了完备格L为连续格当且仅当L上的Scot开滤子拓扑σF(L)为连续格,且细于L上的上拓扑。
2.
Order structures, topology structures and algebra structures can interact with each other, which are sufficiently reflected in continuous lattices and domains.
随着计算机科学的发展,序结构愈来愈受到人们的关注,它与拓扑结构、代数结构相互结合,充分体现在连续格与Domain理论中,有着重要的研究价值。
3.
The sufficient and necessary conditions for a continuous lattice to be a strong FS-Lattice are obtained.
在强FS-Poset的基础上,给出了强FS-Lattice的概念,探讨强FS-Lattice的若干性质,用函数空间刻划了强FS-Lattice,得到了连续格是强FS-Lattice的充要条件。
2) continuous lattices
连续格
1.
By the theory of completely distributive lattices,directed minimal subsets in complete lattices and directed minimal maps in continuous lattices are defined.
仿照完全分配格中的做法,定义了完备格上的定向极小集和连续格上的定向极小映射,从而得到了连续格的定向极小集刻画,并研究了它们的一些性质。
2.
In this paper,the characterization of homomorphisms of the continuous lattices by means of the directed mininal sets has been given,an d the two corresponding extended theorems have been made.
基于定向极小集 ,给出了连续格序同态的一个刻划和两个相应的扩张定
3.
The theory of continuous lattices is applied to investigate the spaces of semicontinuous functions.
应用连续格理论来研究半连续函数空间,主要结果是:(1)拓扑空间X到单位区间[0,1]的下(上)半连续函数空间L(X)(U(X))的Wijsman收敛是拓扑的,当且仅当X局部紧。
3) semicontinuous lattices
半连续格
1.
However, the fact that SICp category does not exist establishes the basis of further study work on the Cartesian closedness of categories for semicontinuous lattices.
讨论了两类半连续格范畴有限乘积性的存在性,得到了SIC_P范畴具有有限乘积性而SIC_q范畴有限乘积不存在的结果,为进一步研究半连续格范畴的Cartesian封闭性奠定了一定的基础。
2.
Especially gives a new characterization on morphisms of category of semicontinuous lattices.
着重于半连续格范畴的态射类的构成,给出了一个新的刻画。
4) meet continuous lattices
交连续格
1.
The following concepts are introduced: quotient, subalgebra and homomorphism of completely distributive lattices and meet continuous lattices.
介绍了完全分配格、交连续格的商集、子代数、同态的概念。
5) Z continuous lattice
Z连续格
6) Semicontinuous Lattice
半连续格
1.
Semi-Scott Topology and Semi-Lawson Topology on Semicontinuous Lattices;
半连续格上的半Scott拓扑与半Lawson拓扑
2.
Mapping Properties of Semicontinuous Lattices and Semialgebraic Lattices;
半连续格和半代数格的映射性质
补充资料:连续格
连续格
continuous lattice
用来作为计算的一个抽象理论的基础,利用这个理论,使得一个“计算”通过“有限逼近”来逐步逼近. 不应当把连续格与连续几何(continuous罗ometr-ies)相混淆,后者是一类全然不同的完全格.关于连续几何的概念,见正交模格(orthomedular lattice).连续格{阴tin~r沥此、。en眯p‘【~pe似皿!【补注】一种类型的完全格(田mPlete lattice),最初是D 5.5。认以这个名称对它进行研究的({闰l,{AZI),它的例子见于代数分析和拓扑的许多领域.连续格通常是藉,个辅助关系来「定义,那是一个可以定义在任何完全格.」:千J的各之,l低l关系(wa、一below relatl(,n)称儿素卜各向低犷七索川记作卜《住),如果对4的任 一兵有supN)“的有向f集S、总有人〔S使得、)儿所有各向低U“的)L素组成个理想t(a)f实际L是所有满足s叫)I淤“的理想I之交);若对于睡个。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条