相对相容定向集及其应用
Relative Consistent Directed Sets and Its Application
摘要:
给出相对相容定向集与相对相容定向完备集的定义，探讨二者的基本性质。在相对相容定向完备集上定义一种新的way below关系，研究其具有的一些性质。此外，引入相对相容连续偏序集概念，并证明对于给定集合T，相对相容way below关系在相对相容连续偏序集中具有插入性。
Abstract:
In this paper, firstly we introduce the relative consistent directed set and relative consistent complete set and study some basic properties of them. Then we define a new way below relation on the basic of the relative consistent complete set and study its properties. In addition, we introduce relative consistently continuous posets and obtain that the interpolation of relative consistent way below relation is satisfied in the set T of the relative consistently continuous poset.
参考文献
|
[1]
|
Scott, D. (1972) Continuous Lattices. Lecture Notes in Mathematics 274. Springer-Verlag, Berlin, 97-136.
|
|
[2]
|
Gierz, G., Hofmann, H., Keimel, K., et al. (2003) Continuous Lattices and Domains. Cambridge University Press, Cambridge. [Google Scholar] [CrossRef]
|
|
[3]
|
Lawson, J.D. (2001) Encounters between Topology and Domain Theory. In: Keimel, K., el al., Eds., Domains and Processes, Kluwer Academic Publicatishers, 1-28.
|
|
[4]
|
Abramsky, S. and Jung, A. (1994) Domain Theory. Handbook of Logic in Computer Science (Vol. 3). Clarendon Press, Oxford.
|
|
[5]
|
Xu, L.S. (2006) Continuity of Poset via Scott Topology and Sobrification. Topology and Its Applications, 153, 1886-1894. [Google Scholar] [CrossRef]
|
|
[6]
|
Arhangel’skii, A.V. (1996) Relative Topological Properties and Relative To-pological Space. Topology and Its Applications, 70, 87-99. [Google Scholar] [CrossRef]
|
|
[7]
|
徐罗山. 相容连续偏序集及其定向完备化[J]. 扬州大学学报(自然科学版), 2000, 3(1): 1-10.
|