可数S_2-拟连续偏序集上的收敛

本文引入了可数S_2-拟连续偏序集、GS*-收敛和弱可数Scott拓扑的概念,给出了可数S_2-拟连续偏序集的收敛刻画:偏序集P是可数S_2-拟连续的当且仅当GS*-收敛关于弱可数Scott拓扑是可拓扑化的。     

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

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

偏序集的内蕴拓扑连通性

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

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))为严格完全正则序空间.     

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))为严格完全正则序空间。     

偏序集的φ-(交)连续性及其主理想刻画

证明φ-完备偏序集是（强）P连续的当且仅当该偏序集的任一主理想是（强）φ-连续的。在φ-完备偏序集中利用φ-S集族生成f-Scott拓扑，并由此引入φ-交连续偏序集概念。证明φ-完备偏序集是P交连续的当且仅当该偏序集的任一主理想是φ-交连续的。     

R的开子集与收敛数列

R的子集D是开集当且仅当任给收敛于D中点的数列终于留于D，当且仅当任给收敛于D中点的数列存在子列终留于D。函数f：D→R是连续的当且仅当对于D中任一收敛于x∈D的数列{xn}，数列{f(xn)}存在子数列收敛于f(x)。     

L-拓扑空间的半S_β-紧性

在L-拓扑空间中引入半Sβ-紧性,这种紧性是针对任意L-模糊子集定义的,它是Sβ-紧性的推广。研究半Sβ-紧性的性质,如一个半Sβ-紧集与一个半闭集的交仍为半Sβ-紧的;半Sβ-紧性在不定映射下保持不变;由分明拓扑空间(X,τ)拓扑生成的L-拓扑空间(LX,ωL(τ))是半Sβ-紧的当且仅当(X,τ)是半紧的。此外,还给出了半Sβ-紧性的网式刻画。     

L-拓扑空间的半N_β-紧性

在L-拓扑空间中利用半开βa-覆盖引入了半Nβ-紧性。讨论了半Nβ-紧性的性质,如一个半Nβ-紧集与一个半闭集的交仍为半Nβ-紧的;半Nβ-紧性在不定映射下保持不变;由分明拓扑空间(X,τ)拓扑生成的L-拓扑空间(LX,ωL(τ))是半Nβ-紧的当且仅当(X,τ)是半紧的。此外,还讨论半Nβ-紧性与半紧性的关系。     

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.     

模糊化Cook-Fischer对角条件及其应用

在模糊化收敛理论的框架下,提出了模糊化Cook-Fischer对角条件.在阐述Cook-Fischer对角条件的合理性的同时,文中结果表明满足Cook-Fischer对角条件的模糊化收敛结构必是预拓扑的,而且证得模糊化收敛结构是拓扑的当且仅当其满足Cook-Fischer对角条件.作为应用,本文还证得Cook-Fischer对角条件可以描述收敛结构的正则性.     

S_1-代数偏序集

本文引入了S_1-代数偏序集的概念,证明了偏序集为S_1-代数的当且仅当其上S_1-拓扑为强代数格,并证明了S_1-连续domain的S_1-连续收缩仍为S_1-连续domain.     

函数空间上的Cauchy收敛拓扑(英文)

本文研究了度量空间X到实直线R上的连续函数空间C(X,R)上的Cauchy收敛拓扑Tc.u,点态收敛拓扑Tp.u,紧开拓扑Tk和一致收敛拓扑Tu相等的等价条件.利用Cauchy覆盖得到了(C(X,R),Tc.u)的特征与X的Cauchy覆盖数相等的一个对偶定理,获得了(C(X,R),Tc.u)可度量化当且仅当(C(X,R),Tc.u)是第一可数的当且仅当X具有可数Cauchy覆盖数,肯定地回答了Michael H Clapp等在文献[1]中提到的问题.     

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

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

tvs锥度量空间上同胚映射的可扩性

设$f$是紧tvs锥度量空间上同胚映射. 本文证明了$f$是tvs锥可扩的当且仅当$f$有生成元. 进一步, 如果$f$是tvs锥可扩的,则具有收敛半轨的点集是可数集. 本文的这些结果改进了拓扑动力系统的一些可扩同胚定理, 将有助于研究tvs锥度量空间上同胚映射的动力性质.     

半群上的拓扑、偏序和相关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.     

S-超连续偏序集的几个特征

本文在偏序集上引入Scott S-集、S-基、弱逼近元等概念,得到S-超连续偏序集的几个新的刻画。证明了偏序集是S-超连续的当且仅当任不同两点可由主滤子与Scott S-集分离当且仅当它有S-基。证明了有界完备偏序集(简记为bc-poset)L是S-超连续的当且仅当任不同两点可由Scott S-余滤子集分离当且仅当完全双小于关系■具有插值性质,且L中不同点决定的完全双小于下集也不同。     

关于紧连续L-domain的一个刻画定理

本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理．其主要结果是：连续L-domain是Lawson紧的当且仅当函数空间[L→L]的Scott拓扑与Isbell拓扑一致．     

关于拟连续Domain的一个注记

证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpo L,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间.     

树映射的分布混沌

设T是个有限树,f是T上的连续映射.证明了f是分布混沌的当且仅当它的拓扑熵是正数.一些已知结论得到了改进.