相容连续Domain的不变性

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

相容连续Domain的遗传性

定义相容Domain的子Domain与子空间等概念,得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论,证明了相容连续Domain或相容代数Domain对开子空间和闭子空间都是可遗传的。     

相容半连续Domain

引入了相容半连续Domain、相容强连续Domain的概念,给出了一系列性质,讨论了相容半连续Domain、相容强连续Domain与相容连续Domain间的关系.引入了相容半Scott拓扑,并讨论了其相关性质.     

一类局部定向完备集及其范畴的性质

本文给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系，从而进一步给出了一种新的连续性概念，接着讨论了局部定向完备集，连续的局部定向完备集等对象的一些性质，最后考察了三种范畴的笛卡儿闭性，并证明了范畴LDCPO是范畴ALG的反射满子范畴．     

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

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

代数的局部完备集范畴和FS-局部dcpo范畴的笛卡儿闭性

本文引入了代数的局部完备集,FS-局部dcpo,局部稳定映射等概念．主要结果是：以局部Scott连续映射为态射的代数的局部完备集范畴,以局部稳定映射为态射的代数的局部完备集范畴以及以局部Scott连续映射为态射的FS-局部dcpo范畴都是笛卡儿闭范畴．     

相容Domain间Scott连续自映射的不动点

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

相容连续Domain上的序同态

首先给出相客定向极小集的概念,讨论它的性质及与相客连续Domain的关系;其次蛤出相客连续Domain基的概念,得到它的等价刻画.最后,引入了相客连续Domain上的序同态,同时研究了它的性质,并得出相应的扩张定理.     

一类Domain范畴及其笛卡儿闭子范畴

本文给出一类新的 Ｄｏｍａｉｎ范畴 ＡｌｇＤ■（即以代数 Ｄｏｍａｉｎ为对象,保逼近序的Ｓｃｏｔｔ连续函数为态射的范畴）及其满子范畴ＡｌｇＤ■（即以有底（最小元）的代数Ｄｏｍａｉｎ为对象,保逼近序的Ｓｃｏｔｔ连续函数为态射的范畴）,并且讨论它们的极大的笛卡儿闭的满子范畴．     

连续Domain的遗传性及其不变性

引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的。证明连续Domain或代数Domain在保Waybelow序的Scott连续映射下保持不变。     

集合套范畴的研究

模糊集理论与 Topos理论有着密切的联系 ,借助于模糊集理论中的集合套理论 ,引入了两种新的范畴——集合套范畴 SEB1和 SEB2。首先证明了 SEB1满足卡氏积封闭性 (Cartesian Closed) ,但没有SC(子对象分类器 ) ,所以 SEB1不是 Topos.其次 ,得出 SEB2是一个 Topos     

有向D—回路

G为有向图,μ是G的一个有向回路,如果G的每条弧至少有一端在μ上,就称μ为G的有向D-回路,本文主要结果为 定理1 设G为强连通有向1-图,n阶,(n≥7),无环,对于G的任一条弧(x,y),有 d~-(x) d~ (y)≥ n-3.那么G含有向D-回路. 定理2 设G为强连通有向1-图,n阶(n≥6),无环,对于G的任一条弧(x,y),有 d(x) d(y)≥2n-3.那么G含有向D-回路.     

有向笛卡尔积图的有向度量维数(英文)

设D是一个有向图,w={w_1,w_2,…,w_k}是D的一个有序点子集,v是D中任意一点。我们把有序k元素组r(v|w)=(d(v,w_1),d(v,w_2),…,d(v,w_k))称为点v对于W的(有向距离)表示。如果在D中,任意两个不同的点u和v对W的(有向距离)表示都不相同,则称W是有向图D的一个分解集。我们把D的最小分解集的基数称为有向图D的有向度量维数,并用dim(D)来表示。本文研究了有向笛卡尔积图D_1×D_2的有向度量维数。设P_m和C_m分别是长为m的有向路和有向圈。在文中我们分别给出了dim(D_1×D_2)的一个下界与dim(D×P_m)和dim(D×C_m)的上界,并通过确定dim(P_m×P_n),dim(C_m×P_n)和dim(C_m×C_n)的精确值说明了我们给出的上界是紧的。     

Categorical Generalization of a Universal Domain

J. Adámek defined SC categories as a categorical generalization of Scott domains. Namely, an SC category is finitely accessible, has an initial object and is boundedly cocomplete (each diagram with a compatible cocone has a colimit). SC categories are proved to serve well as a basis for the computer language semantics.The purpose of this paper is to generalize the concept of a universal Scott domain to a universal SC category. We axiomatize properties of subcategories of finitely presentable objects of SC categories (generalizing thus semilattices of compact elements of Scott domains). The categories arising are called FCC (finitely consistently cocomplete) categories. It is shown that there exists a universal FCC category, i.e., such that every FCC category may be FCC embedded into it. The result is an application of a general procedure introduced 30 years ago by V. Trnková.     

Categorical Properties of Probabilistic Convergence Spaces

The purpose of this paper is to discuss some categorical properties of probabilistic convergence spaces. Its main theses are: (1) the construct P-PrTop of probabilistic pretopological spaces is the extensional topological hull of the construct FTPcs of FT-diagonal probabilistic convergence spaces for every triangular norm T; (2) the construct P-PsTop of probabilistic pseudotopological spaces is the topological universe hull of FTPcs for every triangular norm T.     

有向P2-路图的结构性质

一个有向图D的有向Pk-路图Pk(D)是通过把D中的所有有向k长路作为点集;两点u= x1x2…xk+1,v=y1y2…yk+1之间有弧uv当xi=yi-1,i=2,3,…,k+1.明显地,当k=1时Pk(D)就是通常的有向线图L(D).在[1,2]中,P2-路图得到完整刻画.在[3]中,Broersma等人研究了有向...     

S-定向完备偏序集范畴

给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用.探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映射为态射的范畴是笛卡尔闭范畴.     

Consistent invertibility and Weyl's theorem

A Banach space operator T∈B(X) may be said to be “consistent in invertibility” provided that for each S∈B(X), TS and ST are either both or neither invertible. The induced spectrum contributes the conditions equivalent to various forms of “Weyl's theorem”.     

L-Fuzzy Domain及其相关性质

基于[5]提出的L-fuzzy拟序集，引入L-fuzzy集关于L-fuzzy偏序的并，当L是完全分配格时L-fuzzy拟序集上的L-fuzzy定向集等概念，在此基础上定义L-fuzzy domain，证明它是通常Domain的模糊推广，并得到若干相关性质。