排序方式: 共有20条查询结果,搜索用时 31 毫秒
11.
概率幂domain是domain理论中一类非常重要的幂domain.1989年,Jones和Plotkin证明了连续domain的概率幂domain连续.本文证明了若D是拟连续domain或SL-domain,则D的概率幂domain连续当且仅当D连续. 相似文献
12.
作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系,给出了乘积的下拓扑空间等于下拓扑乘积空间和乘积的Lawson拓扑空间等于Lawson拓扑乘积空间的充分必要条件,修正了专著《Continuous Lattices and Domains》的若干不正确的结论. 相似文献
13.
14.
通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间.该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质.特别地,本文证明了所有定向空间及连续函数构成的范畴是T0空间范畴的余反射子范畴并且具有cartesian闭性以及定向完备偏序集范畴是该范畴的真子范畴. 相似文献
15.
讨论了C-双有限domain的SM性质,并证明:(i)所有 C-双有限 domain 具有 SM性质;(ii)连续L-domain D是C-双有限domain 当且仅当D具有SM性质当且仅当D上存在基B使得其理想完备化Id(B)是双有限domain. 相似文献
16.
作者研究了线性FS格上的线性投射空间的性质,证明了:线性FS格的子类完全分配格具有连续的线性投射空间当且仅当它的线性投射空间同构于幂集格. 相似文献
17.
滤子和开滤子是研究序结构和拓扑结构的非常有用的工具.作者通过反例说明L即使为完全分配代数格也无法保证OFilit(L)的分配性,并且证明了对于连续分配半格L,其开滤子Domain OFilt(L)为分配格当且仅当L稳定连续. 相似文献
18.
作者讨论了偏序集范畴的Cartesian闭性, 给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件. 特别地, 作者证明了交连续半格(不要求定向完备性)范畴是Cartesian闭范畴, L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴. 相似文献
19.
本文在定向空间的基础上通过收敛的方式定义了拟连续空间和交连续空间,推广了Domain理论中的相应结果.主要结果如下:(1)一个T_0空间是拟连续的,当且仅当它是局部强紧的,当且仅当它的开集格在集包含关系下是超连续格,当且仅当它的sober化是拟连续dcpo;(2)一个定向空间是交连续的当且仅当它的闭集格在集包含关系下是一个Frame;(3)一个T_0拓扑空间是c-空间当且仅当它既是交连续的又是拟连续的. 相似文献
20.
本文通过网的收敛性给出了由Erné引入的c-空间的等价刻画,所得结果有助于Simpson等提出的拓扑domain理论的研究. 相似文献