完备格同构相关论文
拓扑的确定是一个有趣的问题.对于每个集合X,设T（X）是X上的拓扑的全体,CL（X）是X上的Kuratovski闭包算子的全体.如果能给出CL（X）上的偏序......
文[1]系统、深入地研究了完全分配格上的余拓扑．我们知道完备格是完全分配格的推广、预余拓扑是余拓扑的推广．因此，本文将继续前人有......
摘要自从C.J.Mulvey于1986年提出Quantale概念以来,Quantale理论受到了数学家和逻辑学家的关注.在短短的二十几年中,有关Quantale......
用合情推理模式定义了 L-知识空间与L-蕴含空间(其中L是具有逆合对应\'的完备格),证明了(K(X,L),?)(即X上的L-知识系统的全体)和......
引入了弱孤立算子和弱外孤立算子的概念,证明了对每个给定的集合X,可以给WI(X)(X上弱孤立算子的全体)和WOI(X)(X上的弱外孤立算子......
引入了弱内导算子概念,证明了对于每个给定的集合X,可以给WE（X）（即X上的弱内导算子的全体）上赋予适当的序关系≤使得（WE（X）,≤）与（CS（X）,■）完......
定义了拟阵的差导算子,导算子,证明了对每个给定的有限集X,可以给DD（X）（即X上拟阵差导算子的全体）上赋予适当的序≤使得（DD（X）,≤）与（D（X）,≤）（......
本文研究了预拓扑空间中的收敛问题.利用完备格同构的方法,获得了预拓扑与预收敛类可以相互确定的结果,推广了拓扑与收敛类可以相......
讨论了用邻域算子、远域算子确定预拓扑的方法，并证明了预拓扑空间X上全体预拓扑T（X），全体邻域算子N（X），全体远域算子R（X），存在│T（X）│=│N（X）│......
定义了拟阵的导算子、内部算子，证明了对每个给定的有限集X，可以给D（X）（即X上拟阵导算子的全体），I（X）（即X上拟阵内部算子的全体）上赋予适当的......
设X是集合,L是Hutton代数,FT（X,L）是X上的L-fuzzy拓扑算子的全体,FW（X,L）是X上的L-fuzzy权算子的全体.文[1]给出了权与模糊化拓扑的一......
本文定义了拟阵的差导算子，证明了对每个给定的有限集X，可以给加（X）（即X上拟阵差导算子的全体）上赋予适当的序≤使得（DD（X），≤）与（CL（X），≤）（即X上拟......
引入了弱孤立算子和弱外孤立算子的概念，证明了对每个给定的集合X，可以给WI（X）（X上弱孤立算子的全体）和WOI（X）（X上的弱外孤立算子的全体）上赋......
在Quantale中引入预（左、右）核映射与预（左、右）理想余核映射的概念,讨论了它们的若干性质,建立了预核映射与Quantale商的关系和预理想......
设X是集合,L是Hutton代数,FT（X,L）、FN（X,L）、FI（X,L）和FC（X,L）分别表示X上的L-fuzzy拓扑的全体、L-fuzzy邻域算子的全体、L-fuzzy内部算子......
引入了网族及预收敛类的概念,给出了从T（X）（即X上的预拓扑的全体）到S（X）（即X上的预收敛类的全体）的单射,证明了当X是有限集时该映射是双射.......
给出文献(四川师范大学学报(自然科学版,2001,24(3):219～223.)中关于弱逆半群上最大幂等元分离同余和群同余主要结论的刻画及证明的......
刻画了弱逆半群S上的最大幂等元分离同余和最小群同余.在此基础上，证明了S的群同余格与S的由主元所组成的逆半群I(S)的群同余格完备......
证明了对每个给定的集合X，可以在Qp（X）（X上拟邻近结构的全体）上赋予适当的序关系≤，使得（QP（X），≤）是与（TQU（X），≤）同构的完备格。其中TQU（X）是X上全......
通过弱化一般拓扑中的闭包算子公理，引入了广义闭包算子的概念，研究了其与稍早引入的广义邻域系的关系。特别的，证明了二者之间存在着......
