拓扑分子格范畴与相关范畴的关系

以Fuzzy拓扑学与点集拓扑学为背景,1979年我们提出了拓扑分子格理论,此后几经拓广,文献[3]与[4]是其最一般的框架。正如文献[3]所指出的,Fuzzy拓扑学与点集拓扑学都是拓扑分子格理论的特款,然而关于是否可以通过经典拓扑学的方法来处理拓扑分子格理论的可行性问题似乎并不很清楚。本文将从范畴论的角度出发讨论拓扑分子格范畴(?)与拓扑空间范畴(?)以及局部超紧Sober双拓扑空间范畴(?)之间的关系,从而从总体     

分子格范畴中的积运算

文献[1,2]以近年来发展起来的Fuzzy拓扑学中的工作为基础,建立了完全分配格上的点式拓扑理论。从纯代数的角度看,文献[1,2]中探讨了分子格、广义序同态等重要概念,且证明了以分子格为对象,广义序同态为态射可构成一范畴。本文从范畴论的角度出发,以范畴论中的乘积与上积作为基本概念,证明了分子格范畴是对乘积与上积运算封闭的范畴。同时,我们沿用文献[3]的结果,给出了乘积与上积的具体结构。从而较完满地建立了分子格中的乘积与上积理论。为进而展开拓扑分子格的乘积及直和理论奠定了基础。     

一类完全分配格的层次结构与其在拓扑分子格的应用

本文利用完全分配格的直积分解,在完全分配格中引入了层次结构概念,证明了一类完全分配格存在唯一的层次结构,并在此基础上引入了赋层完全分配格概念,证明了以赋层完全分配格为对象,以保层同态为态射的范畴与以形如L~x的完全分配格为对象,以双诱导映射为态射的范畴是等价的. 此外,作为上述结果的一个应用,在一类拓扑分子格中给出了具有层次特点的紧性概念.     

完全分配格上拓扑的“内部”运算及正则、正规性

在格上拓扑的研究中,多数论文均要求所涉及的格是Fuzzy格,即具有逆合对应“,”的完全分配格。但事实上,一个完全分配格上一般是不可能定义逆合对应的,这就给格上点式拓扑的研究带来困难。如何在没有逆合对应的情况下刻划“内部”、“边界’及正则、正规等重要概念,就是格上拓扑学的十分必要而有待解决的问题,至今尚未见到令人满意的答案。本文作     

Fuzzy格上的点式一致结构与点式度量

关于格拓扑学中的一致结构与度量理论已有许多引人注目且有创造性的工作(如文献[1～6]及文献[4]中的相应文献)但它们多是Hutton与Erceg无点派工作的继续和推广,不能直接反映格上点式拓扑的特点.本文的目的就是在Fuzzy格上建立一种点式一致结构与点式度量理论.     

分子格的直积分解与广义序同态的构造

文献[1,2]建立了完全分配格上的点式拓扑理论,即拓扑分子格理论,本文将利用分子概念建立分子格的直积分解,而后在此基础上给出分子格之间的广义序同态的构造。     

完全分配格上的一致结构

完全分配格上的点式拓扑理论的研究已取得一系列引人注目的进展。由于缺乏逆序对合对应而产生的困难使得作为这一领域的基本工作之一的一致结构理论至今尚待考虑。本文从覆盖性角度出发,建立了完全分配格上的一致结构,说明了它是通常一致的合理推广,讨论了相应的一些性质,证明了在完全分配格上可一致化的条件与全正则性等价。     

完全分配格上的p.q.度量理论

文献[1,2]在完全分配格中引入分子概念,成功地建立了完全分配格上点式拓扑学的丰富理论。接着文献[3]与[4]又建立了拓扑分子格的乘积理论、子拓扑分子格和商拓扑分子格理论。但到目前,拓扑分子格理论还未涉及拓扑学中心问题之一的度量化问题。本文中,我们建立了完全分配格上的一种弱度量理论——p.q.度量理论,取得了一系列理想的结果,特别有:     

一类正则半群的E-析取性

研究E-析取逆半群是Petrich提出来的一个问题。Pastijn和Petrich又定义并讨论了E-析取正则半群。文献[3,4]都研究了E-析取逆半群。由文献[1]易知每个逆半群都同构于一个基本逆半群和一个E-析取逆半群的次直积,可见E-析取的概念有重要的意义。受文献[3]的启发,我们在此考虑了正则单半群的强半格的E-析取性,给出了一个刻划。文献[3]中E-析取Clifford半群的刻划是本文结果的一个推论。     

蕴涵格与Stone表现定理的推广

从R0 _语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R0 _语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理 .     

用暗场电镜技术观察DNA分子的超螺旋结构

随着拓扑异构酶的发现和深入研究,人们越来越多地注意到双链DNA分子的超螺旋结构在DNA复制、RNA转录甚至可能在基因表达调控中的重要生物学意义。虽然对于小分子环状DNA,可以通过密度梯度离心的方法分离,进而可经凝胶电泳把超螺旋数不同的分子区分出来,并推算出每个分子的超螺旋数,但核酸电镜技术可以给出更为直观的超螺旋分子的图象,与生化研究手段互相补充,互相印证,从而成为研究超螺旋DNA分子的重要实     

分子拓扑指数的理论和应用

分子拓扑学是图论、拓扑学、化学、计算机科学相互交叉的一门新学科,分子拓扑指数是分子拓扑学最重要的组成部分。本文在文献[1—16]的基础上纲要式地介绍了拓扑指数的理论和应用。包括结构式的图形化,分子图的矩阵化,矩阵的数值化,以及拓扑指数在分辨同分异构体的结构、研究结构与性质的定量关系、设计合成路线等方面的应用。     

局部紧拓扑半群上概率测度卷积幂Essential集的几个注记

有关拓扑群或拓扑半群上概率测度序列的极限性质,许多学者已作过研究.Maximov在S为紧拓扑群时研究了用测度的卷积序列的Essential点集来刻划其序列的极限性质.本文则在一类局部紧拓扑半群上研究类似问题,而且所用方法也不同于文献[1].完全简单半群在文中起重要作用.文中所用的术语和预备知识参见文献[2].     

从稳定孤子到混沌型格点孤子的宏观实验研究

近30年来,由于孤立子现象在物理学的几乎所有领域得到了广泛应用,孤立子的理论、实验和应用研究成为一个重要的热门研究课题.孤立子的直接宏观观察是人们一直感兴趣的重要问题.自从1984年吴君汝等在振动台上观察到了狭长槽内非传播流体孤子以来,振动台上的非线性体系的宏观实验给我们提供了一个很好的实验场所.宏观“单原子”格点体系的各种激发为Denardo等所观察到.文献[5]给出了受参数激励的颗粒体系中的局域结构.在微观系统,对双原子非线性格点系的研究揭示了更丰富的孤子结构.相应的参数激励下宏观双原子格点体系的各种模式也被观察到.     

Scott拓扑与Sober空间

连续格理论是诞生于拓扑与格论边缘的一门新兴学科,本文对这一理论中的基本问题“在什么条件下Scott拓扑空间是Sober空间?”做了一定的探讨,得出了几个充要条件,为此还引入了一类新的空间——p空间,并证明任一完备格上的偏序都能由     

论Fuzzy格之构造

自从Goguen提出L-fuzzy集的概念以来,Fuzzy格作为单位区间的一种自然推广受到了不分明数学工作者,特别是不分明拓扑学家们的极大关注。Hutton与刘应明等人都对这类格进行过研究,然而,至今尚未见到对这类格的构造进行专门探讨的文章。本文从事于这方面的研究,得到了关于Fuzzy格构造的两个定理,作为它们的应用,我们证明了由作者提出的“广义拓扑分子格”理论适用于一切Fuzzy格,从而我们可以把最一般的L-fuzzy拓扑空间理论作为特例纳入于这种拓扑格的理论之中。     

蕴涵格与Stone表现定理的推广

从R₀-语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R₀-语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理.     

不可分的么模定Hermite型的构作

设F=Q((-m)~(1/2))(m>0且无平方因子)为虚二次域,D_m为它的代数整数环.域F有一个非平凡的对合即复共轭,它的不动点域是Q.设V为域F上n维非退化的Hermite空间,并有关于上述对合的V上半双线性型φ以及与φ相伴的Hermite型H.设L为V上的D_m格,即L是V中的一个有限生成D_m模且FL=V.一个D_m格L称为偶格,是指对一切x∈L有H(x)     

保层Fuzzy序同态的结构和Fuzzy同胚的另一定义

设L是完全分配格,X是非空通常集,X上L-Fuzzy集全体记作L~X,则它点式地从L中诱出格运算自然地成为完全分配格。本文将在文献[1—3]的基础上提出一种称作保层Fuzzy序同态的概念,并且研究它的结构,而后借助于它给出Fuzzy拓扑分子格之间同胚的     

分子拓扑指数及其应用 Ⅰ.~(95)MoNMR与~(119)SnMssbauer谱的化学位移研究

分子的性质取决于分子的结构是化学中的一个中心概念。作为一级近似,我们将强调分子的拓扑结构,即一个分子中所包含的原子种类,数目以及其间的连接关系。化学家对此已有近百年的认识历史,但直到近几十年才能用较为定量的方式来表达这种结构,这就是所谓分子拓扑指数。分子拓扑指数实际上是分子图的不变量。自1947年Wiener首次提出Wiener指数并用以关联烃类的沸点等数据以来,文献中约提出了百余种图参量。其中以Randic的分子