一些Scott连续自映射的不动点集的性质

研究了一些连续domain在幂等的连续自映射下的不动点集的性质,并证明了PF-domain在Scott连续自映射下的不动点集为连续的dcpo(定向完备集).

格值Scott连续映射与Scott诱导L-拓扑(Ⅰ)

本文首先指出由集X上的拓扑可诱导映射格L^X上的三对重要的算子。基于对这三对诱导算子所作的深入讨论,分别获得了格值Scott连续映射和格值双Scott连续映射的一个分析式刻划和一组富于L-不分明拓扑学特色的刻划。作为特例,得到了保定向并映射的一组拓扑式刻划。上述诱导算子和格值Scott连续映射的刻划具有多方面的应用价值。本文给出了其中的一个应用,续文进一步给出了它们在(1)刻划连续格,超连续格与完全分配格;(2)建立连续格与完全分配格的次直积表示理论;(3)建立Scott诱导空间理论方面的重要应用。

格值Scott连续映射与Scott诱导L-拓扑(Ⅱ)

本文得到了连续格.超连续格和完全分配格的一组代数刻划和一组拓扑式刻划,对连续格和完全分配格的次直积表示定理的经典证明给出了一个简洁的直接处理,并在更广的框架下建立了一种相当完善的诱导空间理论——Scoot诱导空间理论,表明格值Scott连续映射可在连续格理论、经典格论、一般拓扑学和L-不分明拓扑学之间提供一个重要的连结物.

Scott连续自映射不动点集的性质研究

主要研究了一些连续domain上Scott连续自映射的不动点集的性质.证明了若L是双有限domain,f:L→L是一致交换映射,则Fix(f)是双有限domain;提出了连续cpo上不动点集的一个例子;并证明了若L是有界完备domain,f:L→L是稳定映射且max(L)Fix(f),则Fix(f)是L的收缩等性质.

全连续映射的双投影逼近及其应用

本文证明了Hilbert空间X上的连续映射G∶X→X为全连续的充要条件是G有双投影逼近性质,即任给X的有界子集D与ε>0,存在X的有限维子空间E,使得‖PG(Px)—G(x)‖≤ε,(vx∈D),其中P∶X→E为正交投影.还给出了这一结果到全连续梯度向量场的Morse指标上的应用.

指数有界双连续n阶α次积分C群的谱映射定理

利用经典算子半群理论中的方法和指数有界双连续n阶α次积分C半群的概念,基于n阶α次积分C半群的谱映射定理,得到指数有界双连续n阶α次积分C群的谱映射定理.

稳定连续半格的闭包空间表示

为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映射的概念,刻画了以Scott连续映射为态射的稳定连续半格范畴和以逼近映射为态射的可乘闭包空间范畴间的等价性.

双Z-连续格和双Z-Scott拓扑的性质

在完备格上定义了双Z-连续格和双Z-Scott拓扑,讨论了双Z-Scott拓扑的格序性质.得到了当P是Z-拟连续时,双Z-Scott拓扑是T2的;证明了双Z-连续格在保Z-双小于关系和对偶Z-双小于关系的双Z-Scott连续映射下的像仍是双Z-连续格.

Scott连续映射的分析式与层次式刻划及应用

首先建立了拓扑空间到连续格的Ｓｃｏｔｔ连续映射的分析式与层次式刻划；其次利用这些刻划得到了连续格的分析式与层次式刻划，改进了有关作者的完全分配格的分析式刻划．

格值Scott连续映射的网式刻划

近二、三十年来,由于计算机科学所引起的关注,有关序结构的研究日益受到人们的关注.在此背景下,70年代初由Scott等人开创了连续格理论的研究.近年来,受L-不分明紧化理论方面工作的刺激,有关诱导空间和格值半连续映射的研究引起了人们的浓厚兴趣.在文[5]中,徐晓泉较为深入地研究了格值Scott连续映射的刻划及其结构,并就值域为连续格情形建立起了一种相当完善的诱导空间理论——Scott诱导空间理论,丰富了文[2,3]所建立的诱导空间理论.

模糊双拓扑空间中相对半开集与相对半连续映射

本文在模糊双拓扑空间中引入了相对半开（闭）集，相对半连续映射的概念，给出了它们的一系列性质。

格值半连续映射和L-不分明Hausdorff良紧空间

本文给出了格值映射上（下）半连续性的一组代数刻划，证明了Hausdorff良紧空间的子集是良紧集当且仅当它是底空间上的上半连续映射，进而给出了Hausdorff良紧空间的拓扑结构。应用这一结果，改进了[4]关于T2^*弱诱导紧化方面的基本结果，使之适合于更一般的Hausdorff紧化；本文还讨论了良紧空间上的连续映射的若干性质。

Fuzzy双拓扑空间中的拟开集和拟连续

将fuzzy拟开集和拟连续映射的概念推广到fuzzy双拓扑空间,引入(i,j)-fuzzy拟开集、(i,j)-fuzzy拟闭集、双fuzzy拟连续映射等概念,并研究了其相关性质.

双参数C半群的谱映射定理

给出双参数C半群谱的定义及其谱映射定理,并研究双参数C半群的谱与其生成元的谱之间的关系。

Fuzzifying连续映射的等价刻画

给出 L - fuzzifying连续映射的若干等价刻画 ,运用集合套的方法 ,证明了 :一映射为L -

偏序集上的双Scott拓扑

在偏序集上定义了双Scott拓扑,并给出了偏序集上双Scott拓扑的一些性质及其刻画.对于双连续偏序集,一个凸集W∈■(P)当且仅当W满足命题1(1).

Dom ain理论中的映射

Domain理论的目的是为程序设计语言提供数学语义模型 ,信息状态域的指称称为 Domain,而程序的指称是 Domain间的映射。本文主要介绍 Domain理论中的三类重要映射—— Scott连续映射、Berry的稳定映射以及 CM映射的定义以及等价刻画和表示。

双层空间的刻画

该文利用双g-函数和半连续函数给出了双层空间的刻画,得到:空间(X,Υ_1,Υ_2)是双层当且仅当对于每一个f∈Υ_i-LSC(X),都对应一个h(f)∈Υ_i-LSC(X)∩Υ_j-USC(X)使得(1)0≤h(f)≤f且当f(x)>0时,0<h(f)(x)<f(x).(2)当f≤f′时,h(f)≤h(f′).

相容连续Domain的不变性

引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证明了相容连续Domain或相容代数Domain在保局部基的Scott相容连续满映射下保持不变.

完全诱导双拓扑空间

引入半正则化双拓扑空间的概念 ,研究其性质 ;利用 (τi,τj)完全下半连续映射引入分明双拓扑空间的完全诱导双拓扑空间的概念并研究它们间的联系 ;