相容Domain间Scott连续自映射的不动点 被引量：1

1

作者 郭智莲 赵彬 《模糊系统与数学》 CSCD 北大核心 2011年第5期38-42,共5页

研究相容连续L-dom a in之间的稳定映射以及相容FS-dom a in之间的一致交换映射的不动点之集的性质。

关键词 相容Domain scott连续映射 不动点

原文传递

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

2

作者 张滦云 杨利群 《苏州大学学报（自然科学版）》 CAS 2009年第3期16-18,共3页

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

关键词 scott连续自映射 不动点集 双有限domain 有界完备domain 一致交换映射 稳定映射

下载PDF 职称材料

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

3

作者 张德学 《四川大学学报（自然科学版）》 CAS CSCD 1994年第2期137-140,共4页

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

关键词 连续格 scott 连续映射 拓扑空间

下载PDF 职称材料

笛卡儿闭Domain范畴的两个重要性质

4

作者 刘妮 《模糊系统与数学》 CSCD 北大核心 2006年第6期28-34,共7页

对于CONT的任意一个笛卡儿闭的满子范畴C,构造CONT的两个新的满子范畴R-C(以C对象的收缩为对象的范畴)和B-C(以C扩张序列的双极限为对象的范畴),并证明了它们都是笛卡儿闭范畴。由于R-C和B-C都包含C为其满子范畴,利用上述结果可得CONT... 对于CONT的任意一个笛卡儿闭的满子范畴C,构造CONT的两个新的满子范畴R-C(以C对象的收缩为对象的范畴)和B-C(以C扩张序列的双极限为对象的范畴),并证明了它们都是笛卡儿闭范畴。由于R-C和B-C都包含C为其满子范畴,利用上述结果可得CONT的极大笛卡儿闭子范畴必对收缩和双极限封闭。本文还从范畴笛卡儿闭性的角度给出了Domain理论中一个公开问题的等价描述。 展开更多

关键词 连续DOMAIN scott连续映射 收缩 双极限 笛卡儿闭范畴

下载PDF 职称材料

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

5

作者 徐晓泉 《江西师范大学学报（自然科学版）》 CAS 1993年第4期286-294,共9页

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

关键词 诱导算子 格值scott连续映射 格值scott连续映射空间 连续格 完全分配格

下载PDF 职称材料

模糊一致集的模糊一致基及其模糊序同态 被引量：1

6

作者 李辉 姜广浩 刘东明 《模糊系统与数学》 北大核心 2018年第6期12-18,共7页

在模糊一致集上引入模糊一致基的概念,研究其性质,并给出若干等价刻画。此外,给出模糊一致Scott连续映射的定义,并讨论其在模糊序同态映射下的一个模糊序同态扩张定理。

关键词 模糊一致基 模糊一致scott映射 模糊序同态

原文传递

L-fuzzy Domain及其等价刻画 被引量：1

7

作者 吴雪芝 段慧仙 张杰 《北方工业大学学报》 2006年第3期50-53,共4页

本文在L为完全分配格的情况下,定义了L-fuzzy定向子集,定向并,L-fuzzydomain,L-fuzzy Scott连续映射概念.借助集合套的思想讨论了L-fuzzy偏序集以及上述概念的等价刻画.

关键词 L—fuzzy偏序集 L—fuzzy DOMAIN L—fuzzy scott连续映射

下载PDF 职称材料

强FS-Poset若干性质的研究 被引量：1

8

作者 梁少辉 赵彬 《山东大学学报（理学版）》 CAS CSCD 北大核心 2009年第8期51-55,共5页

本文给出强FS-Poset的定义,讨论强FS-Poset的一些性质,证明强FS-Poset不但是连续的,而且是Scott紧的。在强FS-Poset的基础上,给出了强FS-Lattice的概念,探讨强FS-Lattice的若干性质,用函数空间刻划了强FS-Lattice,得到了连续格是强FS-La... 本文给出强FS-Poset的定义,讨论强FS-Poset的一些性质,证明强FS-Poset不但是连续的,而且是Scott紧的。在强FS-Poset的基础上,给出了强FS-Lattice的概念,探讨强FS-Lattice的若干性质,用函数空间刻划了强FS-Lattice,得到了连续格是强FS-Lattice的充要条件。 展开更多

关键词 单位逼近 强FS-Poset scott连续映射 连续格

原文传递

模糊dcpo上的L-模糊Scott余拓 被引量：2

9

作者 姚卫 《模糊系统与数学》 CSCD 北大核心 2011年第4期93-96,共4页

研究模糊dcpo上的L-模糊Scott余拓扑(即关于L-模糊集成为Scott闭集的程度映射)和L-Scott余拓扑(即全体L-Scott闭集构成的余拓扑),考察它们的特殊化L-序及其与模糊Scott连续映射的关系。

关键词 模糊dcpo L-模糊scott余拓扑 模糊scott闭集 模糊scott连续映射 L-模糊瓦空间 L-To空间

原文传递

关于两个Cartesian闭范畴交的一点注记

10

作者 刘菡 贺伟 《南京师大学报（自然科学版）》 CAS CSCD 北大核心 2005年第4期13-17,共5页

讨论了关于双Scott拓扑的一些性质.证明了范畴B ICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴B ICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和B ICONTSop(即以双连续格为对象,以对偶S... 讨论了关于双Scott拓扑的一些性质.证明了范畴B ICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴B ICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和B ICONTSop(即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴. 展开更多

关键词 双scott拓扑 双连续格 双scott连续映射 对偶scott连续映射 Cartesian闭范畴

下载PDF 职称材料

模糊DCPO范畴的一个笛卡尔闭的满子范畴 被引量：1

11

作者 刘妮 胡亚立 《模糊系统与数学》 CSCD 北大核心 2014年第6期9-15,共7页

引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给... 引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义,并研究了它们与有界完备模糊dcpo之间的关系。 展开更多

关键词 有界完备模糊dcpo 笛卡尔闭范畴 模糊完备交半格 模糊scott连续映射

原文传递

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

12

作者 徐晓泉 《江西师范大学学报（自然科学版）》 CAS 1994年第1期62-71,104,共11页

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

关键词 连续格 连续映射 scott诱导 L拓扑

下载PDF 职称材料