Scott拓扑相关论文
序结构、拓扑结构和代数结构并称数学中的三大母结构,三大结构的相互交叉与融合极大地推动了数学本身的发展.Stone对偶理论是20世......
Domain理论是理论计算机科学与数学的交叉学科.量化Domain的核心思想是刻画信息之间的逼近程度,Fuzzy Domain是量化Domain的一个研......
随着理论计算机科学的快速发展和数学基础学科的不断完善,一个新的研究领域Domain理论孕育而生且得到了蓬勃有效的发展.目前仍处于......
Domain理论是D.Scott在60年代末提出来的,它是函数式程序语言的指称语义模型.序结构和拓扑结构是Domain理论中两个重要的数学结构,......
在计算机科学中,我们使用拓扑来描述信息的逼近状态,Domain上的Scott拓扑是最基本的拓扑.一个自然的问题是:对任意一族dcpo{L:i∈I......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的重视，已成为数学与计算机科学研究者共同感兴趣的领域. ......
本文研究对象是带有偏序逼近族的偏序集(参见文献[1])(简称R-偏序集).我们的目的在于探索R-偏序集这一数学结构能否为语义域的研究......
提出了R-偏序集的概念，本文通过有趣的例子说明了偏序族中的偏序在逼近某个偏序时未必保持cpo (complete partialorder)，代数cpo或连......
函数空间是Domain理论中的基本结构，讨论在函数空间上Isbell拓扑和Scott拓扑何时一致问题是研究函数空间拓扑结构的重要方面。刘应......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领......
本学位论文讨论了QFS-domain对某些子结构和收缩核的遗传性，证明了QFS-domain对Scott闭集和某一类特殊的开子空间是可遗传的；构造了......
本文主要探讨了函数空间的连续性及拟连续性问题,定义了拟连续函数空间和P-拟连续函数空间,进而讨论了拟连续函数空间的连续性,并......
本研究基于将拟连续偏序集分别推广至广义可数逼近偏序集与拟连续偏序集的思想，借助于正规完备化算子引入可数S2-拟连续偏序集的概......
本文利用引入的KS性质,刻划了那些其Scott拓扑可由开滤子生成的分配备格.该结果也是对［1］中一公开问题的一种解答.本文的刻划定理对......
考察了FS-domain对某些子结构和收缩核的遗传性.证明了FS-domain对闭子空间和一类特殊的开子空间均是可遗传的,还证明了FS-domain......
研究了直觉模糊集的真值域L*上的"way-below"关系,利用L*上的"way-below"关系,构造了[0,1]-拓扑范畴[0,1]-Top与Coker意义下的直觉......
作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系，给出了乘积的下拓扑空间等于下拓扑乘......
对任意一族具有小元的dcpo {Li}i∈I,证明了若每个σ(Li)是连续格,则∏Li上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于......
作者考查了两类重要拓扑即Hausdorff拓扑、Scott拓扑的对偶及它们各自何时可以看作对偶拓扑，并由此对Mislove和Lawson提出的一个公......
引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证......
【摘要】T1空间X的Wallman紧化W(X)是在X的所有闭集族上的极大滤子族上构造拓扑而获得的.所有闭集族上的滤子族作为dcpo而具有Scot......
借助于Dcpo上的Scott拓扑,引进Scott吸收Dcpo的概念,并证明了函数空间上Scott拓扑与Isbell拓扑一致的必要条件是该函数空间的值域D......
本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理.其主要结果是:连续L-domain是Lawson紧的当且仅......
利用循环群的特殊代数结构，引入了Scott子群拓扑圹σp（G），讨论了循环群偏序集上3种不同拓扑之间的关系，即循环群拓扑O（G）、Scott拓扑和Sco......
给出了连续Domain基的一些等价刻划。引入了连续Domain权的概念，并且讨论了它与连续Domain带上Scott拓扑构成的拓扑空间权的关系。......
在局部dcpo上引入了S-极限的概念,并利用S-极限来刻划Scott拓扑和连续的局部dcpo.其主要结果:证明了U是Scott开集当且仅当U∈O(S);......
引入局部条件并半格(简记为L-cusl)及其理想完备化等概念. 证明了: 任一代数Ldomain的紧元集是L-cusl; 任一代数L-domain是其紧元......
对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性：仿sober和超sober分离性;讨论了诸分离性的相关性质和相互......
引入相容连续Domain的权与稠密子集的概念，在此基础上定义相容连续Domain的特征与浓度。给出局部基的刻画，并讨论相容连续Domain的特......
引入了连续Domain的局部基和稠密子集的概念,在此基础上定义了连续Domain的特征及浓度. 给出了局部基的刻画,并讨论了连续Domain的......
引入了拟C-连续偏序集的概念，利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格．证明了满足性质M的dcpo上......
本文给出了从一个集合构造、R-偏序集的方法，并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明，同时还给出．R-偏序集上......
设（A，）是偏序集，ω是自然数集，若对任意n∈ω，n是A上的偏序， n＋1包含于 n,∩∈ω n= ，则称（A， ）是带有偏序逼近族.R={ n│n∈ω}的偏序集，简称为......
本文研究了L-fuzzy domain上的广义Scott拓扑，利用[1]中引入的L-fuzzy domain．获得了其上的广义Scott拓扑，它是Domain上Scott拓扑的推......
在定向完备偏序集（即dcpo）上引入了拟基的概念，给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与......
本文构造了两个例子：（1）利用康托三分集构造了一个非连续的DCPO，这个非连续DCPO关于所有Scott开滤子为子基生成的拓扑是核紧的，T0的，且以......
讨论了交连续dcpo的遗传性和不变性，证明了如下结论：（1）交连续dcpo对于开子空间和闭子空间都是可遗传的；（2）交连续dcpo在加最大元和去最小......
引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的......
定义相容Domain的子Domain与子空间等概念，得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论，证明了相容连续Domain......
本文的目的是在偏序集上直接定义和研究网和滤子的Scott收敛理论，指出其相互之间的协调性，及其它们的导出拓扑与Scott拓扑的一致性。......
研究偏序集上的S-超连续性以及与其他广义连续性间的若干关系。利用提升和主理想S-超连续等概念给出了s-超连续性的几个等价刻画。......
在连续格理论的基础上继续探讨连续Domain的权与相应Scott拓扑空间的权之间的关系,并进一步讨论其与相应的Lawson拓扑空间的权之间......
从序与拓扑的交叉考虑,进一步研究偏序集在多种内蕴拓扑下的连通性和局部连通性.主要结果有:(1)一个偏序集是序连通的当且仅当它赋......
引入局部连续Domain的局部基和稠密子集的概念,在此基础上定义了局部连续Domain的特征与浓度.给出了局部基的刻画,并讨论局部连续D......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
引入了相容连续偏序集及其定向完备化等概念 ,证明了相容连续偏序集的定向完备化是连续偏序集 ;利用主理想及 Scott拓扑刻画了相容......
