共查询到19条相似文献,搜索用时 78 毫秒
1.
原雅燕 《四川大学学报(自然科学版)》2010,47(1)
讨论在函数空间上Isbell拓扑和Scott拓扑何时一致是domain理论中很重要的问题。作者给出了两个主要定理:(1) L 是带有性质m 的含最小元的连续domain,则函数空间[X→L]上Scott拓扑与Isbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain.
(2) L 是含最小元的连续domain,则函数空间[X→L]上Scott拓扑与 Isbell拓扑对于所有RW空间X一致当且仅当L是Lawson紧的。 相似文献
2.
对任意一族具有小元的dcpo{Li}i∈I,证明了若每个σ(Li)是连续格,则ⅡLi上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于连续函数way-below关系的一些结果。 相似文献
3.
证明了当X是稳定空间,M是一个特定的既不是L-domain也不是B-domian的DCPO时,[X→M]是连续DCPO. 相似文献
4.
DCPO L被称作Σ-core紧的,如果当L赋以Scott拓扑后是一个core紧空间,长期以来,从序结构的角度刻划那些Σ-core紧的DCPO一直是悬而未解的问题。在一定的限制条件下讨论上述问题,并得到了一些结果。 相似文献
5.
作者讨论在函数空间上Isbell拓扑和Scott拓扑何时一致的问题,给出了以下主要定理:设L 是带有性质m的含最小元的连续domain,则函数空间[X→ L]上Scott拓扑与Isbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain. 相似文献
6.
徐晓泉 《江西师范大学学报(自然科学版)》1994,18(1):62-71,104
本文得到了连续格.超连续格和完全分配格的一组代数刻划和一组拓扑式刻划,对连续格和完全分配格的次直积表示定理的经典证明给出了一个简洁的直接处理,并在更广的框架下建立了一种相当完善的诱导空间理论——Scoot诱导空间理论,表明格值Scott连续映射可在连续格理论、经典格论、一般拓扑学和L-不分明拓扑学之间提供一个重要的连结物. 相似文献
7.
本文在双定向完备偏序集上定义了双Scott拓扑,讨论了它的一些性质,得到关于双Scott拓扑紧性的刻画。 相似文献
8.
研究了Scott Domain上稳定映射的性主Scott Domain上稳定映射与拓扑之间的联系,给出了Scott Domain上稳定映射的特征定理,得到了Sctoo Domain上的稳定映射下Lawson拓扑之间的关系定理。 相似文献
9.
徐晓泉 《江西师范大学学报(自然科学版)》1998,22(2):97-100
该文证明了完备格L为连续格当且仅当L上的Scott开滤子拓扑σF(L)为连续格,且细于L上的上拓扑。特别地,若L的素元集是序生成集,则L为和当且仅当σF(L)为连续格。 相似文献
10.
11.
赵彬 《陕西师范大学学报(自然科学版)》1999,27(3)
研究了 Scott Dom ain 上稳定映射的性质及 Scott Dom ain 上稳定映射与下拓扑之间的联系,给出了 Scott Dom ain 上稳定映射的特征定理,得到了 Scott Dom ain上的稳定映射与 Law son 拓扑之间的关系定理 相似文献
12.
证明拓扑空间X是点有限半可展空间的充分必要条件是X有一致基,从而实质上改进了Alexander的几个定理。 相似文献
13.
所谓一个格是ΣF-core紧的,是指在赋以Scot开滤子拓扑之后,这个格作为拓扑空间是core紧的.证明了一个拓扑空间的开集格是ΣF-core紧的当且仅当该空间是core紧的 相似文献
14.
谷建胜 《西南师范大学学报(自然科学版)》2005,30(4):609-611
映射φ:X→Y称为覆盖映射,如果φ是k到1的开的局部同胚映射,证明了定理“对于紧度量空间之间的同胚映射f:X→X及F:Y→Y,如果存在覆盖映射φ:X→Y,使得gφ=φf,则f可扩蕴含g可扩”中的映射φ所含条件“k到1”可以省略。 相似文献
15.
作者考查了两类重要拓扑即Hausdorff拓扑、Scott拓扑的对偶及它们各自何时可以看作对偶拓扑,并由此对Mislove和Lawson提出的一个公开问题作了部分回答. 相似文献
16.
17.
18.
Cesaro空间的一个注记 总被引:2,自引:0,他引:2
俞鑫泰 《华东师范大学学报(自然科学版)》1990,(4):19-21
本文讨论Cesaro空间的几何性质.(1)证明Cesaro空间不是一致凸的(UR),回答了P.Y.Lee教授的一个问题.(2)指出Cesaro空间是接近一致凸(NUC)但不具一致正规结构(UNS)空间的例子. 相似文献
19.
曾焕良 《福建师范大学学报(自然科学版)》1990,6(2):19-20
本文直接证明满足[1]定理7.1条件(ⅰ′)-(ⅵ′)的Lasalle拟范族只有‖xλ‖d≡0(x∈X,λ∈(0,1],d∈D),它所确定的空间就是[2]推论3的平凡(L)型空间。 相似文献