分配P-代数的核理想与余核滤子

本文的主要结果是给出了分配P-代数中一个理想成为核理想的充要条件,同时提出了余核滤子的概念,研究了核理想与余核滤子之间的某些内在联系.     

自反算子代数的导子和同构

本文证明了：Ｂａｎａｃｈ空间上完全分配格代数间的导子都是自动连续的；进而证明了套代数的可加导子是内的，套代数间的代数同构是自动连续的、空间的     

Quantale上的理想余核

讨论Quantale理想与Quantale上映射之间的关系,同时给出Quantale上一个映射是理想余核的等价条件。     

J-子空间格代数上中心化子和广义导子的刻画

设L是Banach空间X上的J-子空间格,AlgL是相应的(J-子空间格代数.设φ:AlgL→AlgL是可加映射,对每个K∈(J)(L),dimK≥2.该文证明了下列表述等价:(1)φ是中心化子;(2)φ满足AB=0■φ(A)B=Aφ(B)=0;(3)φ满足AB+BA=0■φ(A)B+φ(B)A=Aφ(B)+Bφ(A)=0;(4)φ满足ABC+CBA=0■φ(A)BC+φ(C)BA=ABφ(C)+CBφ(A)=0.作为应用,得到AlgL上在零点广义可导的可加映射的完全刻画.     

von Neumann代数中套子代数上的Lie导子

本文对因子von Neumann代数中套子代数上的线性映射L:alg_Mβ→M满足L(AB—BA)=L(A)B-BL(A)+AL(B)-L(B)A( A,B∈alg_Mβ)进行了刻划,证明了存在线性函数h:alg_Mβ→C;且对任意A,B∈alg_Mβ,有h(AB—BA)=0和算子T∈M,使得对任意X∈alg_Mβ,都有L(X)=XT-TX+h(X)I.     

Von Neumann代数中套子代数上的导子

本文研究因子VonNeumann代数中套子代数上的导子．证明了因子VonNeumann代数中套子代数上的任何导子都是内导子．     

广义矩阵代数上的李导子

研究了广义矩阵代数上的一类李导子,证明了广义矩阵代数上李导子可以表示成一个导子和一个中心映射之和,并将这个结果应用到全矩阵代数上.     

坡代数区间值模糊子坡代数

模糊子代数是模糊代数的一个重要研究内容.为了进一步了解坡代数的模糊子坡代数的特性,在坡代数中引入了区间值模糊子坡代数概念.讨论了坡代数的区间值模糊子坡代数的性质.证明了坡代数的区间值模糊子坡代数的交,直积以及同态像也是区间值模糊子坡代数.     

套代数子空间的端点

设d为套代数AlgN的子空间且包含AlgN的所有一秩算子．利用预零化子d⊥中一秩算子,我们给出了单位球d1中端点的刻画．     

某些算子代数的可加导子

本文主要研究非Ｉｎ型因子ＶｏｎＮｅｕｍａｎｎ代数的Ｎｅｓｔ子代数及两元生成格自反代数的可加导子的自动线性性和连续性问题．通过给出一个含无限维交换ＶｏｎＮｅｕｍａｎｎ子代数的代数上可加导子定理，证明了非Ｉｎ型因子ＶｏｎＮｅｕｍａｎｎ代数的Ｎｅｓｔ子代数上的可加导子是线性的，从而是自动连续的．这推广并简化证明了作者［１］中的主要结果．对于在非自伴算子代数研究中起重要的两元生成格自反代数，给出了所有可加导子是线性导子的充分必要条件．     

单纯Quantale及其Quantale商

讨论Quantale上的同余与Quantale商之间的关系,研究单纯Quantale的性质,给出一类Quantale是单纯Quantale的等价刻画。最后从Quantale商的角度对单纯Quantale进行了研究,得到单纯Quantale的若干特征定理。     

Quantic格范畴

系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备范畴。     

Spatial Quantales

Spatial (involutive) quantales here are characterize. They solve a problem emerging in the work by Pelletier and Rosický.     

Distributive Quantales

A concept of distributive quantale is introduced. It provides to extend some basic results of locale theory for quantales.     

Quantales and their sheaves

A quantale is a complete lattice provided with a binary multiplication which, in particular, distributes over in each variable. First we study the quantales, their morphisms, their points and the relations with the theory of locales: the case where the multiplication is just the meet. We describe the presheaves and sheaves on a quantale and exhibit a link between the corresponding toposes and quantum logic.Research supported by NATO grant 476/84.     

Girard Couples of Quantales

We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras. We construct, for an arbitrary sup-lattice S, a Girard quantale whose right-sided part is isomorphic to S.     

Representation Theorems for Quantales

In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations. Mathematics Subject Classification: 06D05, 06D10, 06D20, 03G25.     

Quantah的连通性

The concepts of connectedness and locally connectedness is introduced for right-side idempotent quantales. Some properties of connected quantale are studied, and then the equivalent characterization of connected quantale is also given.     

Quantale中的模糊滤子

在Quantale中引入模糊滤子的概念,研究了它的一系列性质,得到了若干等价刻画,讨论了Quantale中滤子和模糊滤子之间的相互确定关系,证明了Quantale态射既保模糊滤子又反射模糊滤子。给出了模糊滤子在Quantale态射下的像的具体结构。     

Quantale与互模拟的进程语义

以特定的观察为生成元构造了互模拟quantaleQ_B,而将进程作为此quantale上的模的组成成分,由此给出了互模拟的三个完备性准则,回答了AbrasmkyS与VickersS．提出的公开问题（1993）,完备了他们利用quantale统一处理进程语义的方法．