共查询到20条相似文献,搜索用时 0 毫秒
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.
主要讨论Domain函数空间上的Isebell拓扑和Soott拓扑何时相同的问题,对这一问题,刘应明和梁基华已给出了部分的回答,作者改进了这一结果,并且对L—Domain得到了进一步的结果。 相似文献
3.
借助于Dcpo上的Scott拓扑,引进Scott吸收Dcpo的概念,并证明了函数空间上Scott拓扑与Isbell拓扑一致的必要条件是该函数空间的值域Dcpo是Scott吸收的.结果表明,Scott吸收性是Lawson-Mislove问题的一个必要性刻画. 相似文献
4.
对任意一族具有小元的dcpo{Li}i∈I,证明了若每个σ(Li)是连续格,则ⅡLi上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于连续函数way-below关系的一些结果。 相似文献
5.
函数空间的拓扑结构研究主要考虑下面的问题:假设有一族函数构成的集合,其上赋予了某种自然的拓扑,因此构成了拓扑空间,研究这个空间的拓扑性质,进而探讨这个空间是否同胚于一个经典的空间.本文总结了这个问题的一些经典结果和最新结果.例如,同胚于e2的拓扑空间,Hilbert方体Q-流形和e2-流形的拓扑特征,非拓扑完备的无限维... 相似文献
6.
7.
【目的】丰富拓扑压理论,获得更广泛的拓扑压结构。【方法】利用紧致化方法处理一般拓扑空间,使得空间结构更为简洁。【结果】定义了新的空间中的拓扑压。【结论】讨论了新的拓扑压的性质并进行了论证。 相似文献
8.
利用循环群的特殊代数结构,引入了Scott子群拓扑σP(G),讨论了循环群偏序集上3种不同拓扑之间的关系,即循环群拓扑O(G)、Scott拓扑σ(G)和Scott子群拓扑σP(G),并得出若(G,O(G))是T0的紧空间且sub(G)分离G中的点,则CO(G)=σ(G)=σP(G). 相似文献
9.
10.
讨论了函数空间Ck(X)在赋予紧开拓扑下的T-tightness和set-tightness性质,利用开k覆盖获得了Ck(X)是T-tightness空间和set-tightness空间的两个对偶定理,将点态收敛拓扑函数空间Cp(X)的相关结论推广到紧开拓扑函数空间Ck(X)上. 相似文献
11.
本文讨论了广义有界变差函数空间(VBG[a,b]和VBG,[a,b])及这两种空间在的子空间(ACG[a,b]和ACG,[a,b])上的拓扑结构及这两种空间中紧集的构造。 相似文献
12.
13.
14.
代数L-Domain的函数空间 总被引:1,自引:1,他引:0
利用梁基华教授等提出的步函数的新定义,讨论了一般情况下代数L-domain的函数空间.证明了如果L_1和L_2都是代数的L-domain,则函数空间[L_1→L_2]也是代数的L-domain. 相似文献
15.
利用协变和反变观点给出了拓扑学中强拓扑函数空间的一个新刻划.同时也给出了两个协变拓扑空间可乘的一个充分条件. 相似文献
16.
徐晓泉 《江西师范大学学报(自然科学版)》1998,(2)
该文证明了完备格L为连续格当且仅当L上的Scot开滤子拓扑σF(L)为连续格,且细于L上的上拓扑.特别地,若L的素元集是序生成集,则L为连续格当且仅当σF(L)为连续格. 相似文献
17.
强拓扑函数空间的一种新刻划及两个协变拓扑空产可乘的一个充分条件 总被引:1,自引:0,他引:1
利用协变和反变观点给出了拓扑学中强拓扑函数空间的一个新刻划,同时也给出了两个协变拓扑空间可乘的一个充分条件。 相似文献
18.
张杰 《锦州师范学院学报(自然科学版)》2001,22(4):1-3
借助于集合套理论,在Smooth L-Fuzzy拓扑空间上给出了Smooth内部算子的一些等价刻画,从而揭示了Smooth L-Fuzzy拓扑空间上Smooth内部算子与L-Fuzzy拓扑空间上内部算子的内在联系,并讨论它的一些应用。 相似文献
19.
包玉娥 《内蒙古师范大学学报(自然科学版)》1998,27(2):90-94
在LF拓扑线性空间的基础上,给出了LF拓扑线性空间的若干特征刻划,简化了判断LF拓扑线性空间的条件,证明了LF拓扑线性空间是一种“L-好的推广”,研究了LF拓扑线性空间的层次结构,揭示了LF拓扑线性空间与分明拓扑线性空间的内在联系。 相似文献
20.