半序集的内禀拓扑(Ⅰ)

在这篇文章中我们讨论了一个半序集的内禀拓扑之间的关系及其等价性.主要结果有1.O_1~·-(O_2~·)收敛强於t_1-(t-2-)收敛;2.区间拓扑比开区间拓扑粗;3.σ_2拓扑比开区间拓扑粗;4.格的序拓扑比开区间拓扑粗;5.有限散度的半序集P中,i≥L当且仅当P中每一个L拓扑收敛网的极限都是它的中元.     

格上紧T_2拓朴的存在性

本文主要证明了两个问题:(1)有限格上区间拓扑I(L),序拓扑O(L),备拓扑C(L)是相同的紧T_2拓扑,(2)有穷维无限格上不存在相容的紧T_2拓扑。     

开滤子Domain的分配性

滤子和开滤子是研究序结构和拓扑结构的非常有用的工具.作者通过反例说明L即使为完全分配代数格也无法保证OFilit(L)的分配性,并且证明了对于连续分配半格L,其开滤子Domain OFilt(L)为分配格当且仅当L稳定连续.     

Z-拟代数Domain

对一般的子集系统Z,引入Z-拟代数domain的概念,证明了Z-domain P是Z-拟代数的当且仅当P上的Z-Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z-拟代数domain P上的Z-Scottg拓朴σz(P)是Sober的当且仅当空间(P,σz(P))具有弱Rudin性质．     

R0-代数的R0-语义集上的拓扑

以ΩM记R0-代数M到R0-单位区间的全体赋值之集.证明一个同构于一族全序的至多可数的R0-代数的直积的子R0-代数M是赋值决定序的,即x≤y当且仅当(V)v∈ΩM,v(x)≤v(y).然后通过一种自然的方式在ΩM上引入Fuzzy拓扑δ,研究拓扑δ及其相应的截拓扑的性质.建立R0-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理.     

完全分配格和完备集环

设L是完备格,S(*)L称为L的基,若(*)x∈L,Sx(*)S使得∨Sx=x.称L是基拟原子的,若(*)x∈S且x≠1,(*)y∈L,使得x(*)y因而x(*)y.该文使用the wedge below relation (*)证明完全分配格是完备集环当且仅当L有一个基S(*)L使得L是基拟原子格.又得到使用拓扑方法的如下刻划定理完全分配格是完备集环(*)L的区间拓扑θ(L)(Lawson拓扑λ(L)或双Scott拓扑σω(L))是完全不连通的.     

T_0拓扑空间的拟连续性与交连续性

本文在定向空间的基础上通过收敛的方式定义了拟连续空间和交连续空间,推广了Domain理论中的相应结果.主要结果如下:(1)一个T_0空间是拟连续的,当且仅当它是局部强紧的,当且仅当它的开集格在集包含关系下是超连续格,当且仅当它的sober化是拟连续dcpo;(2)一个定向空间是交连续的当且仅当它的闭集格在集包含关系下是一个Frame;(3)一个T_0拓扑空间是c-空间当且仅当它既是交连续的又是拟连续的.     

区间数系的内蕴拓扑及度量表示

单位区间Ｉ上的区间数系Ｓ１在自然序下是一个完全分配格,其上的区间拓扑是连通的紧可度量拓扑,并具有不动点性质,一般地,实数集Ｒ上的区间数系ＳＲ在自然序下是局部完全分配格,其上的双Ｓｃｏｔｔ拓扑晦二可数的局部紧连通可度量拓扑,该拓扑早通常序拓扑的自然推广,还道路连通的,其实,ＳＲ这一空间可嵌八到Ｒ＾２中,当考虑代数运算时,ＳＲ和ＳＩ都是拓扑格,ＳＲ是拓扑群也是拓扑环。     

半拓扑线性空间及其性质（II）

我们在文[9]引入了半拓扑线性空间的概念,并得到了半拓扑线性空间中半开集、半闭包、半内部、S邻域、局部S-基等方面的一些基本结果.本文进一步讨论了半拓扑线性空间的性质,得到了如下结果:(1)证明了半拓扑线性空间中凸集的半闭包和半内部均为凸集;半拓扑线性空间中平衡集的半闭包是,平衡集,并且当平衡集的半内部包含0点时,平衡集的半内部也是平衡集;在半拓扑线性空间中存在着由半闭的平衡集构成的0点的局部S-基. (2)证明了半拓扑线性空间中半拓扑线性有界集的子集是半拓扑线性有界的,有限个半拓扑线性有界集的并集也是半拓扑线性有界的,S-紧集是半拓扑线性有界的.(3)对具有C性质的半拓扑线性空间,证明了半拓扑线性有界集的半闭包是半拓扑线性有界的,有限个半拓扑线性有界集的和是半拓扑线性有界的.(4)对具有C性质的半拓扑线性空间,证明了α集A是S-紧集当且仅当A是完全半拓扑线性有界的S-完备集.     

关于拓扑空间开集格的ΣF－core紧性

所谓一个格是ΣＦ－ｃｏｒｅ紧的，是指在赋以Ｓｃｏｔ开滤子拓扑之后，这个格作为拓扑空间是ｃｏｒｅ紧的．证明了一个拓扑空间的开集格是ΣＦ－ｃｏｒｅ紧的当且仅当该空间是ｃｏｒｅ紧的     

关于完备格的Σ—core紧性及ΣF—core紧性

所为一个格具有Σｃｏｒｅ紧性（ΣＦ－ｃｏｒｅ紧性），是指在赋以ｓｃｏｔｔ拓扑（ｓｃｏｒｅ开滤子拓扑）之后，这个格作为拓扑空间是ｃｏｒｅ紧的。本文证明了若ΣＦ（Ｌ）为序相容拓扑空间，则Ｌ具有ΣＦ－ｃｏｒｅ紧性当且仅当Ｌ为连续格。     

R0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

半拓扑线性空间及其性质(Ⅱ)

我们在文[9]引入了半拓扑线性空间的概念,并得到了半拓扑线性空间中半开集、半闭包、半内部、S邻域、局部S-基等方面的一些基本结果.本文进一步讨论了半拓扑线性空间的性质,得到了如下结果:(1)证明了半拓扑线性空间中凸集的半闭包和半内部均为凸集;半拓扑线性空间中平衡集的半闭包是,平衡集,并且当平衡集的半内部包含0点时,平衡集的半内部也是平衡集;在半拓扑线性空间中存在着由半闭的平衡集构成的0点的局部S-基.(2)证明了半拓扑线性空间中半拓扑线性有界集的子集是半拓扑线性有界的,有限个半拓扑线性有界集的并集也是半拓扑线性有界的,S-紧集是半拓扑线性有界的.(3)对具有C性质的半拓扑线性空间,证明了半拓扑线性有界集的半闭包是半拓扑线性有界的,有限个半拓扑线性有界集的和是半拓扑线性有界的.(4)对具有C性质的半拓扑线性空间,证明了α集A是S-紧集当且仅当A是完全半拓扑线性有界的S-完备集.     

关于0空间的一个注

设 L 同时是线性拓扑空间和半序线性空间,则 L 中有两种不同的收敛:拓扑收敛和序收敛。Ralph E.Demarr 称序收敛等价于拓扑收敛的半序线性拓扑空间为0空间,我们在中得到定理:设 L 同时是 Riesz 空间和完备线性拓扑空间,则 L 为 O 空间必有穷维。但在引理3的证明中,我们没有注意到 y_n(t)(?)C(S),所以实际上只在σ备的条件下得到定理2的证明。本文给出定理的-个新证明,作为文的改正。证:只须证明中引理3。设 C(S)为无穷维,则 S 为无穷集,由 S 的紧性知必有互不相同     

Scott开滤子拓扑的连续性巩(英文)

该文证明了完备格Ｌ为连续格当且仅当Ｌ上的Ｓｃｏｔ开滤子拓扑σＦ（Ｌ）为连续格，且细于Ｌ上的上拓扑．特别地，若Ｌ的素元集是序生成集，则Ｌ为连续格当且仅当σＦ（Ｌ）为连续格．     

关于拓扑空间开集格的ΣF—core紧性

所谓一个格是ΣＦ－ｃｏｒｅ紧的，是指在赋以Ｓｃｏｔｔ开滤子拓扑之事，这个格作为拓扑空间是ｃｏｒｅ紧的，证明了一个拓扑空间的开集格是ΣＦ－ｃｏｒｅ紧的当且仅当该空间是ｃｏｒｅ紧的。     

Scott开滤子拓扑的连续性

该文证明了完备格Ｌ为连续格当且仅当Ｌ上的Ｓｃｏｔｔ开滤子拓扑σＦ（Ｌ）为连续格，且细于Ｌ上的上拓扑。特别地，若Ｌ的素元集是序生成集，则Ｌ为和当且仅当σＦ（Ｌ）为连续格。     

格上保并映射的若干特征定理

在一般完备格L中引入(L)集族的概念,利用完备格上的“”关系、(L)集族及其完备格之间的一映射作为工具,对完备格及其分子格上的保并映射进行了研究,得到了保并映射的若干新的特征定理.证明了完备格之间的一个映射是保并映射当且仅当它是—映射;完备格L到平凡格{0,1}上的全体保并映射之集是一个分子格当且仅当L是分子格;一个强分子格到另一个强分子格土的保并映射之集构成一个新的强分子格.     

MV代数的序拓扑和区间拓扑

研究了MV代数的区间拓扑和序拓扑及MV代数下的拓扑紧性、连结性、完备性和全序性.通过序收敛的性质和基与子基的概念分别探讨了MV代数及其运算在序拓扑和区间拓扑下的性质,并且把标准MV代数的基本性质推广到了一般意义下的MV代数.研究表明,MV代数中的运算在这两种拓扑下连续,当且仅当进行运算的元之间满足一定条件.     

D模糊拓扑

文献首次引进模糊拓扑,而文献、以模糊点为工具探讨模糊拓扑空间的局部性质,本文试图用格及拓扑格观点先统一模糊点和普通点,从而以此为基础统一包括局部性质在内的模糊拓扑与经典拓扑.设(?)为具有逆序对合的完备链且?称为D格当且仅当?在D格L中对?:定义?如?,或α≤β或?.令?.设L为D格X为任意集且(?)具有乘积序和对合,u∈L~x称为D模糊集,?满足?如χ′=χ,且q_x~a(χ′)=0如χ′≠χ,称为D模糊点,定义口:?,不难验证,模糊点,普通点以及"属于"关系为D模糊点以及?关系分别当上L=[0,1], L={0,1}时的特例,命题3.2,3.3统一两类点的基本性质.设?对任意上确界及有限下确界闭合,则?称为D模糊拓扑,μ∈?称为开元,设q为D模糊点,μ称为g的邻域当且仅当?命题5.3.为邻域刻画D模糊拓扑的定理,内点、附着点、连续、收敛以及分离公埋均被论述.本文所引进的概念以及论证的命题当L=[0,1],L={0,1}时都以模糊拓扑,经典拓扑相应概念,命题为特例