超sober空间的若干基本性质

本文主要讨论超sober空间的一些基本性质，对三类特殊空间的超sober性进行了讨论，并对T₀空间X的超sober性与其Smyth幂空间、Hoare幂空间的超sober性之间的关系进行了讨论；用反例说明了可数无限多个超sober空间的乘积一般不是超sober的；证明了若T₀空间X不是超sober的，则其超sober化不存在。     

k-有界sober空间的收缩与Smyth幂空间

主要讨论k-有界sober空间对遗传、收缩、函数空间和Smyth幂构造的封闭性,证明了k-有界sober空间是饱和遗传的,但不是闭遗传的;对收缩与Smyth幂构造均不具有封闭性.还证明了存在k-有界sober空间X使得函数空间[X→X]赋予点式收敛拓扑不是k-有界sober空间.     

偏序集的内蕴拓扑连通性北大核心

从序与拓扑的交叉考虑,进一步研究偏序集在多种内蕴拓扑下的连通性和局部连通性.主要结果有:(1)一个偏序集是序连通的当且仅当它赋予Alexandrov拓扑是连通的,也当且仅当它赋予Scott拓扑是连通的;(2)每一偏序集赋予Alexandrov拓扑是局部连通的,每一偏序集赋予Scott拓扑是局部连通的;(3)如果拓扑空间的特殊化偏序集序连通,则该拓扑空间是连通的;(4)构造反例说明了存在偏序集赋予下拓扑后是连通空间,但该偏序集本身不是序连通的.     

一类非紧度量空间上的连续函数空间（英文）

对一个度量空间（X,ρ）,设↓C（X）是从X到I=[0,1]的连续函数下方图形全体之集赋予由度量空间X×I上的Hausdorff度量诱导出的拓扑.本文证明了下面的结果:如果（X,ρ）是一个非紧的、局部紧的、可分的、完全有界的度量空间,则↓C（X）同胚于c₀当且仅当X上的孤立点全体之集在X中不稠密,这里c₀={（xn）n∈N∈[-1,1]ω:sup|x+n|<1且lim_n→+∞x_n=0}.特别地,对赋予通常度量的开区间（0,1）,↓C（（0,1））同胚于c₀.     

偏序集上的测度拓扑和全测度

在偏序集上引入测度拓扑和全测度概念,研究其性质以及与其它内蕴拓扑间的众多关系。主要结果有:连续偏序集的测度拓扑实际上是由其上的任一全测度所决定且可由它的定向完备化上的测度拓扑和全测度分别限制得到;当连续偏序集还是D om a in时,其上的测度拓扑与μ拓扑一致;连续偏序集有可数基当且仅当其上的测度拓扑是可分的;一个网如果测度收敛则存在最终上确界;任一ω连续偏序集上都存在全测度。     

偏序集的内蕴拓扑连通性

从序与拓扑的交叉考虑,进一步研究偏序集在多种内蕴拓扑下的连通性和局部连通性.主要结果有:(1)一个偏序集是序连通的当且仅当它赋予Alexandrov拓扑是连通的,也当且仅当它赋予Scott拓扑是连通的;(2)每一偏序集赋予Alexandrov拓扑是局部连通的,每一偏序集赋予Scott拓扑是局部连通的;(3)如果拓扑空间的特殊化偏序集序连通,则该拓扑空间是连通的;(4)构造反例说明了存在偏序集赋予下拓扑后是连通空间,但该偏序集本身不是序连通的.     

半群上的拓扑、偏序和相关Domain

在半群G上引入了半群拓扑O[G]和半群偏序≤G,研究了它们的性质和相互联系,得到如下主要结论:(1)拓扑空间(G,O[G])中开集均为偏序集(G,≤G)的下集;(2)拓扑空间(G,O[G])为T,的当且仅当O[G]是离散的,当且仅当G中任意元是幂等元;(3)在集合包含序下O[G]为代数的完全分配格;(4)若(G,O[G])是T0空间,则O[G]是偏序集(G,≤G)上的对偶Alexandrov拓扑;(5)半群G是伪有限的当且仅当偏序集(G,≤Gop)是代数Domain.     

6元素集合上T0拓扑总数的计算

文中证明了有限预序集与有限偏序集的一些性质,并基于有限集上的拓扑和其上预序的一一对应关系,利用这些性质通过对极小元和极大元个数进行分类讨论,以一种有别于计算机算法而又容易理解的计算方法得出6元素集合上的T₀拓扑总数为130023.     

正则半开集和半同胚空间类

设A■X,v为X上的拓扑,用A_v~0、A_v~-、(A_v)_0、(A_v)_-、A’_v分别记A在(X,v)中的内部、闭包、半内部、半闭包和补集。用η_v、ζ_v、ζ_v分别记(X,v)中的半开集族、无处稠密集族和稠密集族。当v=u时,略去上述记号中的足码v。令[u]={v|v为X上的拓扑且     

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawson拓扑λ_z(P)是pospace;且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λ_z(P))为严格完全正则序空间。     

超Sober空间与k-有界Sober空间的性质北大核心

讨论了超Sober空间与k-有界Sober空间的一些性质,厘清相关拓扑之间的关系.特别地证明了一个空间是超Sober空间当且仅当其Smyth上幂空间为超Sober空间;任意一族k-有界Sober空间的积空间为k-有界Sober空间.     

FI代数上的MP滤子拓扑空间

首先,在FI代数X上以全体MP滤子之集为基建立了一个拓扑空间(X,F_(MP)).给出了拓扑空间(X,F_(MP))中集合A的导集、闭包和内部的计算公式.其次,考察了(X,X_(MP))的若干拓扑性质.最后,研究了乘积FI代数的乘积MP滤子拓扑.     

关于《M1-空间的和定理》一文的注记

《数学研究与评论》1988年第一期研究通讯栏目上刊登了论文《M_1-空间的和定理》。我们这篇简短的注记在于说明: (1)上述论文所引进的“强遗传闭包保持集族”的概念等价于“遗传闭包保持集族”的概念。 (2)上述论文中的定理3的结论是不正确的。 关于(1)若正则拓扑空间X的子集族B是X的遗传闭包保持集族,那么由B的元的闭包所组成的集族亦是X的遗传闭包保持集族。     

Fell-拓扑的伪紧性（英文）

设X是拓扑空间，CL（X）表示X的所有非空闭子集的族，本文得到了下述结果：在CL（X）上的Fell-拓扑是伪肾的当且仅当X是feebly-紧或者非局部紧或者非σ－紧，由此得到了对于伪紧性不是闭遗传的两类新的拓扑空间。     

局部有限超拓扑的局部紧性

本文讨论了赋予局部有限拓扑的非空闲子集超空间的局部紧性.主要结果是:X正则,则其闭子集超空间局部紧当且仅当X可表示成一个紧空间与一个离散空间的拓扑和.     

连续偏序集及其Smyth幂的几个等权定理

推广连续D om a in的权的概念到连续偏序集上,探讨连续偏序集的权、相应内蕴拓扑的权、定向完备化的权以及Sm yth幂D om a in的权间的关系。得到了几个等权定理:(1)连续偏序集的权与其上Scott拓扑、L aw son拓扑的权相等;(2)连续偏序集的权与其定向完备化的权相等;(3)无穷连续D om a in的权与其Sm yth幂D om a in的权相等;(4)有限D om a in的权小于或等于它的Sm yth幂D om a in的权。     

关于Lowen空间指数对象的一点注记

L-拓扑空间(X,△)称为一Lowen空间若△有一组由层特征函数构成的基,即△中形如a∧U,a∈L,U∈X的元素构成△的一组基.若L=[0,1],则(X,△)是一Lowen空间当且仅当(X,△)是一Lowen意义下的fzzy邻域空间.通过在函数空间上引入适当的L-拓扑结构,证明了若0∈L是一素元并且Lowen空间(X,△)的开集格是一连续格,则(X,△)是Lowen空间范畴中一指数对象.特别地,若一fuzzy邻域空间的开集格连续,则它是FNS中一指数对象.     

由普通导算子诱导的F导算子及由F导算子诱导的F拓扑

本文扩展了普通集X的导算子d的定义，诱导出了X的fuzzy导算子d，进而由~^d诱导出了X的一个fuzzy拓扑T，证明了fuzzy拓扑空间（X，T）愉是由d诱导的分明拓扑空间（X，π）拓扑生成的，对X的每个fuzzy导算子d，存在X唯一拓扑T，使得对X的每个fuzzy子集A，其在（X，T）中的导集A^d恰是它在fuzzy导算子~^d下的象~^d（A）。     

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σZ(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σZ(P)是Sober的当且仅当σZ(P)具有Rudin性质,P贼予Z-Lawson拓扑λZ(P)是pospace,且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λZ(P))为严格完全正则序空间.     

拟连续Domain的拟基及其权

在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与该拟连续Domain上赋予内蕴拓扑时的拓扑空间的权之间的关系。