【摘 要】
：
在计算机科学中,我们使用拓扑来描述信息的逼近状态,Domain上的Scott拓扑是最基本的拓扑.一个自然的问题是:对任意一族dcpo{L:i∈I},其积Domain П L上的Scott拓扑是否与其上
论文部分内容阅读
在计算机科学中,我们使用拓扑来描述信息的逼近状态,Domain上的Scott拓扑是最基本的拓扑.一个自然的问题是:对任意一族dcpo{L<,i>:i∈I},其积Domain П L<,i>上的Scott拓扑是否与其上积拓扑Пσ(L<,i>)相同?该文通过例子说明存在一族dcpo{L<,i>}i∈I,且每个σ(L<,i>)连续,但σ(П L<,i>)≠Пσ(L<,i>).如果{L<,i>}i∈I存在最小元,我们将证明结论是成立的.同时,way-below关系是从序结构角度描述信息的逼近状态的重要工具.该文获得了Domain上连续函数的way-below关系的一些结果.另一方面,K.Martin为量度信息的逼近程度,引入了测度、诱导Scott拓扑和μ-拓扑等概念.该文推广μ-拓扑概念,引入了↑ μ-拓扑,研究了它的基本性质并得到了在稳定偏度量空间的条件下,偏度量拓扑和↑μ-拓扑是一致的.
其他文献
设(Z)作用于光滑闭流形Mn,其中(Z)是由k个可交换的对合生成的群,则作用的不动点集F是M的闭子流形的不交并.如果F的每个分支具有常维数n-r,则称F具有常余维数r.令J是具有下述
在该文,我们对圆填充,尤其是有分枝的圆填充进行了深入的研究,首先讨论无界度的无限有分枝圆包装(circle packing)的刚性(rigidity),证明了几乎填满整个Riemann球面S2或双曲
田东县是百色起义的策源地,1929年邓小平领导的工农武装在田东打响了百色起义第一枪,建立了右江苏维埃政府。在全面建设小康社会的今天,田东县在百色市委的直接指导下,积极借
在该文中,首先给出了Steinberg猜想的一个新形式,证明了没有4到6面的平面图中如果任意两个3圈的距离至少为3,那么这个图就是可以3色的.我们还得到平面图的一个类似结论:没有4
随机微分方程理论在描述事物运动时加入了环境中必不可少的随机因素的影响，具有更好的理论意义和实际意义，因而在自动化控制、疾病防控、经济学、生态系统等领域得到了广泛应用
因特网和移动通信飞速发展对新一代无线通信系统(Beyand 3G或4G)的传输速率提出了更高的要求,这就需要采用更先进的技术来实现更高的传输速率.然而,可以利用的频谱资源是有限
在机械加工、航空航天、考古研究等等领域中,很多零器件都是由一个或多个旋转面构成.在很多情况下,为了更好的对此类零件进行修改,需要将已经制造好的零件在计算机中重新表示
该文首先讨论了极小极大定理中的一个重要定理-山路引理,在定义了算子的(PS)条件和算子的临界点概念之后,将其从泛函形式推广到一般的算子形式;然后考虑了山路引理的某些推广
本名洪东兵,1947年生于江苏泰州。作家、书法家、画家。原泰州市文联主席。出版中篇小说集《水荡是面镜子》(中国文联出版社),在地、省以上刊物发表散文一百多篇。现任教于北
Ianiro和Lebowitz提出的Ianiro-Lebowitz模型是一种特殊的动力学方程,得到了国内外很多学者的关注. Cercignani在文献中研究了描述在“两墙”之间运动的气体分子的Ianiro-Leb