论文标题
有向空间中力量空间结构的连续性
Continuity of Powerspaces Structures in Directed Spaces
论文作者
论文摘要
定向空间的动力空间在建模非确定功能编程语言的语义方面起着重要作用。自由代数的方式定义了定向空间的上，下部和凸力空间的概念[25]。在本文中，我们研究了定向空间的功率结构的连续性，并证明了连续空间的定向下功率，定向的上功率空间和定向凸功率空间是连续的空间。
Powerspaces of directed spaces play an important role in modeling the semantics of nondeterministic functional programming languages. The notions of upper,lower and convex powerspace of a directed space are defined by the way of free algebras[25]. In this paper, We study the continuity of power structures of directed spaces and show that the directed lower powerspaces, directed upper powerspaces and directed convex powerspaces of continuous spaces are continuous spaces.
