拟阵的导算子与内部算子的完备格同构

定义了拟阵的导算子、内部算子,证明了对每个给定的有限集X,可以给D(X)(即X上拟阵导算子的全体),I(X)(即X上拟阵内部算子的全体)上赋予适当的序≤使得(D(X),≤)与(I(X),≤)(即X上拟阵导算子的全体)之间是完备格同构的。

拟阵的差导算子与导算子的完备格同构

定义了拟阵的差导算子,导算子,证明了对每个给定的有限集X,可以给DD(X)(即X上拟阵差导算子的全体)上赋予适当的序使得(DD(X),)与(D(X),)(即X上拟阵导算子的全体)之间是完备格同构的。

拟一致结构与拟邻近结构的相互确定

证明了对每个给定的集合X,可以在QP(X)(X上拟邻近结构的全体)上赋予适当的序关系<,使得(QP(X),<)是与(TQU(X),<)同构的完备格,其中TQU(X)是X上全有界拟一致结构的全体.因此,可以用拟邻近结构确定集合X上的全有界拟一致结构.

预拓扑与网族的预收敛类

引入了网族及预收敛类的概念,给出了从T(X)(即X上的预拓扑的全体)到S(X)(即X上的预收敛类的全体)的单射,证明了当X是有限集时该映射是双射.

弱逆半群上最大幂等元分离同余和群同余

刻画了弱逆半群S上的最大幂等元分离同余和最小群同余 .在此基础上 ,证明了S的群同余格与S的由主元所组成的逆半群I(S)的群同余格完备格同构 ;进而 ,证明了I(S)的群同余格是S的同余格的格同态像 .

L-fuzzy的邻域算子、内部算子以及闭包算子之间的相互确定

设X是集合,L是Hutton代数,FT(X,L)、FN(X,L)、FI(X,L)和FC(X,L)分别表示X上的L-fuzzy拓扑的全体、L-fuzzy邻域算子的全体、L-fuzzy内部算子的全体以及L-fuzzy闭包算子的全体.给出从FI(X,L)到FN(X,L)和FC(X,L)的一一对应φ32和φ34以及从FN(X,L)到FC(X,L)的一一对应φ24,并且证明了可以在FT(X,L)、FN(X,L)、FI(X,L)以及FC(X,L)上定义适当的序关系,使得上述每个映射都是完备格同构.

关于弱逆半群上最大幂等元分离同余和群同余的注记

给出文献 (四川师范大学学报 (自然科学版 ) ,2 0 0 1,2 4(3) :2 19～ 2 2 3.)中关于弱逆半群上最大幂等元分离同余和群同余主要结论的刻画及证明的一些更正和简化 .

关于“预拓扑与网族的预收敛类”的注

本文研究了预拓扑空间中的收敛问题.利用完备格同构的方法,获得了预拓扑与预收敛类可以相互确定的结果,推广了拓扑与收敛类可以相互确定的结果,同时推广了文献[1]的结果.

用弱孤立算子或弱外孤立算子确定闭包系统

引入了弱孤立算子和弱外孤立算子的概念,证明了对每个给定的集合X,可以给WI(X)(X上弱孤立算子的全体)和WOI(X)(X上的弱外孤立算子的全体)上赋予适当的序关系≤,使得(WI(X),≤)和(WOI(X),≤■)是与(CS(X),)同构的完备格,这里CS(X)是X上的闭包系统的全体.因此可以用弱孤立算子或弱外孤立算子确定闭包系统.

由邻域、远域算子定义预拓扑的方法

讨论了用邻域算子、远域算子确定预拓扑的方法,并证明了预拓扑空间X上全体预拓扑T(X),全体邻域算子N(X),全体远域算子R(X),存在|T(X)|=|N(X)|,|T(X)|=|R(X)|.且(N(X),≤)与(T(X),)、(R(X),≤)与(T(X),)是完备格同构.

拟阵的确定

本文定义了拟阵的差导算子,证明了对每个给定的有限集X,可以给DD(X)(即X上拟阵差导算子的全体)上赋予适当的序≤使得(DD(X),≤)与(CL(X),≤)(即X上拟阵闭包算子的全体),(F(X),≤)(即X上拟阵闭集族的全体)之间是完备格同构的.

用弱内导算子确定闭包系统

引入了弱内导算子概念,证明了对于每个给定的集合X,可以给WE(X)(即X上的弱内导算子的全体)上赋予适当的序关系≤使得(WE(X),≤)与(CS(X),■)完备格同构.这里CS(X)是X上的闭包系统的全体.从而它们之间也是范畴同构的,因此可以用弱内导算子完全确定闭包系统.最后讨论了弱内导算子的范畴性质.

L-fuzzy权算子与L-fuzzy拓扑算子

设X是集合,L是Hutton代数,FT(X,L)是X上的L-fuzzy拓扑算子的全体,FW(X,L)是X上的L-fuzzy权算子的全体.文[1]给出了权与模糊化拓扑的一一对应.文章给出了从FW(X,L)到FT(X,L)的一一对应12,证明了可以在FT(X,L)、FW(X,L)睿义适当的序关系,使得12是完备格同构.

闭包算子与邻域系的广义化

通过弱化一般拓扑中的闭包算子公理,引入了广义闭包算子的概念,研究了其与稍早引入的广义邻域系的关系。特别的,证明了二者之间存在着自然的完备格同构。

Quantale上的预核映射与预理想余核映射

在Quantale中引入预(左、右)核映射与预(左、右)理想余核映射的概念,讨论了它们的若干性质,建立了预核映射与Quantale商的关系和预理想余核与理想的关系;探讨了预核映射与预理想余核映射到单位Quantale与Girard Quantale的扩张等问题;在预Girard Quantale中,预核映射之集与预理想余核映射之集的对偶是完备格同构.

有限集合上的拟一致结构与拓扑

证明了对每个给定的有限集合X,(QU(X),■)与(T(X),■)完备格同构,其中QU(X)是X上的全体拟一致结构,T(X)是X的全体拓扑,■均为集合意义下的包含序。

L-知识空间与L-蕴含空间的一一对应

用合情推理模式定义了L-知识空间与L-蕴含空间(其中L是具有逆合对应'的完备格),证明了(K(X,L),■)(即X上的L-知识系统的全体)和(I(X,L),■)(即X上的L-蕴含系统的全体)是彼此同构的完备格,并且具体地给出了它们之间的完备格同构。在此基础上,给出了从L-KSp(即L-知识空间及连续映射的范畴)到L-ISp(即L-蕴含空间及保蕴含映射的范畴)的同构函子。推广了已有的有关知识空间与蕴含空间的关系的结果。