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)上定义适当的序关系,使得上述每个映射都是完备格同构.     

半格上算子的方程描述

文中定义了半格上的算子，给出了半格上算子的几个等价描述，得到如下定理：设（Ｌ，Ｖ）表示Ｌ是一并半格，Ｆ是Ｌ到自身的一个映射，则如下几条等价：（１）Ｆ是Ｌ上的闭包算子。（２）Ｖｘ，ｙ∈Ｌ，ｘＶＦ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）；３）Ｆ是Ｌ上的闭包算子，且满足Ｆ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）；（４）Ｆ满足，ｘ≤Ｆ（ｘ）且Ｆ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）。另外，还给出拓扑内部算子的方程描     

半格上算子的方程描述

文中定义了半格上的算子，给出了半格上算子的几个等价描述，得到如下定理：设（Ｌ，∨）表示Ｌ是一并半格，Ｆ是Ｌ到自身的一个映射，则如下几条等价：（１）Ｆ是Ｌ上的闭包算子；（２）ｘ，ｙ∈Ｌ，ｘ∨Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）；（３）Ｆ是Ｌ上的闭包算子，且满足Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）；（４）Ｆ满足：ｘ≤Ｆ（ｘ）且Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）．另外，还给出拓扑内部算子的方程描述：集Ｘ的幂集Ｓｕ（Ｘ）到自身的映射Ｉ是Ｘ上的一个拓扑内部算子当且仅当方程Ｘ－Ａ∩Ｉ（Ａ）∩Ｉ２（Ｂ）＝Ｉ（Ｘ）－Ｉ（Ａ∩Ｂ）成立     

Quantic格中的理想和理想余闭包算子

引入了Quantic格上的理想和理想余闭包算子的概念,研究了理想和理想余闭包算子的若干性质,讨论了Quantic格同态与理想之间的关系.证明了在Quantic格中,一个子集是理想当且仅当它是某个理想余闭包算子的像.     

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

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

诱导内部算子与闭包算子

借助Ｌ－Ｆｕｚｚｙ集的分解定理,给出了从分明拓扑空间（Ｘ,Ｔ）上的内部算子与闭包算子出发到ＬＸ上的算子的诱导公式,证明了这样诱导的算子是ＬＸ上的内部算子与闭包算子．     

Gunther Jaeger拓扑空间中的闭包算子和内部算子的研究

本文首先分别定义了Gunther Jaeger拓扑空间上的闭包算子和内部算子,并考查了它们的性质;其次证明了它们Gunther Jaeger与拓扑之间的相互确定性     

推理闭包算子及其诱导的空间

目的 建立一般非空集合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是完备格同构.     

关于不分明化拓扑中闭包运算的一点注记

该文指出了应明生一文中的一个错误,并给出了其中定理５．３的上半部分的一个简单证法,从而奠定了不分明化闭包运算的定义的正确性。     

关于模格,分配格充要条件的严格推证

本文在离散数学的范围内,从格、子格、模格、分配格的定义,格的运算性质出发,充分利用两个特殊的五元格,对有关格是模格、格是分配格的充分与必要条件的五个定理作出严格的推证。     

加法含零双半环的分配格结构

为了更好地研究半环结构,给出了加法含零双半环的分配格的定义,推广了加法含零半环的分配格性质,并给出了这种双半环在特殊条件是强分配格的结构。     

乘法带半环与分配格

研究了含有幺元素的乘法带半环;从格与分配格的代数性质出发,得到了含幺乘法带半环的若干性质;证明了若S为含幺半环,则S是乘法带半环当且仅当S是分配格,从而获得了分配格的一个表示定理。     

内部算子及闭包算子与伴随的一些关系

研究了内部算子及闭包算子与伴随的关系,得到了2个主要结论：1)在f是内部算子,g是闭包算子的条件下,(f,g)成为伴随的充要条件是f和g的不动点集相同;2)在(f,g)为伴随的条件下,f是内部算子(或闭包算子)与g是闭包算子(或内部算子)的等价刻画．     

一类幂等半环与分配格

该文研究了一类幂等半环——含有幺元素的乘法带半环;从格与分配格的代数性质出发,得到了含幺乘法带半环的若干性质;证明了若S为含幺半环,则S是乘法带半环当且仅当S是分配格,从而获得了分配格的一个表示定理.     

Rough Class on a Completely Distributive Lattice

This paper generalizes the Pawlak rough set method to a completely distributive lattice. The concept of a rough set has many applications in data mining. The approximation operators on a completely distributive lattice are studied, the rough class on a completely distributive lattice is defined and the expressional theorems of the rough class are proven. These expressional theorems are used to prove that the collection of all rough classes is an atomic completely distributive lattice.     

内部算子与闭包算子的若干性质

研究了内部算子与闭包算子的一系列性质,得到如下结果:1)解决了有限完备链上内部算子和闭包算子的个数问题;2)证明了偏序集上的内部算子和闭包算子的图像是阶梯状的;3)建立了内部算子之集和闭包算子之集与某集合的幂集之间的序同构;4)找到了一个映射成为内部算子或闭包算子的等价刻画.     

广义完全分配格的逆极限

利用完备格同态为态射的广义完全分配格范畴的逆极限,讨论了函子保广义完全分配格范畴逆极限的条件,得出了广义完全分配格范畴上的局部连续的自函子保伴随且保满态射和单态射.     

双半环簇的强分配格

研究了双半环簇强分配格的结构,并得到了这种强分配格的拟次直积分解。